{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:K2EHVWRGSHQZSFZG424A2C6W37","short_pith_number":"pith:K2EHVWRG","canonical_record":{"source":{"id":"2606.23759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"ab46966dfefb2f26da23ead7ea90d0934749d718ec57535fd137792ebc9ff53d","abstract_canon_sha256":"2853953e31fa5103bfeb4ecbc51d442256338f096418e0f4f0e46f8f2e486a5b"},"schema_version":"1.0"},"canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","source":{"kind":"arxiv","id":"2606.23759","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23759","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23759v1","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23759","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_12","alias_value":"K2EHVWRGSHQZ","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_16","alias_value":"K2EHVWRGSHQZSFZG","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_8","alias_value":"K2EHVWRG","created_at":"2026-06-24T00:14:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:K2EHVWRGSHQZSFZG424A2C6W37","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"ab46966dfefb2f26da23ead7ea90d0934749d718ec57535fd137792ebc9ff53d","abstract_canon_sha256":"2853953e31fa5103bfeb4ecbc51d442256338f096418e0f4f0e46f8f2e486a5b"},"schema_version":"1.0"},"canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T00:14:25.158462Z","signature_b64":"nJfbZzYM88FT1CwVmYlY1+9VcCratVFjJ0fSofAq4RBAkrkxiBWEZ0oDIjJRYht0QU8TSm3JBfmrqKy0icdfBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","last_reissued_at":"2026-06-24T00:14:25.158050Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T00:14:25.158050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23759","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-24T00:14:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"65Bwgx6gRZtlewi7g4v9kfrYjwcTZI3gNyKQLRPFwzW9O3UE4Sr2bwgCcbzH2xIDH8NlgQmu/cysQV+j24uECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:04:53.636740Z"},"content_sha256":"60f6db5cfa0e495fdeedb1676ad9c902af562578d7f9505d2c34c1106d48ae8f","schema_version":"1.0","event_id":"sha256:60f6db5cfa0e495fdeedb1676ad9c902af562578d7f9505d2c34c1106d48ae8f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:K2EHVWRGSHQZSFZG424A2C6W37","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriPilot: An LLM-Powered Verilog Debugging Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.AR","authors_text":"Cheng Liu, Huawei Li, Jiazheng Zhang, Lei Zhang, Long Cheng, Xiaowei Li, Yihan Wang","submitted_at":"2026-06-22T09:15:40Z","abstract_excerpt":"Verilog debugging remains one of the most time-consuming stages in digital circuit design. Recent advances in Large Language Models (LLMs) have enabled automated debugging; however, most existing approaches rely solely on test outputs and compiler feedback in an end-to-end manner, limiting their effectiveness on complex bugs. A key challenge is that the root cause of an error may be far removed from its observable outputs, making it difficult for LLMs to trace long dependency chains in code. This challenge is further exacerbated in large codebases, where long context lengths hinder efficient r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23759","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.23759/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-24T00:14:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4bS/HCu8e1R7g16XxVpA54GOEAA9OD+5gpmkNkoxoLoHx4nWEUfHNV0PlfnspkyPc+Lrvhkg66jEtagynIqcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:04:53.637117Z"},"content_sha256":"c2737fdc38389f5fe1cd0d7de9f151c2d27b26b221d2f22a82bf07d1a5435b36","schema_version":"1.0","event_id":"sha256:c2737fdc38389f5fe1cd0d7de9f151c2d27b26b221d2f22a82bf07d1a5435b36"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/bundle.json","state_url":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K2EHVWRGSHQZSFZG424A2C6W37/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-07T09:04:53Z","links":{"resolver":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37","bundle":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/bundle.json","state":"https://pith.science/pith/K2EHVWRGSHQZSFZG424A2C6W37/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K2EHVWRGSHQZSFZG424A2C6W37/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:K2EHVWRGSHQZSFZG424A2C6W37","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":"2853953e31fa5103bfeb4ecbc51d442256338f096418e0f4f0e46f8f2e486a5b","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","title_canon_sha256":"ab46966dfefb2f26da23ead7ea90d0934749d718ec57535fd137792ebc9ff53d"},"schema_version":"1.0","source":{"id":"2606.23759","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23759","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23759v1","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23759","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_12","alias_value":"K2EHVWRGSHQZ","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_16","alias_value":"K2EHVWRGSHQZSFZG","created_at":"2026-06-24T00:14:25Z"},{"alias_kind":"pith_short_8","alias_value":"K2EHVWRG","created_at":"2026-06-24T00:14:25Z"}],"graph_snapshots":[{"event_id":"sha256:c2737fdc38389f5fe1cd0d7de9f151c2d27b26b221d2f22a82bf07d1a5435b36","target":"graph","created_at":"2026-06-24T00:14:25Z","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.23759/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verilog debugging remains one of the most time-consuming stages in digital circuit design. Recent advances in Large Language Models (LLMs) have enabled automated debugging; however, most existing approaches rely solely on test outputs and compiler feedback in an end-to-end manner, limiting their effectiveness on complex bugs. A key challenge is that the root cause of an error may be far removed from its observable outputs, making it difficult for LLMs to trace long dependency chains in code. This challenge is further exacerbated in large codebases, where long context lengths hinder efficient r","authors_text":"Cheng Liu, Huawei Li, Jiazheng Zhang, Lei Zhang, Long Cheng, Xiaowei Li, Yihan Wang","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","title":"VeriPilot: An LLM-Powered Verilog Debugging Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23759","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:60f6db5cfa0e495fdeedb1676ad9c902af562578d7f9505d2c34c1106d48ae8f","target":"record","created_at":"2026-06-24T00:14:25Z","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":"2853953e31fa5103bfeb4ecbc51d442256338f096418e0f4f0e46f8f2e486a5b","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2026-06-22T09:15:40Z","title_canon_sha256":"ab46966dfefb2f26da23ead7ea90d0934749d718ec57535fd137792ebc9ff53d"},"schema_version":"1.0","source":{"id":"2606.23759","kind":"arxiv","version":1}},"canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56887ada2691e1991726e6b80d0bd6dfcad2916bf40a239c4bedfc6bd6bf7227","first_computed_at":"2026-06-24T00:14:25.158050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T00:14:25.158050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nJfbZzYM88FT1CwVmYlY1+9VcCratVFjJ0fSofAq4RBAkrkxiBWEZ0oDIjJRYht0QU8TSm3JBfmrqKy0icdfBw==","signature_status":"signed_v1","signed_at":"2026-06-24T00:14:25.158462Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23759","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60f6db5cfa0e495fdeedb1676ad9c902af562578d7f9505d2c34c1106d48ae8f","sha256:c2737fdc38389f5fe1cd0d7de9f151c2d27b26b221d2f22a82bf07d1a5435b36"],"state_sha256":"77913e79715d9af0555854d84ee84b4f702f79895d911f464523f3bc5bf62190"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cozmyIjcs7bIC7YJ0LkLuDgW3dUdl/i4KPgS65hjqr2GVt1aCcihJBvlRc8F8qsEWdwRSIlmXS5CAcbfA8cWBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T09:04:53.639031Z","bundle_sha256":"1f93be9967c7fc74ebb70154ebbdb13342846192f7a2b82c68c0e1edd6fd0319"}}