{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:H36QU6SNSIFVRE4XGZTN6A44AB","short_pith_number":"pith:H36QU6SN","canonical_record":{"source":{"id":"2203.15178","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T01:40:32Z","cross_cats_sorted":[],"title_canon_sha256":"f3db00b322c7ab7c4157ccb92e72172e72686ea97ecaa919850abccaa6548112","abstract_canon_sha256":"344d2629dc4ef4578be3477ed8ac99f53592357e844832f9830ce05a87ed558a"},"schema_version":"1.0"},"canonical_sha256":"3efd0a7a4d920b5893973666df039c0050738b92c5a0ceaf45cda0316b03535c","source":{"kind":"arxiv","id":"2203.15178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15178","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15178v1","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15178","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_12","alias_value":"H36QU6SNSIFV","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_16","alias_value":"H36QU6SNSIFVRE4X","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_8","alias_value":"H36QU6SN","created_at":"2026-07-05T04:09:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:H36QU6SNSIFVRE4XGZTN6A44AB","target":"record","payload":{"canonical_record":{"source":{"id":"2203.15178","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T01:40:32Z","cross_cats_sorted":[],"title_canon_sha256":"f3db00b322c7ab7c4157ccb92e72172e72686ea97ecaa919850abccaa6548112","abstract_canon_sha256":"344d2629dc4ef4578be3477ed8ac99f53592357e844832f9830ce05a87ed558a"},"schema_version":"1.0"},"canonical_sha256":"3efd0a7a4d920b5893973666df039c0050738b92c5a0ceaf45cda0316b03535c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:09:52.476622Z","signature_b64":"ZaAO1gDxoSSwBKSaYHR6+3GRN4NGv/V2fOqJH9hjO/m+tP/RlbyV/fnDzaJWyq2nraYRwtyZHtHaV91+VlFYCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3efd0a7a4d920b5893973666df039c0050738b92c5a0ceaf45cda0316b03535c","last_reissued_at":"2026-07-05T04:09:52.476196Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:09:52.476196Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.15178","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-05T04:09:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IELR0uGLMuQt/FwAHhmFuLkOeT43g5Z+4qWB6Lx+ajgD4Yq4ZKGiNkPr5IVE37XnbYRcg4xjkmZLXSZCodmiBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T18:58:04.197000Z"},"content_sha256":"3bdd5616f18b265d66bc6b57853f224a0b5bf895a98d764f76458d7323fe7624","schema_version":"1.0","event_id":"sha256:3bdd5616f18b265d66bc6b57853f224a0b5bf895a98d764f76458d7323fe7624"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:H36QU6SNSIFVRE4XGZTN6A44AB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DesCert: Design for Certification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anitha Murugesan, Devesh Bhatt, Hao Ren, Huascar Sanchez, Jason Biatek, Jorge Navas, Michael Ernst, Minyoung Kim, Natarajan Shankar, Srivatsan Varadarajan, Suzanne Millstein","submitted_at":"2022-03-29T01:40:32Z","abstract_excerpt":"The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to \"automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable.\" As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the University of Washington. We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. The DesCert workflow integrates evidence gener"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15178","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/2203.15178/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:09:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aiiwFVXzSZ4YEeFw3gG2Y1qL3avQBr0noTu5lccUXNaoXZE2O4SNVqaUAkTZ+Qt7Y/WoZex51D8ae8P9VJTNDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T18:58:04.197967Z"},"content_sha256":"632213441221552f23ca9cb3778b4226c67f7288174e0f51abfd38243e40ead6","schema_version":"1.0","event_id":"sha256:632213441221552f23ca9cb3778b4226c67f7288174e0f51abfd38243e40ead6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H36QU6SNSIFVRE4XGZTN6A44AB/bundle.json","state_url":"https://pith.science/pith/H36QU6SNSIFVRE4XGZTN6A44AB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H36QU6SNSIFVRE4XGZTN6A44AB/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-06T18:58:04Z","links":{"resolver":"https://pith.science/pith/H36QU6SNSIFVRE4XGZTN6A44AB","bundle":"https://pith.science/pith/H36QU6SNSIFVRE4XGZTN6A44AB/bundle.json","state":"https://pith.science/pith/H36QU6SNSIFVRE4XGZTN6A44AB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H36QU6SNSIFVRE4XGZTN6A44AB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:H36QU6SNSIFVRE4XGZTN6A44AB","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":"344d2629dc4ef4578be3477ed8ac99f53592357e844832f9830ce05a87ed558a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T01:40:32Z","title_canon_sha256":"f3db00b322c7ab7c4157ccb92e72172e72686ea97ecaa919850abccaa6548112"},"schema_version":"1.0","source":{"id":"2203.15178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.15178","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"arxiv_version","alias_value":"2203.15178v1","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.15178","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_12","alias_value":"H36QU6SNSIFV","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_16","alias_value":"H36QU6SNSIFVRE4X","created_at":"2026-07-05T04:09:52Z"},{"alias_kind":"pith_short_8","alias_value":"H36QU6SN","created_at":"2026-07-05T04:09:52Z"}],"graph_snapshots":[{"event_id":"sha256:632213441221552f23ca9cb3778b4226c67f7288174e0f51abfd38243e40ead6","target":"graph","created_at":"2026-07-05T04:09:52Z","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/2203.15178/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to \"automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable.\" As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the University of Washington. We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. The DesCert workflow integrates evidence gener","authors_text":"Anitha Murugesan, Devesh Bhatt, Hao Ren, Huascar Sanchez, Jason Biatek, Jorge Navas, Michael Ernst, Minyoung Kim, Natarajan Shankar, Srivatsan Varadarajan, Suzanne Millstein","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T01:40:32Z","title":"DesCert: Design for Certification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.15178","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:3bdd5616f18b265d66bc6b57853f224a0b5bf895a98d764f76458d7323fe7624","target":"record","created_at":"2026-07-05T04:09:52Z","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":"344d2629dc4ef4578be3477ed8ac99f53592357e844832f9830ce05a87ed558a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-29T01:40:32Z","title_canon_sha256":"f3db00b322c7ab7c4157ccb92e72172e72686ea97ecaa919850abccaa6548112"},"schema_version":"1.0","source":{"id":"2203.15178","kind":"arxiv","version":1}},"canonical_sha256":"3efd0a7a4d920b5893973666df039c0050738b92c5a0ceaf45cda0316b03535c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3efd0a7a4d920b5893973666df039c0050738b92c5a0ceaf45cda0316b03535c","first_computed_at":"2026-07-05T04:09:52.476196Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:09:52.476196Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZaAO1gDxoSSwBKSaYHR6+3GRN4NGv/V2fOqJH9hjO/m+tP/RlbyV/fnDzaJWyq2nraYRwtyZHtHaV91+VlFYCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:09:52.476622Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.15178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bdd5616f18b265d66bc6b57853f224a0b5bf895a98d764f76458d7323fe7624","sha256:632213441221552f23ca9cb3778b4226c67f7288174e0f51abfd38243e40ead6"],"state_sha256":"cbf95c0dd62ef2e683473e55fb73460ac0f137f8a6f41cfba2706d7eef211bd2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SGh0Kiu02YG4EL4D/EjMTe1Sn5BuBYRB2yXa6UIQPAxrW7nFpJHuQYygDRguCwFAdXuev6GXXuGC8I676RubBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T18:58:04.204045Z","bundle_sha256":"549e9525ee639432c0a00b6e6633235f39496e6c7c19dc8fe202798e607632d0"}}