{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:UVQBGOHYO3N4BYHWAFLFCFVTXQ","short_pith_number":"pith:UVQBGOHY","canonical_record":{"source":{"id":"2012.06615","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2020-12-11T19:51:04Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b610bd2b3e9c2c8da377d116ee86ed6509074015c5ac311706064f308b73936c","abstract_canon_sha256":"552bf903dd2fd0f647d06737f31b2626c34b198316fc8c190771f96a7c9e7581"},"schema_version":"1.0"},"canonical_sha256":"a5601338f876dbc0e0f601565116b3bc056a155fe09496412ea08c25aa5de92b","source":{"kind":"arxiv","id":"2012.06615","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.06615","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"arxiv_version","alias_value":"2012.06615v1","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.06615","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_12","alias_value":"UVQBGOHYO3N4","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_16","alias_value":"UVQBGOHYO3N4BYHW","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_8","alias_value":"UVQBGOHY","created_at":"2026-07-05T01:58:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:UVQBGOHYO3N4BYHWAFLFCFVTXQ","target":"record","payload":{"canonical_record":{"source":{"id":"2012.06615","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2020-12-11T19:51:04Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"b610bd2b3e9c2c8da377d116ee86ed6509074015c5ac311706064f308b73936c","abstract_canon_sha256":"552bf903dd2fd0f647d06737f31b2626c34b198316fc8c190771f96a7c9e7581"},"schema_version":"1.0"},"canonical_sha256":"a5601338f876dbc0e0f601565116b3bc056a155fe09496412ea08c25aa5de92b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:58:57.916382Z","signature_b64":"H2KPkp9jg2rtJHb/pWBU/myAm/ZxuqAO7+HJYN2e/8Vv8c1xa2e3dxPs2aX6Yh75w47dHtmZQsmTig6PN+YfCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a5601338f876dbc0e0f601565116b3bc056a155fe09496412ea08c25aa5de92b","last_reissued_at":"2026-07-05T01:58:57.915991Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:58:57.915991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.06615","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-05T01:58:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T1R8FVYcYi3NFkDQ7aK1CGABqw6CWuR8FmDeZQ+PR2smCAYjfxZb6F8lvm5pdWgqqvOIE6Fi6fjOnxvQOvK6Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T18:10:52.323944Z"},"content_sha256":"6e8681e4fbb46273b8f5728211c30dfd29412231d51df2816842a0ddbd5bc3a7","schema_version":"1.0","event_id":"sha256:6e8681e4fbb46273b8f5728211c30dfd29412231d51df2816842a0ddbd5bc3a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:UVQBGOHYO3N4BYHWAFLFCFVTXQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Conditional System Invariant Generation with Bayesian Inference","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.RO","authors_text":"Lu Feng, Meriel Stein, Sebastian Elbaum, Shili Sheng","submitted_at":"2020-12-11T19:51:04Z","abstract_excerpt":"Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly and challenging, there are a myriad of approaches that support automated mining of likely invariants from sources such as program traces. Existing approaches, however, are not equipped to capture the rich states that condition the behavior of autonomous mobile robots, or to manage the uncertainty associated with many variables in these systems. This means that valuable invariants that appear only under specific state"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.06615","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/2012.06615/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-05T01:58:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zn7tOJrwXXCuwllya42biFmFoNrGTKeA8RjcZICszqzi5iZGD4PRmWjvrcDohXG7EGAJixaaEnXBrRRh3c5cCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T18:10:52.324867Z"},"content_sha256":"e295cd682fa332afd10d087f8b40fe72e55cc028d9d02251a02a0efcf9c55939","schema_version":"1.0","event_id":"sha256:e295cd682fa332afd10d087f8b40fe72e55cc028d9d02251a02a0efcf9c55939"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/bundle.json","state_url":"https://pith.science/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/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-04T18:10:52Z","links":{"resolver":"https://pith.science/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ","bundle":"https://pith.science/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/bundle.json","state":"https://pith.science/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UVQBGOHYO3N4BYHWAFLFCFVTXQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:UVQBGOHYO3N4BYHWAFLFCFVTXQ","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":"552bf903dd2fd0f647d06737f31b2626c34b198316fc8c190771f96a7c9e7581","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2020-12-11T19:51:04Z","title_canon_sha256":"b610bd2b3e9c2c8da377d116ee86ed6509074015c5ac311706064f308b73936c"},"schema_version":"1.0","source":{"id":"2012.06615","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.06615","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"arxiv_version","alias_value":"2012.06615v1","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.06615","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_12","alias_value":"UVQBGOHYO3N4","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_16","alias_value":"UVQBGOHYO3N4BYHW","created_at":"2026-07-05T01:58:57Z"},{"alias_kind":"pith_short_8","alias_value":"UVQBGOHY","created_at":"2026-07-05T01:58:57Z"}],"graph_snapshots":[{"event_id":"sha256:e295cd682fa332afd10d087f8b40fe72e55cc028d9d02251a02a0efcf9c55939","target":"graph","created_at":"2026-07-05T01:58:57Z","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/2012.06615/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly and challenging, there are a myriad of approaches that support automated mining of likely invariants from sources such as program traces. Existing approaches, however, are not equipped to capture the rich states that condition the behavior of autonomous mobile robots, or to manage the uncertainty associated with many variables in these systems. This means that valuable invariants that appear only under specific state","authors_text":"Lu Feng, Meriel Stein, Sebastian Elbaum, Shili Sheng","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2020-12-11T19:51:04Z","title":"Probabilistic Conditional System Invariant Generation with Bayesian Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.06615","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:6e8681e4fbb46273b8f5728211c30dfd29412231d51df2816842a0ddbd5bc3a7","target":"record","created_at":"2026-07-05T01:58:57Z","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":"552bf903dd2fd0f647d06737f31b2626c34b198316fc8c190771f96a7c9e7581","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2020-12-11T19:51:04Z","title_canon_sha256":"b610bd2b3e9c2c8da377d116ee86ed6509074015c5ac311706064f308b73936c"},"schema_version":"1.0","source":{"id":"2012.06615","kind":"arxiv","version":1}},"canonical_sha256":"a5601338f876dbc0e0f601565116b3bc056a155fe09496412ea08c25aa5de92b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a5601338f876dbc0e0f601565116b3bc056a155fe09496412ea08c25aa5de92b","first_computed_at":"2026-07-05T01:58:57.915991Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:58:57.915991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H2KPkp9jg2rtJHb/pWBU/myAm/ZxuqAO7+HJYN2e/8Vv8c1xa2e3dxPs2aX6Yh75w47dHtmZQsmTig6PN+YfCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:58:57.916382Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.06615","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e8681e4fbb46273b8f5728211c30dfd29412231d51df2816842a0ddbd5bc3a7","sha256:e295cd682fa332afd10d087f8b40fe72e55cc028d9d02251a02a0efcf9c55939"],"state_sha256":"b0b6834bbba7bac718216eb7e8193e7273838d19482112970c84cb0ad6131654"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gr2AmLuyUuCbjK/YrZ0EGNsnuljQBZmyzHUZg7ResaUM/MS54RFHJ31+9m5WJokFK/uU8TuJJc39Y8BPz6M/Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T18:10:52.331391Z","bundle_sha256":"2fbfd2c8c6365e639f924fe88b7574d8ee579c2d5a3c8b9d0045d251fb5794d5"}}