{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NZQO4A6FAHDJTJE3E4LBAILLXR","short_pith_number":"pith:NZQO4A6F","canonical_record":{"source":{"id":"2603.08761","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"stat.ML","submitted_at":"2026-03-08T23:03:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"20202319db3b7823882af23fba81e4b8b504e05cc8f3f221f2cf123aa5a5a287","abstract_canon_sha256":"3cb12803bb7f2ef0e0b382451d3fed3d5794209860c17646dede15ea8945edb0"},"schema_version":"1.0"},"canonical_sha256":"6e60ee03c501c699a49b271610216bbc4ad86ba4211a56c692fac9869707df16","source":{"kind":"arxiv","id":"2603.08761","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.08761","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2603.08761v2","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.08761","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"NZQO4A6FAHDJ","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"NZQO4A6FAHDJTJE3","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"NZQO4A6F","created_at":"2026-05-28T00:05:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NZQO4A6FAHDJTJE3E4LBAILLXR","target":"record","payload":{"canonical_record":{"source":{"id":"2603.08761","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"stat.ML","submitted_at":"2026-03-08T23:03:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"20202319db3b7823882af23fba81e4b8b504e05cc8f3f221f2cf123aa5a5a287","abstract_canon_sha256":"3cb12803bb7f2ef0e0b382451d3fed3d5794209860c17646dede15ea8945edb0"},"schema_version":"1.0"},"canonical_sha256":"6e60ee03c501c699a49b271610216bbc4ad86ba4211a56c692fac9869707df16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T00:05:15.155642Z","signature_b64":"jbYNVuES0RY9/pV6zI2WC3drMqOX9qOPIl4+3zIw8HRapgEzyvRMR1UEOsLeXD5Q6SRZbTrE9cYXQVFPBg9FBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e60ee03c501c699a49b271610216bbc4ad86ba4211a56c692fac9869707df16","last_reissued_at":"2026-05-28T00:05:15.154889Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T00:05:15.154889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2603.08761","source_version":2,"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-28T00:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2exH39v9T8avr8dtGsbNVMQVeJkIuPAObakgdvXA0U9FsTva6XHr+9PPtTYPfzS8a1Pjwf8mmHIoL6ulCR0tBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:18:55.273118Z"},"content_sha256":"dbf77f0ecc78320bcaf3b1c71980f805daf2a6c31603162515e61145be4db8aa","schema_version":"1.0","event_id":"sha256:dbf77f0ecc78320bcaf3b1c71980f805daf2a6c31603162515e61145be4db8aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NZQO4A6FAHDJTJE3E4LBAILLXR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"stat.ML","authors_text":"Ayushi Agarwal","submitted_at":"2026-03-08T23:03:21Z","abstract_excerpt":"We argue that formal certification of AI alignment over open-ended or unbounded input domains is impossible under standard assumptions in computational complexity and learning theory, and characterise what remains achievable. Two structurally independent impossibility theorems support this position. The semantic barrier (Theorem 1): deciding whether a system satisfies any non-trivial alignment property over the full input domain is NP-hard for feedforward networks and undecidable for Turing-complete architectures -- a direct consequence of neural-network verification complexity and Rice's Theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.08761","kind":"arxiv","version":2},"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/2603.08761/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-05-28T00:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nUkaK0c5FM5a7SZhbjJAKc8AubtwQJTWd05euaeWeuPVCZ3o/2vGrfBPY+q0Oh+b527Qk8EfWO0CFRYpZmgCCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:18:55.273523Z"},"content_sha256":"6bef80148cf24aa3fcb184045349032cdb32cd28bd07d54bac6e68281963cac9","schema_version":"1.0","event_id":"sha256:6bef80148cf24aa3fcb184045349032cdb32cd28bd07d54bac6e68281963cac9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/bundle.json","state_url":"https://pith.science/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/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-06-05T07:18:55Z","links":{"resolver":"https://pith.science/pith/NZQO4A6FAHDJTJE3E4LBAILLXR","bundle":"https://pith.science/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/bundle.json","state":"https://pith.science/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NZQO4A6FAHDJTJE3E4LBAILLXR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NZQO4A6FAHDJTJE3E4LBAILLXR","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":"3cb12803bb7f2ef0e0b382451d3fed3d5794209860c17646dede15ea8945edb0","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"stat.ML","submitted_at":"2026-03-08T23:03:21Z","title_canon_sha256":"20202319db3b7823882af23fba81e4b8b504e05cc8f3f221f2cf123aa5a5a287"},"schema_version":"1.0","source":{"id":"2603.08761","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.08761","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2603.08761v2","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.08761","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"NZQO4A6FAHDJ","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"NZQO4A6FAHDJTJE3","created_at":"2026-05-28T00:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"NZQO4A6F","created_at":"2026-05-28T00:05:15Z"}],"graph_snapshots":[{"event_id":"sha256:6bef80148cf24aa3fcb184045349032cdb32cd28bd07d54bac6e68281963cac9","target":"graph","created_at":"2026-05-28T00:05:15Z","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/2603.08761/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We argue that formal certification of AI alignment over open-ended or unbounded input domains is impossible under standard assumptions in computational complexity and learning theory, and characterise what remains achievable. Two structurally independent impossibility theorems support this position. The semantic barrier (Theorem 1): deciding whether a system satisfies any non-trivial alignment property over the full input domain is NP-hard for feedforward networks and undecidable for Turing-complete architectures -- a direct consequence of neural-network verification complexity and Rice's Theo","authors_text":"Ayushi Agarwal","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"stat.ML","submitted_at":"2026-03-08T23:03:21Z","title":"No Certificate for Alignment: Two Independent Impossibilities and the Pareto Frontier of Achievable Safety Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.08761","kind":"arxiv","version":2},"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:dbf77f0ecc78320bcaf3b1c71980f805daf2a6c31603162515e61145be4db8aa","target":"record","created_at":"2026-05-28T00:05:15Z","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":"3cb12803bb7f2ef0e0b382451d3fed3d5794209860c17646dede15ea8945edb0","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"stat.ML","submitted_at":"2026-03-08T23:03:21Z","title_canon_sha256":"20202319db3b7823882af23fba81e4b8b504e05cc8f3f221f2cf123aa5a5a287"},"schema_version":"1.0","source":{"id":"2603.08761","kind":"arxiv","version":2}},"canonical_sha256":"6e60ee03c501c699a49b271610216bbc4ad86ba4211a56c692fac9869707df16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e60ee03c501c699a49b271610216bbc4ad86ba4211a56c692fac9869707df16","first_computed_at":"2026-05-28T00:05:15.154889Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T00:05:15.154889Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jbYNVuES0RY9/pV6zI2WC3drMqOX9qOPIl4+3zIw8HRapgEzyvRMR1UEOsLeXD5Q6SRZbTrE9cYXQVFPBg9FBQ==","signature_status":"signed_v1","signed_at":"2026-05-28T00:05:15.155642Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.08761","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dbf77f0ecc78320bcaf3b1c71980f805daf2a6c31603162515e61145be4db8aa","sha256:6bef80148cf24aa3fcb184045349032cdb32cd28bd07d54bac6e68281963cac9"],"state_sha256":"bfda49be2e89ae193d3c11cf4e0a2790709abca0af29f8fa1fd709fb655705a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OW/12QhlHteyGG17+AX3vkjoVc5b/a9AwufMl2f/bLQEXgpHgY6mD05BI+8WTpv4P0/mhta77WMKnMFxXX9gCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T07:18:55.275781Z","bundle_sha256":"e788e82424f8a5da4eca25aaf988ee58e3259fc0e5fbcb650becb8994ff4f9a0"}}