{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:M5555WRR2LLFIXPY35FDFND2OO","short_pith_number":"pith:M5555WRR","canonical_record":{"source":{"id":"2101.04742","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2021-01-12T20:26:40Z","cross_cats_sorted":[],"title_canon_sha256":"17a8aaef2cbaff65558ab6418dae9b2c4ee18e381383f378943c58cf9a4f21d0","abstract_canon_sha256":"55309417efbc7e154384a24392d72d62709579b287da244a471b8a1e47f38430"},"schema_version":"1.0"},"canonical_sha256":"677bdeda31d2d6545df8df4a32b47a73939d0326685643b7272980d940399d4a","source":{"kind":"arxiv","id":"2101.04742","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.04742","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"arxiv_version","alias_value":"2101.04742v1","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.04742","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_12","alias_value":"M5555WRR2LLF","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_16","alias_value":"M5555WRR2LLFIXPY","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_8","alias_value":"M5555WRR","created_at":"2026-07-05T02:06:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:M5555WRR2LLFIXPY35FDFND2OO","target":"record","payload":{"canonical_record":{"source":{"id":"2101.04742","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2021-01-12T20:26:40Z","cross_cats_sorted":[],"title_canon_sha256":"17a8aaef2cbaff65558ab6418dae9b2c4ee18e381383f378943c58cf9a4f21d0","abstract_canon_sha256":"55309417efbc7e154384a24392d72d62709579b287da244a471b8a1e47f38430"},"schema_version":"1.0"},"canonical_sha256":"677bdeda31d2d6545df8df4a32b47a73939d0326685643b7272980d940399d4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:06:34.407048Z","signature_b64":"Lef0/A1Qvm+ChH4yb4tY+Sr8r/9UNHCoOB6ElZfi14a+PKpoEf0JhGrIVPMRsSue7xBji34dhY9MAQu28j4DCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"677bdeda31d2d6545df8df4a32b47a73939d0326685643b7272980d940399d4a","last_reissued_at":"2026-07-05T02:06:34.406553Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:06:34.406553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2101.04742","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-05T02:06:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QsdmoZ7Pk/dN90YMGL3b2ua2vbsPLG5JHGJN1BeUWN0qWcaLbWqMS8lnDpRqLSS/nRkt+WTpsnT8dVEn5GNrCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:34:54.768074Z"},"content_sha256":"5bae5a31245d328197beda68094e850603fcb2ee7345dfd1d6c47712a53bb6c1","schema_version":"1.0","event_id":"sha256:5bae5a31245d328197beda68094e850603fcb2ee7345dfd1d6c47712a53bb6c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:M5555WRR2LLFIXPY35FDFND2OO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Programming and Reasoning with Partial Observability","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Eric Atkinson, Michael Carbin","submitted_at":"2021-01-12T20:26:40Z","abstract_excerpt":"Computer programs are increasingly being deployed in partially-observable environments. A partially observable environment is an environment whose state is not completely visible to the program, but from which the program receives partial observations. Developers typically deal with partial observability by writing a state estimator that, given observations, attempts to deduce the hidden state of the environment. In safety-critical domains, to formally verify safety properties developers may write an environment model. The model captures the relationship between observations and hidden states "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.04742","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/2101.04742/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-05T02:06:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Z1mf8Hh3Xstebi/SZVXCNFHFXKZG/2fsp7b+JKYg0zdy7Km8FqLODh1hCeSvId0hzdzV9954BlbZnob3mlgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:34:54.768464Z"},"content_sha256":"014663c6bef026e2784a8f978bc031e3397c9e8c971daedc205285672d65e7e2","schema_version":"1.0","event_id":"sha256:014663c6bef026e2784a8f978bc031e3397c9e8c971daedc205285672d65e7e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M5555WRR2LLFIXPY35FDFND2OO/bundle.json","state_url":"https://pith.science/pith/M5555WRR2LLFIXPY35FDFND2OO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M5555WRR2LLFIXPY35FDFND2OO/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-07-06T15:34:54Z","links":{"resolver":"https://pith.science/pith/M5555WRR2LLFIXPY35FDFND2OO","bundle":"https://pith.science/pith/M5555WRR2LLFIXPY35FDFND2OO/bundle.json","state":"https://pith.science/pith/M5555WRR2LLFIXPY35FDFND2OO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M5555WRR2LLFIXPY35FDFND2OO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:M5555WRR2LLFIXPY35FDFND2OO","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":"55309417efbc7e154384a24392d72d62709579b287da244a471b8a1e47f38430","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2021-01-12T20:26:40Z","title_canon_sha256":"17a8aaef2cbaff65558ab6418dae9b2c4ee18e381383f378943c58cf9a4f21d0"},"schema_version":"1.0","source":{"id":"2101.04742","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.04742","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"arxiv_version","alias_value":"2101.04742v1","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.04742","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_12","alias_value":"M5555WRR2LLF","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_16","alias_value":"M5555WRR2LLFIXPY","created_at":"2026-07-05T02:06:34Z"},{"alias_kind":"pith_short_8","alias_value":"M5555WRR","created_at":"2026-07-05T02:06:34Z"}],"graph_snapshots":[{"event_id":"sha256:014663c6bef026e2784a8f978bc031e3397c9e8c971daedc205285672d65e7e2","target":"graph","created_at":"2026-07-05T02:06:34Z","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/2101.04742/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Computer programs are increasingly being deployed in partially-observable environments. A partially observable environment is an environment whose state is not completely visible to the program, but from which the program receives partial observations. Developers typically deal with partial observability by writing a state estimator that, given observations, attempts to deduce the hidden state of the environment. In safety-critical domains, to formally verify safety properties developers may write an environment model. The model captures the relationship between observations and hidden states ","authors_text":"Eric Atkinson, Michael Carbin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2021-01-12T20:26:40Z","title":"Programming and Reasoning with Partial Observability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.04742","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:5bae5a31245d328197beda68094e850603fcb2ee7345dfd1d6c47712a53bb6c1","target":"record","created_at":"2026-07-05T02:06:34Z","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":"55309417efbc7e154384a24392d72d62709579b287da244a471b8a1e47f38430","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2021-01-12T20:26:40Z","title_canon_sha256":"17a8aaef2cbaff65558ab6418dae9b2c4ee18e381383f378943c58cf9a4f21d0"},"schema_version":"1.0","source":{"id":"2101.04742","kind":"arxiv","version":1}},"canonical_sha256":"677bdeda31d2d6545df8df4a32b47a73939d0326685643b7272980d940399d4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"677bdeda31d2d6545df8df4a32b47a73939d0326685643b7272980d940399d4a","first_computed_at":"2026-07-05T02:06:34.406553Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:06:34.406553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Lef0/A1Qvm+ChH4yb4tY+Sr8r/9UNHCoOB6ElZfi14a+PKpoEf0JhGrIVPMRsSue7xBji34dhY9MAQu28j4DCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:06:34.407048Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.04742","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5bae5a31245d328197beda68094e850603fcb2ee7345dfd1d6c47712a53bb6c1","sha256:014663c6bef026e2784a8f978bc031e3397c9e8c971daedc205285672d65e7e2"],"state_sha256":"62a6f95ca690c24774e62f8e3c63f70c01fd00d1d97167487ee54d655d618ce9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"enSLx61fEbvR7kw7i08wrsdifnX7y6RG1SzJuUJxeksdgXNGHs8Ks+i+V92UyCTKS24x9MxVzo12ltotpALyDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:34:54.770470Z","bundle_sha256":"06eff0b4fb9e48ce3281919212c8cd90008907d137874e84036238080a124d87"}}