{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:5XIPU4KKZKQTSCDJXSLH6X43DM","short_pith_number":"pith:5XIPU4KK","canonical_record":{"source":{"id":"2111.03782","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-11-03T18:14:35Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"7612b70791771011c92f2a4781e7623a8107a48c2a390123bd269d087fce818c","abstract_canon_sha256":"13c873fb4d872daccd0041809635f00cf6c3b8286ea79aefba7d8e8c66dc5317"},"schema_version":"1.0"},"canonical_sha256":"edd0fa714acaa1390869bc967f5f9b1b1d4b11f295b3b0c54587765996281974","source":{"kind":"arxiv","id":"2111.03782","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.03782","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"arxiv_version","alias_value":"2111.03782v3","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.03782","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_12","alias_value":"5XIPU4KKZKQT","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_16","alias_value":"5XIPU4KKZKQTSCDJ","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_8","alias_value":"5XIPU4KK","created_at":"2026-07-05T04:20:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:5XIPU4KKZKQTSCDJXSLH6X43DM","target":"record","payload":{"canonical_record":{"source":{"id":"2111.03782","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-11-03T18:14:35Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"7612b70791771011c92f2a4781e7623a8107a48c2a390123bd269d087fce818c","abstract_canon_sha256":"13c873fb4d872daccd0041809635f00cf6c3b8286ea79aefba7d8e8c66dc5317"},"schema_version":"1.0"},"canonical_sha256":"edd0fa714acaa1390869bc967f5f9b1b1d4b11f295b3b0c54587765996281974","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:20:43.662738Z","signature_b64":"wEVxCyb7LIMGeacbYDzyZ+40aiK9kV3diCtepOzc9iQ+6u6t/t4+7c5XgZGI28Usnrw3EbntHirgd4fMNIGSBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"edd0fa714acaa1390869bc967f5f9b1b1d4b11f295b3b0c54587765996281974","last_reissued_at":"2026-07-05T04:20:43.662327Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:20:43.662327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.03782","source_version":3,"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-05T04:20:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QvhpzQF8PzlhZ3lILEJxGhCpbC+r1lE17I0CYng7SeNfNKTCkc+S0ZvcySLcqyeLWye5cgn1IpSrxZAg+JdxBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:18:49.436630Z"},"content_sha256":"563957191b10b86873cdf5665ccc87486e4c1621b7664f387222e55892ddecef","schema_version":"1.0","event_id":"sha256:563957191b10b86873cdf5665ccc87486e4c1621b7664f387222e55892ddecef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:5XIPU4KKZKQTSCDJXSLH6X43DM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Confidence Composition for Monitors of Verification Assumptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.LO","authors_text":"Insup Lee, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Pengyuan Lu, Radoslav Ivanov, Taylor Carpenter","submitted_at":"2021-11-03T18:14:35Z","abstract_excerpt":"Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether these guarantees apply at run time because verification assumptions may be violated. To predict safety violations in a verified system, we propose a three-step confidence composition (CoCo) framework for monitoring verification assumptions. First, we represent the sufficient condition for verified safety with a propositional logical formula over assumptions. Second, we build calibrated confidence monitors th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.03782","kind":"arxiv","version":3},"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/2111.03782/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-05T04:20:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BhMq9FrxWL8+xwthDn8Okz3RuAAvOtunNmVhEcgU6q8vaM+IYk1cJ5dxeOIjBEchIED8JzKXD+va60zVrXCdCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T08:18:49.437016Z"},"content_sha256":"41983cf56d01ec34beb9a14a9d8ec9f35faf6fda47575354dc1bf72c5b1d8cdd","schema_version":"1.0","event_id":"sha256:41983cf56d01ec34beb9a14a9d8ec9f35faf6fda47575354dc1bf72c5b1d8cdd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/bundle.json","state_url":"https://pith.science/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/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-07T08:18:49Z","links":{"resolver":"https://pith.science/pith/5XIPU4KKZKQTSCDJXSLH6X43DM","bundle":"https://pith.science/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/bundle.json","state":"https://pith.science/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5XIPU4KKZKQTSCDJXSLH6X43DM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:5XIPU4KKZKQTSCDJXSLH6X43DM","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":"13c873fb4d872daccd0041809635f00cf6c3b8286ea79aefba7d8e8c66dc5317","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-11-03T18:14:35Z","title_canon_sha256":"7612b70791771011c92f2a4781e7623a8107a48c2a390123bd269d087fce818c"},"schema_version":"1.0","source":{"id":"2111.03782","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.03782","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"arxiv_version","alias_value":"2111.03782v3","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.03782","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_12","alias_value":"5XIPU4KKZKQT","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_16","alias_value":"5XIPU4KKZKQTSCDJ","created_at":"2026-07-05T04:20:43Z"},{"alias_kind":"pith_short_8","alias_value":"5XIPU4KK","created_at":"2026-07-05T04:20:43Z"}],"graph_snapshots":[{"event_id":"sha256:41983cf56d01ec34beb9a14a9d8ec9f35faf6fda47575354dc1bf72c5b1d8cdd","target":"graph","created_at":"2026-07-05T04:20:43Z","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/2111.03782/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Closed-loop verification of cyber-physical systems with neural network controllers offers strong safety guarantees under certain assumptions. It is, however, difficult to determine whether these guarantees apply at run time because verification assumptions may be violated. To predict safety violations in a verified system, we propose a three-step confidence composition (CoCo) framework for monitoring verification assumptions. First, we represent the sufficient condition for verified safety with a propositional logical formula over assumptions. Second, we build calibrated confidence monitors th","authors_text":"Insup Lee, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Pengyuan Lu, Radoslav Ivanov, Taylor Carpenter","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-11-03T18:14:35Z","title":"Confidence Composition for Monitors of Verification Assumptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.03782","kind":"arxiv","version":3},"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:563957191b10b86873cdf5665ccc87486e4c1621b7664f387222e55892ddecef","target":"record","created_at":"2026-07-05T04:20:43Z","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":"13c873fb4d872daccd0041809635f00cf6c3b8286ea79aefba7d8e8c66dc5317","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-11-03T18:14:35Z","title_canon_sha256":"7612b70791771011c92f2a4781e7623a8107a48c2a390123bd269d087fce818c"},"schema_version":"1.0","source":{"id":"2111.03782","kind":"arxiv","version":3}},"canonical_sha256":"edd0fa714acaa1390869bc967f5f9b1b1d4b11f295b3b0c54587765996281974","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"edd0fa714acaa1390869bc967f5f9b1b1d4b11f295b3b0c54587765996281974","first_computed_at":"2026-07-05T04:20:43.662327Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:20:43.662327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wEVxCyb7LIMGeacbYDzyZ+40aiK9kV3diCtepOzc9iQ+6u6t/t4+7c5XgZGI28Usnrw3EbntHirgd4fMNIGSBA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:20:43.662738Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.03782","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:563957191b10b86873cdf5665ccc87486e4c1621b7664f387222e55892ddecef","sha256:41983cf56d01ec34beb9a14a9d8ec9f35faf6fda47575354dc1bf72c5b1d8cdd"],"state_sha256":"6c0ee5378499c9b2e2707867deef30123d9e2463db4215120724431ed3a5a816"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZZzrTIeYwcD0cGeQYRxtof+0BYiohZpnxA4nIly4yjEWJ/gs0MjirtPkMF4IUOK07iSsIb9qheLG5HNMSAhqCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T08:18:49.439012Z","bundle_sha256":"5dd9b766a5fdd73acbf5257442bcbd614bc1116f354f10966ce512989ed00a21"}}