{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JODJGSCKEKSH5YNKWKMLYRQFUD","short_pith_number":"pith:JODJGSCK","canonical_record":{"source":{"id":"2605.12963","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T03:56:04Z","cross_cats_sorted":[],"title_canon_sha256":"b7ed01a9f4a031c6dee004ef956fd01e15e89288c3e1155589a158f52eb39ef4","abstract_canon_sha256":"056d428a781d59dc93c9a962438ba6f677c9b906fd6e9aa84701bb160f0b0e95"},"schema_version":"1.0"},"canonical_sha256":"4b8693484a22a47ee1aab298bc4605a0d3edd62e7f4b9537e9ae8a677d0c6dbd","source":{"kind":"arxiv","id":"2605.12963","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12963","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12963v1","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12963","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"JODJGSCKEKSH","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JODJGSCKEKSH5YNK","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JODJGSCK","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JODJGSCKEKSH5YNKWKMLYRQFUD","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12963","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T03:56:04Z","cross_cats_sorted":[],"title_canon_sha256":"b7ed01a9f4a031c6dee004ef956fd01e15e89288c3e1155589a158f52eb39ef4","abstract_canon_sha256":"056d428a781d59dc93c9a962438ba6f677c9b906fd6e9aa84701bb160f0b0e95"},"schema_version":"1.0"},"canonical_sha256":"4b8693484a22a47ee1aab298bc4605a0d3edd62e7f4b9537e9ae8a677d0c6dbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:09.111274Z","signature_b64":"KfMUUeXKpB4vi9GZQ3jMqZCXt8ikD3BFRV/5VyuH8AhllFz6cXmeRDtDqf1KrWUFMVZYyYHvWiw59kJE0KoXDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4b8693484a22a47ee1aab298bc4605a0d3edd62e7f4b9537e9ae8a677d0c6dbd","last_reissued_at":"2026-05-18T03:09:09.110468Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:09.110468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12963","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VQWNCwI6Qr29Q7nVMrGuXSFzmW72IEBWyhb9XcnT0KPsjofUV1OQLEsBACZAX8cItoQlh+9mI/H0ZmX11j/uDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:02:58.523624Z"},"content_sha256":"62762316646efd54e5c72a04cfcc088088efc5fe5f1a1e463035fa24138da52c","schema_version":"1.0","event_id":"sha256:62762316646efd54e5c72a04cfcc088088efc5fe5f1a1e463035fa24138da52c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JODJGSCKEKSH5YNKWKMLYRQFUD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sustaining AI safety: Control-theoretic external impossibility, intrinsic necessity, and structural requirements","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction.","cross_cats":[],"primary_cat":"cs.AI","authors_text":"James M. Mazzu","submitted_at":"2026-05-13T03:56:04Z","abstract_excerpt":"As AI systems become increasingly capable, safety strategies must be evaluated not only by how much they reduce present risk, but by whether they could sustain safety once external control can no longer reliably constrain system behavior. This paper addresses that problem by using control theory to clarify, at a structural level, whether externally enforced safety-sustaining strategies can succeed and, if not, what any alternative strategy would have to satisfy in order to be viable. It establishes two main results. First, under explicit premises including a reachability condition, it proves a"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Under explicit premises including a reachability condition, once the system's effects exceed what bounded external control can counteract, no strategy that depends in any degree on continued external enforcement can sustain AI safety. This failure is structural across the entire externally enforced class.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The reachability condition and other explicit premises that allow the control-theoretic model to conclude that external effects are bounded while system effects are not; if this modeling assumption does not hold for real AI systems, the impossibility result does not apply.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"External control strategies are structurally impossible for sustaining AI safety beyond bounded capability thresholds; any remaining viable strategies must be intrinsic with stable safety-compatible objectives.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"eb2cfdb90b6912ca6ac2ed7b5ff5a8f3f68e225a2683c7964f767f2de20aaa2f"},"source":{"id":"2605.12963","kind":"arxiv","version":1},"verdict":{"id":"34acba02-c629-4c4d-ad7f-c3ad0560ced1","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:12:03.672610Z","strongest_claim":"Under explicit premises including a reachability condition, once the system's effects exceed what bounded external control can counteract, no strategy that depends in any degree on continued external enforcement can sustain AI safety. This failure is structural across the entire externally enforced class.","one_line_summary":"External control strategies are structurally impossible for sustaining AI safety beyond bounded capability thresholds; any remaining viable strategies must be intrinsic with stable safety-compatible objectives.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The reachability condition and other explicit premises that allow the control-theoretic model to conclude that external effects are bounded while system effects are not; if this modeling assumption does not hold for real AI systems, the impossibility result does not apply.","pith_extraction_headline":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction."},"references":{"count":2,"sample":[{"doi":"","year":2016,"title":"Concrete Problems in AI Safety","work_id":"c8d14fbe-6eab-464a-95b3-778aabd82fa3","ref_index":1,"cited_arxiv_id":"1606.06565","is_internal_anchor":true},{"doi":"","year":2018,"title":"AGI Safety Literature Review","work_id":"9d2786b2-66a9-47e9-8dce-24a3c724199e","ref_index":2,"cited_arxiv_id":"1805.01109","is_internal_anchor":true}],"resolved_work":2,"snapshot_sha256":"589f33a3a86932dcb9966d0698846935d4d68ebf2f4a3ad1dc1226f6d14b2ebd","internal_anchors":2},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"34acba02-c629-4c4d-ad7f-c3ad0560ced1"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZvEyFlQTCejA7NDmJJCOqkSPw2e2bPX3EDjclp6JlcL9VzMR7UrWNU13gl6O6qKZMisZrVRt214wtdjutyD8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:02:58.524113Z"},"content_sha256":"cf5203f429b0f69b4b65af672c04e5e1c50ec72ddb5f6a3a18df8c4e021e67df","schema_version":"1.0","event_id":"sha256:cf5203f429b0f69b4b65af672c04e5e1c50ec72ddb5f6a3a18df8c4e021e67df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/bundle.json","state_url":"https://pith.science/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T18:02:58Z","links":{"resolver":"https://pith.science/pith/JODJGSCKEKSH5YNKWKMLYRQFUD","bundle":"https://pith.science/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/bundle.json","state":"https://pith.science/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JODJGSCKEKSH5YNKWKMLYRQFUD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JODJGSCKEKSH5YNKWKMLYRQFUD","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":"056d428a781d59dc93c9a962438ba6f677c9b906fd6e9aa84701bb160f0b0e95","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T03:56:04Z","title_canon_sha256":"b7ed01a9f4a031c6dee004ef956fd01e15e89288c3e1155589a158f52eb39ef4"},"schema_version":"1.0","source":{"id":"2605.12963","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12963","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12963v1","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12963","created_at":"2026-05-18T03:09:09Z"},{"alias_kind":"pith_short_12","alias_value":"JODJGSCKEKSH","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JODJGSCKEKSH5YNK","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JODJGSCK","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:cf5203f429b0f69b4b65af672c04e5e1c50ec72ddb5f6a3a18df8c4e021e67df","target":"graph","created_at":"2026-05-18T03:09:09Z","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":"Under explicit premises including a reachability condition, once the system's effects exceed what bounded external control can counteract, no strategy that depends in any degree on continued external enforcement can sustain AI safety. This failure is structural across the entire externally enforced class."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The reachability condition and other explicit premises that allow the control-theoretic model to conclude that external effects are bounded while system effects are not; if this modeling assumption does not hold for real AI systems, the impossibility result does not apply."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"External control strategies are structurally impossible for sustaining AI safety beyond bounded capability thresholds; any remaining viable strategies must be intrinsic with stable safety-compatible objectives."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction."}],"snapshot_sha256":"eb2cfdb90b6912ca6ac2ed7b5ff5a8f3f68e225a2683c7964f767f2de20aaa2f"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"As AI systems become increasingly capable, safety strategies must be evaluated not only by how much they reduce present risk, but by whether they could sustain safety once external control can no longer reliably constrain system behavior. This paper addresses that problem by using control theory to clarify, at a structural level, whether externally enforced safety-sustaining strategies can succeed and, if not, what any alternative strategy would have to satisfy in order to be viable. It establishes two main results. First, under explicit premises including a reachability condition, it proves a","authors_text":"James M. Mazzu","cross_cats":[],"headline":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction.","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T03:56:04Z","title":"Sustaining AI safety: Control-theoretic external impossibility, intrinsic necessity, and structural requirements"},"references":{"count":2,"internal_anchors":2,"resolved_work":2,"sample":[{"cited_arxiv_id":"1606.06565","doi":"","is_internal_anchor":true,"ref_index":1,"title":"Concrete Problems in AI Safety","work_id":"c8d14fbe-6eab-464a-95b3-778aabd82fa3","year":2016},{"cited_arxiv_id":"1805.01109","doi":"","is_internal_anchor":true,"ref_index":2,"title":"AGI Safety Literature Review","work_id":"9d2786b2-66a9-47e9-8dce-24a3c724199e","year":2018}],"snapshot_sha256":"589f33a3a86932dcb9966d0698846935d4d68ebf2f4a3ad1dc1226f6d14b2ebd"},"source":{"id":"2605.12963","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:12:03.672610Z","id":"34acba02-c629-4c4d-ad7f-c3ad0560ced1","model_set":{"reader":"grok-4.3"},"one_line_summary":"External control strategies are structurally impossible for sustaining AI safety beyond bounded capability thresholds; any remaining viable strategies must be intrinsic with stable safety-compatible objectives.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Control theory proves that no externally enforced strategy can sustain AI safety once system effects exceed bounded external counteraction.","strongest_claim":"Under explicit premises including a reachability condition, once the system's effects exceed what bounded external control can counteract, no strategy that depends in any degree on continued external enforcement can sustain AI safety. This failure is structural across the entire externally enforced class.","weakest_assumption":"The reachability condition and other explicit premises that allow the control-theoretic model to conclude that external effects are bounded while system effects are not; if this modeling assumption does not hold for real AI systems, the impossibility result does not apply."}},"verdict_id":"34acba02-c629-4c4d-ad7f-c3ad0560ced1"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:62762316646efd54e5c72a04cfcc088088efc5fe5f1a1e463035fa24138da52c","target":"record","created_at":"2026-05-18T03:09:09Z","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":"056d428a781d59dc93c9a962438ba6f677c9b906fd6e9aa84701bb160f0b0e95","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-13T03:56:04Z","title_canon_sha256":"b7ed01a9f4a031c6dee004ef956fd01e15e89288c3e1155589a158f52eb39ef4"},"schema_version":"1.0","source":{"id":"2605.12963","kind":"arxiv","version":1}},"canonical_sha256":"4b8693484a22a47ee1aab298bc4605a0d3edd62e7f4b9537e9ae8a677d0c6dbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b8693484a22a47ee1aab298bc4605a0d3edd62e7f4b9537e9ae8a677d0c6dbd","first_computed_at":"2026-05-18T03:09:09.110468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:09.110468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KfMUUeXKpB4vi9GZQ3jMqZCXt8ikD3BFRV/5VyuH8AhllFz6cXmeRDtDqf1KrWUFMVZYyYHvWiw59kJE0KoXDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:09.111274Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12963","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62762316646efd54e5c72a04cfcc088088efc5fe5f1a1e463035fa24138da52c","sha256:cf5203f429b0f69b4b65af672c04e5e1c50ec72ddb5f6a3a18df8c4e021e67df"],"state_sha256":"f2bb6c70effa4975028e866059c21410b25560c1f67235297710ec923eae447b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"unUL9uTc3O1bOIl6pJ3PYj+riuMTq0Ud/pati+R6vnbfAQ7lUmSP6GKq21yrU02xD7LEpPWO/l9LLr5mWiwrCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:02:58.527717Z","bundle_sha256":"7a8c54913c34f4486626162f52d6eca8aa1087f37f1d7dca8a7b9307fb421ae3"}}