{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MXMCTH7JAJ2JXMMKMUUWRODEM7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7187d12f14d78f1527fce1cc98b5bf7687eb8ef560f5625f8a4d9885d16ee61d","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-01T18:59:01Z","title_canon_sha256":"ac5e7d23dda86397d977be8688736a0d4e80772abc630690d4aded5972fa3d29"},"schema_version":"1.0","source":{"id":"2605.01032","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.01032","created_at":"2026-05-27T01:05:55Z"},{"alias_kind":"arxiv_version","alias_value":"2605.01032v3","created_at":"2026-05-27T01:05:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.01032","created_at":"2026-05-27T01:05:55Z"},{"alias_kind":"pith_short_12","alias_value":"MXMCTH7JAJ2J","created_at":"2026-05-27T01:05:55Z"},{"alias_kind":"pith_short_16","alias_value":"MXMCTH7JAJ2JXMMK","created_at":"2026-05-27T01:05:55Z"},{"alias_kind":"pith_short_8","alias_value":"MXMCTH7J","created_at":"2026-05-27T01:05:55Z"}],"graph_snapshots":[{"event_id":"sha256:75f29832b081a621cda76e232288cf1010fbc2b06865efc6db0b7cd14c99701e","target":"graph","created_at":"2026-05-27T01:05:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"The capstone result is the coterminous boundary: within our formal model, every program expressible via the four primitive morphism constructors is governed under interpretation, and every governed program is the image of such a program."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The three-axiom GovernanceAlgebra record (safety, transparency, properness) induces a symmetric monoidal category with verified coherence where every tensor composition preserves governance."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Governed execution is defined via a three-axiom GovernanceAlgebra that induces a symmetric monoidal category where expressible programs are exactly the governed ones, with all properties machine-checked in Rocq."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Governance is defined so that it exactly coincides with what programs can express using four basic constructors."}],"snapshot_sha256":"0274147c685b7f51d1f35a1532b4837d5d32dbfa4c8de9f283418eeef4a77b50"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T18:39:33.750737Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T17:41:11.822503Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.01032/integrity.json","findings":[],"snapshot_sha256":"b90c2662598ea019658b906fafac34f819544644a4a6c539a3c68a9f9faa1c1c","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present an algebraic semantics for governed execution in which governance is axiomatized, compositional, and coterminous with expressibility. The framework, mechanized in 32 Rocq modules (~12,000 lines, 454 theorems, 0 admitted), is built on interaction trees and parameterized coinduction. A three-axiom GovernanceAlgebra record (safety, transparency, properness) induces a symmetric monoidal category with verified pentagon, triangle, and hexagon coherence, where every tensor composition preserves governance. An algebraic effect system constrains the handler algebra so that only governance-pr","authors_text":"Alan L. McCann","cross_cats":["cs.LO","cs.PL"],"headline":"Governance is defined so that it exactly coincides with what programs can express using four basic constructors.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-01T18:59:01Z","title":"Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.01032","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-09T19:19:21.711160Z","id":"26af4df0-1332-4e99-b120-e3071e160674","model_set":{"reader":"grok-4.3"},"one_line_summary":"Governed execution is defined via a three-axiom GovernanceAlgebra that induces a symmetric monoidal category where expressible programs are exactly the governed ones, with all properties machine-checked in Rocq.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Governance is defined so that it exactly coincides with what programs can express using four basic constructors.","strongest_claim":"The capstone result is the coterminous boundary: within our formal model, every program expressible via the four primitive morphism constructors is governed under interpretation, and every governed program is the image of such a program.","weakest_assumption":"The three-axiom GovernanceAlgebra record (safety, transparency, properness) induces a symmetric monoidal category with verified coherence where every tensor composition preserves governance."}},"verdict_id":"26af4df0-1332-4e99-b120-e3071e160674"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e10460d4505a7cc9a86b31aac9d34d79581f7b7529cfdcf74322413d91b88787","target":"record","created_at":"2026-05-27T01:05:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7187d12f14d78f1527fce1cc98b5bf7687eb8ef560f5625f8a4d9885d16ee61d","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-01T18:59:01Z","title_canon_sha256":"ac5e7d23dda86397d977be8688736a0d4e80772abc630690d4aded5972fa3d29"},"schema_version":"1.0","source":{"id":"2605.01032","kind":"arxiv","version":3}},"canonical_sha256":"65d8299fe902749bb18a652968b86467ff647af2879cd851d191aa35ab44e538","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65d8299fe902749bb18a652968b86467ff647af2879cd851d191aa35ab44e538","first_computed_at":"2026-05-27T01:05:55.549671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T01:05:55.549671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8IDR91WMMsgUaFb6rv6n1iCd6NrG11DpIgpgoflBrwaR1Nc5tZ6SXR0xIvm1L7/Ey4O3ReGdqwNBXWl3ZvqADw==","signature_status":"signed_v1","signed_at":"2026-05-27T01:05:55.550401Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.01032","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e10460d4505a7cc9a86b31aac9d34d79581f7b7529cfdcf74322413d91b88787","sha256:75f29832b081a621cda76e232288cf1010fbc2b06865efc6db0b7cd14c99701e"],"state_sha256":"4bd16f4a12eec6b81af924fd231ff0227501dfec67ddf13f3aef82fc1cf6ab4c"}