{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:DOKXNFEVFG2SYPSJGXTXZA7WDY","short_pith_number":"pith:DOKXNFEV","canonical_record":{"source":{"id":"2606.25276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-06-24T01:28:19Z","cross_cats_sorted":[],"title_canon_sha256":"52f36020a6b8a65764716e506a4dd10c327dfa2c142f25023954c8691ba54fc9","abstract_canon_sha256":"4f17d9682096e2b86592a81e804b81e473318617086308be537d38bd6feeec11"},"schema_version":"1.0"},"canonical_sha256":"1b9576949529b52c3e4935e77c83f61e1625b7f39b85555adbe62ee66aae2fab","source":{"kind":"arxiv","id":"2606.25276","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25276","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25276v1","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25276","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_12","alias_value":"DOKXNFEVFG2S","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_16","alias_value":"DOKXNFEVFG2SYPSJ","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_8","alias_value":"DOKXNFEV","created_at":"2026-06-25T01:18:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:DOKXNFEVFG2SYPSJGXTXZA7WDY","target":"record","payload":{"canonical_record":{"source":{"id":"2606.25276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-06-24T01:28:19Z","cross_cats_sorted":[],"title_canon_sha256":"52f36020a6b8a65764716e506a4dd10c327dfa2c142f25023954c8691ba54fc9","abstract_canon_sha256":"4f17d9682096e2b86592a81e804b81e473318617086308be537d38bd6feeec11"},"schema_version":"1.0"},"canonical_sha256":"1b9576949529b52c3e4935e77c83f61e1625b7f39b85555adbe62ee66aae2fab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-25T01:18:00.644192Z","signature_b64":"NHKRdqquD+uTy0yWmIhUCOHYpZKHJKp1ktcUCXP2Hl0oIM4SUzxhSF3Uigy4WrQa9Vl5F/TvIDMUV0VbKSg8Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b9576949529b52c3e4935e77c83f61e1625b7f39b85555adbe62ee66aae2fab","last_reissued_at":"2026-06-25T01:18:00.643723Z","signature_status":"signed_v1","first_computed_at":"2026-06-25T01:18:00.643723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.25276","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-06-25T01:18:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nHgqzf8kjzqkyfPFP/YsHZqKVHNU9TYM7qI+Ax79UXYPBPXQmQ++9IF0I0XVxPtn+HK+wjyh2docvkAc7cy0AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T11:35:33.816222Z"},"content_sha256":"d51ffd768a18b19af4de9b709e9bcb6cbd8f41cadf311ff5c8f3993a9a436190","schema_version":"1.0","event_id":"sha256:d51ffd768a18b19af4de9b709e9bcb6cbd8f41cadf311ff5c8f3993a9a436190"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:DOKXNFEVFG2SYPSJGXTXZA7WDY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decidability and Undecidability Results for LIA-Definable Impartial Combinatorial Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Jiahao Luo, Liangda Fang, Quanlong Guan, Shiguang Feng","submitted_at":"2026-06-24T01:28:19Z","abstract_excerpt":"Combinatorial game theory is a branch of mathematics and theoretical computer science that studies deterministic games with perfect information and no elements of chance. The majority of combinatorial games are impartial and formalized in linear integer arithmetic, which we call LIA-definable impartial combinatorial games (ICGs). This paper studies decidability and undecidability questions for these games. We prove that deciding whether an LIA-definable ICG is terminating or cyclic is undecidable in general, while the corresponding questions become decidable for terminating LIA-definable ICGs."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25276","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.25276/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-25T01:18:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oTXCnvevHHChbF8eniciiF7jwM2/eUTkvFVnd3hUrLD+3ZIL4+UMlCUa9BRkpsGzmdvUDJnzQIgeXtrqJY3aDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T11:35:33.816588Z"},"content_sha256":"d69a5c21b6717b18e07f1c361adfec3f19622bf340a28134d958bfc607f571ba","schema_version":"1.0","event_id":"sha256:d69a5c21b6717b18e07f1c361adfec3f19622bf340a28134d958bfc607f571ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/bundle.json","state_url":"https://pith.science/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/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-28T11:35:33Z","links":{"resolver":"https://pith.science/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY","bundle":"https://pith.science/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/bundle.json","state":"https://pith.science/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DOKXNFEVFG2SYPSJGXTXZA7WDY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DOKXNFEVFG2SYPSJGXTXZA7WDY","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":"4f17d9682096e2b86592a81e804b81e473318617086308be537d38bd6feeec11","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-06-24T01:28:19Z","title_canon_sha256":"52f36020a6b8a65764716e506a4dd10c327dfa2c142f25023954c8691ba54fc9"},"schema_version":"1.0","source":{"id":"2606.25276","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.25276","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"arxiv_version","alias_value":"2606.25276v1","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.25276","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_12","alias_value":"DOKXNFEVFG2S","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_16","alias_value":"DOKXNFEVFG2SYPSJ","created_at":"2026-06-25T01:18:00Z"},{"alias_kind":"pith_short_8","alias_value":"DOKXNFEV","created_at":"2026-06-25T01:18:00Z"}],"graph_snapshots":[{"event_id":"sha256:d69a5c21b6717b18e07f1c361adfec3f19622bf340a28134d958bfc607f571ba","target":"graph","created_at":"2026-06-25T01:18: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.25276/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Combinatorial game theory is a branch of mathematics and theoretical computer science that studies deterministic games with perfect information and no elements of chance. The majority of combinatorial games are impartial and formalized in linear integer arithmetic, which we call LIA-definable impartial combinatorial games (ICGs). This paper studies decidability and undecidability questions for these games. We prove that deciding whether an LIA-definable ICG is terminating or cyclic is undecidable in general, while the corresponding questions become decidable for terminating LIA-definable ICGs.","authors_text":"Jiahao Luo, Liangda Fang, Quanlong Guan, Shiguang Feng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-06-24T01:28:19Z","title":"Decidability and Undecidability Results for LIA-Definable Impartial Combinatorial Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.25276","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:d51ffd768a18b19af4de9b709e9bcb6cbd8f41cadf311ff5c8f3993a9a436190","target":"record","created_at":"2026-06-25T01:18: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":"4f17d9682096e2b86592a81e804b81e473318617086308be537d38bd6feeec11","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2026-06-24T01:28:19Z","title_canon_sha256":"52f36020a6b8a65764716e506a4dd10c327dfa2c142f25023954c8691ba54fc9"},"schema_version":"1.0","source":{"id":"2606.25276","kind":"arxiv","version":1}},"canonical_sha256":"1b9576949529b52c3e4935e77c83f61e1625b7f39b85555adbe62ee66aae2fab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b9576949529b52c3e4935e77c83f61e1625b7f39b85555adbe62ee66aae2fab","first_computed_at":"2026-06-25T01:18:00.643723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-25T01:18:00.643723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NHKRdqquD+uTy0yWmIhUCOHYpZKHJKp1ktcUCXP2Hl0oIM4SUzxhSF3Uigy4WrQa9Vl5F/TvIDMUV0VbKSg8Bw==","signature_status":"signed_v1","signed_at":"2026-06-25T01:18:00.644192Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.25276","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d51ffd768a18b19af4de9b709e9bcb6cbd8f41cadf311ff5c8f3993a9a436190","sha256:d69a5c21b6717b18e07f1c361adfec3f19622bf340a28134d958bfc607f571ba"],"state_sha256":"cbecf7f3ffdf3a9ccbb884ad25749104bfcdedd96a8f8c61d4109bea3e7f8309"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zJPdaGewLHfOimEyUmQbY+sbPNvq66Ye7gS788YkX/XtfXV+Txiu3HjAOoGhPRRTNhnx9J2RFaKjWzmQS4mfAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T11:35:33.818458Z","bundle_sha256":"14e68fe3160c865eff7f007de254352ff09337981d173834e5c6dcc3ea46e97d"}}