{ "schemaVersion": 1, "experiment": "evidence-bound-completion-bounded-interleavings", "sourceSha256": "45b52c5e90f7ae2bf17a4cbe43d9713fe5756ac58c31afda110fd2dfb7f5544a", "reproducibility": { "runtime": "Node.js standard library; validated on Node.js v22.23.0", "command": "node experiment.mjs", "verifyCommand": "node experiment.mjs --check", "deterministic": true, "clockOrRandomnessUsed": false }, "definitions": { "protocolSafe": "At commit, live current owner/fence, current authorization, unchanged read input and candidate bytes, fixed task contract, and matching successful trusted evidence all hold.", "semanticCorrect": "The artifact answer is exactly twice the relevant input; this stronger oracle is deliberately not guaranteed by the protocol.", "acceptedSafe": "New completion receipt written and protocol oracle safe.", "acceptedUnsafe": "New completion receipt written and protocol oracle unsafe.", "rejectedUnsafe": "No new completion receipt; protocol oracle unsafe.", "rejectedSafe": "No new completion receipt although protocol oracle safe.", "exactReplays": "Accepted receipts replayed with the same idempotency key and request after all environment events; not new completions." }, "bounds": { "workflows": 1, "actorsWithCandidates": 1, "replacementActorsWithoutCandidates": 1, "inputObjects": 1, "candidateObjects": 1, "causalWorkflow": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "optionalEnvironmentEvents": [ "input-edit", "artifact-edit", "lease-expire", "reassign", "revoke", "publish-behavior-v2" ], "maxDistinctEnvironmentEvents": 3, "eachEnvironmentEventOccursAtMostOnce": true, "extraCausalEdge": "lease-expire before reassign when both events are present", "scenarios": 42, "distinctSchedules": 6694, "protocols": 13, "primaryProtocolRuns": 87022, "negativeControlScenarios": 7, "negativeControlProtocolRuns": 91, "sanityChecksPassed": true }, "limitations": [ "A newly written research abstraction, not a replica or formal verification of any production system.", "All schedules within these bounds are enumerated; other event sets, arbitrary repeated changes, multiple writers, crashes, database isolation implementations, and external side effects are not modeled.", "The atomic commit is an assumed indivisible event. This experiment does not establish that a real storage system implements it.", "The candidate event writes a mutable working artifact slot and records an immutable candidate description; commit only registers a completion receipt. Immutable candidate publication, target-base compare-and-swap, multi-file transactions, and publication atomicity are not implemented.", "A read event records a snapshot without modeling read-access authorization; this study evaluates completion authority only.", "The caller is a fixed authenticated principal and the write target is a fixed permitted artifact slot. Actual path scope, credentials, and the requirement writes be a subset of contract scope intersected with the live grant are not implemented or verified here.", "Lease liveness is a discrete admission fact at the completion linearization event. This does not guarantee that later durability work or a response finishes before a real-time deadline.", "The trusted verifier store is an in-memory provenance oracle, not a cryptographic implementation or evidence of checker soundness.", "Schedules are counted once each, not sampled from a workload distribution. Counts are not empirical probabilities, model accuracy, throughput, or latency.", "Idempotency is common infrastructure for all protocols, tested after each accepted primary run. It is not a differentiating baseline feature.", "The no-evidence and no-contract-binding ablations can require directed negative controls; benign primary traces always create a matching contract and a genuine verification record.", "The numeric fence check is redundant with unique, never-reused attempt identity in this model: no-fence keeps ownership binding and has no new unsafe accepts. The separate no-attempt-binding ablation removes the entire ownership binding and must not be cited as evidence for an independent numeric-fence effect.", "A valid protocol receipt can certify a checker that is semantically wrong, as the checker-blind-spot control demonstrates.", "No LLMs, APIs, private project data, network calls, human participants, or production traces are used." ], "protocols": [ { "id": "self-report", "description": "Accept the submitted completion statement." }, { "id": "lease-fence-only", "description": "Check only current attempt ownership, fence, and lease." }, { "id": "atomic-contract", "description": "Check the complete contract and write the receipt in one event." }, { "id": "check-then-commit", "description": "Cache the complete preflight result; commit later without revalidation." }, { "id": "no-fence", "omit": "fence", "description": "Omit only the numeric fence comparison; keep current principal and attempt binding." }, { "id": "no-attempt-binding", "omit": [ "ownership", "fence" ], "description": "Omit principal, attempt, and fence binding together; keep task-level lease liveness." }, { "id": "no-lease", "omit": "lease", "description": "Keep current fence; omit lease liveness." }, { "id": "no-readset", "omit": "readset", "description": "Omit current input-revision validation." }, { "id": "no-current-authorization", "omit": "authorization", "description": "Omit revocation validation at commit." }, { "id": "no-evidence", "omit": "evidence", "description": "Omit verifier provenance, result, and evidence binding." }, { "id": "no-artifact-binding", "omit": "artifact", "description": "Omit current and attested content-digest binding." }, { "id": "no-contract-binding", "omit": "contract", "description": "Omit task identity and fixed behavioral-contract binding." }, { "id": "latest-policy-only", "latestPolicy": true, "description": "Full contract plus an incorrect requirement to use the newest behavioral policy." } ], "aggregate": { "self-report": { "acceptedSafe": 470, "acceptedUnsafe": 6224, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 3481, "exactReplays": 6694, "changedReplaysRejected": 6694 }, "lease-fence-only": { "acceptedSafe": 470, "acceptedUnsafe": 1914, "rejectedUnsafe": 4310, "rejectedSafe": 0, "acceptedSemanticWrong": 1402, "exactReplays": 2384, "changedReplaysRejected": 2384 }, "atomic-contract": { "acceptedSafe": 470, "acceptedUnsafe": 0, "rejectedUnsafe": 6224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 470, "changedReplaysRejected": 470 }, "check-then-commit": { "acceptedSafe": 470, "acceptedUnsafe": 718, "rejectedUnsafe": 5506, "rejectedSafe": 0, "acceptedSemanticWrong": 376, "exactReplays": 1188, "changedReplaysRejected": 1188 }, "no-fence": { "acceptedSafe": 470, "acceptedUnsafe": 0, "rejectedUnsafe": 6224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 470, "changedReplaysRejected": 470 }, "no-attempt-binding": { "acceptedSafe": 470, "acceptedUnsafe": 667, "rejectedUnsafe": 5557, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1137, "changedReplaysRejected": 1137 }, "no-lease": { "acceptedSafe": 470, "acceptedUnsafe": 517, "rejectedUnsafe": 5707, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 987, "changedReplaysRejected": 987 }, "no-readset": { "acceptedSafe": 470, "acceptedUnsafe": 328, "rejectedUnsafe": 5896, "rejectedSafe": 0, "acceptedSemanticWrong": 328, "exactReplays": 798, "changedReplaysRejected": 798 }, "no-current-authorization": { "acceptedSafe": 470, "acceptedUnsafe": 512, "rejectedUnsafe": 5712, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 982, "changedReplaysRejected": 982 }, "no-evidence": { "acceptedSafe": 470, "acceptedUnsafe": 0, "rejectedUnsafe": 6224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 470, "changedReplaysRejected": 470 }, "no-artifact-binding": { "acceptedSafe": 470, "acceptedUnsafe": 134, "rejectedUnsafe": 6090, "rejectedSafe": 0, "acceptedSemanticWrong": 134, "exactReplays": 604, "changedReplaysRejected": 604 }, "no-contract-binding": { "acceptedSafe": 470, "acceptedUnsafe": 0, "rejectedUnsafe": 6224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 470, "changedReplaysRejected": 470 }, "latest-policy-only": { "acceptedSafe": 234, "acceptedUnsafe": 0, "rejectedUnsafe": 6224, "rejectedSafe": 236, "acceptedSemanticWrong": 0, "exactReplays": 234, "changedReplaysRejected": 234 } }, "counterexamples": { "self-report": { "unsafeAcceptance": { "scenario": "lease-expire", "trace": [ "lease-expire", "read", "candidate", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "expired-lease" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": true, "historicalEventsBeforeCommit": [ { "kind": "lease-expire", "step": 0 }, { "kind": "read", "step": 1, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 2, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "lease-fence-only": { "unsafeAcceptance": { "scenario": "input-edit", "trace": [ "read", "candidate", "input-edit", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "stale-or-unbound-read" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": false, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "input-edit", "step": 2, "input": { "version": 1, "value": 11 } }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "atomic-contract": { "unsafeAcceptance": null, "safeRejection": null }, "check-then-commit": { "unsafeAcceptance": { "scenario": "artifact-edit", "trace": [ "read", "candidate", "trusted-verify", "preflight", "artifact-edit", "commit" ], "commitStep": 5, "violations": [ "artifact-changed" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": false, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "trusted-verify", "step": 2, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 3 }, { "kind": "artifact-edit", "step": 4, "body": "{\"answer\":-1}" } ] }, "safeRejection": null }, "no-fence": { "unsafeAcceptance": null, "safeRejection": null }, "no-attempt-binding": { "unsafeAcceptance": { "scenario": "reassign", "trace": [ "read", "candidate", "reassign", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "superseded-attempt" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": true, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "reassign", "step": 2, "owner": "worker-b", "attempt": "attempt-b", "fence": 2 }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "no-lease": { "unsafeAcceptance": { "scenario": "lease-expire", "trace": [ "lease-expire", "read", "candidate", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "expired-lease" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": true, "historicalEventsBeforeCommit": [ { "kind": "lease-expire", "step": 0 }, { "kind": "read", "step": 1, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 2, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "no-readset": { "unsafeAcceptance": { "scenario": "input-edit", "trace": [ "read", "candidate", "input-edit", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "stale-or-unbound-read" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": false, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "input-edit", "step": 2, "input": { "version": 1, "value": 11 } }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "no-current-authorization": { "unsafeAcceptance": { "scenario": "revoke", "trace": [ "read", "candidate", "revoke", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [ "revoked-authorization" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": true, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "revoke", "step": 2, "principal": "worker-a" }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "no-evidence": { "unsafeAcceptance": null, "safeRejection": null }, "no-artifact-binding": { "unsafeAcceptance": { "scenario": "artifact-edit", "trace": [ "read", "candidate", "trusted-verify", "artifact-edit", "preflight", "commit" ], "commitStep": 5, "violations": [ "artifact-changed" ], "rejectionReasons": [], "semanticCorrectForCurrentInput": false, "historicalEventsBeforeCommit": [ { "kind": "read", "step": 0, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 1, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "trusted-verify", "step": 2, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "artifact-edit", "step": 3, "body": "{\"answer\":-1}" }, { "kind": "preflight", "step": 4 } ] }, "safeRejection": null }, "no-contract-binding": { "unsafeAcceptance": null, "safeRejection": null }, "latest-policy-only": { "unsafeAcceptance": null, "safeRejection": { "scenario": "publish-behavior-v2", "trace": [ "publish-behavior-v2", "read", "candidate", "trusted-verify", "preflight", "commit" ], "commitStep": 5, "violations": [], "rejectionReasons": [ "latest-behavior-policy" ], "semanticCorrectForCurrentInput": true, "historicalEventsBeforeCommit": [ { "kind": "publish-behavior-v2", "step": 0, "published": "behavior-v2", "existingTaskContract": "behavior-v1" }, { "kind": "read", "step": 1, "id": "read-1", "inputVersion": 0, "inputValue": 7 }, { "kind": "candidate", "step": 2, "candidate": { "id": "candidate-1", "task": "double-a-number", "contract": "behavior-v1", "principal": "worker-a", "attempt": "attempt-a", "fence": 1, "readId": "read-1", "inputVersion": 0, "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece" }, "body": "{\"answer\":14}" }, { "kind": "trusted-verify", "step": 3, "trusted": true, "proof": { "id": "proof-1", "checker": "designated-checker", "passed": true, "candidateId": "candidate-1", "digest": "8e7f7de0f3f01e2021f5225b6847b8ac63d0f743b02273adb1682eb98afa4ece", "task": "double-a-number", "contract": "behavior-v1", "readId": "read-1" }, "bodyObserved": "{\"answer\":14}" }, { "kind": "preflight", "step": 4 } ] } } }, "negativeControls": [ { "fault": "forged-evidence", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-evidence": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "no-artifact-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-contract-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] } } }, { "fault": "wrong-candidate-evidence", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-evidence": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "no-artifact-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-contract-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] } } }, { "fault": "wrong-digest-evidence", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-evidence": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "no-artifact-binding": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "no-contract-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] } } }, { "fault": "wrong-task", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-evidence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract" ] }, "no-artifact-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-contract-binding": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] } } }, { "fault": "wrong-contract", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-evidence": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract" ] }, "no-artifact-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence" ] }, "no-contract-binding": { "accepted": true, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": true, "violations": [ "wrong-task-contract", "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "contract", "evidence", "latest-behavior-policy" ] } } }, { "fault": "checker-rejects", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "atomic-contract": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "check-then-commit": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-fence": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-attempt-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-lease": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-readset": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-current-authorization": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-evidence": { "accepted": true, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [] }, "no-artifact-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "no-contract-binding": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] }, "latest-policy-only": { "accepted": false, "protocolSafe": false, "semanticCorrect": false, "violations": [ "absent-failed-or-mismatched-trusted-evidence" ], "rejectionReasons": [ "evidence" ] } } }, { "fault": "checker-blind-spot", "trace": [ "read", "candidate", "trusted-verify", "preflight", "commit" ], "protocols": { "self-report": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "lease-fence-only": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "atomic-contract": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "check-then-commit": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-fence": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-attempt-binding": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-lease": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-readset": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-current-authorization": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-evidence": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-artifact-binding": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "no-contract-binding": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] }, "latest-policy-only": { "accepted": true, "protocolSafe": true, "semanticCorrect": false, "violations": [], "rejectionReasons": [] } } } ], "scenarios": [ { "id": "no-environment-change", "environment": [], "orders": 1, "protocols": { "self-report": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "lease-fence-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "atomic-contract": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "check-then-commit": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-fence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-attempt-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-lease": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-readset": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-current-authorization": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-evidence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-artifact-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-contract-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "input-edit", "environment": [ "input-edit" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 2, "acceptedUnsafe": 4, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 2, "acceptedUnsafe": 4, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 6, "changedReplaysRejected": 6 }, "atomic-contract": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "check-then-commit": { "acceptedSafe": 2, "acceptedUnsafe": 1, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 1, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-fence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-attempt-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-lease": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-readset": { "acceptedSafe": 2, "acceptedUnsafe": 4, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-current-authorization": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-evidence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-artifact-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-contract-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "artifact-edit", "environment": [ "artifact-edit" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 3, "acceptedUnsafe": 3, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 3, "acceptedUnsafe": 3, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 6, "changedReplaysRejected": 6 }, "atomic-contract": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "check-then-commit": { "acceptedSafe": 3, "acceptedUnsafe": 1, "rejectedUnsafe": 2, "rejectedSafe": 0, "acceptedSemanticWrong": 1, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-fence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-attempt-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-lease": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-readset": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-current-authorization": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-evidence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-artifact-binding": { "acceptedSafe": 3, "acceptedUnsafe": 2, "rejectedUnsafe": 1, "rejectedSafe": 0, "acceptedSemanticWrong": 2, "exactReplays": 5, "changedReplaysRejected": 5 }, "no-contract-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 3, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "lease-expire", "environment": [ "lease-expire" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "atomic-contract": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "check-then-commit": { "acceptedSafe": 1, "acceptedUnsafe": 1, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-fence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-attempt-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-lease": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-readset": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-current-authorization": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-evidence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-artifact-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-contract-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "reassign", "environment": [ "reassign" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "atomic-contract": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "check-then-commit": { "acceptedSafe": 1, "acceptedUnsafe": 1, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-fence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-attempt-binding": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-lease": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-readset": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-current-authorization": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-evidence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-artifact-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-contract-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "revoke", "environment": [ "revoke" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "atomic-contract": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "check-then-commit": { "acceptedSafe": 1, "acceptedUnsafe": 1, "rejectedUnsafe": 4, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-fence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-attempt-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-lease": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-readset": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-current-authorization": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-evidence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-artifact-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-contract-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "publish-behavior-v2", "environment": [ "publish-behavior-v2" ], "orders": 6, "protocols": { "self-report": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "lease-fence-only": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "atomic-contract": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "check-then-commit": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-fence": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-attempt-binding": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-lease": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-readset": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-current-authorization": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-evidence": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-artifact-binding": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-contract-binding": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 0, "rejectedSafe": 5, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "input-edit+artifact-edit", "environment": [ "input-edit", "artifact-edit" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 8, "acceptedUnsafe": 34, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 34, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 8, "acceptedUnsafe": 34, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 34, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "check-then-commit": { "acceptedSafe": 8, "acceptedUnsafe": 7, "rejectedUnsafe": 27, "rejectedSafe": 0, "acceptedSemanticWrong": 7, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-fence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-attempt-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-lease": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-readset": { "acceptedSafe": 8, "acceptedUnsafe": 13, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 13, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-current-authorization": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-evidence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-artifact-binding": { "acceptedSafe": 8, "acceptedUnsafe": 4, "rejectedUnsafe": 30, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 12, "changedReplaysRejected": 12 }, "no-contract-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "input-edit+lease-expire", "environment": [ "input-edit", "lease-expire" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 3, "acceptedUnsafe": 39, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 3, "acceptedUnsafe": 4, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "check-then-commit": { "acceptedSafe": 3, "acceptedUnsafe": 5, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-fence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-attempt-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-lease": { "acceptedSafe": 3, "acceptedUnsafe": 11, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-readset": { "acceptedSafe": 3, "acceptedUnsafe": 4, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-evidence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-artifact-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-contract-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "input-edit+reassign", "environment": [ "input-edit", "reassign" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 3, "acceptedUnsafe": 39, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 3, "acceptedUnsafe": 4, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "check-then-commit": { "acceptedSafe": 3, "acceptedUnsafe": 5, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-fence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-attempt-binding": { "acceptedSafe": 3, "acceptedUnsafe": 11, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-lease": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-readset": { "acceptedSafe": 3, "acceptedUnsafe": 4, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-evidence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-artifact-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-contract-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "input-edit+revoke", "environment": [ "input-edit", "revoke" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 3, "acceptedUnsafe": 39, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 3, "acceptedUnsafe": 39, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "check-then-commit": { "acceptedSafe": 3, "acceptedUnsafe": 5, "rejectedUnsafe": 34, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-fence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-attempt-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-lease": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-readset": { "acceptedSafe": 3, "acceptedUnsafe": 4, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 3, "acceptedUnsafe": 11, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-evidence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-artifact-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-contract-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 39, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "input-edit+publish-behavior-v2", "environment": [ "input-edit", "publish-behavior-v2" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 14, "acceptedUnsafe": 28, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 14, "acceptedUnsafe": 28, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "check-then-commit": { "acceptedSafe": 14, "acceptedUnsafe": 7, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 7, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-fence": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-attempt-binding": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-lease": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-readset": { "acceptedSafe": 14, "acceptedUnsafe": 28, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 28, "exactReplays": 42, "changedReplaysRejected": 42 }, "no-current-authorization": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-evidence": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-artifact-binding": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-contract-binding": { "acceptedSafe": 14, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 28, "rejectedSafe": 11, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "artifact-edit+lease-expire", "environment": [ "artifact-edit", "lease-expire" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 4, "acceptedUnsafe": 38, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 4, "acceptedUnsafe": 3, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "check-then-commit": { "acceptedSafe": 4, "acceptedUnsafe": 6, "rejectedUnsafe": 32, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-fence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-attempt-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-lease": { "acceptedSafe": 4, "acceptedUnsafe": 17, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-readset": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-current-authorization": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-evidence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-artifact-binding": { "acceptedSafe": 4, "acceptedUnsafe": 2, "rejectedUnsafe": 36, "rejectedSafe": 0, "acceptedSemanticWrong": 2, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-contract-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "latest-policy-only": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 } } }, { "id": "artifact-edit+reassign", "environment": [ "artifact-edit", "reassign" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 4, "acceptedUnsafe": 38, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 4, "acceptedUnsafe": 3, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "check-then-commit": { "acceptedSafe": 4, "acceptedUnsafe": 6, "rejectedUnsafe": 32, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-fence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-attempt-binding": { "acceptedSafe": 4, "acceptedUnsafe": 17, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-lease": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-readset": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-current-authorization": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-evidence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-artifact-binding": { "acceptedSafe": 4, "acceptedUnsafe": 2, "rejectedUnsafe": 36, "rejectedSafe": 0, "acceptedSemanticWrong": 2, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-contract-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "latest-policy-only": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 } } }, { "id": "artifact-edit+revoke", "environment": [ "artifact-edit", "revoke" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 4, "acceptedUnsafe": 38, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 4, "acceptedUnsafe": 38, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "check-then-commit": { "acceptedSafe": 4, "acceptedUnsafe": 6, "rejectedUnsafe": 32, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-fence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-attempt-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-lease": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-readset": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-current-authorization": { "acceptedSafe": 4, "acceptedUnsafe": 17, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-evidence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-artifact-binding": { "acceptedSafe": 4, "acceptedUnsafe": 2, "rejectedUnsafe": 36, "rejectedSafe": 0, "acceptedSemanticWrong": 2, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-contract-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "latest-policy-only": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 38, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 } } }, { "id": "artifact-edit+publish-behavior-v2", "environment": [ "artifact-edit", "publish-behavior-v2" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 21, "acceptedUnsafe": 21, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 21, "acceptedUnsafe": 21, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 21, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "check-then-commit": { "acceptedSafe": 21, "acceptedUnsafe": 7, "rejectedUnsafe": 14, "rejectedSafe": 0, "acceptedSemanticWrong": 7, "exactReplays": 28, "changedReplaysRejected": 28 }, "no-fence": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-attempt-binding": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-lease": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-readset": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-current-authorization": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-evidence": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-artifact-binding": { "acceptedSafe": 21, "acceptedUnsafe": 14, "rejectedUnsafe": 7, "rejectedSafe": 0, "acceptedSemanticWrong": 14, "exactReplays": 35, "changedReplaysRejected": 35 }, "no-contract-binding": { "acceptedSafe": 21, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "latest-policy-only": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 21, "rejectedSafe": 17, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 } } }, { "id": "lease-expire+reassign", "environment": [ "lease-expire", "reassign" ], "orders": 21, "protocols": { "self-report": { "acceptedSafe": 1, "acceptedUnsafe": 20, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 21, "changedReplaysRejected": 21 }, "lease-fence-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "atomic-contract": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "check-then-commit": { "acceptedSafe": 1, "acceptedUnsafe": 2, "rejectedUnsafe": 18, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-fence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-attempt-binding": { "acceptedSafe": 1, "acceptedUnsafe": 15, "rejectedUnsafe": 5, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-lease": { "acceptedSafe": 1, "acceptedUnsafe": 5, "rejectedUnsafe": 15, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-readset": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-current-authorization": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-evidence": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-artifact-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "no-contract-binding": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 }, "latest-policy-only": { "acceptedSafe": 1, "acceptedUnsafe": 0, "rejectedUnsafe": 20, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 1, "changedReplaysRejected": 1 } } }, { "id": "lease-expire+revoke", "environment": [ "lease-expire", "revoke" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 2, "acceptedUnsafe": 40, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "check-then-commit": { "acceptedSafe": 2, "acceptedUnsafe": 4, "rejectedUnsafe": 36, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-fence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-attempt-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-lease": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-readset": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-current-authorization": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-evidence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-artifact-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-contract-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "lease-expire+publish-behavior-v2", "environment": [ "lease-expire", "publish-behavior-v2" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "check-then-commit": { "acceptedSafe": 7, "acceptedUnsafe": 7, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-fence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-attempt-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-lease": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "no-readset": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-evidence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-artifact-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-contract-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 5, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "reassign+revoke", "environment": [ "reassign", "revoke" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 2, "acceptedUnsafe": 40, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "check-then-commit": { "acceptedSafe": 2, "acceptedUnsafe": 4, "rejectedUnsafe": 36, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 }, "no-fence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-attempt-binding": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-lease": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-readset": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-current-authorization": { "acceptedSafe": 2, "acceptedUnsafe": 5, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-evidence": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-artifact-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "no-contract-binding": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "reassign+publish-behavior-v2", "environment": [ "reassign", "publish-behavior-v2" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "atomic-contract": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "check-then-commit": { "acceptedSafe": 7, "acceptedUnsafe": 7, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-fence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-attempt-binding": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "no-lease": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-readset": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-evidence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-artifact-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-contract-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 5, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "revoke+publish-behavior-v2", "environment": [ "revoke", "publish-behavior-v2" ], "orders": 42, "protocols": { "self-report": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "lease-fence-only": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "atomic-contract": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "check-then-commit": { "acceptedSafe": 7, "acceptedUnsafe": 7, "rejectedUnsafe": 28, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-fence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-attempt-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-lease": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-readset": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-current-authorization": { "acceptedSafe": 7, "acceptedUnsafe": 35, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 42, "changedReplaysRejected": 42 }, "no-evidence": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-artifact-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-contract-binding": { "acceptedSafe": 7, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 7, "changedReplaysRejected": 7 }, "latest-policy-only": { "acceptedSafe": 2, "acceptedUnsafe": 0, "rejectedUnsafe": 35, "rejectedSafe": 5, "acceptedSemanticWrong": 0, "exactReplays": 2, "changedReplaysRejected": 2 } } }, { "id": "input-edit+artifact-edit+lease-expire", "environment": [ "input-edit", "artifact-edit", "lease-expire" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 15, "acceptedUnsafe": 321, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 15, "acceptedUnsafe": 41, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 41, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "check-then-commit": { "acceptedSafe": 15, "acceptedUnsafe": 33, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 25, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-fence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-attempt-binding": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-lease": { "acceptedSafe": 15, "acceptedUnsafe": 49, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-readset": { "acceptedSafe": 15, "acceptedUnsafe": 17, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 17, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-evidence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-artifact-binding": { "acceptedSafe": 15, "acceptedUnsafe": 6, "rejectedUnsafe": 315, "rejectedSafe": 0, "acceptedSemanticWrong": 6, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-contract-binding": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "latest-policy-only": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 } } }, { "id": "input-edit+artifact-edit+reassign", "environment": [ "input-edit", "artifact-edit", "reassign" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 15, "acceptedUnsafe": 321, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 15, "acceptedUnsafe": 41, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 41, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "check-then-commit": { "acceptedSafe": 15, "acceptedUnsafe": 33, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 25, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-fence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-attempt-binding": { "acceptedSafe": 15, "acceptedUnsafe": 49, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-lease": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-readset": { "acceptedSafe": 15, "acceptedUnsafe": 17, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 17, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-evidence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-artifact-binding": { "acceptedSafe": 15, "acceptedUnsafe": 6, "rejectedUnsafe": 315, "rejectedSafe": 0, "acceptedSemanticWrong": 6, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-contract-binding": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "latest-policy-only": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 } } }, { "id": "input-edit+artifact-edit+revoke", "environment": [ "input-edit", "artifact-edit", "revoke" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 15, "acceptedUnsafe": 321, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 15, "acceptedUnsafe": 321, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "atomic-contract": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "check-then-commit": { "acceptedSafe": 15, "acceptedUnsafe": 33, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 25, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-fence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-attempt-binding": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-lease": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-readset": { "acceptedSafe": 15, "acceptedUnsafe": 17, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 17, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 15, "acceptedUnsafe": 49, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-evidence": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-artifact-binding": { "acceptedSafe": 15, "acceptedUnsafe": 6, "rejectedUnsafe": 315, "rejectedSafe": 0, "acceptedSemanticWrong": 6, "exactReplays": 21, "changedReplaysRejected": 21 }, "no-contract-binding": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 }, "latest-policy-only": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 321, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 } } }, { "id": "input-edit+artifact-edit+publish-behavior-v2", "environment": [ "input-edit", "artifact-edit", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 64, "acceptedUnsafe": 272, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 64, "acceptedUnsafe": 272, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 272, "exactReplays": 336, "changedReplaysRejected": 336 }, "atomic-contract": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "check-then-commit": { "acceptedSafe": 64, "acceptedUnsafe": 56, "rejectedUnsafe": 216, "rejectedSafe": 0, "acceptedSemanticWrong": 56, "exactReplays": 120, "changedReplaysRejected": 120 }, "no-fence": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-attempt-binding": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-lease": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-readset": { "acceptedSafe": 64, "acceptedUnsafe": 104, "rejectedUnsafe": 168, "rejectedSafe": 0, "acceptedSemanticWrong": 104, "exactReplays": 168, "changedReplaysRejected": 168 }, "no-current-authorization": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-evidence": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-artifact-binding": { "acceptedSafe": 64, "acceptedUnsafe": 32, "rejectedUnsafe": 240, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 96, "changedReplaysRejected": 96 }, "no-contract-binding": { "acceptedSafe": 64, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 64, "changedReplaysRejected": 64 }, "latest-policy-only": { "acceptedSafe": 15, "acceptedUnsafe": 0, "rejectedUnsafe": 272, "rejectedSafe": 49, "acceptedSemanticWrong": 0, "exactReplays": 15, "changedReplaysRejected": 15 } } }, { "id": "input-edit+lease-expire+reassign", "environment": [ "input-edit", "lease-expire", "reassign" ], "orders": 168, "protocols": { "self-report": { "acceptedSafe": 4, "acceptedUnsafe": 164, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 112, "exactReplays": 168, "changedReplaysRejected": 168 }, "lease-fence-only": { "acceptedSafe": 4, "acceptedUnsafe": 4, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 8, "changedReplaysRejected": 8 }, "atomic-contract": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "check-then-commit": { "acceptedSafe": 4, "acceptedUnsafe": 11, "rejectedUnsafe": 153, "rejectedSafe": 0, "acceptedSemanticWrong": 6, "exactReplays": 15, "changedReplaysRejected": 15 }, "no-fence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-attempt-binding": { "acceptedSafe": 4, "acceptedUnsafe": 36, "rejectedUnsafe": 128, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 40, "changedReplaysRejected": 40 }, "no-lease": { "acceptedSafe": 4, "acceptedUnsafe": 16, "rejectedUnsafe": 148, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 20, "changedReplaysRejected": 20 }, "no-readset": { "acceptedSafe": 4, "acceptedUnsafe": 4, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-current-authorization": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-evidence": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-artifact-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "no-contract-binding": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 }, "latest-policy-only": { "acceptedSafe": 4, "acceptedUnsafe": 0, "rejectedUnsafe": 164, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 4, "changedReplaysRejected": 4 } } }, { "id": "input-edit+lease-expire+revoke", "environment": [ "input-edit", "lease-expire", "revoke" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 8, "acceptedUnsafe": 328, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 8, "acceptedUnsafe": 48, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "check-then-commit": { "acceptedSafe": 8, "acceptedUnsafe": 22, "rejectedUnsafe": 306, "rejectedSafe": 0, "acceptedSemanticWrong": 12, "exactReplays": 30, "changedReplaysRejected": 30 }, "no-fence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-attempt-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-lease": { "acceptedSafe": 8, "acceptedUnsafe": 16, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-readset": { "acceptedSafe": 8, "acceptedUnsafe": 8, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 8, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-current-authorization": { "acceptedSafe": 8, "acceptedUnsafe": 16, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-evidence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-artifact-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-contract-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "input-edit+lease-expire+publish-behavior-v2", "environment": [ "input-edit", "lease-expire", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 24, "acceptedUnsafe": 312, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 24, "acceptedUnsafe": 32, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "check-then-commit": { "acceptedSafe": 24, "acceptedUnsafe": 40, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-fence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-attempt-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-lease": { "acceptedSafe": 24, "acceptedUnsafe": 88, "rejectedUnsafe": 224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 112, "changedReplaysRejected": 112 }, "no-readset": { "acceptedSafe": 24, "acceptedUnsafe": 32, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-current-authorization": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-evidence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-artifact-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-contract-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 16, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "input-edit+reassign+revoke", "environment": [ "input-edit", "reassign", "revoke" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 8, "acceptedUnsafe": 328, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 8, "acceptedUnsafe": 48, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "check-then-commit": { "acceptedSafe": 8, "acceptedUnsafe": 22, "rejectedUnsafe": 306, "rejectedSafe": 0, "acceptedSemanticWrong": 12, "exactReplays": 30, "changedReplaysRejected": 30 }, "no-fence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-attempt-binding": { "acceptedSafe": 8, "acceptedUnsafe": 16, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-lease": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-readset": { "acceptedSafe": 8, "acceptedUnsafe": 8, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 8, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-current-authorization": { "acceptedSafe": 8, "acceptedUnsafe": 16, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-evidence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-artifact-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-contract-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 328, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "input-edit+reassign+publish-behavior-v2", "environment": [ "input-edit", "reassign", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 24, "acceptedUnsafe": 312, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 24, "acceptedUnsafe": 32, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "check-then-commit": { "acceptedSafe": 24, "acceptedUnsafe": 40, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-fence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-attempt-binding": { "acceptedSafe": 24, "acceptedUnsafe": 88, "rejectedUnsafe": 224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 112, "changedReplaysRejected": 112 }, "no-lease": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-readset": { "acceptedSafe": 24, "acceptedUnsafe": 32, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-current-authorization": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-evidence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-artifact-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-contract-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 16, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "input-edit+revoke+publish-behavior-v2", "environment": [ "input-edit", "revoke", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 24, "acceptedUnsafe": 312, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 24, "acceptedUnsafe": 312, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 224, "exactReplays": 336, "changedReplaysRejected": 336 }, "atomic-contract": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "check-then-commit": { "acceptedSafe": 24, "acceptedUnsafe": 40, "rejectedUnsafe": 272, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 64, "changedReplaysRejected": 64 }, "no-fence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-attempt-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-lease": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-readset": { "acceptedSafe": 24, "acceptedUnsafe": 32, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 32, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-current-authorization": { "acceptedSafe": 24, "acceptedUnsafe": 88, "rejectedUnsafe": 224, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 112, "changedReplaysRejected": 112 }, "no-evidence": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-artifact-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-contract-binding": { "acceptedSafe": 24, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "latest-policy-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 312, "rejectedSafe": 16, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 } } }, { "id": "artifact-edit+lease-expire+reassign", "environment": [ "artifact-edit", "lease-expire", "reassign" ], "orders": 168, "protocols": { "self-report": { "acceptedSafe": 5, "acceptedUnsafe": 163, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 84, "exactReplays": 168, "changedReplaysRejected": 168 }, "lease-fence-only": { "acceptedSafe": 5, "acceptedUnsafe": 3, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 3, "exactReplays": 8, "changedReplaysRejected": 8 }, "atomic-contract": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "check-then-commit": { "acceptedSafe": 5, "acceptedUnsafe": 13, "rejectedUnsafe": 150, "rejectedSafe": 0, "acceptedSemanticWrong": 6, "exactReplays": 18, "changedReplaysRejected": 18 }, "no-fence": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "no-attempt-binding": { "acceptedSafe": 5, "acceptedUnsafe": 57, "rejectedUnsafe": 106, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 62, "changedReplaysRejected": 62 }, "no-lease": { "acceptedSafe": 5, "acceptedUnsafe": 22, "rejectedUnsafe": 141, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 27, "changedReplaysRejected": 27 }, "no-readset": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "no-current-authorization": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "no-evidence": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "no-artifact-binding": { "acceptedSafe": 5, "acceptedUnsafe": 2, "rejectedUnsafe": 161, "rejectedSafe": 0, "acceptedSemanticWrong": 2, "exactReplays": 7, "changedReplaysRejected": 7 }, "no-contract-binding": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 }, "latest-policy-only": { "acceptedSafe": 5, "acceptedUnsafe": 0, "rejectedUnsafe": 163, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 5, "changedReplaysRejected": 5 } } }, { "id": "artifact-edit+lease-expire+revoke", "environment": [ "artifact-edit", "lease-expire", "revoke" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 10, "acceptedUnsafe": 326, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 10, "acceptedUnsafe": 46, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "check-then-commit": { "acceptedSafe": 10, "acceptedUnsafe": 26, "rejectedUnsafe": 300, "rejectedSafe": 0, "acceptedSemanticWrong": 12, "exactReplays": 36, "changedReplaysRejected": 36 }, "no-fence": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-attempt-binding": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-lease": { "acceptedSafe": 10, "acceptedUnsafe": 22, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-readset": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-current-authorization": { "acceptedSafe": 10, "acceptedUnsafe": 22, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-evidence": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-artifact-binding": { "acceptedSafe": 10, "acceptedUnsafe": 4, "rejectedUnsafe": 322, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-contract-binding": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "latest-policy-only": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 } } }, { "id": "artifact-edit+lease-expire+publish-behavior-v2", "environment": [ "artifact-edit", "lease-expire", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 32, "acceptedUnsafe": 304, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 32, "acceptedUnsafe": 24, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "check-then-commit": { "acceptedSafe": 32, "acceptedUnsafe": 48, "rejectedUnsafe": 256, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 80, "changedReplaysRejected": 80 }, "no-fence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-attempt-binding": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-lease": { "acceptedSafe": 32, "acceptedUnsafe": 136, "rejectedUnsafe": 168, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 168, "changedReplaysRejected": 168 }, "no-readset": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-evidence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-artifact-binding": { "acceptedSafe": 32, "acceptedUnsafe": 16, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 16, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-contract-binding": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "latest-policy-only": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 22, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 } } }, { "id": "artifact-edit+reassign+revoke", "environment": [ "artifact-edit", "reassign", "revoke" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 10, "acceptedUnsafe": 326, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 10, "acceptedUnsafe": 46, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "check-then-commit": { "acceptedSafe": 10, "acceptedUnsafe": 26, "rejectedUnsafe": 300, "rejectedSafe": 0, "acceptedSemanticWrong": 12, "exactReplays": 36, "changedReplaysRejected": 36 }, "no-fence": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-attempt-binding": { "acceptedSafe": 10, "acceptedUnsafe": 22, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-lease": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-readset": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-current-authorization": { "acceptedSafe": 10, "acceptedUnsafe": 22, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-evidence": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "no-artifact-binding": { "acceptedSafe": 10, "acceptedUnsafe": 4, "rejectedUnsafe": 322, "rejectedSafe": 0, "acceptedSemanticWrong": 4, "exactReplays": 14, "changedReplaysRejected": 14 }, "no-contract-binding": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 }, "latest-policy-only": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 326, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 } } }, { "id": "artifact-edit+reassign+publish-behavior-v2", "environment": [ "artifact-edit", "reassign", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 32, "acceptedUnsafe": 304, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 32, "acceptedUnsafe": 24, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "check-then-commit": { "acceptedSafe": 32, "acceptedUnsafe": 48, "rejectedUnsafe": 256, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 80, "changedReplaysRejected": 80 }, "no-fence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-attempt-binding": { "acceptedSafe": 32, "acceptedUnsafe": 136, "rejectedUnsafe": 168, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 168, "changedReplaysRejected": 168 }, "no-lease": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-readset": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-evidence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-artifact-binding": { "acceptedSafe": 32, "acceptedUnsafe": 16, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 16, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-contract-binding": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "latest-policy-only": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 22, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 } } }, { "id": "artifact-edit+revoke+publish-behavior-v2", "environment": [ "artifact-edit", "revoke", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 32, "acceptedUnsafe": 304, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 32, "acceptedUnsafe": 304, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 168, "exactReplays": 336, "changedReplaysRejected": 336 }, "atomic-contract": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "check-then-commit": { "acceptedSafe": 32, "acceptedUnsafe": 48, "rejectedUnsafe": 256, "rejectedSafe": 0, "acceptedSemanticWrong": 24, "exactReplays": 80, "changedReplaysRejected": 80 }, "no-fence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-attempt-binding": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-lease": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-readset": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-current-authorization": { "acceptedSafe": 32, "acceptedUnsafe": 136, "rejectedUnsafe": 168, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 168, "changedReplaysRejected": 168 }, "no-evidence": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "no-artifact-binding": { "acceptedSafe": 32, "acceptedUnsafe": 16, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 16, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-contract-binding": { "acceptedSafe": 32, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 32, "changedReplaysRejected": 32 }, "latest-policy-only": { "acceptedSafe": 10, "acceptedUnsafe": 0, "rejectedUnsafe": 304, "rejectedSafe": 22, "acceptedSemanticWrong": 0, "exactReplays": 10, "changedReplaysRejected": 10 } } }, { "id": "lease-expire+reassign+revoke", "environment": [ "lease-expire", "reassign", "revoke" ], "orders": 168, "protocols": { "self-report": { "acceptedSafe": 3, "acceptedUnsafe": 165, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 168, "changedReplaysRejected": 168 }, "lease-fence-only": { "acceptedSafe": 3, "acceptedUnsafe": 5, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "atomic-contract": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "check-then-commit": { "acceptedSafe": 3, "acceptedUnsafe": 9, "rejectedUnsafe": 156, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 12, "changedReplaysRejected": 12 }, "no-fence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-attempt-binding": { "acceptedSafe": 3, "acceptedUnsafe": 15, "rejectedUnsafe": 150, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 18, "changedReplaysRejected": 18 }, "no-lease": { "acceptedSafe": 3, "acceptedUnsafe": 10, "rejectedUnsafe": 155, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 13, "changedReplaysRejected": 13 }, "no-readset": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-current-authorization": { "acceptedSafe": 3, "acceptedUnsafe": 5, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-evidence": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-artifact-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "no-contract-binding": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 165, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "lease-expire+reassign+publish-behavior-v2", "environment": [ "lease-expire", "reassign", "publish-behavior-v2" ], "orders": 168, "protocols": { "self-report": { "acceptedSafe": 8, "acceptedUnsafe": 160, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 168, "changedReplaysRejected": 168 }, "lease-fence-only": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "atomic-contract": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "check-then-commit": { "acceptedSafe": 8, "acceptedUnsafe": 16, "rejectedUnsafe": 144, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 24, "changedReplaysRejected": 24 }, "no-fence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-attempt-binding": { "acceptedSafe": 8, "acceptedUnsafe": 120, "rejectedUnsafe": 40, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 128, "changedReplaysRejected": 128 }, "no-lease": { "acceptedSafe": 8, "acceptedUnsafe": 40, "rejectedUnsafe": 120, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-readset": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-current-authorization": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-evidence": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-artifact-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "no-contract-binding": { "acceptedSafe": 8, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 8, "changedReplaysRejected": 8 }, "latest-policy-only": { "acceptedSafe": 3, "acceptedUnsafe": 0, "rejectedUnsafe": 160, "rejectedSafe": 5, "acceptedSemanticWrong": 0, "exactReplays": 3, "changedReplaysRejected": 3 } } }, { "id": "lease-expire+revoke+publish-behavior-v2", "environment": [ "lease-expire", "revoke", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 16, "acceptedUnsafe": 320, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "check-then-commit": { "acceptedSafe": 16, "acceptedUnsafe": 32, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-fence": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-attempt-binding": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-lease": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-readset": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-current-authorization": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-evidence": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-artifact-binding": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-contract-binding": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "latest-policy-only": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 10, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 } } }, { "id": "reassign+revoke+publish-behavior-v2", "environment": [ "reassign", "revoke", "publish-behavior-v2" ], "orders": 336, "protocols": { "self-report": { "acceptedSafe": 16, "acceptedUnsafe": 320, "rejectedUnsafe": 0, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 336, "changedReplaysRejected": 336 }, "lease-fence-only": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "atomic-contract": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "check-then-commit": { "acceptedSafe": 16, "acceptedUnsafe": 32, "rejectedUnsafe": 288, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 48, "changedReplaysRejected": 48 }, "no-fence": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-attempt-binding": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-lease": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-readset": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-current-authorization": { "acceptedSafe": 16, "acceptedUnsafe": 40, "rejectedUnsafe": 280, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 56, "changedReplaysRejected": 56 }, "no-evidence": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-artifact-binding": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "no-contract-binding": { "acceptedSafe": 16, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 0, "acceptedSemanticWrong": 0, "exactReplays": 16, "changedReplaysRejected": 16 }, "latest-policy-only": { "acceptedSafe": 6, "acceptedUnsafe": 0, "rejectedUnsafe": 320, "rejectedSafe": 10, "acceptedSemanticWrong": 0, "exactReplays": 6, "changedReplaysRejected": 6 } } } ] }