{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:U23535QEPOZGBCBAAAKZK3TF6J","short_pith_number":"pith:U23535QE","canonical_record":{"source":{"id":"1202.3729","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"c70cf6d2c4f3fdc320dd52d465d26e9a24655414d766753e4c1f62912c284cfe","abstract_canon_sha256":"7f0e7336e027f1e78601d83857d63a3516bac3bf1897704ccbc8590fe6c6535f"},"schema_version":"1.0"},"canonical_sha256":"a6b7ddf6047bb26088200015956e65f241700ca1322d7ade1391fea075221cee","source":{"kind":"arxiv","id":"1202.3729","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3729","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3729v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3729","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"U23535QEPOZG","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U23535QEPOZGBCBA","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U23535QE","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:U23535QEPOZGBCBAAAKZK3TF6J","target":"record","payload":{"canonical_record":{"source":{"id":"1202.3729","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"c70cf6d2c4f3fdc320dd52d465d26e9a24655414d766753e4c1f62912c284cfe","abstract_canon_sha256":"7f0e7336e027f1e78601d83857d63a3516bac3bf1897704ccbc8590fe6c6535f"},"schema_version":"1.0"},"canonical_sha256":"a6b7ddf6047bb26088200015956e65f241700ca1322d7ade1391fea075221cee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:03.261129Z","signature_b64":"Fe0grfwZzPtiqMMsgD3Q06DG5R40fT1vPLTYa+M94Pu4+onaCtjA5FXW3FRMai9JoFxvK8cCZPftlNuE3tMwAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6b7ddf6047bb26088200015956e65f241700ca1322d7ade1391fea075221cee","last_reissued_at":"2026-05-18T04:02:03.260355Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:03.260355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.3729","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-05-18T04:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G1OORDaVEoo4tRHWft8emEhknK5nOX1a8LUIwZ/TL7MiJ+3twP0/Of2GJiHYc04q2zfJoXIAWTTOwERWvmOWAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:54:34.053851Z"},"content_sha256":"ac24fcaf76d70ab4fb3f24b9f7b65c93e4ee3f62eabd4c66b1724afbac8b232c","schema_version":"1.0","event_id":"sha256:ac24fcaf76d70ab4fb3f24b9f7b65c93e4ee3f62eabd4c66b1724afbac8b232c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:U23535QEPOZGBCBAAAKZK3TF6J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Suboptimality Bounds for Stochastic Shortest Path Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Eric A. Hansen","submitted_at":"2012-02-14T16:41:17Z","abstract_excerpt":"We consider how to use the Bellman residual of the dynamic programming operator to compute suboptimality bounds for solutions to stochastic shortest path problems. Such bounds have been previously established only in the special case that \"all policies are proper,\" in which case the dynamic programming operator is known to be a contraction, and have been shown to be easily computable only in the more limited special case of discounting. Under the condition that transition costs are positive, we show that suboptimality bounds can be easily computed even when not all policies are proper. In the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3729","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":""},"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-05-18T04:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1ZHKkwj5OrmsxnMW03qt2ojbjusGduSfP37bO5adIYzi7LrtALl3U/iEWzHvo8K+71TSLu389AyHvbQ2ADMSBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:54:34.054529Z"},"content_sha256":"3277e1f36df66aa88da615d982eff4b29609b081f5ad549a4b40f7f8d17739d9","schema_version":"1.0","event_id":"sha256:3277e1f36df66aa88da615d982eff4b29609b081f5ad549a4b40f7f8d17739d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U23535QEPOZGBCBAAAKZK3TF6J/bundle.json","state_url":"https://pith.science/pith/U23535QEPOZGBCBAAAKZK3TF6J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U23535QEPOZGBCBAAAKZK3TF6J/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-05-27T19:54:34Z","links":{"resolver":"https://pith.science/pith/U23535QEPOZGBCBAAAKZK3TF6J","bundle":"https://pith.science/pith/U23535QEPOZGBCBAAAKZK3TF6J/bundle.json","state":"https://pith.science/pith/U23535QEPOZGBCBAAAKZK3TF6J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U23535QEPOZGBCBAAAKZK3TF6J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:U23535QEPOZGBCBAAAKZK3TF6J","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":"7f0e7336e027f1e78601d83857d63a3516bac3bf1897704ccbc8590fe6c6535f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"c70cf6d2c4f3fdc320dd52d465d26e9a24655414d766753e4c1f62912c284cfe"},"schema_version":"1.0","source":{"id":"1202.3729","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3729","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3729v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3729","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"U23535QEPOZG","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"U23535QEPOZGBCBA","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"U23535QE","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:3277e1f36df66aa88da615d982eff4b29609b081f5ad549a4b40f7f8d17739d9","target":"graph","created_at":"2026-05-18T04:02:03Z","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"},"paper":{"abstract_excerpt":"We consider how to use the Bellman residual of the dynamic programming operator to compute suboptimality bounds for solutions to stochastic shortest path problems. Such bounds have been previously established only in the special case that \"all policies are proper,\" in which case the dynamic programming operator is known to be a contraction, and have been shown to be easily computable only in the more limited special case of discounting. Under the condition that transition costs are positive, we show that suboptimality bounds can be easily computed even when not all policies are proper. In the ","authors_text":"Eric A. Hansen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title":"Suboptimality Bounds for Stochastic Shortest Path Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3729","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:ac24fcaf76d70ab4fb3f24b9f7b65c93e4ee3f62eabd4c66b1724afbac8b232c","target":"record","created_at":"2026-05-18T04:02:03Z","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":"7f0e7336e027f1e78601d83857d63a3516bac3bf1897704ccbc8590fe6c6535f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"c70cf6d2c4f3fdc320dd52d465d26e9a24655414d766753e4c1f62912c284cfe"},"schema_version":"1.0","source":{"id":"1202.3729","kind":"arxiv","version":1}},"canonical_sha256":"a6b7ddf6047bb26088200015956e65f241700ca1322d7ade1391fea075221cee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6b7ddf6047bb26088200015956e65f241700ca1322d7ade1391fea075221cee","first_computed_at":"2026-05-18T04:02:03.260355Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.260355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fe0grfwZzPtiqMMsgD3Q06DG5R40fT1vPLTYa+M94Pu4+onaCtjA5FXW3FRMai9JoFxvK8cCZPftlNuE3tMwAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.261129Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3729","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ac24fcaf76d70ab4fb3f24b9f7b65c93e4ee3f62eabd4c66b1724afbac8b232c","sha256:3277e1f36df66aa88da615d982eff4b29609b081f5ad549a4b40f7f8d17739d9"],"state_sha256":"d4ae5bd8c0c1c51143b77a0d6985297ce7162e8b9f287517763b8c97b8d2ad75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ikvIhnPSvIl5MRbT6RFuI8eLYCyzzgJsDjafggUCkI299cn1pWiJecLhwJlDOfAvEt7QGUTzNe24MgN7aoy0BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:54:34.058537Z","bundle_sha256":"f09d27f2e23d624e6ecc80fa91abb13823cb5f884eb046ddf8498e91733de514"}}