{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ZVKCN4D652EVCOD2C765VMLHLD","short_pith_number":"pith:ZVKCN4D6","canonical_record":{"source":{"id":"2606.19725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-18T02:42:14Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"3556511df3c5e00097aa4676971c2355a94b68086d1c05bfc42c3069ad2d1487","abstract_canon_sha256":"62f6fbe2695253af96d22260df60e489ad32a9f7bcb65f76805bd64d375ef36e"},"schema_version":"1.0"},"canonical_sha256":"cd5426f07eee8951387a17fddab16758f387c5e1d0ccdd33ca13094b63333a4a","source":{"kind":"arxiv","id":"2606.19725","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19725","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19725v1","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19725","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_12","alias_value":"ZVKCN4D652EV","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZVKCN4D652EVCOD2","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZVKCN4D6","created_at":"2026-06-19T16:12:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ZVKCN4D652EVCOD2C765VMLHLD","target":"record","payload":{"canonical_record":{"source":{"id":"2606.19725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-18T02:42:14Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"3556511df3c5e00097aa4676971c2355a94b68086d1c05bfc42c3069ad2d1487","abstract_canon_sha256":"62f6fbe2695253af96d22260df60e489ad32a9f7bcb65f76805bd64d375ef36e"},"schema_version":"1.0"},"canonical_sha256":"cd5426f07eee8951387a17fddab16758f387c5e1d0ccdd33ca13094b63333a4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:12:33.392131Z","signature_b64":"9B3/u+32d8qEf02E0Rjg6/1wnDDXPzABMKoIz3j7B19U76wuRwZXcZjcpdbFzryQvkDTljv9mibR6fws7IWkCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd5426f07eee8951387a17fddab16758f387c5e1d0ccdd33ca13094b63333a4a","last_reissued_at":"2026-06-19T16:12:33.391774Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:12:33.391774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.19725","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-06-19T16:12:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q+4guZQng7LT37ACkRmDFpp97e/Y7aPxam/TnOVaDbWdF8J4f4r/LYZuLWMTvL0iZFmGuLuP9sb8pFgaTd9ZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T11:59:03.770060Z"},"content_sha256":"d2b7f0dd37806a731e9a88409074476e7785a8a26e39a4d268af954fccb3d812","schema_version":"1.0","event_id":"sha256:d2b7f0dd37806a731e9a88409074476e7785a8a26e39a4d268af954fccb3d812"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ZVKCN4D652EVCOD2C765VMLHLD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Library-Aware Doubles and Iterative Repair for Large Language Model-Generated Unit Tests in OpenSIL Firmware","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.SE","authors_text":"Aric Leather, Haingo Razafindranto, Jitesh Arora, Ma Toan Bach, Ranveer Sandhu, Tanvir Alam, Yuchi Zheng","submitted_at":"2026-06-18T02:42:14Z","abstract_excerpt":"Validating changes in low-level C firmware is expensive because unit tests (UTs) are fragile under strict build constraints, where missing headers, unresolved symbols, and dependency mismatches frequently prevent compilation and linking. This study introduces an automated UT authoring workflow for the Open-Source Silicon Initialization Library (openSIL) firmware codebase maintained by Advanced Micro Devices (AMD) that reduces manual effort through a large language model (LLM) guided multi-agent pipeline. The workflow combines automated generation of test scaffolds, library-aware creation or re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19725","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.19725/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-06-19T16:12:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NidHiE38cwDNMgclBlFg7gAdpqvshrPGuzp+1nHpy9dy3A3tMOANB5bKHtlaX915/Gq2i6kRZFtcLHI0In4MAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T11:59:03.770452Z"},"content_sha256":"8908a0fd4cccb113963048210eeedd2129a421ea79471a8b1a8c7b39a876169b","schema_version":"1.0","event_id":"sha256:8908a0fd4cccb113963048210eeedd2129a421ea79471a8b1a8c7b39a876169b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZVKCN4D652EVCOD2C765VMLHLD/bundle.json","state_url":"https://pith.science/pith/ZVKCN4D652EVCOD2C765VMLHLD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZVKCN4D652EVCOD2C765VMLHLD/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-04T11:59:03Z","links":{"resolver":"https://pith.science/pith/ZVKCN4D652EVCOD2C765VMLHLD","bundle":"https://pith.science/pith/ZVKCN4D652EVCOD2C765VMLHLD/bundle.json","state":"https://pith.science/pith/ZVKCN4D652EVCOD2C765VMLHLD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZVKCN4D652EVCOD2C765VMLHLD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZVKCN4D652EVCOD2C765VMLHLD","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":"62f6fbe2695253af96d22260df60e489ad32a9f7bcb65f76805bd64d375ef36e","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-18T02:42:14Z","title_canon_sha256":"3556511df3c5e00097aa4676971c2355a94b68086d1c05bfc42c3069ad2d1487"},"schema_version":"1.0","source":{"id":"2606.19725","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.19725","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"arxiv_version","alias_value":"2606.19725v1","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19725","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_12","alias_value":"ZVKCN4D652EV","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_16","alias_value":"ZVKCN4D652EVCOD2","created_at":"2026-06-19T16:12:33Z"},{"alias_kind":"pith_short_8","alias_value":"ZVKCN4D6","created_at":"2026-06-19T16:12:33Z"}],"graph_snapshots":[{"event_id":"sha256:8908a0fd4cccb113963048210eeedd2129a421ea79471a8b1a8c7b39a876169b","target":"graph","created_at":"2026-06-19T16:12:33Z","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/2606.19725/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Validating changes in low-level C firmware is expensive because unit tests (UTs) are fragile under strict build constraints, where missing headers, unresolved symbols, and dependency mismatches frequently prevent compilation and linking. This study introduces an automated UT authoring workflow for the Open-Source Silicon Initialization Library (openSIL) firmware codebase maintained by Advanced Micro Devices (AMD) that reduces manual effort through a large language model (LLM) guided multi-agent pipeline. The workflow combines automated generation of test scaffolds, library-aware creation or re","authors_text":"Aric Leather, Haingo Razafindranto, Jitesh Arora, Ma Toan Bach, Ranveer Sandhu, Tanvir Alam, Yuchi Zheng","cross_cats":["cs.AI","cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-18T02:42:14Z","title":"Library-Aware Doubles and Iterative Repair for Large Language Model-Generated Unit Tests in OpenSIL Firmware"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19725","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:d2b7f0dd37806a731e9a88409074476e7785a8a26e39a4d268af954fccb3d812","target":"record","created_at":"2026-06-19T16:12:33Z","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":"62f6fbe2695253af96d22260df60e489ad32a9f7bcb65f76805bd64d375ef36e","cross_cats_sorted":["cs.AI","cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-18T02:42:14Z","title_canon_sha256":"3556511df3c5e00097aa4676971c2355a94b68086d1c05bfc42c3069ad2d1487"},"schema_version":"1.0","source":{"id":"2606.19725","kind":"arxiv","version":1}},"canonical_sha256":"cd5426f07eee8951387a17fddab16758f387c5e1d0ccdd33ca13094b63333a4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd5426f07eee8951387a17fddab16758f387c5e1d0ccdd33ca13094b63333a4a","first_computed_at":"2026-06-19T16:12:33.391774Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:12:33.391774Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9B3/u+32d8qEf02E0Rjg6/1wnDDXPzABMKoIz3j7B19U76wuRwZXcZjcpdbFzryQvkDTljv9mibR6fws7IWkCw==","signature_status":"signed_v1","signed_at":"2026-06-19T16:12:33.392131Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.19725","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2b7f0dd37806a731e9a88409074476e7785a8a26e39a4d268af954fccb3d812","sha256:8908a0fd4cccb113963048210eeedd2129a421ea79471a8b1a8c7b39a876169b"],"state_sha256":"28c808bc7e269482433ca891ad896dc51b828c5bfc0f8cae59cfddcc03360621"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pe9nvLvCc2H6WMccud92o1/llX2WUZzKegxrTcQ1qT6ETx8+in+DR+kzt3CMUVh5+WTvuZh/xK0W/c7LJGlrDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T11:59:03.772569Z","bundle_sha256":"9f33a4ca8c9a62b080845f0790738fb5d9bc5bf3c52e507e08262bcb780791bb"}}