{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:XQHG7JJH6SJYXBVMQJLEHNYEV6","short_pith_number":"pith:XQHG7JJH","canonical_record":{"source":{"id":"2106.12892","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-06-24T10:48:04Z","cross_cats_sorted":[],"title_canon_sha256":"e1792c9f3a7cf59cf2cdbaf654818937e46f0d3e710e68921e16fac8f572e7ee","abstract_canon_sha256":"13d226dcb432af66430b68fa23fe1db1741f7af1c2404f1aad3f00cecef47c45"},"schema_version":"1.0"},"canonical_sha256":"bc0e6fa527f4938b86ac825643b704afb437a4c9334b501df5ca0005dab09897","source":{"kind":"arxiv","id":"2106.12892","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.12892","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"arxiv_version","alias_value":"2106.12892v5","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.12892","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_12","alias_value":"XQHG7JJH6SJY","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_16","alias_value":"XQHG7JJH6SJYXBVM","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_8","alias_value":"XQHG7JJH","created_at":"2026-07-05T08:52:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:XQHG7JJH6SJYXBVMQJLEHNYEV6","target":"record","payload":{"canonical_record":{"source":{"id":"2106.12892","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-06-24T10:48:04Z","cross_cats_sorted":[],"title_canon_sha256":"e1792c9f3a7cf59cf2cdbaf654818937e46f0d3e710e68921e16fac8f572e7ee","abstract_canon_sha256":"13d226dcb432af66430b68fa23fe1db1741f7af1c2404f1aad3f00cecef47c45"},"schema_version":"1.0"},"canonical_sha256":"bc0e6fa527f4938b86ac825643b704afb437a4c9334b501df5ca0005dab09897","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:52:21.969014Z","signature_b64":"9Nqf7qiJhyoxRxSpa09EZwrRRn4iHWFaQVEq/QigZRQUCGEW7CzUNQJ9PgGzDBVAbLV9IFvwBR2ILeKD7ieSBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc0e6fa527f4938b86ac825643b704afb437a4c9334b501df5ca0005dab09897","last_reissued_at":"2026-07-05T08:52:21.968386Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:52:21.968386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.12892","source_version":5,"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-07-05T08:52:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MJ3l6cJLiL17bZ6yfkJht1xFrI8Lyh0+QfaeiX/G7zw0k7YO1QWFl5o9J0E5zrC0Rsbp0xPWjyUVpcW91SOhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:09:08.590893Z"},"content_sha256":"d9a1d664d9dc896c5228640cabf3373c60cfc109fdbc58d2480e20e695589b2b","schema_version":"1.0","event_id":"sha256:d9a1d664d9dc896c5228640cabf3373c60cfc109fdbc58d2480e20e695589b2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:XQHG7JJH6SJYXBVMQJLEHNYEV6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Erich Gr\\\"adel, Matthias Naaf, Niels L\\\"ucking","submitted_at":"2021-06-24T10:48:04Z","abstract_excerpt":"This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\\\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth values from certain semirings. Evaluating the fixed-point formula that defines the winning region in a given game in an appropriate semiring of polynomials provides not only the Boolean information on who wins, but also tells us how they win and which strategies they might use. This is well-understood for reachability games, where the winning region is defin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.12892","kind":"arxiv","version":5},"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/2106.12892/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-07-05T08:52:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xDgl06lbus4JHvjNCrSsAJAKWYiY5rd3eJRLSpESiNPwLWlukO+FHCZnr0NA1IuH5w4ibJcFxEaVHAiqWGW0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T20:09:08.591442Z"},"content_sha256":"904fdbde4ed6224ebabec04a4583c59b08752391722b7d69e4894fed998adc6d","schema_version":"1.0","event_id":"sha256:904fdbde4ed6224ebabec04a4583c59b08752391722b7d69e4894fed998adc6d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/bundle.json","state_url":"https://pith.science/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/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-08-16T20:09:08Z","links":{"resolver":"https://pith.science/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6","bundle":"https://pith.science/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/bundle.json","state":"https://pith.science/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XQHG7JJH6SJYXBVMQJLEHNYEV6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:XQHG7JJH6SJYXBVMQJLEHNYEV6","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":"13d226dcb432af66430b68fa23fe1db1741f7af1c2404f1aad3f00cecef47c45","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-06-24T10:48:04Z","title_canon_sha256":"e1792c9f3a7cf59cf2cdbaf654818937e46f0d3e710e68921e16fac8f572e7ee"},"schema_version":"1.0","source":{"id":"2106.12892","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.12892","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"arxiv_version","alias_value":"2106.12892v5","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.12892","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_12","alias_value":"XQHG7JJH6SJY","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_16","alias_value":"XQHG7JJH6SJYXBVM","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_8","alias_value":"XQHG7JJH","created_at":"2026-07-05T08:52:21Z"}],"graph_snapshots":[{"event_id":"sha256:904fdbde4ed6224ebabec04a4583c59b08752391722b7d69e4894fed998adc6d","target":"graph","created_at":"2026-07-05T08:52:21Z","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/2106.12892/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\\\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth values from certain semirings. Evaluating the fixed-point formula that defines the winning region in a given game in an appropriate semiring of polynomials provides not only the Boolean information on who wins, but also tells us how they win and which strategies they might use. This is well-understood for reachability games, where the winning region is defin","authors_text":"Erich Gr\\\"adel, Matthias Naaf, Niels L\\\"ucking","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-06-24T10:48:04Z","title":"Semiring Provenance for B\\\"uchi Games: Strategy Analysis with Absorptive Polynomials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.12892","kind":"arxiv","version":5},"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:d9a1d664d9dc896c5228640cabf3373c60cfc109fdbc58d2480e20e695589b2b","target":"record","created_at":"2026-07-05T08:52:21Z","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":"13d226dcb432af66430b68fa23fe1db1741f7af1c2404f1aad3f00cecef47c45","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2021-06-24T10:48:04Z","title_canon_sha256":"e1792c9f3a7cf59cf2cdbaf654818937e46f0d3e710e68921e16fac8f572e7ee"},"schema_version":"1.0","source":{"id":"2106.12892","kind":"arxiv","version":5}},"canonical_sha256":"bc0e6fa527f4938b86ac825643b704afb437a4c9334b501df5ca0005dab09897","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc0e6fa527f4938b86ac825643b704afb437a4c9334b501df5ca0005dab09897","first_computed_at":"2026-07-05T08:52:21.968386Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:52:21.968386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Nqf7qiJhyoxRxSpa09EZwrRRn4iHWFaQVEq/QigZRQUCGEW7CzUNQJ9PgGzDBVAbLV9IFvwBR2ILeKD7ieSBw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:52:21.969014Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.12892","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d9a1d664d9dc896c5228640cabf3373c60cfc109fdbc58d2480e20e695589b2b","sha256:904fdbde4ed6224ebabec04a4583c59b08752391722b7d69e4894fed998adc6d"],"state_sha256":"17b8557bf7926a0ef39b06412d1f76e60907663d30d1d4ef445dfa0a3f4c8285"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EbMu1pjtxHT+t7o9ov35MHMwBpfQyDxYu4LZnZ9oLV+BUsSYVTyg/dpwnV9lkaUFi86v2hnPfwIkiZZb5b/FCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T20:09:08.596388Z","bundle_sha256":"8e1a1f1b4a2c20fdefad8d9111a34ab192a7be7f6c637bd25bbae7533ac2c72e"}}