{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:RNTCYQBTCVUNCD5MWKJJKDDGX4","short_pith_number":"pith:RNTCYQBT","canonical_record":{"source":{"id":"1403.6518","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-03-25T21:55:25Z","cross_cats_sorted":[],"title_canon_sha256":"904c16384ced621fa68eb87c08fd2c2bf5922a228ebe534117dd5b1ff6b1bec1","abstract_canon_sha256":"c01bcc2c4638746667a43586f3abbfe94de99d923c25a9c86ed83a9190c06ef8"},"schema_version":"1.0"},"canonical_sha256":"8b662c40331568d10facb292950c66bf2ef685ba2ddfd46a8f963ee2bd4a1511","source":{"kind":"arxiv","id":"1403.6518","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.6518","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1403.6518v1","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.6518","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"RNTCYQBTCVUN","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RNTCYQBTCVUNCD5M","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RNTCYQBT","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:RNTCYQBTCVUNCD5MWKJJKDDGX4","target":"record","payload":{"canonical_record":{"source":{"id":"1403.6518","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-03-25T21:55:25Z","cross_cats_sorted":[],"title_canon_sha256":"904c16384ced621fa68eb87c08fd2c2bf5922a228ebe534117dd5b1ff6b1bec1","abstract_canon_sha256":"c01bcc2c4638746667a43586f3abbfe94de99d923c25a9c86ed83a9190c06ef8"},"schema_version":"1.0"},"canonical_sha256":"8b662c40331568d10facb292950c66bf2ef685ba2ddfd46a8f963ee2bd4a1511","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:29.753462Z","signature_b64":"3p8n1S05KsC0S6KAzB8Qe5dTq8BE7DZVFDf+bp9FQNvTFADSHIRSrb8ZuOwM1B+cXc37Z15cSG996I29CWQaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b662c40331568d10facb292950c66bf2ef685ba2ddfd46a8f963ee2bd4a1511","last_reissued_at":"2026-05-18T02:55:29.752779Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:29.752779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.6518","source_version":1,"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-18T02:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zwrv0sPmiJ/LxKi0bNht2k0ogFjUrk2R1cpczvDy5G0qNFUy4Na6SwEQp2AhCkpEDaZ7ChzJf0GBGf8XGnDGDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T11:36:32.324848Z"},"content_sha256":"ea36c7856cbcdeaf6b61c2550ce5251008431a81b4935f5ba517b1ba0f18309d","schema_version":"1.0","event_id":"sha256:ea36c7856cbcdeaf6b61c2550ce5251008431a81b4935f5ba517b1ba0f18309d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:RNTCYQBTCVUNCD5MWKJJKDDGX4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Havannah and TwixT are PSPACE-complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Abdallah Saffidine, Edouard Bonnet, Florian Jamain","submitted_at":"2014-03-25T21:55:25Z","abstract_excerpt":"Numerous popular abstract strategy games ranging from Hex and Havannah to Lines of Action belong to the class of connection games. Still, very few complexity results on such games have been obtained since Hex was proved PSPACE-complete in the early eighties. We study the complexity of two connection games among the most widely played. Namely, we prove that Havannah and TwixT are PSPACE-complete. The proof for Havannah involves a reduction from Generalized Geography and is based solely on ring-threats to represent the input graph. On the other hand, the reduction for TwixT builds up on previous"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.6518","kind":"arxiv","version":1},"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-18T02:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ca0qRnfOesiWRxsvBgbloIH/Btkc119lGs1vrsz3fudXpovrpXY13mJNj1d2qPcbsbOg8fgNA77X4xQw6xqJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T11:36:32.325185Z"},"content_sha256":"6ce47493dc7bb68bcbed110d7f84813d4fcf0c149c677822e8cce06fa8c0988e","schema_version":"1.0","event_id":"sha256:6ce47493dc7bb68bcbed110d7f84813d4fcf0c149c677822e8cce06fa8c0988e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/bundle.json","state_url":"https://pith.science/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/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-01T11:36:32Z","links":{"resolver":"https://pith.science/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4","bundle":"https://pith.science/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/bundle.json","state":"https://pith.science/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RNTCYQBTCVUNCD5MWKJJKDDGX4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:RNTCYQBTCVUNCD5MWKJJKDDGX4","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":"c01bcc2c4638746667a43586f3abbfe94de99d923c25a9c86ed83a9190c06ef8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-03-25T21:55:25Z","title_canon_sha256":"904c16384ced621fa68eb87c08fd2c2bf5922a228ebe534117dd5b1ff6b1bec1"},"schema_version":"1.0","source":{"id":"1403.6518","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.6518","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1403.6518v1","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.6518","created_at":"2026-05-18T02:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"RNTCYQBTCVUN","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RNTCYQBTCVUNCD5M","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RNTCYQBT","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:6ce47493dc7bb68bcbed110d7f84813d4fcf0c149c677822e8cce06fa8c0988e","target":"graph","created_at":"2026-05-18T02:55:29Z","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":"Numerous popular abstract strategy games ranging from Hex and Havannah to Lines of Action belong to the class of connection games. Still, very few complexity results on such games have been obtained since Hex was proved PSPACE-complete in the early eighties. We study the complexity of two connection games among the most widely played. Namely, we prove that Havannah and TwixT are PSPACE-complete. The proof for Havannah involves a reduction from Generalized Geography and is based solely on ring-threats to represent the input graph. On the other hand, the reduction for TwixT builds up on previous","authors_text":"Abdallah Saffidine, Edouard Bonnet, Florian Jamain","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-03-25T21:55:25Z","title":"Havannah and TwixT are PSPACE-complete"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.6518","kind":"arxiv","version":1},"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:ea36c7856cbcdeaf6b61c2550ce5251008431a81b4935f5ba517b1ba0f18309d","target":"record","created_at":"2026-05-18T02:55:29Z","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":"c01bcc2c4638746667a43586f3abbfe94de99d923c25a9c86ed83a9190c06ef8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2014-03-25T21:55:25Z","title_canon_sha256":"904c16384ced621fa68eb87c08fd2c2bf5922a228ebe534117dd5b1ff6b1bec1"},"schema_version":"1.0","source":{"id":"1403.6518","kind":"arxiv","version":1}},"canonical_sha256":"8b662c40331568d10facb292950c66bf2ef685ba2ddfd46a8f963ee2bd4a1511","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b662c40331568d10facb292950c66bf2ef685ba2ddfd46a8f963ee2bd4a1511","first_computed_at":"2026-05-18T02:55:29.752779Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:29.752779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3p8n1S05KsC0S6KAzB8Qe5dTq8BE7DZVFDf+bp9FQNvTFADSHIRSrb8ZuOwM1B+cXc37Z15cSG996I29CWQaDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:29.753462Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.6518","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea36c7856cbcdeaf6b61c2550ce5251008431a81b4935f5ba517b1ba0f18309d","sha256:6ce47493dc7bb68bcbed110d7f84813d4fcf0c149c677822e8cce06fa8c0988e"],"state_sha256":"38e22c6bb95f1d582c036c0a14e2c391342ef9499e84d63c2618616711ed0f48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uji5zPaDrmmdXXQXQzPR78WTF7mIWv1E/owNpBTab2m6VOoIJcqtuLbXRMPO6yhrTQngQIQG9tmPNW7gOfXNDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T11:36:32.327237Z","bundle_sha256":"fb113fd8278ea3a7157bd65fa1ce339e7eac374fe79789086ad3bd299cd11698"}}