{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:MSKDJYAEAAOBBGMHZ63I3FPI3F","short_pith_number":"pith:MSKDJYAE","canonical_record":{"source":{"id":"2505.06769","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-10T22:24:49Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"50ea9d08428e205ab7b4be4af530ee96cf5b64512c1333bec02f96e45601863c","abstract_canon_sha256":"634ba0e5634fbbfe0287ca71d2ff8eada0205051ed55a27dc98a6b4d37010bda"},"schema_version":"1.0"},"canonical_sha256":"649434e004001c109987cfb68d95e8d952cdd921ef01fd49810d79f81e256470","source":{"kind":"arxiv","id":"2505.06769","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.06769","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"arxiv_version","alias_value":"2505.06769v1","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.06769","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_12","alias_value":"MSKDJYAEAAOB","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_16","alias_value":"MSKDJYAEAAOBBGMH","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_8","alias_value":"MSKDJYAE","created_at":"2026-07-05T11:01:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:MSKDJYAEAAOBBGMHZ63I3FPI3F","target":"record","payload":{"canonical_record":{"source":{"id":"2505.06769","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-10T22:24:49Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"50ea9d08428e205ab7b4be4af530ee96cf5b64512c1333bec02f96e45601863c","abstract_canon_sha256":"634ba0e5634fbbfe0287ca71d2ff8eada0205051ed55a27dc98a6b4d37010bda"},"schema_version":"1.0"},"canonical_sha256":"649434e004001c109987cfb68d95e8d952cdd921ef01fd49810d79f81e256470","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:01:15.478515Z","signature_b64":"IkYzztWuGvu4/4qeI3EZAvCZp7gsFTdQe4Jgv3pscmBvhbK7zpxG0qbtYFzGDSR75IP5ewj2+0cgjBYrZjArBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"649434e004001c109987cfb68d95e8d952cdd921ef01fd49810d79f81e256470","last_reissued_at":"2026-07-05T11:01:15.477989Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:01:15.477989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.06769","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-07-05T11:01:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wgp+kdFOhX7A3zfPv5UhdcnpI/a0FhoTqjOcYFczZ9cQnNXLWN2n6Xph+9oP1KkL2yHt9IQeKcs/kU+ep3R5BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:55:55.767658Z"},"content_sha256":"67e6f6ecaf1f2e9424b390cf7994e6a5c751fe7a9b2243a5b6171d8321d177e0","schema_version":"1.0","event_id":"sha256:67e6f6ecaf1f2e9424b390cf7994e6a5c751fe7a9b2243a5b6171d8321d177e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:MSKDJYAEAAOBBGMHZ63I3FPI3F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Value Iteration with Guessing for Markov Chains and Markov Decision Processes","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Jakub Svoboda, Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona","submitted_at":"2025-05-10T22:24:49Z","abstract_excerpt":"Two standard models for probabilistic systems are Markov chains (MCs) and Markov decision processes (MDPs). Classic objectives for such probabilistic models for control and planning problems are reachability and stochastic shortest path. The widely studied algorithmic approach for these problems is the Value Iteration (VI) algorithm which iteratively applies local updates called Bellman updates. There are many practical approaches for VI in the literature but they all require exponentially many Bellman updates for MCs in the worst case. A preprocessing step is an algorithm that is discrete, gr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.06769","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/2505.06769/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-05T11:01:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"irvFQC7tXhueg7VJLhblNg9yX0x1hcWbc52/GkQ1EtoSxELNJJThgv8CEJQlzV6H1SzLLXaOgMQPOM1RrDd3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T04:55:55.768038Z"},"content_sha256":"07ae8665787fb11a43bff13b7cec84a158b95301bf219262fcc8b339e52c4f4b","schema_version":"1.0","event_id":"sha256:07ae8665787fb11a43bff13b7cec84a158b95301bf219262fcc8b339e52c4f4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/bundle.json","state_url":"https://pith.science/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/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-13T04:55:55Z","links":{"resolver":"https://pith.science/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F","bundle":"https://pith.science/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/bundle.json","state":"https://pith.science/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MSKDJYAEAAOBBGMHZ63I3FPI3F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MSKDJYAEAAOBBGMHZ63I3FPI3F","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":"634ba0e5634fbbfe0287ca71d2ff8eada0205051ed55a27dc98a6b4d37010bda","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-10T22:24:49Z","title_canon_sha256":"50ea9d08428e205ab7b4be4af530ee96cf5b64512c1333bec02f96e45601863c"},"schema_version":"1.0","source":{"id":"2505.06769","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.06769","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"arxiv_version","alias_value":"2505.06769v1","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.06769","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_12","alias_value":"MSKDJYAEAAOB","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_16","alias_value":"MSKDJYAEAAOBBGMH","created_at":"2026-07-05T11:01:15Z"},{"alias_kind":"pith_short_8","alias_value":"MSKDJYAE","created_at":"2026-07-05T11:01:15Z"}],"graph_snapshots":[{"event_id":"sha256:07ae8665787fb11a43bff13b7cec84a158b95301bf219262fcc8b339e52c4f4b","target":"graph","created_at":"2026-07-05T11:01:15Z","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.06769/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Two standard models for probabilistic systems are Markov chains (MCs) and Markov decision processes (MDPs). Classic objectives for such probabilistic models for control and planning problems are reachability and stochastic shortest path. The widely studied algorithmic approach for these problems is the Value Iteration (VI) algorithm which iteratively applies local updates called Bellman updates. There are many practical approaches for VI in the literature but they all require exponentially many Bellman updates for MCs in the worst case. A preprocessing step is an algorithm that is discrete, gr","authors_text":"Jakub Svoboda, Krishnendu Chatterjee, Mahdi JafariRaviz, Raimundo Saona","cross_cats":["cs.CC"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-10T22:24:49Z","title":"Value Iteration with Guessing for Markov Chains and Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.06769","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:67e6f6ecaf1f2e9424b390cf7994e6a5c751fe7a9b2243a5b6171d8321d177e0","target":"record","created_at":"2026-07-05T11:01:15Z","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":"634ba0e5634fbbfe0287ca71d2ff8eada0205051ed55a27dc98a6b4d37010bda","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-10T22:24:49Z","title_canon_sha256":"50ea9d08428e205ab7b4be4af530ee96cf5b64512c1333bec02f96e45601863c"},"schema_version":"1.0","source":{"id":"2505.06769","kind":"arxiv","version":1}},"canonical_sha256":"649434e004001c109987cfb68d95e8d952cdd921ef01fd49810d79f81e256470","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"649434e004001c109987cfb68d95e8d952cdd921ef01fd49810d79f81e256470","first_computed_at":"2026-07-05T11:01:15.477989Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:01:15.477989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IkYzztWuGvu4/4qeI3EZAvCZp7gsFTdQe4Jgv3pscmBvhbK7zpxG0qbtYFzGDSR75IP5ewj2+0cgjBYrZjArBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:01:15.478515Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.06769","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67e6f6ecaf1f2e9424b390cf7994e6a5c751fe7a9b2243a5b6171d8321d177e0","sha256:07ae8665787fb11a43bff13b7cec84a158b95301bf219262fcc8b339e52c4f4b"],"state_sha256":"922dfd50283794844cb7b05df2a19af983b7042e27b4f3c06d6804488b9fa09f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KYIU9y4SWsDIQEmutN1AppC537/dyDG3bBKXZmiGhh+jAQT3ihO+00Yqcl1FJ3MJiyxZeM9DDgsLBqDfaxUgDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T04:55:55.770521Z","bundle_sha256":"6dcb106c7f0be21125fc6b37a55c885bef67d6c5f343d8ed32963056d2560514"}}