{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:PTQFJWJ5OGG4TASZVGGEP5YN6W","short_pith_number":"pith:PTQFJWJ5","schema_version":"1.0","canonical_sha256":"7ce054d93d718dc98259a98c47f70df58448c31a25dae9ed9a26332c8199a370","source":{"kind":"arxiv","id":"2606.17374","version":1},"attestation_state":"computed","paper":{"title":"Verifying the Rust Standard Library","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Bart Jacobs, Byron Cook, Carolyn Zech, Celina Val, Felipe R. Monteiro, Michael Tautschnig, Rahul Kumar, Ranjit Jhala, Rebecca Rumbul, Remi Delmas, Thanh Nguyen, Zyad Hassan","submitted_at":"2026-06-16T00:11:04Z","abstract_excerpt":"Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic checks under Miri, but lacks static verification. We present what is, to the best of our knowledge, the largest verification campaign reported for a software library: an open, crowdsourced effort that integrates complementary verification tools into the continuous integration of a verification repository forked from the Rust standard library. We analyze the campaign's effectiveness, discuss the practical value of mac"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.17374","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2026-06-16T00:11:04Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"59ea25ffa1551361f35e254db3a54c92ecd37f2a8e7f7f6dc020a055222c8ca9","abstract_canon_sha256":"3a3ec5d477972c874fe83b8752bfdefc7e11cf15111fbefc656aaab14bb651b1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:10.523008Z","signature_b64":"dsEKrGG3FqY755EfD9fnoshNDlE8/D6F16JZ15lJswNuMGkDENRGX8pola2SJLhZ0vwLdT/nLV/cvpPj1WfyCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ce054d93d718dc98259a98c47f70df58448c31a25dae9ed9a26332c8199a370","last_reissued_at":"2026-06-19T16:10:10.522682Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:10.522682Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifying the Rust Standard Library","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.LO","authors_text":"Bart Jacobs, Byron Cook, Carolyn Zech, Celina Val, Felipe R. Monteiro, Michael Tautschnig, Rahul Kumar, Ranjit Jhala, Rebecca Rumbul, Remi Delmas, Thanh Nguyen, Zyad Hassan","submitted_at":"2026-06-16T00:11:04Z","abstract_excerpt":"Rust's type system prevents many classes of memory errors, yet its standard library relies heavily on unsafe code whose correctness is validated through testing, including dynamic checks under Miri, but lacks static verification. We present what is, to the best of our knowledge, the largest verification campaign reported for a software library: an open, crowdsourced effort that integrates complementary verification tools into the continuous integration of a verification repository forked from the Rust standard library. We analyze the campaign's effectiveness, discuss the practical value of mac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.17374","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/2606.17374/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.17374","created_at":"2026-06-19T16:10:10.522735+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.17374v1","created_at":"2026-06-19T16:10:10.522735+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.17374","created_at":"2026-06-19T16:10:10.522735+00:00"},{"alias_kind":"pith_short_12","alias_value":"PTQFJWJ5OGG4","created_at":"2026-06-19T16:10:10.522735+00:00"},{"alias_kind":"pith_short_16","alias_value":"PTQFJWJ5OGG4TASZ","created_at":"2026-06-19T16:10:10.522735+00:00"},{"alias_kind":"pith_short_8","alias_value":"PTQFJWJ5","created_at":"2026-06-19T16:10:10.522735+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W","json":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W.json","graph_json":"https://pith.science/api/pith-number/PTQFJWJ5OGG4TASZVGGEP5YN6W/graph.json","events_json":"https://pith.science/api/pith-number/PTQFJWJ5OGG4TASZVGGEP5YN6W/events.json","paper":"https://pith.science/paper/PTQFJWJ5"},"agent_actions":{"view_html":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W","download_json":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W.json","view_paper":"https://pith.science/paper/PTQFJWJ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.17374&json=true","fetch_graph":"https://pith.science/api/pith-number/PTQFJWJ5OGG4TASZVGGEP5YN6W/graph.json","fetch_events":"https://pith.science/api/pith-number/PTQFJWJ5OGG4TASZVGGEP5YN6W/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W/action/storage_attestation","attest_author":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W/action/author_attestation","sign_citation":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W/action/citation_signature","submit_replication":"https://pith.science/pith/PTQFJWJ5OGG4TASZVGGEP5YN6W/action/replication_record"}},"created_at":"2026-06-19T16:10:10.522735+00:00","updated_at":"2026-06-19T16:10:10.522735+00:00"}