{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:M5VG3SBTIPVG3QJ3WOFK5ISQH3","short_pith_number":"pith:M5VG3SBT","canonical_record":{"source":{"id":"1708.01380","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-08-04T05:19:45Z","cross_cats_sorted":["hep-th"],"title_canon_sha256":"3c5c1a74934cb2d353e456f84c49478ad79d3b142a7864b0ae341fa799edc9b8","abstract_canon_sha256":"1ac59c5dccb2850ecc562b20fb56ae648003a8c1610b4b949e7449c7505442c3"},"schema_version":"1.0"},"canonical_sha256":"676a6dc83343ea6dc13bb38aaea2503ed44d57e70f8ec3ebb91d1909980acd6a","source":{"kind":"arxiv","id":"1708.01380","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.01380","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"arxiv_version","alias_value":"1708.01380v3","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.01380","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"pith_short_12","alias_value":"M5VG3SBTIPVG","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"M5VG3SBTIPVG3QJ3","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"M5VG3SBT","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:M5VG3SBTIPVG3QJ3WOFK5ISQH3","target":"record","payload":{"canonical_record":{"source":{"id":"1708.01380","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-08-04T05:19:45Z","cross_cats_sorted":["hep-th"],"title_canon_sha256":"3c5c1a74934cb2d353e456f84c49478ad79d3b142a7864b0ae341fa799edc9b8","abstract_canon_sha256":"1ac59c5dccb2850ecc562b20fb56ae648003a8c1610b4b949e7449c7505442c3"},"schema_version":"1.0"},"canonical_sha256":"676a6dc83343ea6dc13bb38aaea2503ed44d57e70f8ec3ebb91d1909980acd6a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:57.447938Z","signature_b64":"8WYwK4zUFGBqtJhS4rxxeO02SRb+MpkfbQgSXE/g62tJDqoRW0QGhRhzcXgLVvKexmoXni++KuaQD2c/9bleCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"676a6dc83343ea6dc13bb38aaea2503ed44d57e70f8ec3ebb91d1909980acd6a","last_reissued_at":"2026-05-17T23:48:57.447468Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:57.447468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.01380","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-17T23:48:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n7OVPorz0s9FMjtTrMtS9M9u6YERhtHAm65kw6m+4EZSXcLx4solkq7YZalErKkAuHbgHRqDNgArubosu+n7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T09:51:08.618972Z"},"content_sha256":"e406efa2b067c957f98c548e17972191a8712c4017ccc66f8ce5dd7b652fd3b5","schema_version":"1.0","event_id":"sha256:e406efa2b067c957f98c548e17972191a8712c4017ccc66f8ce5dd7b652fd3b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:M5VG3SBTIPVG3QJ3WOFK5ISQH3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Kochen-Specker theorem revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["hep-th"],"primary_cat":"quant-ph","authors_text":"Del Rajan (Victoria University of Wellington), Matt Visser (Victoria University of Wellington)","submitted_at":"2017-08-04T05:19:45Z","abstract_excerpt":"The Kochen-Specker theorem is a basic and fundamental 50 year old non-existence result affecting the foundations of quantum mechanix, strongly implying the lack of any meaningful notion of \"quantum realism\", and typically leading to discussions of \"contextuality\" in quantum physics. Original proofs of the Kochen-Specker theorem proceeded via brute force counter-examples; often quite complicated and subtle (albeit mathematically \"elementary\") counter-examples. Only more recently have somewhat more \"geometrical\" proofs been developed. We present herein yet another simplified geometrical proof of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.01380","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-17T23:48:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UuooRe/ZyXbbm3ZWL6HNF/JGgk0h1ngxfLrb9XOcToVIGep35QYCkp79X/v2Chqjw5z/+dPCHEpQg4hxQEGuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T09:51:08.619729Z"},"content_sha256":"a0a6814424df48ea4f3275deda9c502ae0ac4dc8b91a8b9af26c714e2beeb16b","schema_version":"1.0","event_id":"sha256:a0a6814424df48ea4f3275deda9c502ae0ac4dc8b91a8b9af26c714e2beeb16b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/bundle.json","state_url":"https://pith.science/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/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-10T09:51:08Z","links":{"resolver":"https://pith.science/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3","bundle":"https://pith.science/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/bundle.json","state":"https://pith.science/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M5VG3SBTIPVG3QJ3WOFK5ISQH3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:M5VG3SBTIPVG3QJ3WOFK5ISQH3","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":"1ac59c5dccb2850ecc562b20fb56ae648003a8c1610b4b949e7449c7505442c3","cross_cats_sorted":["hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-08-04T05:19:45Z","title_canon_sha256":"3c5c1a74934cb2d353e456f84c49478ad79d3b142a7864b0ae341fa799edc9b8"},"schema_version":"1.0","source":{"id":"1708.01380","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.01380","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"arxiv_version","alias_value":"1708.01380v3","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.01380","created_at":"2026-05-17T23:48:57Z"},{"alias_kind":"pith_short_12","alias_value":"M5VG3SBTIPVG","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"M5VG3SBTIPVG3QJ3","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"M5VG3SBT","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:a0a6814424df48ea4f3275deda9c502ae0ac4dc8b91a8b9af26c714e2beeb16b","target":"graph","created_at":"2026-05-17T23:48:57Z","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":"The Kochen-Specker theorem is a basic and fundamental 50 year old non-existence result affecting the foundations of quantum mechanix, strongly implying the lack of any meaningful notion of \"quantum realism\", and typically leading to discussions of \"contextuality\" in quantum physics. Original proofs of the Kochen-Specker theorem proceeded via brute force counter-examples; often quite complicated and subtle (albeit mathematically \"elementary\") counter-examples. Only more recently have somewhat more \"geometrical\" proofs been developed. We present herein yet another simplified geometrical proof of","authors_text":"Del Rajan (Victoria University of Wellington), Matt Visser (Victoria University of Wellington)","cross_cats":["hep-th"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-08-04T05:19:45Z","title":"Kochen-Specker theorem revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.01380","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:e406efa2b067c957f98c548e17972191a8712c4017ccc66f8ce5dd7b652fd3b5","target":"record","created_at":"2026-05-17T23:48:57Z","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":"1ac59c5dccb2850ecc562b20fb56ae648003a8c1610b4b949e7449c7505442c3","cross_cats_sorted":["hep-th"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-08-04T05:19:45Z","title_canon_sha256":"3c5c1a74934cb2d353e456f84c49478ad79d3b142a7864b0ae341fa799edc9b8"},"schema_version":"1.0","source":{"id":"1708.01380","kind":"arxiv","version":3}},"canonical_sha256":"676a6dc83343ea6dc13bb38aaea2503ed44d57e70f8ec3ebb91d1909980acd6a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"676a6dc83343ea6dc13bb38aaea2503ed44d57e70f8ec3ebb91d1909980acd6a","first_computed_at":"2026-05-17T23:48:57.447468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:57.447468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8WYwK4zUFGBqtJhS4rxxeO02SRb+MpkfbQgSXE/g62tJDqoRW0QGhRhzcXgLVvKexmoXni++KuaQD2c/9bleCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:57.447938Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.01380","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e406efa2b067c957f98c548e17972191a8712c4017ccc66f8ce5dd7b652fd3b5","sha256:a0a6814424df48ea4f3275deda9c502ae0ac4dc8b91a8b9af26c714e2beeb16b"],"state_sha256":"9a66dd6abf8c722577f3dc5e314c44733c84a8cb14c838da6d34550a8b2bdbe1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Drwkk8gwJR6Q57/Cr7/RcqB1ogK8S7OOOg1BaZ3kp3xI/Z819fKS6aVylpxs+KujLNLZQK8sqOHZ/9C+aAFDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T09:51:08.623984Z","bundle_sha256":"d7542245ecede695b2850fdcb18e15aaeac103aaab4edd381fb520f7024117ec"}}