{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:ZYF3W3WEHJQMDAJL7BSFBLKEZN","short_pith_number":"pith:ZYF3W3WE","canonical_record":{"source":{"id":"1506.03883","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-06-12T01:11:24Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"185286a87dea1d8dac33f03169f555e36dbc7a3141215c3efcc4a8246c5094e5","abstract_canon_sha256":"556f9ad53b07e2d89493ae88f4b74d4214cf24d183a96d40904f3b3708672127"},"schema_version":"1.0"},"canonical_sha256":"ce0bbb6ec43a60c1812bf86450ad44cb514e44c27bd0a404fd45a8710b256e79","source":{"kind":"arxiv","id":"1506.03883","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03883","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03883v2","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03883","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZYF3W3WEHJQM","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZYF3W3WEHJQMDAJL","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZYF3W3WE","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:ZYF3W3WEHJQMDAJL7BSFBLKEZN","target":"record","payload":{"canonical_record":{"source":{"id":"1506.03883","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-06-12T01:11:24Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"185286a87dea1d8dac33f03169f555e36dbc7a3141215c3efcc4a8246c5094e5","abstract_canon_sha256":"556f9ad53b07e2d89493ae88f4b74d4214cf24d183a96d40904f3b3708672127"},"schema_version":"1.0"},"canonical_sha256":"ce0bbb6ec43a60c1812bf86450ad44cb514e44c27bd0a404fd45a8710b256e79","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:00.078495Z","signature_b64":"cu6r16MEckoUPUZryHhNvr665qoxb6OpbMOcU3ZwrLI1LIUdAATda4qbzuAtRnzovcRSgHP8Qy6uVifrmzlwDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce0bbb6ec43a60c1812bf86450ad44cb514e44c27bd0a404fd45a8710b256e79","last_reissued_at":"2026-05-18T01:11:00.077996Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:00.077996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.03883","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-05-18T01:11:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I+K8EpiRKi2XBvU3RSmmpHIIDxanMiyZ5OMSZqxHOoB8VSuMZYHc2baoZjgFDoMyduhjYPTBQGsQwj20PWDMCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:05:35.325835Z"},"content_sha256":"7784f5063422163500df5bdf65daa9d22edecb356178e4e2120b7e25eb111127","schema_version":"1.0","event_id":"sha256:7784f5063422163500df5bdf65daa9d22edecb356178e4e2120b7e25eb111127"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:ZYF3W3WEHJQMDAJL7BSFBLKEZN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hierarchical Information and the Synthesis of Distributed Strategies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.GT","authors_text":"Anup Basil Mathew, Dietmar Berwanger, Marie van den Bogaard","submitted_at":"2015-06-12T01:11:24Z","abstract_excerpt":"Infinite games with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive.\n  In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the informatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03883","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":""},"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-18T01:11:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"30G2qt0uSEf58EFBeVCrTj5QZlC57rI2OZE+5kENoCeZvNXlLEtZrrLoy45aH7Mxugf7qympk3Yap0/pDTEIAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:05:35.326185Z"},"content_sha256":"dd1d86d4d8b4e096a761c7d5d826b8d3feca80fdf5e727e630f44cd7e62423e8","schema_version":"1.0","event_id":"sha256:dd1d86d4d8b4e096a761c7d5d826b8d3feca80fdf5e727e630f44cd7e62423e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/bundle.json","state_url":"https://pith.science/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/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-01T10:05:35Z","links":{"resolver":"https://pith.science/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN","bundle":"https://pith.science/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/bundle.json","state":"https://pith.science/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYF3W3WEHJQMDAJL7BSFBLKEZN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZYF3W3WEHJQMDAJL7BSFBLKEZN","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":"556f9ad53b07e2d89493ae88f4b74d4214cf24d183a96d40904f3b3708672127","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-06-12T01:11:24Z","title_canon_sha256":"185286a87dea1d8dac33f03169f555e36dbc7a3141215c3efcc4a8246c5094e5"},"schema_version":"1.0","source":{"id":"1506.03883","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03883","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03883v2","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03883","created_at":"2026-05-18T01:11:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZYF3W3WEHJQM","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZYF3W3WEHJQMDAJL","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZYF3W3WE","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:dd1d86d4d8b4e096a761c7d5d826b8d3feca80fdf5e727e630f44cd7e62423e8","target":"graph","created_at":"2026-05-18T01:11:00Z","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 with imperfect information are known to be undecidable unless the information flow is severely restricted. One fundamental decidable case occurs when there is a total ordering among players, such that each player has access to all the information that the following ones receive.\n  In this paper we consider variations of this hierarchy principle for synchronous games with perfect recall, and identify new decidable classes for which the distributed synthesis problem is solvable with finite-state strategies. In particular, we show that decidability is maintained when the informatio","authors_text":"Anup Basil Mathew, Dietmar Berwanger, Marie van den Bogaard","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-06-12T01:11:24Z","title":"Hierarchical Information and the Synthesis of Distributed Strategies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03883","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:7784f5063422163500df5bdf65daa9d22edecb356178e4e2120b7e25eb111127","target":"record","created_at":"2026-05-18T01:11:00Z","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":"556f9ad53b07e2d89493ae88f4b74d4214cf24d183a96d40904f3b3708672127","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-06-12T01:11:24Z","title_canon_sha256":"185286a87dea1d8dac33f03169f555e36dbc7a3141215c3efcc4a8246c5094e5"},"schema_version":"1.0","source":{"id":"1506.03883","kind":"arxiv","version":2}},"canonical_sha256":"ce0bbb6ec43a60c1812bf86450ad44cb514e44c27bd0a404fd45a8710b256e79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce0bbb6ec43a60c1812bf86450ad44cb514e44c27bd0a404fd45a8710b256e79","first_computed_at":"2026-05-18T01:11:00.077996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:00.077996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cu6r16MEckoUPUZryHhNvr665qoxb6OpbMOcU3ZwrLI1LIUdAATda4qbzuAtRnzovcRSgHP8Qy6uVifrmzlwDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:00.078495Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.03883","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7784f5063422163500df5bdf65daa9d22edecb356178e4e2120b7e25eb111127","sha256:dd1d86d4d8b4e096a761c7d5d826b8d3feca80fdf5e727e630f44cd7e62423e8"],"state_sha256":"09bd10dda1fea4b108d5c44497bf26c49c65db64730c945beccd1a85902ea32e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4bM9ElITFpAyFesDEASakpirAcg4IzAamZq/SYR2hTvNP7xMEnz7rzXrwCFuFBVqmSy8HQRyWLkT54rbAQKDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T10:05:35.328161Z","bundle_sha256":"20bc12d8145f6b8a38980eca09edb9f97ee74596a446254971b947b7d20787ab"}}