{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:SBVDR3YJ6FTM46RD7GESUQO6MN","short_pith_number":"pith:SBVDR3YJ","canonical_record":{"source":{"id":"1710.04115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","cross_cats_sorted":[],"title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48","abstract_canon_sha256":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81"},"schema_version":"1.0"},"canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","source":{"kind":"arxiv","id":"1710.04115","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04115v1","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"SBVDR3YJ6FTM","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SBVDR3YJ6FTM46RD","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SBVDR3YJ","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:SBVDR3YJ6FTM46RD7GESUQO6MN","target":"record","payload":{"canonical_record":{"source":{"id":"1710.04115","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","cross_cats_sorted":[],"title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48","abstract_canon_sha256":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81"},"schema_version":"1.0"},"canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:04.939335Z","signature_b64":"xyHBUf9tALq0t+QzF2y0IyMp6xvS8eec2N0A685TpZ63kNp5cOcib7klMy4UnNgTWIurfp4pQRiJnh6KU5MQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","last_reissued_at":"2026-05-18T00:33:04.938784Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:04.938784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.04115","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-18T00:33:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DkJT12wivKMDsxA8kI1Owb1PjFAA9gN9EVpc7uTTVMHgS8btn/X0WzFcd8FznDH2qsyp92DAi23k7E53TPGcCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:02:45.412485Z"},"content_sha256":"b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a","schema_version":"1.0","event_id":"sha256:b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:SBVDR3YJ6FTM46RD7GESUQO6MN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How Deterministic are Good-For-Games Automata?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Micha{\\l} Skrzypczak, Orna Kupferman, Udi Boker","submitted_at":"2017-10-11T15:25:02Z","abstract_excerpt":"In GFG automata, it is possible to resolve nondeterminism in a way that only depends on the past and still accepts all the words in the language. The motivation for GFG automata comes from their adequacy for games and synthesis, wherein general nondeterminism is inappropriate. We continue the ongoing effort of studying the power of nondeterminism in GFG automata. Initial indications have hinted that every GFG automaton embodies a deterministic one. Today we know that this is not the case, and in fact GFG automata may be exponentially more succinct than deterministic ones.\n  We focus on the typ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04115","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-18T00:33:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KQUs6CQhtJ4eP9JbYuRllw6/c/kwGqsigOeyOHsLQrOwiniJR0C7sZjd6BLOYvi78OTGr96rLt/fTxNwhccSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:02:45.412830Z"},"content_sha256":"38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299","schema_version":"1.0","event_id":"sha256:38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/bundle.json","state_url":"https://pith.science/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/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-01T14:02:45Z","links":{"resolver":"https://pith.science/pith/SBVDR3YJ6FTM46RD7GESUQO6MN","bundle":"https://pith.science/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/bundle.json","state":"https://pith.science/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SBVDR3YJ6FTM46RD7GESUQO6MN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SBVDR3YJ6FTM46RD7GESUQO6MN","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":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48"},"schema_version":"1.0","source":{"id":"1710.04115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04115v1","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"SBVDR3YJ6FTM","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SBVDR3YJ6FTM46RD","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SBVDR3YJ","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299","target":"graph","created_at":"2026-05-18T00:33:04Z","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":"In GFG automata, it is possible to resolve nondeterminism in a way that only depends on the past and still accepts all the words in the language. The motivation for GFG automata comes from their adequacy for games and synthesis, wherein general nondeterminism is inappropriate. We continue the ongoing effort of studying the power of nondeterminism in GFG automata. Initial indications have hinted that every GFG automaton embodies a deterministic one. Today we know that this is not the case, and in fact GFG automata may be exponentially more succinct than deterministic ones.\n  We focus on the typ","authors_text":"Micha{\\l} Skrzypczak, Orna Kupferman, Udi Boker","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title":"How Deterministic are Good-For-Games Automata?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04115","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:b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a","target":"record","created_at":"2026-05-18T00:33:04Z","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":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48"},"schema_version":"1.0","source":{"id":"1710.04115","kind":"arxiv","version":1}},"canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","first_computed_at":"2026-05-18T00:33:04.938784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:04.938784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xyHBUf9tALq0t+QzF2y0IyMp6xvS8eec2N0A685TpZ63kNp5cOcib7klMy4UnNgTWIurfp4pQRiJnh6KU5MQBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:04.939335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.04115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a","sha256:38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299"],"state_sha256":"b42f14a27edf0a3594cb0b6cfaa11c0bdc641f15717fbe33f53aca16f2280104"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MdQM36h9n3avP034FPdZp4ollZWzYJAqe76pgYvqmcQEoWPGPhlSnmI0HX6sMSmH+C4X4ZAFD+b9bUwRTJUODQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T14:02:45.414885Z","bundle_sha256":"e730ea695343fc18319a1c9d579b9a1d2151369307dbae36d00043f1f8f9bed4"}}