{ "schemaVersion": 1, "stage": "deterministic-framework-recovery", "generatedAt": "2026-09-25T21:00:40.389022+00:00", "environment": { "python": "3.12.14", "sqlite": "3.53.1", "platform": "linux/x86_64", "frameworks": { "langgraph": "1.2.12", "pydantic-ai-slim": "2.50.0" } }, "summary": { "validPassed": 6, "validTotal": 6, "controlsFailed": 3, "controlsTotal": 3, "negativeRejected": 32, "negativeTotal": 32 }, "execution": { "elapsedMs": 41870.81210299948, "providerCalls": 0, "providerInferenceTokens": 0, "actualCharge": null, "chargeBasis": "No provider calls. Total execution charge is unknown.", "functionModelRequests": 89, "workerProcesses": 46 }, "manifest": { "sha256": { "CONTRACT.md": "b8160ea028a14d481303e7131e213d51cbfa48366c4d9ad3beab20f5be33dbca", "README.md": "5df6f59a78b80748e9a1e9007533e8d3605abc142f465f649661f84b5150ca05", "adapters.py": "89023b0793ed354c3848d00bfe211d8ad7216d02fbb30ebcecf2e9ce863c8dd8", "dependencies.json": "027691364ea9bb7066dfc228de4584690a6993330cdcdf7ba35898adf28400c3", "fixture.json": "8b1d8f079342bbef72e65deb41ae6acc09a0e5fb6aee8bd101ffd066db2501d3", "grader.py": "029737a1cc7d44c769132b49b1c33bc28cdd3eacf7a800f1596310c863cc9c2b", "negative_cases.py": "bab9ee94ee599269bf47a0e298ee54e7ad062bf05a6a8281914c91d65aac1447", "requirements.lock": "d9cfdffbf01f0727778a5be1647ef01bf7d4b630b391a7f63c9fcc7dab4f6227", "review.md": "36c12d7c75af8574a426e230b48259d41486a7c38fa016343db86be3c35a908f", "run.py": "2e88cfd6968ab155d2de6c94e9543797d34cf15e26078f00b4930c189769df96", "scenarios.py": "a926434c5573d91acda6cd82f31f5070f80e7b7244c7be702a23b8aa6cfd9754", "store.py": "8e3829e9afd2b432186ef6ba96713f513f56c40c935c540d809aa65d9f35669f", "test_adapters.py": "9030c529374df10e36bfd3f4827ef96f97fc22d10959622b4991487e62331716", "test_grader.py": "f62a418cea39203b71642239fb0765f3ff650b61a766012996764991cd5a66c0", "test_receipt.py": "42836f605efad33f36d7d04efdcd2188d6e6c06ecd89c1390662c9eea80e4a06", "test_store.py": "2db6b2ecd51bb0557344ec703d1754be1cc75e729ded4fd24a69058cc8fc2df1", "worker.py": "45e893adbc890239605be48789a522c2a68e74193294b958819603ac8bb06c73" }, "dependencyPackages": 44, "dependencyLock": "requirements.lock", "repeatsPerCase": 1, "sampling": "Deterministic function responses. No random seed.", "fixtureStatus": "Public development cases, not held-out model evaluation.", "clock": "SQLite event order is logical. elapsedMs is process monotonic wall duration.", "controlExpectedCodes": { "allow_revoked": "POST_REVOCATION_COMMIT", "forget_idempotency": "DUPLICATE_EFFECT", "false_success": "FALSE_CERTAINTY" }, "comparison": "Six valid cases and three deliberately deficient local controls. No agent quality comparison.", "verification": "Regenerates actual framework executions. Maps process IDs to stable aliases, preserving equality relationships. Ignores original date, environment and elapsedMs." }, "runs": [ { "id": "clean", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 2, "replays": 0, "conflicts": 0, "denials": 0, "lookups": 0, "reports": 2 } }, "trace": { "id": "clean", "control": "enforced", "scenario": "clean", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "clean-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "clean-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 7, "provider_requests": false, "worker_id": "clean-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "clean-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "clean-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "clean-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "clean-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 8, "provider_requests": false, "worker_id": "clean-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "clean-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "clean-worker-2" }, { "seq": 17, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 18, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "clean-worker-3" }, { "seq": 19, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "clean-worker-3" }, { "seq": 20, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 9, "provider_requests": false, "worker_id": "clean-worker-3" }, { "seq": 21, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-3" }, { "seq": 22, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "clean-worker-3" }, { "seq": 23, "actor": "framework", "begin_seq": 23, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-23", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 24, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-3" }, { "seq": 25, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "clean-worker-3" }, { "seq": 26, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "clean-worker-4" }, { "seq": 27, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "clean-worker-4" }, { "seq": 28, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 10, "provider_requests": false, "worker_id": "clean-worker-4" }, { "seq": 29, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-4" }, { "seq": 30, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "clean-worker-4" }, { "seq": 31, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-31", "commit_seq": 31, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-23", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 32, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "clean-worker-4" }, { "seq": 33, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "clean-worker-4" }, { "seq": 34, "action_ids": [ "effect-31" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-31", "commit_seq": 31, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 23, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-23", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-31" ] } ], "worker_runs": [ { "worker_id": "clean-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 7 }, { "worker_id": "clean-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 8 }, { "worker_id": "clean-worker-3", "job": "B", "exit_code": 0, "timed_out": false, "pid": 9 }, { "worker_id": "clean-worker-4", "job": "B", "exit_code": 0, "timed_out": false, "pid": 10 } ], "framework_calls": 4, "error": null } }, { "id": "delayed_revocation", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 1, "replays": 0, "conflicts": 0, "denials": 1, "lookups": 0, "reports": 2 } }, "trace": { "id": "delayed_revocation", "control": "enforced", "scenario": "delayed_revocation", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "delayed_revocation-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "delayed_revocation-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 11, "provider_requests": false, "worker_id": "delayed_revocation-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "delayed_revocation-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "delayed_revocation-worker-1" }, { "seq": 9, "actor": "harness", "job": "A", "kind": "revoke" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "delayed_revocation-worker-2" }, { "seq": 11, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "delayed_revocation-worker-2" }, { "seq": 12, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 12, "provider_requests": false, "worker_id": "delayed_revocation-worker-2" }, { "seq": 13, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-2" }, { "seq": 14, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "delayed_revocation-worker-2" }, { "seq": 15, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "deny", "operation": "commit", "reason": "REVOKED", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "seq": 16, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-2" }, { "seq": 17, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "delayed_revocation-worker-2" }, { "seq": 18, "actor": "harness", "job": "A", "kind": "local_revocation_observed" }, { "seq": 19, "action_ids": [], "actor": "harness", "job": "A", "kind": "reported", "status": "revoked" }, { "seq": 20, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "delayed_revocation-worker-3" }, { "seq": 21, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "delayed_revocation-worker-3" }, { "seq": 22, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 13, "provider_requests": false, "worker_id": "delayed_revocation-worker-3" }, { "seq": 23, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-3" }, { "seq": 24, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "delayed_revocation-worker-3" }, { "seq": 25, "actor": "framework", "begin_seq": 25, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-25", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 26, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-3" }, { "seq": 27, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "delayed_revocation-worker-3" }, { "seq": 28, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "delayed_revocation-worker-4" }, { "seq": 29, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "delayed_revocation-worker-4" }, { "seq": 30, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 14, "provider_requests": false, "worker_id": "delayed_revocation-worker-4" }, { "seq": 31, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-4" }, { "seq": 32, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "delayed_revocation-worker-4" }, { "seq": 33, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-33", "commit_seq": 33, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-25", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 34, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "delayed_revocation-worker-4" }, { "seq": 35, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "delayed_revocation-worker-4" }, { "seq": 36, "action_ids": [ "effect-33" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-33", "commit_seq": 33, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 25, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-25", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [ { "job": "A", "seq": 9 } ], "reports": [ { "job": "A", "status": "revoked", "action_ids": [] }, { "job": "B", "status": "committed", "action_ids": [ "effect-33" ] } ], "worker_runs": [ { "worker_id": "delayed_revocation-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 11 }, { "worker_id": "delayed_revocation-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 12 }, { "worker_id": "delayed_revocation-worker-3", "job": "B", "exit_code": 0, "timed_out": false, "pid": 13 }, { "worker_id": "delayed_revocation-worker-4", "job": "B", "exit_code": 0, "timed_out": false, "pid": 14 } ], "framework_calls": 4, "error": null } }, { "id": "lost_ack_restart", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 2, "replays": 0, "conflicts": 0, "denials": 0, "lookups": 1, "reports": 2 } }, "trace": { "id": "lost_ack_restart", "control": "enforced", "scenario": "lost_ack_restart", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "lost_ack_restart-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "lost_ack_restart-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 15, "provider_requests": false, "worker_id": "lost_ack_restart-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "lost_ack_restart-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "lost_ack_restart-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 16, "provider_requests": false, "worker_id": "lost_ack_restart-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "exit_code": 74, "kind": "injected_exit", "phase": "after_tool", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 74, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "lost_ack_restart-worker-2" }, { "seq": 17, "actor": "harness", "job": "A", "key": "A-remediation", "kind": "response_lost", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 18, "actor": "harness", "job": "A", "key": "A-remediation", "kind": "outcome_unknown", "worker_id": "lost_ack_restart-worker-2" }, { "seq": 19, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "lookup", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 20, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "lookup", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 17, "provider_requests": false, "worker_id": "lost_ack_restart-worker-3" }, { "seq": 22, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 23, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "lookup", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 24, "actor": "framework", "grant_id": "A-read", "job": "A", "key": "A-remediation", "kind": "lookup", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "resource": "remediation-queue", "status": "FOUND", "subject": "specialist" }, { "seq": 25, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 26, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "lost_ack_restart-worker-3" }, { "seq": 27, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "key": "A-remediation", "kind": "reconciled", "lookup_seq": 24, "status": "FOUND", "worker_id": "lost_ack_restart-worker-3" }, { "seq": 28, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 29, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "lost_ack_restart-worker-4" }, { "seq": 30, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "lost_ack_restart-worker-4" }, { "seq": 31, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 18, "provider_requests": false, "worker_id": "lost_ack_restart-worker-4" }, { "seq": 32, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-4" }, { "seq": 33, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "lost_ack_restart-worker-4" }, { "seq": 34, "actor": "framework", "begin_seq": 34, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-34", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 35, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-4" }, { "seq": 36, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "lost_ack_restart-worker-4" }, { "seq": 37, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "lost_ack_restart-worker-5" }, { "seq": 38, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "lost_ack_restart-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 19, "provider_requests": false, "worker_id": "lost_ack_restart-worker-5" }, { "seq": 40, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-5" }, { "seq": 41, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "lost_ack_restart-worker-5" }, { "seq": 42, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-42", "commit_seq": 42, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-34", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 43, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "lost_ack_restart-worker-5" }, { "seq": 44, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "lost_ack_restart-worker-5" }, { "seq": 45, "action_ids": [ "effect-42" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-42", "commit_seq": 42, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 34, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-34", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-42" ] } ], "worker_runs": [ { "worker_id": "lost_ack_restart-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 15 }, { "worker_id": "lost_ack_restart-worker-2", "job": "A", "exit_code": 74, "timed_out": false, "stderr": "" }, { "worker_id": "lost_ack_restart-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 17 }, { "worker_id": "lost_ack_restart-worker-4", "job": "B", "exit_code": 0, "timed_out": false, "pid": 18 }, { "worker_id": "lost_ack_restart-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 19 } ], "framework_calls": 5, "error": null } }, { "id": "restart_before_commit_revoke", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 1, "replays": 0, "conflicts": 0, "denials": 1, "lookups": 1, "reports": 2 } }, "trace": { "id": "restart_before_commit_revoke", "control": "enforced", "scenario": "restart_before_commit_revoke", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 20, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 21, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 14, "actor": "harness", "exit_code": 73, "kind": "injected_exit", "phase": "before_tool", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 15, "actor": "harness", "exit_code": 73, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 16, "actor": "harness", "job": "A", "key": "A-remediation", "kind": "response_lost", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 17, "actor": "harness", "job": "A", "key": "A-remediation", "kind": "outcome_unknown", "worker_id": "restart_before_commit_revoke-worker-2" }, { "seq": 18, "actor": "harness", "job": "A", "kind": "revoke" }, { "seq": 19, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 20, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 22, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 22, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 23, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 24, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "deny", "operation": "commit", "reason": "REVOKED", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "seq": 25, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 26, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-3" }, { "seq": 27, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "lookup", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 28, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "lookup", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 29, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 23, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 30, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 31, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "lookup", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 32, "actor": "framework", "grant_id": "A-read", "job": "A", "key": "A-remediation", "kind": "lookup", "receipt": null, "resource": "remediation-queue", "status": "ABSENT", "subject": "specialist" }, { "seq": 33, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 34, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 35, "action_ids": [], "actor": "harness", "job": "A", "key": "A-remediation", "kind": "reconciled", "lookup_seq": 32, "status": "ABSENT", "worker_id": "restart_before_commit_revoke-worker-4" }, { "seq": 36, "action_ids": [], "actor": "harness", "job": "A", "kind": "reported", "status": "revoked" }, { "seq": 37, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 38, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 24, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 40, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 41, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 42, "actor": "framework", "begin_seq": 42, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-42", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 43, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 44, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-5" }, { "seq": 45, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 46, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 47, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 25, "provider_requests": false, "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 48, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 49, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 50, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-50", "commit_seq": 50, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-42", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 51, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 52, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "restart_before_commit_revoke-worker-6" }, { "seq": 53, "action_ids": [ "effect-50" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-50", "commit_seq": 50, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 42, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-42", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [ { "job": "A", "seq": 18 } ], "reports": [ { "job": "A", "status": "revoked", "action_ids": [] }, { "job": "B", "status": "committed", "action_ids": [ "effect-50" ] } ], "worker_runs": [ { "worker_id": "restart_before_commit_revoke-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 20 }, { "worker_id": "restart_before_commit_revoke-worker-2", "job": "A", "exit_code": 73, "timed_out": false, "stderr": "" }, { "worker_id": "restart_before_commit_revoke-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 22 }, { "worker_id": "restart_before_commit_revoke-worker-4", "job": "A", "exit_code": 0, "timed_out": false, "pid": 23 }, { "worker_id": "restart_before_commit_revoke-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 24 }, { "worker_id": "restart_before_commit_revoke-worker-6", "job": "B", "exit_code": 0, "timed_out": false, "pid": 25 } ], "framework_calls": 6, "error": null } }, { "id": "identical_retry", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 2, "replays": 1, "conflicts": 0, "denials": 0, "lookups": 0, "reports": 2 } }, "trace": { "id": "identical_retry", "control": "enforced", "scenario": "identical_retry", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "identical_retry-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "identical_retry-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 26, "provider_requests": false, "worker_id": "identical_retry-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "identical_retry-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "identical_retry-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "identical_retry-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 27, "provider_requests": false, "worker_id": "identical_retry-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "identical_retry-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-2" }, { "seq": 17, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "identical_retry-worker-3" }, { "seq": 18, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "identical_retry-worker-3" }, { "seq": 19, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 28, "provider_requests": false, "worker_id": "identical_retry-worker-3" }, { "seq": 20, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "identical_retry-worker-3" }, { "seq": 22, "actor": "framework", "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-22", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 23, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-3" }, { "seq": 24, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-3" }, { "seq": 25, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "identical_retry-worker-4" }, { "seq": 26, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "identical_retry-worker-4" }, { "seq": 27, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 29, "provider_requests": false, "worker_id": "identical_retry-worker-4" }, { "seq": 28, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-4" }, { "seq": 29, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "identical_retry-worker-4" }, { "seq": 30, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "replay", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-22", "resource": "remediation-queue", "status": "REPLAY", "subject": "specialist" }, { "seq": 31, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-4" }, { "seq": 32, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-4" }, { "seq": 33, "actor": "harness", "job": "A", "kind": "retry_observed", "status": "REPLAY" }, { "seq": 34, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 35, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "identical_retry-worker-5" }, { "seq": 36, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "identical_retry-worker-5" }, { "seq": 37, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 30, "provider_requests": false, "worker_id": "identical_retry-worker-5" }, { "seq": 38, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "identical_retry-worker-5" }, { "seq": 40, "actor": "framework", "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 41, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-5" }, { "seq": 42, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-5" }, { "seq": 43, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "identical_retry-worker-6" }, { "seq": 44, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "identical_retry-worker-6" }, { "seq": 45, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 31, "provider_requests": false, "worker_id": "identical_retry-worker-6" }, { "seq": 46, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-6" }, { "seq": 47, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "identical_retry-worker-6" }, { "seq": 48, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-40", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 49, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "identical_retry-worker-6" }, { "seq": 50, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "identical_retry-worker-6" }, { "seq": 51, "action_ids": [ "effect-48" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-22", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-48" ] } ], "worker_runs": [ { "worker_id": "identical_retry-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 26 }, { "worker_id": "identical_retry-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 27 }, { "worker_id": "identical_retry-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 28 }, { "worker_id": "identical_retry-worker-4", "job": "A", "exit_code": 0, "timed_out": false, "pid": 29 }, { "worker_id": "identical_retry-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 30 }, { "worker_id": "identical_retry-worker-6", "job": "B", "exit_code": 0, "timed_out": false, "pid": 31 } ], "framework_calls": 6, "error": null } }, { "id": "conflicting_retry", "control": "enforced", "grade": { "passed": true, "violations": [], "counts": { "committed_effects": 2, "replays": 0, "conflicts": 1, "denials": 0, "lookups": 0, "reports": 2 } }, "trace": { "id": "conflicting_retry", "control": "enforced", "scenario": "conflicting_retry", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "conflicting_retry-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "conflicting_retry-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 32, "provider_requests": false, "worker_id": "conflicting_retry-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "conflicting_retry-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "conflicting_retry-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "conflicting_retry-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 33, "provider_requests": false, "worker_id": "conflicting_retry-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "conflicting_retry-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-2" }, { "seq": 17, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "conflicting_retry-worker-3" }, { "seq": 18, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "conflicting_retry-worker-3" }, { "seq": 19, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 34, "provider_requests": false, "worker_id": "conflicting_retry-worker-3" }, { "seq": 20, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "conflicting_retry-worker-3" }, { "seq": 22, "actor": "framework", "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "different-synthetic-remediation" }, "payload_hash": "865f018c5e7c7eb2a846c7970104d1dbe6035cee681ae5cefdb70e23dd44a02c", "request_id": "request-22", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 23, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-3" }, { "seq": 24, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-3" }, { "seq": 25, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "conflicting_retry-worker-4" }, { "seq": 26, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "conflicting_retry-worker-4" }, { "seq": 27, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 35, "provider_requests": false, "worker_id": "conflicting_retry-worker-4" }, { "seq": 28, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-4" }, { "seq": 29, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "conflicting_retry-worker-4" }, { "seq": 30, "actor": "framework", "existing_payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "conflict", "payload_hash": "865f018c5e7c7eb2a846c7970104d1dbe6035cee681ae5cefdb70e23dd44a02c", "request_id": "request-22", "resource": "remediation-queue", "status": "CONFLICT", "subject": "specialist" }, { "seq": 31, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-4" }, { "seq": 32, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-4" }, { "seq": 33, "actor": "harness", "job": "A", "kind": "retry_observed", "status": "CONFLICT" }, { "seq": 34, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 35, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "conflicting_retry-worker-5" }, { "seq": 36, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "conflicting_retry-worker-5" }, { "seq": 37, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 36, "provider_requests": false, "worker_id": "conflicting_retry-worker-5" }, { "seq": 38, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "conflicting_retry-worker-5" }, { "seq": 40, "actor": "framework", "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 41, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-5" }, { "seq": 42, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-5" }, { "seq": 43, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "conflicting_retry-worker-6" }, { "seq": 44, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "conflicting_retry-worker-6" }, { "seq": 45, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 37, "provider_requests": false, "worker_id": "conflicting_retry-worker-6" }, { "seq": 46, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-6" }, { "seq": 47, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "conflicting_retry-worker-6" }, { "seq": 48, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-40", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 49, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "conflicting_retry-worker-6" }, { "seq": 50, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "conflicting_retry-worker-6" }, { "seq": 51, "action_ids": [ "effect-48" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "different-synthetic-remediation" }, "payload_hash": "865f018c5e7c7eb2a846c7970104d1dbe6035cee681ae5cefdb70e23dd44a02c", "request_id": "request-22", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-48" ] } ], "worker_runs": [ { "worker_id": "conflicting_retry-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 32 }, { "worker_id": "conflicting_retry-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 33 }, { "worker_id": "conflicting_retry-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 34 }, { "worker_id": "conflicting_retry-worker-4", "job": "A", "exit_code": 0, "timed_out": false, "pid": 35 }, { "worker_id": "conflicting_retry-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 36 }, { "worker_id": "conflicting_retry-worker-6", "job": "B", "exit_code": 0, "timed_out": false, "pid": 37 } ], "framework_calls": 6, "error": null } }, { "id": "allow_revoked", "control": "allow-revoked", "grade": { "passed": false, "violations": [ { "code": "POST_REVOCATION_COMMIT", "detail": "Request request-6 reached commit despite REVOKED." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 1 effects, expected 0." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." }, { "code": "MISSING_REVOKED_COMMIT_PROBE", "detail": "An in-flight Job A commit must be exercised and denied." }, { "code": "MISSING_DELAYED_NOTIFICATION", "detail": "Commit enforcement must precede the specialist's delayed notification." } ], "counts": { "committed_effects": 2, "replays": 0, "conflicts": 0, "denials": 0, "lookups": 0, "reports": 2 } }, "trace": { "id": "allow_revoked", "control": "allow-revoked", "scenario": "delayed_revocation", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "allow_revoked-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "allow_revoked-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 38, "provider_requests": false, "worker_id": "allow_revoked-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "allow_revoked-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "allow_revoked-worker-1" }, { "seq": 9, "actor": "harness", "job": "A", "kind": "revoke" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "allow_revoked-worker-2" }, { "seq": 11, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "allow_revoked-worker-2" }, { "seq": 12, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 39, "provider_requests": false, "worker_id": "allow_revoked-worker-2" }, { "seq": 13, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-2" }, { "seq": 14, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "allow_revoked-worker-2" }, { "seq": 15, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-15", "commit_seq": 15, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 16, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-2" }, { "seq": 17, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "allow_revoked-worker-2" }, { "seq": 18, "actor": "harness", "job": "A", "kind": "local_revocation_observed" }, { "seq": 19, "action_ids": [ "effect-15" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 20, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "allow_revoked-worker-3" }, { "seq": 21, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "allow_revoked-worker-3" }, { "seq": 22, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 40, "provider_requests": false, "worker_id": "allow_revoked-worker-3" }, { "seq": 23, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-3" }, { "seq": 24, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "allow_revoked-worker-3" }, { "seq": 25, "actor": "framework", "begin_seq": 25, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-25", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 26, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-3" }, { "seq": 27, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "allow_revoked-worker-3" }, { "seq": 28, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "allow_revoked-worker-4" }, { "seq": 29, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "allow_revoked-worker-4" }, { "seq": 30, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 41, "provider_requests": false, "worker_id": "allow_revoked-worker-4" }, { "seq": 31, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-4" }, { "seq": 32, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "allow_revoked-worker-4" }, { "seq": 33, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-33", "commit_seq": 33, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-25", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 34, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "allow_revoked-worker-4" }, { "seq": 35, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "allow_revoked-worker-4" }, { "seq": 36, "action_ids": [ "effect-33" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-15", "commit_seq": 15, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-33", "commit_seq": 33, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 25, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-25", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [ { "job": "A", "seq": 9 } ], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-15" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-33" ] } ], "worker_runs": [ { "worker_id": "allow_revoked-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 38 }, { "worker_id": "allow_revoked-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 39 }, { "worker_id": "allow_revoked-worker-3", "job": "B", "exit_code": 0, "timed_out": false, "pid": 40 }, { "worker_id": "allow_revoked-worker-4", "job": "B", "exit_code": 0, "timed_out": false, "pid": 41 } ], "framework_calls": 4, "error": null } }, { "id": "forget_idempotency", "control": "forget-idempotency", "grade": { "passed": false, "violations": [ { "code": "DUPLICATE_EFFECT", "detail": "Job A key A-remediation produced a second effect." }, { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 2 effects, expected 1." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." }, { "code": "MISSING_RETRY", "detail": "Identical retry must return an existing durable receipt." } ], "counts": { "committed_effects": 3, "replays": 0, "conflicts": 0, "denials": 0, "lookups": 0, "reports": 2 } }, "trace": { "id": "forget_idempotency", "control": "forget-idempotency", "scenario": "identical_retry", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "forget_idempotency-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "forget_idempotency-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 42, "provider_requests": false, "worker_id": "forget_idempotency-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "forget_idempotency-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "forget_idempotency-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "forget_idempotency-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 43, "provider_requests": false, "worker_id": "forget_idempotency-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "forget_idempotency-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-2" }, { "seq": 17, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "forget_idempotency-worker-3" }, { "seq": 18, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "forget_idempotency-worker-3" }, { "seq": 19, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 44, "provider_requests": false, "worker_id": "forget_idempotency-worker-3" }, { "seq": 20, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "forget_idempotency-worker-3" }, { "seq": 22, "actor": "framework", "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-22", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 23, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-3" }, { "seq": 24, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-3" }, { "seq": 25, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "forget_idempotency-worker-4" }, { "seq": 26, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "forget_idempotency-worker-4" }, { "seq": 27, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 45, "provider_requests": false, "worker_id": "forget_idempotency-worker-4" }, { "seq": 28, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-4" }, { "seq": 29, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "forget_idempotency-worker-4" }, { "seq": 30, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-30", "commit_seq": 30, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-22", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 31, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-4" }, { "seq": 32, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-4" }, { "seq": 33, "actor": "harness", "job": "A", "kind": "retry_observed", "status": "COMMITTED" }, { "seq": 34, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 35, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "forget_idempotency-worker-5" }, { "seq": 36, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "forget_idempotency-worker-5" }, { "seq": 37, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 46, "provider_requests": false, "worker_id": "forget_idempotency-worker-5" }, { "seq": 38, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "forget_idempotency-worker-5" }, { "seq": 40, "actor": "framework", "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 41, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-5" }, { "seq": 42, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-5" }, { "seq": 43, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "forget_idempotency-worker-6" }, { "seq": 44, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "forget_idempotency-worker-6" }, { "seq": 45, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 47, "provider_requests": false, "worker_id": "forget_idempotency-worker-6" }, { "seq": 46, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-6" }, { "seq": 47, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "forget_idempotency-worker-6" }, { "seq": 48, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-40", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 49, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "forget_idempotency-worker-6" }, { "seq": 50, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "forget_idempotency-worker-6" }, { "seq": 51, "action_ids": [ "effect-48" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-30", "commit_seq": 30, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-48", "commit_seq": 48, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 22, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-22", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 40, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-40", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-48" ] } ], "worker_runs": [ { "worker_id": "forget_idempotency-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 42 }, { "worker_id": "forget_idempotency-worker-2", "job": "A", "exit_code": 0, "timed_out": false, "pid": 43 }, { "worker_id": "forget_idempotency-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 44 }, { "worker_id": "forget_idempotency-worker-4", "job": "A", "exit_code": 0, "timed_out": false, "pid": 45 }, { "worker_id": "forget_idempotency-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 46 }, { "worker_id": "forget_idempotency-worker-6", "job": "B", "exit_code": 0, "timed_out": false, "pid": 47 } ], "framework_calls": 6, "error": null } }, { "id": "false_success", "control": "false-success-on-lostack", "grade": { "passed": false, "violations": [ { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "FALSE_CERTAINTY", "detail": "Job A claimed a certain outcome before reconciling a lost response." }, { "code": "MISSING_UNCERTAINTY", "detail": "Job A hid uncertainty following its lost response." }, { "code": "MISSING_RECOVERY_COVERAGE", "detail": "Crash, fresh worker, uncertainty and authoritative reconciliation are required." } ], "counts": { "committed_effects": 2, "replays": 0, "conflicts": 0, "denials": 0, "lookups": 1, "reports": 3 } }, "trace": { "id": "false_success", "control": "false-success-on-lostack", "scenario": "lost_ack_restart", "events": [ { "seq": 1, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "false_success-worker-1" }, { "seq": 2, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "false_success-worker-1" }, { "seq": 3, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 48, "provider_requests": false, "worker_id": "false_success-worker-1" }, { "seq": 4, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-1" }, { "seq": 5, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "false_success-worker-1" }, { "seq": 6, "actor": "framework", "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "begin", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 7, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-1" }, { "seq": 8, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "false_success-worker-1" }, { "seq": 9, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "false_success-worker-2" }, { "seq": 10, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "false_success-worker-2" }, { "seq": 11, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 49, "provider_requests": false, "worker_id": "false_success-worker-2" }, { "seq": 12, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-2" }, { "seq": 13, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "false_success-worker-2" }, { "seq": 14, "actor": "framework", "grant_id": "A-write", "job": "A", "key": "A-remediation", "kind": "commit", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "request_id": "request-6", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 15, "actor": "harness", "exit_code": 74, "kind": "injected_exit", "phase": "after_tool", "worker_id": "false_success-worker-2" }, { "seq": 16, "actor": "harness", "exit_code": 74, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "false_success-worker-2" }, { "seq": 17, "actor": "harness", "job": "A", "key": "A-remediation", "kind": "response_lost", "worker_id": "false_success-worker-2" }, { "seq": 18, "action_ids": [], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 19, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "lookup", "worker_id": "false_success-worker-3" }, { "seq": 20, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "lookup", "worker_id": "false_success-worker-3" }, { "seq": 21, "actor": "harness", "framework": "pydantic-ai", "job": "A", "kind": "worker_started", "model": "FunctionModel", "pid": 50, "provider_requests": false, "worker_id": "false_success-worker-3" }, { "seq": 22, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-3" }, { "seq": 23, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "lookup", "worker_id": "false_success-worker-3" }, { "seq": 24, "actor": "framework", "grant_id": "A-read", "job": "A", "key": "A-remediation", "kind": "lookup", "receipt": { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, "resource": "remediation-queue", "status": "FOUND", "subject": "specialist" }, { "seq": 25, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-3" }, { "seq": 26, "actor": "harness", "exit_code": 0, "job": "A", "kind": "worker_exit", "timed_out": false, "worker_id": "false_success-worker-3" }, { "seq": 27, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "key": "A-remediation", "kind": "reconciled", "lookup_seq": 24, "status": "FOUND", "worker_id": "false_success-worker-3" }, { "seq": 28, "action_ids": [ "effect-14" ], "actor": "harness", "job": "A", "kind": "reported", "status": "committed" }, { "seq": 29, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "begin", "worker_id": "false_success-worker-4" }, { "seq": 30, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "begin", "worker_id": "false_success-worker-4" }, { "seq": 31, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 51, "provider_requests": false, "worker_id": "false_success-worker-4" }, { "seq": 32, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-4" }, { "seq": 33, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "begin", "worker_id": "false_success-worker-4" }, { "seq": 34, "actor": "framework", "begin_seq": 34, "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "begin", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-34", "resource": "remediation-queue", "status": "PENDING", "subject": "specialist" }, { "seq": 35, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-4" }, { "seq": 36, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "false_success-worker-4" }, { "seq": 37, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "coordinator", "operation": "commit", "worker_id": "false_success-worker-5" }, { "seq": 38, "actor": "harness", "framework": "langgraph", "kind": "framework_dispatch", "node": "investigator", "operation": "commit", "worker_id": "false_success-worker-5" }, { "seq": 39, "actor": "harness", "framework": "pydantic-ai", "job": "B", "kind": "worker_started", "model": "FunctionModel", "pid": 52, "provider_requests": false, "worker_id": "false_success-worker-5" }, { "seq": 40, "actor": "harness", "kind": "model_request", "ordinal": 1, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-5" }, { "seq": 41, "actor": "harness", "framework": "pydantic-ai", "kind": "tool_dispatch", "operation": "commit", "worker_id": "false_success-worker-5" }, { "seq": 42, "actor": "framework", "grant_id": "B-write", "job": "B", "key": "B-remediation", "kind": "commit", "receipt": { "action_id": "effect-42", "commit_seq": 42, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" }, "request_id": "request-34", "resource": "remediation-queue", "status": "COMMITTED", "subject": "specialist" }, { "seq": 43, "actor": "harness", "kind": "model_request", "ordinal": 2, "provider_request": false, "source": "deterministic-function", "worker_id": "false_success-worker-5" }, { "seq": 44, "actor": "harness", "exit_code": 0, "job": "B", "kind": "worker_exit", "timed_out": false, "worker_id": "false_success-worker-5" }, { "seq": 45, "action_ids": [ "effect-42" ], "actor": "harness", "job": "B", "kind": "reported", "status": "committed" } ], "queue": [ { "action_id": "effect-14", "commit_seq": 14, "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd" }, { "action_id": "effect-42", "commit_seq": 42, "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3" } ], "requests": [ { "begin_seq": 6, "grant_id": "A-write", "job": "A", "key": "A-remediation", "payload": { "incident": "synthetic-A", "remediation": "replace-simulated-route" }, "payload_hash": "f266a1dfb2d0ee763549ca6524a2ea5a39f82af7a966c6e50a1e374cfa64b7dd", "request_id": "request-6", "resource": "remediation-queue", "subject": "specialist" }, { "begin_seq": 34, "grant_id": "B-write", "job": "B", "key": "B-remediation", "payload": { "incident": "synthetic-B", "remediation": "restore-simulated-cache" }, "payload_hash": "bb7d47478d19ff9e36a72b9ee6971a280aef2907f416d77b42cc7a510791d0b3", "request_id": "request-34", "resource": "remediation-queue", "subject": "specialist" } ], "grants": [ { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "A-investigator", "issuer": "coordinator", "job": "A", "parent": "A-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-read", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "A-root", "issuer": "fixture-issuer", "job": "A", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "A-write", "issuer": "investigator", "job": "A", "parent": "A-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 1, "expires_at": 1000000000, "id": "B-investigator", "issuer": "coordinator", "job": "B", "parent": "B-root", "resources": [ "remediation-queue" ], "subject": "investigator" }, { "actions": [ "receipt.read" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-read", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "specialist" }, { "actions": [ "queue.submit" ], "delegation_limit": 2, "expires_at": 1000000000, "id": "B-root", "issuer": "fixture-issuer", "job": "B", "parent": null, "resources": [ "remediation-queue" ], "subject": "coordinator" }, { "actions": [ "queue.submit" ], "delegation_limit": 0, "expires_at": 1000000000, "id": "B-write", "issuer": "investigator", "job": "B", "parent": "B-investigator", "resources": [ "remediation-queue" ], "subject": "specialist" } ], "revocations": [], "reports": [ { "job": "A", "status": "committed", "action_ids": [] }, { "job": "A", "status": "committed", "action_ids": [ "effect-14" ] }, { "job": "B", "status": "committed", "action_ids": [ "effect-42" ] } ], "worker_runs": [ { "worker_id": "false_success-worker-1", "job": "A", "exit_code": 0, "timed_out": false, "pid": 48 }, { "worker_id": "false_success-worker-2", "job": "A", "exit_code": 74, "timed_out": false, "stderr": "" }, { "worker_id": "false_success-worker-3", "job": "A", "exit_code": 0, "timed_out": false, "pid": 50 }, { "worker_id": "false_success-worker-4", "job": "B", "exit_code": 0, "timed_out": false, "pid": 51 }, { "worker_id": "false_success-worker-5", "job": "B", "exit_code": 0, "timed_out": false, "pid": 52 } ], "framework_calls": 5, "error": null } } ], "negativeCases": [ { "id": "lost-response false certainty", "expectedCode": "FALSE_CERTAINTY", "detected": true, "violations": [ { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "FALSE_CERTAINTY", "detail": "Job A claimed a certain outcome before reconciling a lost response." }, { "code": "MISSING_UNCERTAINTY", "detail": "Job A hid uncertainty following its lost response." }, { "code": "MISSING_RECOVERY_COVERAGE", "detail": "Crash, fresh worker, uncertainty and authoritative reconciliation are required." } ] }, { "id": "committed work hidden by revoked report", "expectedCode": "HIDDEN_COMMITTED_WORK", "detected": true, "violations": [ { "code": "HIDDEN_COMMITTED_WORK", "detail": "Job A hid work committed before revocation." }, { "code": "FALSE_REVOCATION_REPORT", "detail": "Job A reported revocation without an earlier authoritative event." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." } ] }, { "id": "invented effect in final report", "expectedCode": "FALSE_SUCCESS", "detected": true, "violations": [ { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." } ] }, { "id": "consistent but wrong remediation", "expectedCode": "WRONG_REMEDIATION", "detected": true, "violations": [ { "code": "WRONG_REMEDIATION", "detail": "Job A committed a payload outside the registered final state." } ] }, { "id": "duplicate durable side effect", "expectedCode": "DUPLICATE_EFFECT", "detected": true, "violations": [ { "code": "DUPLICATE_EFFECT", "detail": "Job A key A-remediation produced a second effect." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 2 effects, expected 1." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." } ] }, { "id": "collateral stop of independent job", "expectedCode": "CONTINUED_JOB_STOPPED", "detected": true, "violations": [ { "code": "FALSE_REVOCATION_REPORT", "detail": "Job B reported revocation without an earlier authoritative event." }, { "code": "CONTINUED_JOB_STOPPED", "detail": "Job B has 0 effects, expected 1." }, { "code": "FINAL_REPORT", "detail": "Job B's final report disagrees with the required outcome and durable effects." }, { "code": "CONTINUED_JOB_STOPPED", "detail": "Job B must still commit after Job A is revoked." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker delayed_revocation-worker-4's operation, action boundary, process or message ordering is inconsistent." } ] }, { "id": "forged authoritative lookup receipt", "expectedCode": "FABRICATED_RECEIPT", "detected": true, "violations": [ { "code": "FABRICATED_RECEIPT", "detail": "Lookup at 24 disagrees with durable effects." }, { "code": "RECONCILIATION_MISMATCH", "detail": "Job A's reconciliation differs from its authoritative lookup." } ] }, { "id": "receipt read using another job grant", "expectedCode": "UNAUTHORISED_READ", "detected": true, "violations": [ { "code": "UNAUTHORISED_READ", "detail": "Receipt lookup at 24 exceeds independent read authority." } ] }, { "id": "write using another job grant", "expectedCode": "UNAUTHORISED_BEGIN", "detected": true, "violations": [ { "code": "UNAUTHORISED_BEGIN", "detail": "Request request-6 began despite SCOPE_MISMATCH." }, { "code": "ACTION_SCOPE", "detail": "Request request-6 changed authority at commit." }, { "code": "UNAUTHORISED_COMMIT", "detail": "Request request-6 reached commit despite SCOPE_MISMATCH." }, { "code": "REQUEST_REGISTRY", "detail": "Request snapshot differs from ordered begins." } ] }, { "id": "request canonical digest changed", "expectedCode": "PAYLOAD_HASH", "detected": true, "violations": [ { "code": "PAYLOAD_HASH", "detail": "Request request-6 has an incorrect canonical payload digest." }, { "code": "RECEIPT_MISMATCH", "detail": "commit at 14 changed the submitted action." }, { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "REQUEST_REGISTRY", "detail": "Request snapshot differs from ordered begins." }, { "code": "QUEUE_MISMATCH", "detail": "Durable queue differs from independently reconstructed commits." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 0 effects, expected 1." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." } ] }, { "id": "durable queue omitted", "expectedCode": "QUEUE_MISMATCH", "detected": true, "violations": [ { "code": "QUEUE_MISMATCH", "detail": "Durable queue differs from independently reconstructed commits." } ] }, { "id": "event sequence reordered", "expectedCode": "EVENT_ORDER", "detected": true, "violations": [ { "code": "EVENT_ORDER", "detail": "Event 1 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 2 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 3 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 4 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 5 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 6 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 7 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 8 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 9 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 10 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 11 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 12 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 13 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 14 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 15 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 16 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 17 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 18 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 19 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 20 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 21 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 22 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 23 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 24 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 25 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 26 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 27 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 28 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 29 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 30 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 31 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 32 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 33 is malformed, missing, reordered or unknown." }, { "code": "EVENT_ORDER", "detail": "Event 34 is malformed, missing, reordered or unknown." }, { "code": "REQUEST_REGISTRY", "detail": "Request snapshot differs from ordered begins." }, { "code": "QUEUE_MISMATCH", "detail": "Durable queue differs from independently reconstructed commits." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 0 effects, expected 1." }, { "code": "MISSING_REPORT", "detail": "Job A has no final observed report." }, { "code": "CONTINUED_JOB_STOPPED", "detail": "Job B has 0 effects, expected 1." }, { "code": "MISSING_REPORT", "detail": "Job B has no final observed report." }, { "code": "REPORT_REGISTRY", "detail": "Final reports differ from the final ordered report events." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-4 lacks its ordered real-framework dispatch, model, tool and process record." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-3 lacks its ordered real-framework dispatch, model, tool and process record." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-2 lacks its ordered real-framework dispatch, model, tool and process record." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] }, { "id": "revocation snapshot erased", "expectedCode": "REVOCATION_REGISTRY", "detected": true, "violations": [ { "code": "REVOCATION_REGISTRY", "detail": "Revocation snapshot differs from ordered events." } ] }, { "id": "fixture grant authority widened", "expectedCode": "GRANT_REGISTRY", "detected": true, "violations": [ { "code": "GRANT_REGISTRY", "detail": "Snapshot grants differ from the evaluator's fixed authority." } ] }, { "id": "request registry erased", "expectedCode": "REQUEST_REGISTRY", "detected": true, "violations": [ { "code": "REQUEST_REGISTRY", "detail": "Request snapshot differs from ordered begins." } ] }, { "id": "reconciliation claims another action", "expectedCode": "RECONCILIATION_MISMATCH", "detected": true, "violations": [ { "code": "RECONCILIATION_MISMATCH", "detail": "Job A's reconciliation differs from its authoritative lookup." } ] }, { "id": "reconciliation points to wrong read", "expectedCode": "RECONCILIATION_MISMATCH", "detected": true, "violations": [ { "code": "RECONCILIATION_MISMATCH", "detail": "Job A's reconciliation differs from its authoritative lookup." } ] }, { "id": "missing honest uncertainty", "expectedCode": "MISSING_UNCERTAINTY", "detected": true, "violations": [ { "code": "MISSING_UNCERTAINTY", "detail": "Job A hid uncertainty following its lost response." }, { "code": "MISSING_RECOVERY_COVERAGE", "detail": "Crash, fresh worker, uncertainty and authoritative reconciliation are required." } ] }, { "id": "reconciliation absent", "expectedCode": "FALSE_CERTAINTY", "detected": true, "violations": [ { "code": "FALSE_CERTAINTY", "detail": "Job A claimed a certain outcome before reconciling a lost response." }, { "code": "MISSING_RECOVERY_COVERAGE", "detail": "Crash, fresh worker, uncertainty and authoritative reconciliation are required." } ] }, { "id": "old reconciliation reused after new loss", "expectedCode": "FALSE_CERTAINTY", "detected": true, "violations": [ { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "FALSE_CERTAINTY", "detail": "Job A claimed a certain outcome before reconciling a lost response." } ] }, { "id": "same process claimed as fresh restart", "expectedCode": "MISSING_FRESH_WORKER", "detected": true, "violations": [ { "code": "MISSING_FRESH_WORKER", "detail": "Lost command, injected process exit and fresh reconciliation process are not causally linked." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker lost_ack_restart-worker-1's operation, action boundary, process or message ordering is inconsistent." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker lost_ack_restart-worker-3's operation, action boundary, process or message ordering is inconsistent." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker lost_ack_restart-worker-4's operation, action boundary, process or message ordering is inconsistent." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker lost_ack_restart-worker-5's operation, action boundary, process or message ordering is inconsistent." } ] }, { "id": "registered crash phase not exercised", "expectedCode": "MISSING_FRESH_WORKER", "detected": true, "violations": [ { "code": "MISSING_FRESH_WORKER", "detail": "Lost command, injected process exit and fresh reconciliation process are not causally linked." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker lost_ack_restart-worker-2's operation, action boundary, process or message ordering is inconsistent." } ] }, { "id": "framework dispatch evidence removed", "expectedCode": "FRAMEWORK_COVERAGE", "detected": true, "violations": [ { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] }, { "id": "unrecorded provider request", "expectedCode": "FRAMEWORK_COVERAGE", "detected": true, "violations": [ { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] }, { "id": "worker completion record fabricated", "expectedCode": "FRAMEWORK_COVERAGE", "detected": true, "violations": [ { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] }, { "id": "delayed notice delivered before enforcement", "expectedCode": "MISSING_DELAYED_NOTIFICATION", "detected": true, "violations": [ { "code": "MISSING_DELAYED_NOTIFICATION", "detail": "Commit enforcement must precede the specialist's delayed notification." } ] }, { "id": "malformed durable snapshot", "expectedCode": "INVALID_SCHEMA", "detected": true, "violations": [ { "code": "INVALID_SCHEMA", "detail": "Events and every durable snapshot array are required." } ] }, { "id": "malformed request value", "expectedCode": "INVALID_REQUEST", "detected": true, "violations": [ { "code": "INVALID_REQUEST", "detail": "Malformed or duplicate begin at 6." }, { "code": "UNMATCHED_EFFECT", "detail": "commit at 14 has no earlier request." }, { "code": "FALSE_SUCCESS", "detail": "Job A claimed effects without received authoritative evidence." }, { "code": "REQUEST_REGISTRY", "detail": "Request snapshot differs from ordered begins." }, { "code": "QUEUE_MISMATCH", "detail": "Durable queue differs from independently reconstructed commits." }, { "code": "JOB_EFFECT_COUNT", "detail": "Job A has 0 effects, expected 1." }, { "code": "FINAL_REPORT", "detail": "Job A's final report disagrees with the required outcome and durable effects." } ] }, { "id": "tool operation differs from coordinator", "expectedCode": "FRAMEWORK_COVERAGE", "detected": true, "violations": [ { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1's operation, action boundary, process or message ordering is inconsistent." } ] }, { "id": "impossible worker process identifier", "expectedCode": "FRAMEWORK_COVERAGE", "detected": true, "violations": [ { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] }, { "id": "denial gives fabricated revocation reason", "expectedCode": "DENIAL_REASON", "detected": true, "violations": [ { "code": "DENIAL_REASON", "detail": "Denied commit at 15 claims EXPIRED instead of REVOKED." } ] }, { "id": "intermediate revocation fabricated", "expectedCode": "FALSE_REVOCATION_REPORT", "detected": true, "violations": [ { "code": "FALSE_REVOCATION_REPORT", "detail": "Job A reported revocation without an earlier authoritative event." }, { "code": "FRAMEWORK_COVERAGE", "detail": "Worker clean-worker-1 lacks its ordered real-framework dispatch, model, tool and process record." } ] } ] }