{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:E2RFUT446LMKX6JXFXUDUB73CZ","short_pith_number":"pith:E2RFUT44","canonical_record":{"source":{"id":"2505.13460","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-02T14:28:31Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"abe9c9eee2dec4a975704589f50ee352ba63e82909dbd9374bb3bb2cd437de2e","abstract_canon_sha256":"f8bbf8b5b57b64514be24946a49f89d12a036d2fb3aa5cd19bcce9a09896e067"},"schema_version":"1.0"},"canonical_sha256":"26a25a4f9cf2d8abf9372de83a07fb167608265d44121f76d5e5993c285beb16","source":{"kind":"arxiv","id":"2505.13460","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13460","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13460v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13460","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"E2RFUT446LMK","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"E2RFUT446LMKX6JX","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"E2RFUT44","created_at":"2026-06-23T03:13:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:E2RFUT446LMKX6JXFXUDUB73CZ","target":"record","payload":{"canonical_record":{"source":{"id":"2505.13460","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-02T14:28:31Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"abe9c9eee2dec4a975704589f50ee352ba63e82909dbd9374bb3bb2cd437de2e","abstract_canon_sha256":"f8bbf8b5b57b64514be24946a49f89d12a036d2fb3aa5cd19bcce9a09896e067"},"schema_version":"1.0"},"canonical_sha256":"26a25a4f9cf2d8abf9372de83a07fb167608265d44121f76d5e5993c285beb16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:13:45.485733Z","signature_b64":"SB37KRQ8mXWw66Z18dF+50dJh46X+q0BfZf8VIbm3Uke1/Xnlw4lLL/O98VWgwlx7rJrsIxDewHvHB3hfJvFAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26a25a4f9cf2d8abf9372de83a07fb167608265d44121f76d5e5993c285beb16","last_reissued_at":"2026-06-23T03:13:45.485137Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:13:45.485137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.13460","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-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bwC/equUnoSy4mkMm3CqRNFMAqg6LKxy7p8OscJsIZTJfcQ2rKcO2Hd+8ZGOUjaKLJgZqQyY+U35fv05pdbmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:02:11.000089Z"},"content_sha256":"82b27066491671fde6696676ce091e710d58731336ceb263b7817f7247e5a9c6","schema_version":"1.0","event_id":"sha256:82b27066491671fde6696676ce091e710d58731336ceb263b7817f7247e5a9c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:E2RFUT446LMKX6JXFXUDUB73CZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Antichains for Concurrent Parameterized Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.LO","authors_text":"Ga\\\"etan Staquet, Nathalie Bertrand, Patricia Bouyer","submitted_at":"2025-05-02T14:28:31Z","abstract_excerpt":"Concurrent parameterized games involve a fixed yet arbitrary number of players. They are described by finite arenas in which the edges are labeled with languages that describe the possible move combinations leading from one vertex to another (n players yield a word of length n). Previous work showed that, when edge labels are regular languages, one can decide whether a distinguished player, called Eve, has a strategy to ensure a reachability objective, against any strategy profile of her arbitrarily many opponents. This decision problem is known to be PSPACE-complete. A basic ingredient in the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13460","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.13460/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-23T03:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ar2afUVB0JeCpHiu3gAT7UPzQ+oEdh20i+7ewSBoUZwYW3/2PVmQHxbvzhvgeT/agW02Ysa0CzF9L/nCmawKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T04:02:11.000495Z"},"content_sha256":"3fd7564dcb2a5e3b02d1557f285b1319e1c5a8a06d151c4b55d0e0fe8e23df27","schema_version":"1.0","event_id":"sha256:3fd7564dcb2a5e3b02d1557f285b1319e1c5a8a06d151c4b55d0e0fe8e23df27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E2RFUT446LMKX6JXFXUDUB73CZ/bundle.json","state_url":"https://pith.science/pith/E2RFUT446LMKX6JXFXUDUB73CZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E2RFUT446LMKX6JXFXUDUB73CZ/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-24T04:02:11Z","links":{"resolver":"https://pith.science/pith/E2RFUT446LMKX6JXFXUDUB73CZ","bundle":"https://pith.science/pith/E2RFUT446LMKX6JXFXUDUB73CZ/bundle.json","state":"https://pith.science/pith/E2RFUT446LMKX6JXFXUDUB73CZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E2RFUT446LMKX6JXFXUDUB73CZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:E2RFUT446LMKX6JXFXUDUB73CZ","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":"f8bbf8b5b57b64514be24946a49f89d12a036d2fb3aa5cd19bcce9a09896e067","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-02T14:28:31Z","title_canon_sha256":"abe9c9eee2dec4a975704589f50ee352ba63e82909dbd9374bb3bb2cd437de2e"},"schema_version":"1.0","source":{"id":"2505.13460","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.13460","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"2505.13460v2","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.13460","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"E2RFUT446LMK","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_16","alias_value":"E2RFUT446LMKX6JX","created_at":"2026-06-23T03:13:45Z"},{"alias_kind":"pith_short_8","alias_value":"E2RFUT44","created_at":"2026-06-23T03:13:45Z"}],"graph_snapshots":[{"event_id":"sha256:3fd7564dcb2a5e3b02d1557f285b1319e1c5a8a06d151c4b55d0e0fe8e23df27","target":"graph","created_at":"2026-06-23T03:13:45Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2505.13460/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Concurrent parameterized games involve a fixed yet arbitrary number of players. They are described by finite arenas in which the edges are labeled with languages that describe the possible move combinations leading from one vertex to another (n players yield a word of length n). Previous work showed that, when edge labels are regular languages, one can decide whether a distinguished player, called Eve, has a strategy to ensure a reachability objective, against any strategy profile of her arbitrarily many opponents. This decision problem is known to be PSPACE-complete. A basic ingredient in the","authors_text":"Ga\\\"etan Staquet, Nathalie Bertrand, Patricia Bouyer","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-02T14:28:31Z","title":"Antichains for Concurrent Parameterized Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.13460","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:82b27066491671fde6696676ce091e710d58731336ceb263b7817f7247e5a9c6","target":"record","created_at":"2026-06-23T03:13:45Z","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":"f8bbf8b5b57b64514be24946a49f89d12a036d2fb3aa5cd19bcce9a09896e067","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-05-02T14:28:31Z","title_canon_sha256":"abe9c9eee2dec4a975704589f50ee352ba63e82909dbd9374bb3bb2cd437de2e"},"schema_version":"1.0","source":{"id":"2505.13460","kind":"arxiv","version":2}},"canonical_sha256":"26a25a4f9cf2d8abf9372de83a07fb167608265d44121f76d5e5993c285beb16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26a25a4f9cf2d8abf9372de83a07fb167608265d44121f76d5e5993c285beb16","first_computed_at":"2026-06-23T03:13:45.485137Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:13:45.485137Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SB37KRQ8mXWw66Z18dF+50dJh46X+q0BfZf8VIbm3Uke1/Xnlw4lLL/O98VWgwlx7rJrsIxDewHvHB3hfJvFAQ==","signature_status":"signed_v1","signed_at":"2026-06-23T03:13:45.485733Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.13460","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82b27066491671fde6696676ce091e710d58731336ceb263b7817f7247e5a9c6","sha256:3fd7564dcb2a5e3b02d1557f285b1319e1c5a8a06d151c4b55d0e0fe8e23df27"],"state_sha256":"efa716014459b59280c72afb8c31e5140e8b06c929081f4fb8db2e41cac29492"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g8o8Jm3gXS8eOwFrFoDzSPYMx9ADAT5g0zQotRr63gVRRjLHan6EjAKUDWtfrFikvUPb1Sb/V8JKhFBJbI/vCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T04:02:11.002560Z","bundle_sha256":"013fb0d6c1c59f101a4d0fa6ea72ce4e0624ba1c111d75f32a3494d8ff62144d"}}