{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FGOL4VRLAIWEBI6CFR3Q5ZPVT3","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":"33a34a87bfccd11677b0b9c537f446774108e1e3b85bc3666a6d530c96b26a4d","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-24T10:06:52Z","title_canon_sha256":"8d99da9a146bddb4dada9d01f91026cbed09b3a4c5c1251a5330a3c54a8cc6bc"},"schema_version":"1.0","source":{"id":"2607.22161","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.22161","created_at":"2026-07-27T01:20:51Z"},{"alias_kind":"arxiv_version","alias_value":"2607.22161v1","created_at":"2026-07-27T01:20:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.22161","created_at":"2026-07-27T01:20:51Z"},{"alias_kind":"pith_short_12","alias_value":"FGOL4VRLAIWE","created_at":"2026-07-27T01:20:51Z"},{"alias_kind":"pith_short_16","alias_value":"FGOL4VRLAIWEBI6C","created_at":"2026-07-27T01:20:51Z"},{"alias_kind":"pith_short_8","alias_value":"FGOL4VRL","created_at":"2026-07-27T01:20:51Z"}],"graph_snapshots":[{"event_id":"sha256:579f056f77741cd5975097847918049dff950ae0bae86bee700d67db2bb9f9a6","target":"graph","created_at":"2026-07-27T01:20:51Z","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/2607.22161/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Rust's ownership model and type system offer strong memory safety guarantees, but unsafe code and runtime panics still present significant risks. Formal verification is essential to ensure memory safety, but developing verification harnesses remains a challenging and manual task. Although large language models (LLMs) have shown strong performance in various code analysis tasks, directly applying them to harness generation often results in inaccurate API invocations, inefficient nondeterministic data generation, and fabricated fixes.\n  In this paper, we present HarnessLLM, an automated workflow","authors_text":"Lin Huang, Minghua Wang, Yuwei Liu","cross_cats":["cs.CR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-24T10:06:52Z","title":"HarnessLLM: Rust Verification Harness Generation with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.22161","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:6421f55db5e6aa93693837999e3180c9b6afbed4a9ce4a696493428552233594","target":"record","created_at":"2026-07-27T01:20:51Z","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":"33a34a87bfccd11677b0b9c537f446774108e1e3b85bc3666a6d530c96b26a4d","cross_cats_sorted":["cs.CR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-24T10:06:52Z","title_canon_sha256":"8d99da9a146bddb4dada9d01f91026cbed09b3a4c5c1251a5330a3c54a8cc6bc"},"schema_version":"1.0","source":{"id":"2607.22161","kind":"arxiv","version":1}},"canonical_sha256":"299cbe562b022c40a3c22c770ee5f59ece5fe7db9bca8ef98c85f9e591724ee8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"299cbe562b022c40a3c22c770ee5f59ece5fe7db9bca8ef98c85f9e591724ee8","first_computed_at":"2026-07-27T01:20:51.314677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-27T01:20:51.314677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kSRSkP4txPfHWWWTx+JHS4jm0UEGedKKjsvMtoOIbZT3T93oxiUQaHL56PZvLC9pRnYRTaBTEsiQz8svSycPDg==","signature_status":"signed_v1","signed_at":"2026-07-27T01:20:51.315545Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.22161","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6421f55db5e6aa93693837999e3180c9b6afbed4a9ce4a696493428552233594","sha256:579f056f77741cd5975097847918049dff950ae0bae86bee700d67db2bb9f9a6"],"state_sha256":"48042772fd9ae06d05b8f14ebcaa6c32e2b4bbc8169b0cc1eae9119fdd65812e"}