{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:WBPOFNQ5TYXMBGIN66VY7AWYOI","short_pith_number":"pith:WBPOFNQ5","canonical_record":{"source":{"id":"2310.07901","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","cross_cats_sorted":["math.OA"],"title_canon_sha256":"d97f4344bbc31cf5df23c13c8cc2029e1f533ed45adb92f31c3786b141ede959","abstract_canon_sha256":"b60abd66fd5b37ca1f4e785888a69f6f2fdf4e1ce2a85a5d65dce5a28137e5c5"},"schema_version":"1.0"},"canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","source":{"kind":"arxiv","id":"2310.07901","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.07901","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"arxiv_version","alias_value":"2310.07901v2","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.07901","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_12","alias_value":"WBPOFNQ5TYXM","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_16","alias_value":"WBPOFNQ5TYXMBGIN","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_8","alias_value":"WBPOFNQ5","created_at":"2026-07-05T10:01:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:WBPOFNQ5TYXMBGIN66VY7AWYOI","target":"record","payload":{"canonical_record":{"source":{"id":"2310.07901","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","cross_cats_sorted":["math.OA"],"title_canon_sha256":"d97f4344bbc31cf5df23c13c8cc2029e1f533ed45adb92f31c3786b141ede959","abstract_canon_sha256":"b60abd66fd5b37ca1f4e785888a69f6f2fdf4e1ce2a85a5d65dce5a28137e5c5"},"schema_version":"1.0"},"canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:01:10.177191Z","signature_b64":"kqf9gUYmw47JqVL+udrS8YDE5MTMCoqhYIh+JQg5EjHZzoG4uTUCZ8tJObOaIwnsorxhMsvX+WVoAYWukxrbDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","last_reissued_at":"2026-07-05T10:01:10.176762Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:01:10.176762Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.07901","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-07-05T10:01:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"91DB88pf2SD5Qf624Scbt/4h+EytvlUnks+lhqt0XXZvSUvo0AI0do4ySRDg+4x3lSstGxllEpVYNW1x+RxbDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:12:49.766462Z"},"content_sha256":"c06b488fde213b208a2fa3b19126c7ce5e186bdb9a77d260328cbb670f5d089b","schema_version":"1.0","event_id":"sha256:c06b488fde213b208a2fa3b19126c7ce5e186bdb9a77d260328cbb670f5d089b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:WBPOFNQ5TYXMBGIN66VY7AWYOI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Satisfiability problems and algebras of boolean constraint system games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OA"],"primary_cat":"quant-ph","authors_text":"Connor Paddock, William Slofstra","submitted_at":"2023-10-11T21:13:21Z","abstract_excerpt":"Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning theory of quantum satisfiability for constraint systems, connected to nonlocal games and quantum contextuality. In this theory, different types of quantum satisfying assignments can be understood as representations of the BCS algebra of the system. This theory is closely related to the theory of synchronous games and algebras, and every synchronous algebra is a BCS algebra and vice-versa. The purpose of this paper i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.07901","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/2310.07901/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-05T10:01:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7PX8KnY2YWIOByY+8vnr+1EYnQmEFYLNMf1a4Gn42ufl41VYkACNn4PG7gb2yQISs979dt/tdMytGUN89Q5zAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T09:12:49.767492Z"},"content_sha256":"7023df246aa6b6b81e7bc00036c8df23850abb764004e15ee5e63dcd2e89d534","schema_version":"1.0","event_id":"sha256:7023df246aa6b6b81e7bc00036c8df23850abb764004e15ee5e63dcd2e89d534"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/bundle.json","state_url":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/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-14T09:12:49Z","links":{"resolver":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI","bundle":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/bundle.json","state":"https://pith.science/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WBPOFNQ5TYXMBGIN66VY7AWYOI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WBPOFNQ5TYXMBGIN66VY7AWYOI","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":"b60abd66fd5b37ca1f4e785888a69f6f2fdf4e1ce2a85a5d65dce5a28137e5c5","cross_cats_sorted":["math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","title_canon_sha256":"d97f4344bbc31cf5df23c13c8cc2029e1f533ed45adb92f31c3786b141ede959"},"schema_version":"1.0","source":{"id":"2310.07901","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.07901","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"arxiv_version","alias_value":"2310.07901v2","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.07901","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_12","alias_value":"WBPOFNQ5TYXM","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_16","alias_value":"WBPOFNQ5TYXMBGIN","created_at":"2026-07-05T10:01:10Z"},{"alias_kind":"pith_short_8","alias_value":"WBPOFNQ5","created_at":"2026-07-05T10:01:10Z"}],"graph_snapshots":[{"event_id":"sha256:7023df246aa6b6b81e7bc00036c8df23850abb764004e15ee5e63dcd2e89d534","target":"graph","created_at":"2026-07-05T10:01:10Z","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/2310.07901/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mermin and Peres showed that there are boolean constraint systems (BCSs) which are not satisfiable, but which are satisfiable with quantum observables. This has led to a burgeoning theory of quantum satisfiability for constraint systems, connected to nonlocal games and quantum contextuality. In this theory, different types of quantum satisfying assignments can be understood as representations of the BCS algebra of the system. This theory is closely related to the theory of synchronous games and algebras, and every synchronous algebra is a BCS algebra and vice-versa. The purpose of this paper i","authors_text":"Connor Paddock, William Slofstra","cross_cats":["math.OA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","title":"Satisfiability problems and algebras of boolean constraint system games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.07901","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:c06b488fde213b208a2fa3b19126c7ce5e186bdb9a77d260328cbb670f5d089b","target":"record","created_at":"2026-07-05T10:01:10Z","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":"b60abd66fd5b37ca1f4e785888a69f6f2fdf4e1ce2a85a5d65dce5a28137e5c5","cross_cats_sorted":["math.OA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-10-11T21:13:21Z","title_canon_sha256":"d97f4344bbc31cf5df23c13c8cc2029e1f533ed45adb92f31c3786b141ede959"},"schema_version":"1.0","source":{"id":"2310.07901","kind":"arxiv","version":2}},"canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b05ee2b61d9e2ec0990df7ab8f82d8720cd009c1c83b2591147f6a791ce9246f","first_computed_at":"2026-07-05T10:01:10.176762Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:01:10.176762Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kqf9gUYmw47JqVL+udrS8YDE5MTMCoqhYIh+JQg5EjHZzoG4uTUCZ8tJObOaIwnsorxhMsvX+WVoAYWukxrbDA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:01:10.177191Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.07901","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c06b488fde213b208a2fa3b19126c7ce5e186bdb9a77d260328cbb670f5d089b","sha256:7023df246aa6b6b81e7bc00036c8df23850abb764004e15ee5e63dcd2e89d534"],"state_sha256":"305aa94d41947e11cd746cf7eb8e11657e0f8b6fa1857647934d9aa7be90aeb1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pcYdghouiONYW7GtzVKEWzaxYppewkYWtAS2g5DVf1DpBWGFfB0bUj4Sc9nwc/twaVDRr1hAMz6sWwty4CiWBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T09:12:49.773391Z","bundle_sha256":"532a35168c1f2ca51b1327bd470b64289189257870b06f5b77457beb9cfd25b3"}}