{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:AD7WIY4ZH7J6HRJNQ6432GHPTS","short_pith_number":"pith:AD7WIY4Z","canonical_record":{"source":{"id":"1211.6468","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-27T22:29:05Z","cross_cats_sorted":["gr-qc"],"title_canon_sha256":"76bf94d1b757f067969584fc39a01198f529ae8dd3c00335e2c57f3a0fa0261b","abstract_canon_sha256":"150401f46cd42462f79677373b9c6d439cc9555549cfb240304b0d9a5f4d1f78"},"schema_version":"1.0"},"canonical_sha256":"00ff6463993fd3e3c52d87b9bd18ef9c9ea7a0e574135a9f6dc4cde4e321be93","source":{"kind":"arxiv","id":"1211.6468","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6468","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6468v2","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6468","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"pith_short_12","alias_value":"AD7WIY4ZH7J6","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AD7WIY4ZH7J6HRJN","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AD7WIY4Z","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:AD7WIY4ZH7J6HRJNQ6432GHPTS","target":"record","payload":{"canonical_record":{"source":{"id":"1211.6468","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-27T22:29:05Z","cross_cats_sorted":["gr-qc"],"title_canon_sha256":"76bf94d1b757f067969584fc39a01198f529ae8dd3c00335e2c57f3a0fa0261b","abstract_canon_sha256":"150401f46cd42462f79677373b9c6d439cc9555549cfb240304b0d9a5f4d1f78"},"schema_version":"1.0"},"canonical_sha256":"00ff6463993fd3e3c52d87b9bd18ef9c9ea7a0e574135a9f6dc4cde4e321be93","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:54.143994Z","signature_b64":"/zpcHL7mdyJXen6jZivG6HoAplx9ThRNCDfwcnMNvk2gtVAPxFKy+SzIPAyCPHBGX1eN9u8Zx450p+vwALPVBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00ff6463993fd3e3c52d87b9bd18ef9c9ea7a0e574135a9f6dc4cde4e321be93","last_reissued_at":"2026-05-18T00:19:54.143259Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:54.143259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.6468","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-18T00:19:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NSZS0jwkrri8jW0Mj7Kfqv/4OHccIlMJdYMoDPP8nPp8Lt/ohWLn7PlbcZThkOyvyHTo45+80E9cNpTTtvbSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:25:38.862866Z"},"content_sha256":"e7a10df97b9de3b4104a2cd8bac24dc3efdd3ea01018ed80256738200b8cdac7","schema_version":"1.0","event_id":"sha256:e7a10df97b9de3b4104a2cd8bac24dc3efdd3ea01018ed80256738200b8cdac7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:AD7WIY4ZH7J6HRJNQ6432GHPTS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Isabelle to verify special relativity, with application to hypercomputation theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["gr-qc"],"primary_cat":"cs.LO","authors_text":"Istv\\'an N\\'emeti, Mike Stannett","submitted_at":"2012-11-27T22:29:05Z","abstract_excerpt":"Logicians at the R\\'enyi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on first order logic, and have argued in favour of the physical decidability, via exploitation of cosmological phenomena, of formally undecidable questions such as the Halting Problem and the consistency of set theory.\n  The Hungarian theories are very extensive, and their associated proofs are intuitively very satisfying, but this brings its own risks since intuition can sometimes be misleading. As part of a joint pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6468","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":""},"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-18T00:19:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NHbcyz6hH3Pv3GEGfrmD44f2LobYjqmU1Ls+WJrawPQZPXATq7GyPpXK4rTD10UT6RIsE0Z/3+gdtRLRh2oyBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:25:38.863212Z"},"content_sha256":"37baaa4a7e08d7219af3a727086ec3205e913a1e8aa3b2dc6e1276b3c6ef0956","schema_version":"1.0","event_id":"sha256:37baaa4a7e08d7219af3a727086ec3205e913a1e8aa3b2dc6e1276b3c6ef0956"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/bundle.json","state_url":"https://pith.science/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/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-02T23:25:38Z","links":{"resolver":"https://pith.science/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS","bundle":"https://pith.science/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/bundle.json","state":"https://pith.science/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AD7WIY4ZH7J6HRJNQ6432GHPTS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:AD7WIY4ZH7J6HRJNQ6432GHPTS","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":"150401f46cd42462f79677373b9c6d439cc9555549cfb240304b0d9a5f4d1f78","cross_cats_sorted":["gr-qc"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-27T22:29:05Z","title_canon_sha256":"76bf94d1b757f067969584fc39a01198f529ae8dd3c00335e2c57f3a0fa0261b"},"schema_version":"1.0","source":{"id":"1211.6468","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.6468","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"arxiv_version","alias_value":"1211.6468v2","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6468","created_at":"2026-05-18T00:19:54Z"},{"alias_kind":"pith_short_12","alias_value":"AD7WIY4ZH7J6","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AD7WIY4ZH7J6HRJN","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AD7WIY4Z","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:37baaa4a7e08d7219af3a727086ec3205e913a1e8aa3b2dc6e1276b3c6ef0956","target":"graph","created_at":"2026-05-18T00:19:54Z","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":"Logicians at the R\\'enyi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and other variants) based wholly on first order logic, and have argued in favour of the physical decidability, via exploitation of cosmological phenomena, of formally undecidable questions such as the Halting Problem and the consistency of set theory.\n  The Hungarian theories are very extensive, and their associated proofs are intuitively very satisfying, but this brings its own risks since intuition can sometimes be misleading. As part of a joint pro","authors_text":"Istv\\'an N\\'emeti, Mike Stannett","cross_cats":["gr-qc"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-27T22:29:05Z","title":"Using Isabelle to verify special relativity, with application to hypercomputation theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6468","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:e7a10df97b9de3b4104a2cd8bac24dc3efdd3ea01018ed80256738200b8cdac7","target":"record","created_at":"2026-05-18T00:19:54Z","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":"150401f46cd42462f79677373b9c6d439cc9555549cfb240304b0d9a5f4d1f78","cross_cats_sorted":["gr-qc"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-11-27T22:29:05Z","title_canon_sha256":"76bf94d1b757f067969584fc39a01198f529ae8dd3c00335e2c57f3a0fa0261b"},"schema_version":"1.0","source":{"id":"1211.6468","kind":"arxiv","version":2}},"canonical_sha256":"00ff6463993fd3e3c52d87b9bd18ef9c9ea7a0e574135a9f6dc4cde4e321be93","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00ff6463993fd3e3c52d87b9bd18ef9c9ea7a0e574135a9f6dc4cde4e321be93","first_computed_at":"2026-05-18T00:19:54.143259Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:54.143259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/zpcHL7mdyJXen6jZivG6HoAplx9ThRNCDfwcnMNvk2gtVAPxFKy+SzIPAyCPHBGX1eN9u8Zx450p+vwALPVBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:54.143994Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.6468","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7a10df97b9de3b4104a2cd8bac24dc3efdd3ea01018ed80256738200b8cdac7","sha256:37baaa4a7e08d7219af3a727086ec3205e913a1e8aa3b2dc6e1276b3c6ef0956"],"state_sha256":"d7747bcfbd00ae09f857a98d4dcfc90d508454ca63877dbb81498df1175c01eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nHa0Vhi626ZmfY+8MClGt4AssYLi49Ir5n1yAL+aRsktAAVe/EBbApLzoNWxI2Cgl9jHZtqkspKxaNJeAvNoBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:25:38.865186Z","bundle_sha256":"f99177ac61099ece54ebab3b89947985375f58607cae53de5d80a012b26b55c2"}}