{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FRPWR5LPTZZGWG3PA3TZQ3MSFD","short_pith_number":"pith:FRPWR5LP","canonical_record":{"source":{"id":"2506.17846","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"3a05bd89b507ddb4ec01fa72d949fa297eb8061e689062dc7e265550f4cbeccb","abstract_canon_sha256":"9c02c437f5b59fbe9608fe3b45fd832a893643d45eba201a821dd80872ec2b9a"},"schema_version":"1.0"},"canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","source":{"kind":"arxiv","id":"2506.17846","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17846","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17846v1","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17846","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_12","alias_value":"FRPWR5LPTZZG","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_16","alias_value":"FRPWR5LPTZZGWG3P","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_8","alias_value":"FRPWR5LP","created_at":"2026-07-05T11:25:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FRPWR5LPTZZGWG3PA3TZQ3MSFD","target":"record","payload":{"canonical_record":{"source":{"id":"2506.17846","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"3a05bd89b507ddb4ec01fa72d949fa297eb8061e689062dc7e265550f4cbeccb","abstract_canon_sha256":"9c02c437f5b59fbe9608fe3b45fd832a893643d45eba201a821dd80872ec2b9a"},"schema_version":"1.0"},"canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:24.223080Z","signature_b64":"cSvr6yd6NhrL+QEXsjQK8g0Y03w/yj6eSDHPWx4rWXJI2TRnTUASLtnY8FNzWeRB+oG/bcw3g1bfWfCaDFyDCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","last_reissued_at":"2026-07-05T11:25:24.222665Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:24.222665Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.17846","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-07-05T11:25:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AwWOCBg1Erc+jg8lY7O2anuzhvGF/woN5v7CSzbwFLFuDpJpHXGrlA0QHNzti8VkYZ8SxHEEt7CSRNr70G/ABQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:46:15.082659Z"},"content_sha256":"a786fa12a5e5f2104b1765b4e482766478e52ffd7a6b0ae734a03c933edc6a6f","schema_version":"1.0","event_id":"sha256:a786fa12a5e5f2104b1765b4e482766478e52ffd7a6b0ae734a03c933edc6a6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FRPWR5LPTZZGWG3PA3TZQ3MSFD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Elija Perrier","submitted_at":"2025-06-21T22:45:19Z","abstract_excerpt":"This position paper argues that formal optimal control theory should be central to AI alignment research, offering a distinct perspective from prevailing AI safety and security approaches. While recent work in AI safety and mechanistic interpretability has advanced formal methods for alignment, they often fall short of the generalisation required of control frameworks for other technologies. There is also a lack of research into how to render different alignment/control protocols interoperable. We argue that by recasting alignment through principles of formal optimal control and framing alignm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17846","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.17846/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:25:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hDA6YtpewWDGP5n2T+cUHTSBPV/+dOW3Nol6/23x61MPeQIb/GODK0CrC8y0uY3/GUk5Kc9rp+I5rLbU8iJXBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:46:15.083262Z"},"content_sha256":"2ecfc37278166e55b2e7054de1599aa0628ca2648e792c1931129301b3585cb8","schema_version":"1.0","event_id":"sha256:2ecfc37278166e55b2e7054de1599aa0628ca2648e792c1931129301b3585cb8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/bundle.json","state_url":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/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-08-07T09:46:15Z","links":{"resolver":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD","bundle":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/bundle.json","state":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FRPWR5LPTZZGWG3PA3TZQ3MSFD","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":"9c02c437f5b59fbe9608fe3b45fd832a893643d45eba201a821dd80872ec2b9a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","title_canon_sha256":"3a05bd89b507ddb4ec01fa72d949fa297eb8061e689062dc7e265550f4cbeccb"},"schema_version":"1.0","source":{"id":"2506.17846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17846","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17846v1","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17846","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_12","alias_value":"FRPWR5LPTZZG","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_16","alias_value":"FRPWR5LPTZZGWG3P","created_at":"2026-07-05T11:25:24Z"},{"alias_kind":"pith_short_8","alias_value":"FRPWR5LP","created_at":"2026-07-05T11:25:24Z"}],"graph_snapshots":[{"event_id":"sha256:2ecfc37278166e55b2e7054de1599aa0628ca2648e792c1931129301b3585cb8","target":"graph","created_at":"2026-07-05T11:25:24Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.17846/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This position paper argues that formal optimal control theory should be central to AI alignment research, offering a distinct perspective from prevailing AI safety and security approaches. While recent work in AI safety and mechanistic interpretability has advanced formal methods for alignment, they often fall short of the generalisation required of control frameworks for other technologies. There is also a lack of research into how to render different alignment/control protocols interoperable. We argue that by recasting alignment through principles of formal optimal control and framing alignm","authors_text":"Elija Perrier","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17846","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a786fa12a5e5f2104b1765b4e482766478e52ffd7a6b0ae734a03c933edc6a6f","target":"record","created_at":"2026-07-05T11:25:24Z","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":"9c02c437f5b59fbe9608fe3b45fd832a893643d45eba201a821dd80872ec2b9a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","title_canon_sha256":"3a05bd89b507ddb4ec01fa72d949fa297eb8061e689062dc7e265550f4cbeccb"},"schema_version":"1.0","source":{"id":"2506.17846","kind":"arxiv","version":1}},"canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","first_computed_at":"2026-07-05T11:25:24.222665Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:24.222665Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cSvr6yd6NhrL+QEXsjQK8g0Y03w/yj6eSDHPWx4rWXJI2TRnTUASLtnY8FNzWeRB+oG/bcw3g1bfWfCaDFyDCw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:24.223080Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a786fa12a5e5f2104b1765b4e482766478e52ffd7a6b0ae734a03c933edc6a6f","sha256:2ecfc37278166e55b2e7054de1599aa0628ca2648e792c1931129301b3585cb8"],"state_sha256":"d81680b6fe6e65f3812bd14a0dcf428b1ae9e16bf61d0166293cf228b2c8bdf8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7HrtiPQBwLflBK+pE/uN77ic6ASYdj0hhz4yj85T5KVORDvPhlTzVGLy87dNf+ngjCdqf7CAdaI76DcDlbGDDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T09:46:15.086747Z","bundle_sha256":"875af2724f7e78f959dfb85d69df9ba39a42e439071e5992f9bdaf3ed0f58c10"}}