{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TSV7BAID6BQIE3JLBOAZBRDHW2","short_pith_number":"pith:TSV7BAID","canonical_record":{"source":{"id":"2506.10377","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-06-12T06:05:38Z","cross_cats_sorted":[],"title_canon_sha256":"de4fffe88d3cfe3ed2a8c9f334cb81f37997ff11519dc636697bad235f22e612","abstract_canon_sha256":"3cd51ac5dba3cb5a38506dfb193f5d4d397dfaacb01ac9d371d3c96c121fef96"},"schema_version":"1.0"},"canonical_sha256":"9cabf08103f060826d2b0b8190c467b69370efcefa0d7dcaaa48003fcae68933","source":{"kind":"arxiv","id":"2506.10377","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.10377","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"arxiv_version","alias_value":"2506.10377v2","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10377","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_12","alias_value":"TSV7BAID6BQI","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_16","alias_value":"TSV7BAID6BQIE3JL","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_8","alias_value":"TSV7BAID","created_at":"2026-07-05T11:42:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TSV7BAID6BQIE3JLBOAZBRDHW2","target":"record","payload":{"canonical_record":{"source":{"id":"2506.10377","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-06-12T06:05:38Z","cross_cats_sorted":[],"title_canon_sha256":"de4fffe88d3cfe3ed2a8c9f334cb81f37997ff11519dc636697bad235f22e612","abstract_canon_sha256":"3cd51ac5dba3cb5a38506dfb193f5d4d397dfaacb01ac9d371d3c96c121fef96"},"schema_version":"1.0"},"canonical_sha256":"9cabf08103f060826d2b0b8190c467b69370efcefa0d7dcaaa48003fcae68933","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:30.506241Z","signature_b64":"BwqIlF6D8JxmtQ9dzfKr3tUEEheXm3AbGD+CJXZZ39d1ZpwXIdNpAusQuOHLkFO3XYEV6z1TxzcLaeAygMx5Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cabf08103f060826d2b0b8190c467b69370efcefa0d7dcaaa48003fcae68933","last_reissued_at":"2026-07-05T11:42:30.505666Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:30.505666Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.10377","source_version":2,"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:42:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjSoNaloG+3f/m1c3dyR1F3fuK9vhwW8Hle0RuMJDceRCZvMAPJLPkRpMlt2iU8u0BM9+YirbXF6Hy/5A3Y1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:15:37.242047Z"},"content_sha256":"592e017b94aa5c212405e9fa45cf39ec7f89bc75a80c14b3566c5581e2f29357","schema_version":"1.0","event_id":"sha256:592e017b94aa5c212405e9fa45cf39ec7f89bc75a80c14b3566c5581e2f29357"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TSV7BAID6BQIE3JLBOAZBRDHW2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Ichiro Hasuo, Kittiphon Phalakarn, S. Akshay, Yun Chen Tsai","submitted_at":"2025-06-12T06:05:38Z","abstract_excerpt":"Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transformers with probabilities defined over sequences of states and with schedulers making random choices. An alternative view, especially well-suited for modeling dynamical systems, defines MDPs as distribution transformers with schedulers distributing probability masses. Our main contribution is a unified semantical framework that accommodates these two views and two new ones. These four semantics of MDPs arise naturally "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.10377","kind":"arxiv","version":2},"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/2506.10377/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:42:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qDWAfzroBffQ5w61eCec1BGGHR8ACivmvRdujU58OC7taQOYyzlPSwOb7yxp0E6y0PBsNEzOuNZddaRHX0M7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:15:37.243059Z"},"content_sha256":"d6b28a7ca17ba4ab2293f6c78120ff5c3e21c111e97ca6ac62cbca0f0e12825a","schema_version":"1.0","event_id":"sha256:d6b28a7ca17ba4ab2293f6c78120ff5c3e21c111e97ca6ac62cbca0f0e12825a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/bundle.json","state_url":"https://pith.science/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/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-08T12:15:37Z","links":{"resolver":"https://pith.science/pith/TSV7BAID6BQIE3JLBOAZBRDHW2","bundle":"https://pith.science/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/bundle.json","state":"https://pith.science/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TSV7BAID6BQIE3JLBOAZBRDHW2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TSV7BAID6BQIE3JLBOAZBRDHW2","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":"3cd51ac5dba3cb5a38506dfb193f5d4d397dfaacb01ac9d371d3c96c121fef96","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-06-12T06:05:38Z","title_canon_sha256":"de4fffe88d3cfe3ed2a8c9f334cb81f37997ff11519dc636697bad235f22e612"},"schema_version":"1.0","source":{"id":"2506.10377","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.10377","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"arxiv_version","alias_value":"2506.10377v2","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.10377","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_12","alias_value":"TSV7BAID6BQI","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_16","alias_value":"TSV7BAID6BQIE3JL","created_at":"2026-07-05T11:42:30Z"},{"alias_kind":"pith_short_8","alias_value":"TSV7BAID","created_at":"2026-07-05T11:42:30Z"}],"graph_snapshots":[{"event_id":"sha256:d6b28a7ca17ba4ab2293f6c78120ff5c3e21c111e97ca6ac62cbca0f0e12825a","target":"graph","created_at":"2026-07-05T11:42:30Z","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/2506.10377/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transformers with probabilities defined over sequences of states and with schedulers making random choices. An alternative view, especially well-suited for modeling dynamical systems, defines MDPs as distribution transformers with schedulers distributing probability masses. Our main contribution is a unified semantical framework that accommodates these two views and two new ones. These four semantics of MDPs arise naturally ","authors_text":"Ichiro Hasuo, Kittiphon Phalakarn, S. Akshay, Yun Chen Tsai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.10377","kind":"arxiv","version":2},"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:592e017b94aa5c212405e9fa45cf39ec7f89bc75a80c14b3566c5581e2f29357","target":"record","created_at":"2026-07-05T11:42:30Z","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":"3cd51ac5dba3cb5a38506dfb193f5d4d397dfaacb01ac9d371d3c96c121fef96","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-06-12T06:05:38Z","title_canon_sha256":"de4fffe88d3cfe3ed2a8c9f334cb81f37997ff11519dc636697bad235f22e612"},"schema_version":"1.0","source":{"id":"2506.10377","kind":"arxiv","version":2}},"canonical_sha256":"9cabf08103f060826d2b0b8190c467b69370efcefa0d7dcaaa48003fcae68933","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cabf08103f060826d2b0b8190c467b69370efcefa0d7dcaaa48003fcae68933","first_computed_at":"2026-07-05T11:42:30.505666Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:30.505666Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BwqIlF6D8JxmtQ9dzfKr3tUEEheXm3AbGD+CJXZZ39d1ZpwXIdNpAusQuOHLkFO3XYEV6z1TxzcLaeAygMx5Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:30.506241Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.10377","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:592e017b94aa5c212405e9fa45cf39ec7f89bc75a80c14b3566c5581e2f29357","sha256:d6b28a7ca17ba4ab2293f6c78120ff5c3e21c111e97ca6ac62cbca0f0e12825a"],"state_sha256":"efe10ac334ce427fad68e5cfbf518b6cb9ccdaa6bdf8f46d8b090feae5688f01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3FHZ5h7Q+OdvfvxkuF9bBwFYKpPIJGosoDDodpkE93eA3qMV0ODEKFRzZp+4iNT7+2GOUp199q9xZGsGhFY2Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:15:37.250278Z","bundle_sha256":"737bd3eb6dd33e45af16c7b0dff48db01b71f887c8e619d8eaa383ee8d4ac26d"}}