{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:CTC2HDUSMS3BSFSXJV6JGPPGLY","short_pith_number":"pith:CTC2HDUS","canonical_record":{"source":{"id":"1404.7770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:03Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"0b2a21802f4e59fff298ee981c805444cb960abebf7726b2f8ff72e0e8e96c7c","abstract_canon_sha256":"837fd7a71e3af5fc1fe258fa70aaa0649d20b63c6260395ffbdd03c3a9cc089f"},"schema_version":"1.0"},"canonical_sha256":"14c5a38e9264b61916574d7c933de65e388f6c9cb149fcbbc9cc6d835255b707","source":{"kind":"arxiv","id":"1404.7770","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7770","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7770v1","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7770","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"pith_short_12","alias_value":"CTC2HDUSMS3B","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CTC2HDUSMS3BSFSX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CTC2HDUS","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:CTC2HDUSMS3BSFSXJV6JGPPGLY","target":"record","payload":{"canonical_record":{"source":{"id":"1404.7770","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:03Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"0b2a21802f4e59fff298ee981c805444cb960abebf7726b2f8ff72e0e8e96c7c","abstract_canon_sha256":"837fd7a71e3af5fc1fe258fa70aaa0649d20b63c6260395ffbdd03c3a9cc089f"},"schema_version":"1.0"},"canonical_sha256":"14c5a38e9264b61916574d7c933de65e388f6c9cb149fcbbc9cc6d835255b707","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:49.999640Z","signature_b64":"sS+guCODbYGqNaTDrdUEthgB3lpxlE9joHIcA42cJvVOo+6oiBHVIswLMMzZiqDeQLDbgfHlMhgLPrtgen7mDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14c5a38e9264b61916574d7c933de65e388f6c9cb149fcbbc9cc6d835255b707","last_reissued_at":"2026-05-18T02:52:49.999215Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:49.999215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.7770","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:52:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZADjgnMu1BitDkkxxSJKieoAYufRSqByzjFcm53IethNX0RBhrEq8k2bnsxDHEwWIFVwbbg3exBGjhSiVQ4RAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:09:17.300385Z"},"content_sha256":"e19e87358ab5552418b0362e8c5ffe7b94f0d04e62bce9e04d2529ed2fe0edca","schema_version":"1.0","event_id":"sha256:e19e87358ab5552418b0362e8c5ffe7b94f0d04e62bce9e04d2529ed2fe0edca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:CTC2HDUSMS3BSFSXJV6JGPPGLY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Games with recurring certainty","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Anup Basil Mathew (Institute of Mathematical Sciences Chennai, Dietmar Berwanger (Laboratoire Specification et Verification CNRS & ENS Cachan, France), India)","submitted_at":"2014-04-03T10:39:03Z","abstract_excerpt":"Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and this uncertainty lasts forever. Here we consider games where the players attain certainty about the current state over and over again along any play. For finite-state games, we note that this kind of recurring certainty implies a stronger condition of periodic certainty, that is, the events of state ce"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7770","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:52:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o/u+0XNJ/U8N/ER+lKdDksJ0N3pvbTnjiAyA4F3oo5y7hh23NT0mii/mdwghmI5P5wnY0w638bZ3AOpGMCHZAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:09:17.300751Z"},"content_sha256":"85a54372168d507f5611a9b548c5fe856ecc75e215126ce565627544ced66fc6","schema_version":"1.0","event_id":"sha256:85a54372168d507f5611a9b548c5fe856ecc75e215126ce565627544ced66fc6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/bundle.json","state_url":"https://pith.science/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/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-05-28T12:09:17Z","links":{"resolver":"https://pith.science/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY","bundle":"https://pith.science/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/bundle.json","state":"https://pith.science/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CTC2HDUSMS3BSFSXJV6JGPPGLY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:CTC2HDUSMS3BSFSXJV6JGPPGLY","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":"837fd7a71e3af5fc1fe258fa70aaa0649d20b63c6260395ffbdd03c3a9cc089f","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:03Z","title_canon_sha256":"0b2a21802f4e59fff298ee981c805444cb960abebf7726b2f8ff72e0e8e96c7c"},"schema_version":"1.0","source":{"id":"1404.7770","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7770","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7770v1","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7770","created_at":"2026-05-18T02:52:49Z"},{"alias_kind":"pith_short_12","alias_value":"CTC2HDUSMS3B","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"CTC2HDUSMS3BSFSX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"CTC2HDUS","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:85a54372168d507f5611a9b548c5fe856ecc75e215126ce565627544ced66fc6","target":"graph","created_at":"2026-05-18T02:52:49Z","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":"Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted. Examples of undecidable cases typically feature a situation where players become uncertain about the current state of the game, and this uncertainty lasts forever. Here we consider games where the players attain certainty about the current state over and over again along any play. For finite-state games, we note that this kind of recurring certainty implies a stronger condition of periodic certainty, that is, the events of state ce","authors_text":"Anup Basil Mathew (Institute of Mathematical Sciences Chennai, Dietmar Berwanger (Laboratoire Specification et Verification CNRS & ENS Cachan, France), India)","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:03Z","title":"Games with recurring certainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7770","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:e19e87358ab5552418b0362e8c5ffe7b94f0d04e62bce9e04d2529ed2fe0edca","target":"record","created_at":"2026-05-18T02:52:49Z","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":"837fd7a71e3af5fc1fe258fa70aaa0649d20b63c6260395ffbdd03c3a9cc089f","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-03T10:39:03Z","title_canon_sha256":"0b2a21802f4e59fff298ee981c805444cb960abebf7726b2f8ff72e0e8e96c7c"},"schema_version":"1.0","source":{"id":"1404.7770","kind":"arxiv","version":1}},"canonical_sha256":"14c5a38e9264b61916574d7c933de65e388f6c9cb149fcbbc9cc6d835255b707","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14c5a38e9264b61916574d7c933de65e388f6c9cb149fcbbc9cc6d835255b707","first_computed_at":"2026-05-18T02:52:49.999215Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:49.999215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sS+guCODbYGqNaTDrdUEthgB3lpxlE9joHIcA42cJvVOo+6oiBHVIswLMMzZiqDeQLDbgfHlMhgLPrtgen7mDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:49.999640Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.7770","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e19e87358ab5552418b0362e8c5ffe7b94f0d04e62bce9e04d2529ed2fe0edca","sha256:85a54372168d507f5611a9b548c5fe856ecc75e215126ce565627544ced66fc6"],"state_sha256":"34341bf9e9e41991868d4c3915935236e0f727784d589d2f6055d512d80d612d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yb2tyM3l1i9JSqYW/ik9aylisGevHgeW5NJJhSRGK9k4pmGWlt24whLfWWkB0i6CPKSzoJzO3dn2rFY2nmGzCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T12:09:17.303198Z","bundle_sha256":"fc82fa7168e31f7a3f1d36b259c0ce82798c1adb0d910dfe4755ec3e72ab07f4"}}