{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JEK75SU44N7NPIZJ2ZUULVAMUP","short_pith_number":"pith:JEK75SU4","canonical_record":{"source":{"id":"1303.0798","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2013-03-04T19:07:11Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"6f12d62a7c09c48340ea817e9e3a4928f1ca76f7d29384ab26585c87b9971fc4","abstract_canon_sha256":"868327bc43ceb00b343d81d313ba32738dc233e748d0352380b1e2a831166679"},"schema_version":"1.0"},"canonical_sha256":"4915feca9ce37ed7a329d66945d40ca3e7dc15b4946fd5d2b6bad239bd8d14bb","source":{"kind":"arxiv","id":"1303.0798","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0798","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0798v1","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0798","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"pith_short_12","alias_value":"JEK75SU44N7N","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEK75SU44N7NPIZJ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEK75SU4","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JEK75SU44N7NPIZJ2ZUULVAMUP","target":"record","payload":{"canonical_record":{"source":{"id":"1303.0798","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2013-03-04T19:07:11Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"6f12d62a7c09c48340ea817e9e3a4928f1ca76f7d29384ab26585c87b9971fc4","abstract_canon_sha256":"868327bc43ceb00b343d81d313ba32738dc233e748d0352380b1e2a831166679"},"schema_version":"1.0"},"canonical_sha256":"4915feca9ce37ed7a329d66945d40ca3e7dc15b4946fd5d2b6bad239bd8d14bb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:54.879869Z","signature_b64":"Q5R8b/aOYgPkLSSghmB1saO/Yqqv8yL6vS/QalXXgR+v8yyGBX5JG7jWM15ulAbwhl/zAcd4WVqs+zWqXHpDCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4915feca9ce37ed7a329d66945d40ca3e7dc15b4946fd5d2b6bad239bd8d14bb","last_reissued_at":"2026-05-18T03:31:54.879257Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:54.879257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.0798","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-18T03:31:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ILmSlgqW0xvG9sRGFiR/H3igKDWc2TR5mc6gZ8DDWGulLuapA41oD5rq9phjSLTw3S3OZk3LX7Wn8lh/SAdACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:37:43.931206Z"},"content_sha256":"22bd896ef4d0da41b3cb43a36d0f3cbd7f0e195f3b2a86e70050aef9f203caa5","schema_version":"1.0","event_id":"sha256:22bd896ef4d0da41b3cb43a36d0f3cbd7f0e195f3b2a86e70050aef9f203caa5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JEK75SU44N7NPIZJ2ZUULVAMUP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Complexity of Synthesizing Uniform Strategies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.GT","authors_text":"Bastien Maubert, Laura Bozzelli, Sophie Pinchinat","submitted_at":"2013-03-04T19:07:11Z","abstract_excerpt":"We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \\mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0798","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-18T03:31:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EJY7BdCpn7rvwqjiY2IaBlJaW4uorP5Jucsq7LYwmu8U0qb/FJ+455tBfkTdoqsEfx3efQcH6o/O/VqIM4JeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:37:43.931579Z"},"content_sha256":"098ec9deb86045266f5dee93155adc45a4d40c821e246cd1b4b3dafeaffe3606","schema_version":"1.0","event_id":"sha256:098ec9deb86045266f5dee93155adc45a4d40c821e246cd1b4b3dafeaffe3606"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/bundle.json","state_url":"https://pith.science/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/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-23T21:37:43Z","links":{"resolver":"https://pith.science/pith/JEK75SU44N7NPIZJ2ZUULVAMUP","bundle":"https://pith.science/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/bundle.json","state":"https://pith.science/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEK75SU44N7NPIZJ2ZUULVAMUP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JEK75SU44N7NPIZJ2ZUULVAMUP","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":"868327bc43ceb00b343d81d313ba32738dc233e748d0352380b1e2a831166679","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2013-03-04T19:07:11Z","title_canon_sha256":"6f12d62a7c09c48340ea817e9e3a4928f1ca76f7d29384ab26585c87b9971fc4"},"schema_version":"1.0","source":{"id":"1303.0798","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0798","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0798v1","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0798","created_at":"2026-05-18T03:31:54Z"},{"alias_kind":"pith_short_12","alias_value":"JEK75SU44N7N","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEK75SU44N7NPIZJ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEK75SU4","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:098ec9deb86045266f5dee93155adc45a4d40c821e246cd1b4b3dafeaffe3606","target":"graph","created_at":"2026-05-18T03:31:54Z","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":"We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not \\mu-calculus definable. Typically, we can state that a strategy is observation-based. We propose a formal language to specify uniformity properties, interpreted over two-player turn-based arenas equipped with a binary relation between plays. This way, we capture e.g. games with winning conditions expressible in epistemic temporal logic, whose underlying equivalence relation between plays reflects the observational capabilities of agents (f","authors_text":"Bastien Maubert, Laura Bozzelli, Sophie Pinchinat","cross_cats":["cs.CC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2013-03-04T19:07:11Z","title":"The Complexity of Synthesizing Uniform Strategies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0798","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:22bd896ef4d0da41b3cb43a36d0f3cbd7f0e195f3b2a86e70050aef9f203caa5","target":"record","created_at":"2026-05-18T03:31:54Z","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":"868327bc43ceb00b343d81d313ba32738dc233e748d0352380b1e2a831166679","cross_cats_sorted":["cs.CC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2013-03-04T19:07:11Z","title_canon_sha256":"6f12d62a7c09c48340ea817e9e3a4928f1ca76f7d29384ab26585c87b9971fc4"},"schema_version":"1.0","source":{"id":"1303.0798","kind":"arxiv","version":1}},"canonical_sha256":"4915feca9ce37ed7a329d66945d40ca3e7dc15b4946fd5d2b6bad239bd8d14bb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4915feca9ce37ed7a329d66945d40ca3e7dc15b4946fd5d2b6bad239bd8d14bb","first_computed_at":"2026-05-18T03:31:54.879257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:54.879257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q5R8b/aOYgPkLSSghmB1saO/Yqqv8yL6vS/QalXXgR+v8yyGBX5JG7jWM15ulAbwhl/zAcd4WVqs+zWqXHpDCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:54.879869Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.0798","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22bd896ef4d0da41b3cb43a36d0f3cbd7f0e195f3b2a86e70050aef9f203caa5","sha256:098ec9deb86045266f5dee93155adc45a4d40c821e246cd1b4b3dafeaffe3606"],"state_sha256":"85131472a919e4ce6d2719678a60410e914c00ceef8db3317af8fc696d94130c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"95r5BX16yWff/xMDxTJY9ftfjQyZGtRN2sJZa8MchSD5wK1ImVz2cv8bJLAWYyIUddrJ7leEz5rxvxKx0pJsBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T21:37:43.933581Z","bundle_sha256":"85ccbf7fdefde1906030de015b2b06da8b2896bb3edf46928e426ae2990d2b64"}}