{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:JAFPHBXJ52DE3ZOJ26BVLK6QOJ","short_pith_number":"pith:JAFPHBXJ","canonical_record":{"source":{"id":"2102.12981","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-24T09:18:32Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"11ec20a061726cdeba1b4fbf0cc55ed799f73c7056c9c3b4ea03f824dbb35e7c","abstract_canon_sha256":"a93fd40d731fba52171840815ca8bdd87d0ff25f2bd4c126c201435ef37961f2"},"schema_version":"1.0"},"canonical_sha256":"480af386e9ee864de5c9d78355abd0726854e655f7419a92e7acc655f9282225","source":{"kind":"arxiv","id":"2102.12981","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.12981","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"arxiv_version","alias_value":"2102.12981v3","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.12981","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_12","alias_value":"JAFPHBXJ52DE","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"JAFPHBXJ52DE3ZOJ","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"JAFPHBXJ","created_at":"2026-07-05T04:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:JAFPHBXJ52DE3ZOJ26BVLK6QOJ","target":"record","payload":{"canonical_record":{"source":{"id":"2102.12981","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-24T09:18:32Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"11ec20a061726cdeba1b4fbf0cc55ed799f73c7056c9c3b4ea03f824dbb35e7c","abstract_canon_sha256":"a93fd40d731fba52171840815ca8bdd87d0ff25f2bd4c126c201435ef37961f2"},"schema_version":"1.0"},"canonical_sha256":"480af386e9ee864de5c9d78355abd0726854e655f7419a92e7acc655f9282225","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:27:27.939098Z","signature_b64":"u6LpgMsdfO9FXYbFESI4M++XTbeMYQy5I2AjO7Du17RSK3JNqKIKzfW3B2NXyMdfJhpLWgTA6y22zyEzt6kNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"480af386e9ee864de5c9d78355abd0726854e655f7419a92e7acc655f9282225","last_reissued_at":"2026-07-05T04:27:27.938641Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:27:27.938641Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2102.12981","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:27:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Y1VlRI34WZfaekBidgqxEEKk1EEwZEfmC3Dm0cZ4/Drsx1DWwS1fsunTUDaycvfwiHDIyj0CAZ6mmql2oRlBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:27:40.224046Z"},"content_sha256":"786fe76f702e5e5cb35b3808832bd9d1ca66c196b469ccf00d1ac614dd54f06a","schema_version":"1.0","event_id":"sha256:786fe76f702e5e5cb35b3808832bd9d1ca66c196b469ccf00d1ac614dd54f06a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:JAFPHBXJ52DE3ZOJ26BVLK6QOJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Sanaz Sheikhi, Scott A. Smolka, Scott D. Stoller, Stanley Bak, Usama Mehmood","submitted_at":"2021-02-24T09:18:32Z","abstract_excerpt":"The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline controller in order to maintain the safety of an autonomous cyber-physical system. In this work, we show that runtime checks can replace the requirement to statically verify safety of the baseline controller. This is important as there are many powerful control techniques, such as model-predictive control and neural network controllers, that work well in practice but are difficult to statically verify. Since the method d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.12981","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/2102.12981/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:27:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cBCCwuG1AXDO3IvqhYNG9YHnKpmGHlBACBnrd/vmEY1f9Rjv0OpIGmspve5psuiNl0Pk2Sxbq3Yop0rxskuwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T19:27:40.224550Z"},"content_sha256":"409f70d49df446a75a7cca154f59aed65df7d3c9ca75b3f40fa099304aa2dfa8","schema_version":"1.0","event_id":"sha256:409f70d49df446a75a7cca154f59aed65df7d3c9ca75b3f40fa099304aa2dfa8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/bundle.json","state_url":"https://pith.science/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/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-04T19:27:40Z","links":{"resolver":"https://pith.science/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ","bundle":"https://pith.science/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/bundle.json","state":"https://pith.science/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JAFPHBXJ52DE3ZOJ26BVLK6QOJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:JAFPHBXJ52DE3ZOJ26BVLK6QOJ","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":"a93fd40d731fba52171840815ca8bdd87d0ff25f2bd4c126c201435ef37961f2","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-24T09:18:32Z","title_canon_sha256":"11ec20a061726cdeba1b4fbf0cc55ed799f73c7056c9c3b4ea03f824dbb35e7c"},"schema_version":"1.0","source":{"id":"2102.12981","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.12981","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"arxiv_version","alias_value":"2102.12981v3","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.12981","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_12","alias_value":"JAFPHBXJ52DE","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"JAFPHBXJ52DE3ZOJ","created_at":"2026-07-05T04:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"JAFPHBXJ","created_at":"2026-07-05T04:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:409f70d49df446a75a7cca154f59aed65df7d3c9ca75b3f40fa099304aa2dfa8","target":"graph","created_at":"2026-07-05T04:27:27Z","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/2102.12981/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline controller in order to maintain the safety of an autonomous cyber-physical system. In this work, we show that runtime checks can replace the requirement to statically verify safety of the baseline controller. This is important as there are many powerful control techniques, such as model-predictive control and neural network controllers, that work well in practice but are difficult to statically verify. Since the method d","authors_text":"Sanaz Sheikhi, Scott A. Smolka, Scott D. Stoller, Stanley Bak, Usama Mehmood","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-24T09:18:32Z","title":"The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.12981","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:786fe76f702e5e5cb35b3808832bd9d1ca66c196b469ccf00d1ac614dd54f06a","target":"record","created_at":"2026-07-05T04:27:27Z","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":"a93fd40d731fba52171840815ca8bdd87d0ff25f2bd4c126c201435ef37961f2","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-02-24T09:18:32Z","title_canon_sha256":"11ec20a061726cdeba1b4fbf0cc55ed799f73c7056c9c3b4ea03f824dbb35e7c"},"schema_version":"1.0","source":{"id":"2102.12981","kind":"arxiv","version":3}},"canonical_sha256":"480af386e9ee864de5c9d78355abd0726854e655f7419a92e7acc655f9282225","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"480af386e9ee864de5c9d78355abd0726854e655f7419a92e7acc655f9282225","first_computed_at":"2026-07-05T04:27:27.938641Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:27:27.938641Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u6LpgMsdfO9FXYbFESI4M++XTbeMYQy5I2AjO7Du17RSK3JNqKIKzfW3B2NXyMdfJhpLWgTA6y22zyEzt6kNDw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:27:27.939098Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.12981","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:786fe76f702e5e5cb35b3808832bd9d1ca66c196b469ccf00d1ac614dd54f06a","sha256:409f70d49df446a75a7cca154f59aed65df7d3c9ca75b3f40fa099304aa2dfa8"],"state_sha256":"347f88075bf6d3009c13e0b8044c9ee0479dc7f9914bf7383b7f5fe2d1f95e30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A8wcurHSXHGm7H2Rg0fw6WeHElqAPSRtdocyEZrww3E/wHW/CgqMHRJNTN1+6L3uJoXy1J3d2/NczfuF9GXXAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T19:27:40.232348Z","bundle_sha256":"6228e4e8ea3e48cb6bab61c59038e195cf0614729d374d1810239b5f5834776c"}}