{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:N67DEABRGLMBLZEQZUB2OCCBMP","short_pith_number":"pith:N67DEABR","canonical_record":{"source":{"id":"1208.5913","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-08-29T13:41:31Z","cross_cats_sorted":["cs.CR","cs.DC","cs.LO","cs.MA"],"title_canon_sha256":"6a238c1229e8b4925aac17df3497916b2e1cc6ac0cff529e1c40bdc76c618ce8","abstract_canon_sha256":"efde0cbceb33dd44e39acbcb8f5d603969b5ceadb147a19434f002e690e69ad6"},"schema_version":"1.0"},"canonical_sha256":"6fbe32003132d815e490cd03a7084163d4ac578de808e4e662c4096944908ff2","source":{"kind":"arxiv","id":"1208.5913","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.5913","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"arxiv_version","alias_value":"1208.5913v3","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.5913","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"pith_short_12","alias_value":"N67DEABRGLMB","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"N67DEABRGLMBLZEQ","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"N67DEABR","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:N67DEABRGLMBLZEQZUB2OCCBMP","target":"record","payload":{"canonical_record":{"source":{"id":"1208.5913","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-08-29T13:41:31Z","cross_cats_sorted":["cs.CR","cs.DC","cs.LO","cs.MA"],"title_canon_sha256":"6a238c1229e8b4925aac17df3497916b2e1cc6ac0cff529e1c40bdc76c618ce8","abstract_canon_sha256":"efde0cbceb33dd44e39acbcb8f5d603969b5ceadb147a19434f002e690e69ad6"},"schema_version":"1.0"},"canonical_sha256":"6fbe32003132d815e490cd03a7084163d4ac578de808e4e662c4096944908ff2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:33.521042Z","signature_b64":"B02gGAeq4Shf9P1iOOcqzaZ0vxHs2wCqdI33U10u21y76EZsdIJEC9jx5FXF+ZXbwlRdELarflkur0fHb12lCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6fbe32003132d815e490cd03a7084163d4ac578de808e4e662c4096944908ff2","last_reissued_at":"2026-05-18T03:01:33.520308Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:33.520308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1208.5913","source_version":3,"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:01:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NlkBY5cWGZQgiRM50BFGbD0p8dbQ5oYn5plxzdwHtiSLWAv6cwxH/bNgWbDwOcTd6Myei69c7aMjkdENElD9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T04:18:13.120300Z"},"content_sha256":"84f2ab205d5ed6e448776c44c90bcfc244c6b27926686462e5dbcb509eca0dc8","schema_version":"1.0","event_id":"sha256:84f2ab205d5ed6e448776c44c90bcfc244c6b27926686462e5dbcb509eca0dc8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:N67DEABRGLMBLZEQZUB2OCCBMP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.DC","cs.LO","cs.MA"],"primary_cat":"math.LO","authors_text":"Simon Kramer","submitted_at":"2012-08-29T13:41:31Z","abstract_excerpt":"We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counterpart of non-monotonic or instant interactive proofs (LiiP). LDiiP internalises agent-centric proof theories that are negation-complete (maximal) and consistent (and hence strictly weaker than, for example, Peano Arithmetic) and enjoy the disjunction property (like Intuitionistic Logic). In other words, internalised proof theories are ultrafilters and all internalised proof goals are definite in the sense of being eit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.5913","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-18T03:01:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YMwO4hVy2s4PAHIY/DrqG7v7Ft3xbINRXpNRA1KeX4V8J7Z15vlkOJxLHUfSx7rWkmAiVHBM/p1VgN2J81KHDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T04:18:13.120667Z"},"content_sha256":"db055655e92d3de3950a825785090f855aeaae71aa8549dec0c1f3e3f9fca699","schema_version":"1.0","event_id":"sha256:db055655e92d3de3950a825785090f855aeaae71aa8549dec0c1f3e3f9fca699"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N67DEABRGLMBLZEQZUB2OCCBMP/bundle.json","state_url":"https://pith.science/pith/N67DEABRGLMBLZEQZUB2OCCBMP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N67DEABRGLMBLZEQZUB2OCCBMP/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-21T04:18:13Z","links":{"resolver":"https://pith.science/pith/N67DEABRGLMBLZEQZUB2OCCBMP","bundle":"https://pith.science/pith/N67DEABRGLMBLZEQZUB2OCCBMP/bundle.json","state":"https://pith.science/pith/N67DEABRGLMBLZEQZUB2OCCBMP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N67DEABRGLMBLZEQZUB2OCCBMP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:N67DEABRGLMBLZEQZUB2OCCBMP","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":"efde0cbceb33dd44e39acbcb8f5d603969b5ceadb147a19434f002e690e69ad6","cross_cats_sorted":["cs.CR","cs.DC","cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-08-29T13:41:31Z","title_canon_sha256":"6a238c1229e8b4925aac17df3497916b2e1cc6ac0cff529e1c40bdc76c618ce8"},"schema_version":"1.0","source":{"id":"1208.5913","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.5913","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"arxiv_version","alias_value":"1208.5913v3","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.5913","created_at":"2026-05-18T03:01:33Z"},{"alias_kind":"pith_short_12","alias_value":"N67DEABRGLMB","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"N67DEABRGLMBLZEQ","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"N67DEABR","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:db055655e92d3de3950a825785090f855aeaae71aa8549dec0c1f3e3f9fca699","target":"graph","created_at":"2026-05-18T03:01:33Z","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"},"paper":{"abstract_excerpt":"We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counterpart of non-monotonic or instant interactive proofs (LiiP). LDiiP internalises agent-centric proof theories that are negation-complete (maximal) and consistent (and hence strictly weaker than, for example, Peano Arithmetic) and enjoy the disjunction property (like Intuitionistic Logic). In other words, internalised proof theories are ultrafilters and all internalised proof goals are definite in the sense of being eit","authors_text":"Simon Kramer","cross_cats":["cs.CR","cs.DC","cs.LO","cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-08-29T13:41:31Z","title":"Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.5913","kind":"arxiv","version":3},"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:84f2ab205d5ed6e448776c44c90bcfc244c6b27926686462e5dbcb509eca0dc8","target":"record","created_at":"2026-05-18T03:01:33Z","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":"efde0cbceb33dd44e39acbcb8f5d603969b5ceadb147a19434f002e690e69ad6","cross_cats_sorted":["cs.CR","cs.DC","cs.LO","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-08-29T13:41:31Z","title_canon_sha256":"6a238c1229e8b4925aac17df3497916b2e1cc6ac0cff529e1c40bdc76c618ce8"},"schema_version":"1.0","source":{"id":"1208.5913","kind":"arxiv","version":3}},"canonical_sha256":"6fbe32003132d815e490cd03a7084163d4ac578de808e4e662c4096944908ff2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6fbe32003132d815e490cd03a7084163d4ac578de808e4e662c4096944908ff2","first_computed_at":"2026-05-18T03:01:33.520308Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:33.520308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B02gGAeq4Shf9P1iOOcqzaZ0vxHs2wCqdI33U10u21y76EZsdIJEC9jx5FXF+ZXbwlRdELarflkur0fHb12lCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:33.521042Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.5913","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84f2ab205d5ed6e448776c44c90bcfc244c6b27926686462e5dbcb509eca0dc8","sha256:db055655e92d3de3950a825785090f855aeaae71aa8549dec0c1f3e3f9fca699"],"state_sha256":"235392b9c530c389570a2a4e01116aea92f40062820a360ea82d9d8b0e0c7bd4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uTN8dluMOW0NQ5ag3iDCtrSYWqdtSE4iG0yA54QdAyLFdk+a1gL2v8ImueerXVucw6rpVvp9j1LfJzpxF2woBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T04:18:13.122652Z","bundle_sha256":"d626d8c4aa7f7d4389f2d20198d114a000227597959b2513a14476dedb894baf"}}