{ "classification": "Recorded public reference observation; no production or external assurance", "commands": [ [ "python", "examples/continuity/verify.py", "--output", "reference-evidence.json" ], [ "python", "examples/investigations/check.py" ] ], "completed_at_utc": "2026-10-13T03:00:38.364641Z", "continuity": { "assumptions": [ "controlled witness atomically binds intent identity and payload to one effect", "SQLite process-restart durability on the tested local filesystem", "authority is enforced inside the witness transaction", "receipt commitment is checked against a separately queried witness; it is not a digital signature" ], "checks": [ { "name": "initial_effect_count_zero", "passed": true }, { "name": "lost_acknowledgement_keeps_obligation_pending", "passed": true }, { "name": "restart_reconciles_one_effect", "passed": true }, { "name": "replay_does_not_repeat_effect", "passed": true }, { "name": "concurrent_replay_does_not_repeat_effect", "passed": true }, { "name": "same_identity_changed_payload_denied", "passed": true }, { "name": "different_institution_has_no_authority", "passed": true }, { "name": "revoked_authority_prevents_new_effect", "passed": true }, { "name": "receipt_matches_independent_witness", "passed": true }, { "name": "tampered_receipt_rejected", "passed": true }, { "name": "self_consistent_forgery_rejected_by_witness", "passed": true } ], "classification": "public reference run", "exhibit": "controlled-continuity-reference", "run_sha256": "7152d744a6e1672a16069df231f6a35c2268800136eff7af146647f515e686cb", "schema_version": 1, "source_sha256": { "evidence.schema.json": "ac1877ba6979ef6bcf7fac72d2c7c2c85620debaab2eccc2597abe122e782ed2", "fixture.json": "318d168854071da551f5f232139cbd3df02218b2beb2a84984e9a50cb6c8779a", "verify.py": "fd3455cb9e6a671cdedbac6c598e543bc1a2c9852a9295faa9d37d8f9ee74f45", "witness.py": "efad7e089b7327fabadabd6e4ad0bd8ec5ce6694b46ad7d3511a0ce626e174eb" }, "trace": [ { "check": "initial_effect_count_zero", "observation": { "receipt": null, "status": "observed", "total_effect_count": 0 } }, { "check": "lost_acknowledgement_keeps_obligation_pending", "observation": { "owner": { "receipt_sha256": null, "state": "pending" }, "witness": { "receipt": { "authority_epoch": 1, "effect": "notebook-entry-recorded", "effect_count_for_intent": 1, "institution": "teaching-institution", "intent_id": "notebook-entry-001", "receipt_sha256": "a8dfcd6432ddb443c194bca8a671da3c1d9cb5a0ccc4d65286d48e1066a68746", "request_sha256": "7ed240d9879cb97990e93b0e5cbfd1f27395adeada8a0387c6f70f6bfefc5c71", "schema_version": 1 }, "status": "observed", "total_effect_count": 1 }, "worker_exit": 73 } }, { "check": "restart_reconciles_one_effect", "observation": { "owner": { "receipt_sha256": "a8dfcd6432ddb443c194bca8a671da3c1d9cb5a0ccc4d65286d48e1066a68746", "state": "settled" }, "witness": { "receipt": { "authority_epoch": 1, "effect": "notebook-entry-recorded", "effect_count_for_intent": 1, "institution": "teaching-institution", "intent_id": "notebook-entry-001", "receipt_sha256": "a8dfcd6432ddb443c194bca8a671da3c1d9cb5a0ccc4d65286d48e1066a68746", "request_sha256": "7ed240d9879cb97990e93b0e5cbfd1f27395adeada8a0387c6f70f6bfefc5c71", "schema_version": 1 }, "status": "observed", "total_effect_count": 1 } } }, { "check": "replay_does_not_repeat_effect", "observation": { "receipt": { "authority_epoch": 1, "effect": "notebook-entry-recorded", "effect_count_for_intent": 1, "institution": "teaching-institution", "intent_id": "notebook-entry-001", "receipt_sha256": "a8dfcd6432ddb443c194bca8a671da3c1d9cb5a0ccc4d65286d48e1066a68746", "request_sha256": "7ed240d9879cb97990e93b0e5cbfd1f27395adeada8a0387c6f70f6bfefc5c71", "schema_version": 1 }, "status": "already_recorded" } }, { "check": "concurrent_replay_does_not_repeat_effect", "observation": { "replays": 4, "total_effect_count": 1 } }, { "check": "same_identity_changed_payload_denied", "observation": { "reason": "identity_or_payload_mismatch", "status": "denied" } }, { "check": "different_institution_has_no_authority", "observation": { "reason": "current_authority_required", "status": "denied" } }, { "check": "revoked_authority_prevents_new_effect", "observation": { "attempt": { "reason": "current_authority_required", "status": "denied" }, "revocation": { "authority_epoch": 2, "status": "revoked" } } }, { "check": "receipt_matches_independent_witness", "observation": { "receipt_sha256": "a8dfcd6432ddb443c194bca8a671da3c1d9cb5a0ccc4d65286d48e1066a68746" } }, { "check": "tampered_receipt_rejected", "observation": { "changed_field": "effect_count_for_intent" } }, { "check": "self_consistent_forgery_rejected_by_witness", "observation": { "self_hash_is_not_authentication": true } } ] }, "edition": "2026.10.7", "environment": { "platform": "Linux", "python": "3.12.14", "sqlite": "3.40.1" }, "inputs": { "examples/continuity/evidence.schema.json": "ac1877ba6979ef6bcf7fac72d2c7c2c85620debaab2eccc2597abe122e782ed2", "examples/continuity/expected.json": "ceebe61e45f306e6a10cae6c8a87cdb24d24f590252fee32ca203ad9e4f6b66f", "examples/continuity/fixture.json": "318d168854071da551f5f232139cbd3df02218b2beb2a84984e9a50cb6c8779a", "examples/continuity/verify.py": "fd3455cb9e6a671cdedbac6c598e543bc1a2c9852a9295faa9d37d8f9ee74f45", "examples/continuity/witness.py": "efad7e089b7327fabadabd6e4ad0bd8ec5ce6694b46ad7d3511a0ce626e174eb", "examples/investigations/check.py": "5576549d357dda9b6e041971d43f6b36e925a76e2aa3057f6f19362af0a9b44d", "tools/reference_observation.py": "7eea3f430130347a229083e7b91a2b9f262c3ac5e558f0a55ba0fdbcc7b95ac2" }, "investigations": { "edition": "2026.10.7", "independently_reproduced": false, "method": "author-executed independent synthetic cases", "results": { "approval": { "negative": { "checked": 8, "violations": [ { "executed": [ "green" ], "submissions": [ "green", "blue", "blue" ] }, { "executed": [ "green" ], "submissions": [ "green", "blue", "green" ] }, { "executed": [ "green" ], "submissions": [ "green", "green", "blue" ] }, { "executed": [ "green" ], "submissions": [ "green", "green", "green" ] } ] }, "passed": true, "positive": { "checked": 8, "violations": [] } }, "budget": { "negative": { "checked": 3, "state": { "available": 7, "burned_subset": 2, "issued": 11, "reserved": 1, "spent": 3 }, "trace": [ { "accounted": 11, "event": "reserve", "issued": 11 }, { "accounted": 11, "event": "spend", "issued": 11 }, { "accounted": 13, "event": "burn", "issued": 11 } ], "violations": [ { "accounted": 13, "event": "burn", "issued": 11 } ] }, "passed": true, "positive": { "checked": 3, "state": { "available": 7, "burned_subset": 2, "issued": 11, "reserved": 1, "spent": 3 }, "trace": [ { "accounted": 11, "event": "reserve", "issued": 11 }, { "accounted": 11, "event": "spend", "issued": 11 }, { "accounted": 11, "event": "burn", "issued": 11 } ], "violations": [] } }, "calibration": { "negative": { "baseline": "1/2", "checked": 4, "loss": "5/16", "skill": "3/8", "violations": [ { "reported_skill": "3/8" } ] }, "passed": true, "positive": { "baseline": "1/4", "checked": 4, "loss": "5/16", "skill": "-1/4", "violations": [] } }, "construction": { "negative": { "checked": 6, "proposals": { "constant": 0, "flip": 0, "identity": 0 }, "solutions": { "constant": [ 0 ], "flip": [], "identity": [ 0, 1 ] }, "violations": [ { "function": "flip", "image": 1, "proposal": 0 } ] }, "passed": true, "positive": { "checked": 6, "proposals": { "constant": 0, "flip": null, "identity": 0 }, "solutions": { "constant": [ 0 ], "flip": [], "identity": [ 0, 1 ] }, "violations": [] } }, "custody": { "negative": { "accepted": [ [ "a", "b" ], [ "a", "c" ], [ "b", "c" ] ], "checked": 3, "violations": [ [ "a", "b" ] ] }, "passed": true, "positive": { "accepted": [ [ "a", "c" ], [ "b", "c" ] ], "checked": 3, "violations": [] } }, "encoding": { "negative": { "checked": 25, "noncanonical_rejected": [], "violations": [ [ [ "", "a" ], [ "a", "" ] ], [ [ "", "ab" ], [ "a", "b" ] ], [ [ "", "b" ], [ "b", "" ] ], [ [ "a", "b" ], [ "ab", "" ] ], [ [ "", "bc" ], [ "bc", "" ] ] ], "width_counterexample": { "unsigned_16_accepts": true, "unsigned_8_accepts": false, "value": 256 } }, "passed": true, "positive": { "checked": 25, "noncanonical_rejected": [ "01:a1:b", "1:a1:bc", "2:a", "1:A0:" ], "violations": [], "width_counterexample": { "unsigned_16_accepts": true, "unsigned_8_accepts": false, "value": 256 } } }, "epoch": { "negative": { "accepted": [ [ 0, 0 ], [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 1 ], [ 1, 2 ], [ 2, 0 ], [ 2, 1 ], [ 2, 2 ] ], "checked": 9, "violations": [ [ 0, 1 ], [ 0, 2 ], [ 1, 0 ], [ 1, 2 ], [ 2, 0 ], [ 2, 1 ] ] }, "passed": true, "positive": { "accepted": [ [ 0, 0 ], [ 1, 1 ], [ 2, 2 ] ], "checked": 9, "violations": [] } }, "founding": { "negative": { "checked": 3, "progress_assumption": "Continuously enabled open and finish-or-cancel eventually occur.", "trace": [ [ "open", "open", true ], [ "finish", "closed", true ], [ "finish", "closed", true ] ], "unfair_cycle": [ [ "open", true ], [ "open", true ] ], "violations": [ [ [ "open", "open", true ], [ "finish", "closed", true ] ], [ [ "open", "open", true ], [ "finish", "closed", true ], [ "finish", "closed", true ] ] ] }, "passed": true, "positive": { "checked": 3, "progress_assumption": "Continuously enabled open and finish-or-cancel eventually occur.", "trace": [ [ "open", "open", true ], [ "finish", "closed", false ], [ "finish", "closed", false ] ], "unfair_cycle": [ [ "open", true ], [ "open", true ] ], "violations": [] } }, "freshness": { "negative": { "checked": 81, "violations": [ [ "read", "read", "change", "use" ], [ "read", "change", "change", "use" ], [ "read", "change", "use", "read" ], [ "read", "change", "use", "change" ], [ "read", "change", "use", "use" ], [ "read", "use", "change", "use" ], [ "use", "read", "change", "use" ] ] }, "passed": true, "positive": { "checked": 81, "violations": [] } }, "projection": { "negative": { "accepted": [ { "quantity": 4, "unit": "items" }, { "quantity": 4, "unit": "boxes" } ], "checked": 3, "violations": [ { "quantity": 4, "unit": "boxes" } ] }, "passed": true, "positive": { "accepted": [ { "quantity": 4, "unit": "items" } ], "checked": 3, "violations": [] } }, "uncertainty": { "negative": { "checked": 2, "decisions": [ "not_done", "not_done" ], "violations": [ { "ack": false, "committed": true } ], "worlds": [ { "ack": false, "committed": false }, { "ack": false, "committed": true } ] }, "passed": true, "positive": { "checked": 2, "decisions": [ "unknown", "unknown" ], "violations": [], "worlds": [ { "ack": false, "committed": false }, { "ack": false, "committed": true } ] } }, "visibility": { "negative": { "checked": 2, "observations": [ [ 5, 8 ], [ 5, 5 ] ], "violations": [ [ 5, 8 ] ] }, "passed": true, "positive": { "checked": 2, "observations": [ [ 2, 8 ], [ 5, 5 ] ], "violations": [] } } } }, "observation_id": "5dc2d188-ed64-4b5f-abdc-641af7c19cfc", "observation_sha256": "87cad0ad8290306e90144102ae0e8f082bce3048ceec85fdaf5409d3dcb16fe3", "schema_version": 1, "started_at_utc": "2026-10-13T03:00:35.568816Z" }