{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:L3WAU4MDIZD7OFBPJCGD4VQVCW","short_pith_number":"pith:L3WAU4MD","canonical_record":{"source":{"id":"2606.12777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-11T00:42:45Z","cross_cats_sorted":[],"title_canon_sha256":"059ce2663286e4d21248be7f4aee7a0131f9fc65c048a7308adb6552954a18f6","abstract_canon_sha256":"453e25a25bec195a093e6096af1c6eae3921016d24a9cb6b14d41a405a0436c6"},"schema_version":"1.0"},"canonical_sha256":"5eec0a71834647f7142f488c3e561515bbe649afb47d1ebc69d69757e1fc0fa1","source":{"kind":"arxiv","id":"2606.12777","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12777","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12777v1","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12777","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_12","alias_value":"L3WAU4MDIZD7","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_16","alias_value":"L3WAU4MDIZD7OFBP","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_8","alias_value":"L3WAU4MD","created_at":"2026-06-12T01:08:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:L3WAU4MDIZD7OFBPJCGD4VQVCW","target":"record","payload":{"canonical_record":{"source":{"id":"2606.12777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-11T00:42:45Z","cross_cats_sorted":[],"title_canon_sha256":"059ce2663286e4d21248be7f4aee7a0131f9fc65c048a7308adb6552954a18f6","abstract_canon_sha256":"453e25a25bec195a093e6096af1c6eae3921016d24a9cb6b14d41a405a0436c6"},"schema_version":"1.0"},"canonical_sha256":"5eec0a71834647f7142f488c3e561515bbe649afb47d1ebc69d69757e1fc0fa1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:08:50.521522Z","signature_b64":"7uwzEB4WQLjugntplB+PdEaS/vq6AFQNCWLNitaB1AXuMAvlXXbm1dg5lCYxf1b+pGyvCGt7kGPclhZb3HijCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5eec0a71834647f7142f488c3e561515bbe649afb47d1ebc69d69757e1fc0fa1","last_reissued_at":"2026-06-12T01:08:50.520569Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:08:50.520569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.12777","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-12T01:08:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LjT/PnfrcjzmMGqW/I3mgtmrBm2Ehu/BffBU8NZZ0ZXVm2gcmANY2MovRsm7OOCg92Dn1YCLhVJRrCypuBBSDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T22:01:06.742484Z"},"content_sha256":"a4f2521e5f3c498adef32992f85a9e0831062dd3d8122e3822ef4394359875c0","schema_version":"1.0","event_id":"sha256:a4f2521e5f3c498adef32992f85a9e0831062dd3d8122e3822ef4394359875c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:L3WAU4MDIZD7OFBPJCGD4VQVCW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstract Dynamic Programming on Partially Ordered Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Chengyuan Peng, Jingni Yang, John Stachurski","submitted_at":"2026-06-11T00:42:45Z","abstract_excerpt":"We study abstract dynamic programs on partially ordered spaces, pairing the order-theoretic approach to dynamic programming with topological and metric foundations. We show that readily verifiable forms of topological stability, such as global stability and contractivity of the policy operators, deliver the fundamental optimality properties of dynamic programming together with convergence of value function iteration, Howard policy iteration, and optimistic policy iteration. We also prove that stationary policies dominate nonstationary policy plans under very weak assumptions. Applications incl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12777","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.12777/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-12T01:08:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PYRMm1jmsTfcSHDHoGuZ+RinEK0Xofjuk6FKNvxYVw1zJruf3J2toQ918uBiJEa/OSGdA3kSUhOetSiSO1T6BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T22:01:06.743111Z"},"content_sha256":"d66100030fa62ae827b14218360248d32848e577fd579abcd3511cc313fb3a6f","schema_version":"1.0","event_id":"sha256:d66100030fa62ae827b14218360248d32848e577fd579abcd3511cc313fb3a6f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/bundle.json","state_url":"https://pith.science/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/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-21T22:01:06Z","links":{"resolver":"https://pith.science/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW","bundle":"https://pith.science/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/bundle.json","state":"https://pith.science/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3WAU4MDIZD7OFBPJCGD4VQVCW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:L3WAU4MDIZD7OFBPJCGD4VQVCW","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":"453e25a25bec195a093e6096af1c6eae3921016d24a9cb6b14d41a405a0436c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-11T00:42:45Z","title_canon_sha256":"059ce2663286e4d21248be7f4aee7a0131f9fc65c048a7308adb6552954a18f6"},"schema_version":"1.0","source":{"id":"2606.12777","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12777","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12777v1","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12777","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_12","alias_value":"L3WAU4MDIZD7","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_16","alias_value":"L3WAU4MDIZD7OFBP","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_8","alias_value":"L3WAU4MD","created_at":"2026-06-12T01:08:50Z"}],"graph_snapshots":[{"event_id":"sha256:d66100030fa62ae827b14218360248d32848e577fd579abcd3511cc313fb3a6f","target":"graph","created_at":"2026-06-12T01:08:50Z","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.12777/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study abstract dynamic programs on partially ordered spaces, pairing the order-theoretic approach to dynamic programming with topological and metric foundations. We show that readily verifiable forms of topological stability, such as global stability and contractivity of the policy operators, deliver the fundamental optimality properties of dynamic programming together with convergence of value function iteration, Howard policy iteration, and optimistic policy iteration. We also prove that stationary policies dominate nonstationary policy plans under very weak assumptions. Applications incl","authors_text":"Chengyuan Peng, Jingni Yang, John Stachurski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-11T00:42:45Z","title":"Abstract Dynamic Programming on Partially Ordered Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12777","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:a4f2521e5f3c498adef32992f85a9e0831062dd3d8122e3822ef4394359875c0","target":"record","created_at":"2026-06-12T01:08:50Z","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":"453e25a25bec195a093e6096af1c6eae3921016d24a9cb6b14d41a405a0436c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-06-11T00:42:45Z","title_canon_sha256":"059ce2663286e4d21248be7f4aee7a0131f9fc65c048a7308adb6552954a18f6"},"schema_version":"1.0","source":{"id":"2606.12777","kind":"arxiv","version":1}},"canonical_sha256":"5eec0a71834647f7142f488c3e561515bbe649afb47d1ebc69d69757e1fc0fa1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5eec0a71834647f7142f488c3e561515bbe649afb47d1ebc69d69757e1fc0fa1","first_computed_at":"2026-06-12T01:08:50.520569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:08:50.520569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7uwzEB4WQLjugntplB+PdEaS/vq6AFQNCWLNitaB1AXuMAvlXXbm1dg5lCYxf1b+pGyvCGt7kGPclhZb3HijCQ==","signature_status":"signed_v1","signed_at":"2026-06-12T01:08:50.521522Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.12777","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4f2521e5f3c498adef32992f85a9e0831062dd3d8122e3822ef4394359875c0","sha256:d66100030fa62ae827b14218360248d32848e577fd579abcd3511cc313fb3a6f"],"state_sha256":"683423a020b680df884a3529b4005ea7a87b0ae7f6153169395578b25d41e2b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jiFXn6R653XTJVilv69lEootWsCcEfLfl8n1HpX0WiN8/8/R9R1Novs6i41o+M95PG6dWraljsuPry6I0qwAAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T22:01:06.748315Z","bundle_sha256":"8fc2828561d781a97a0329f45dce9dac6ab62afc3d49e4c83e6979b0004dbe15"}}