{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JZB4JT5YBNDSOLCUNKVP2QUM3D","short_pith_number":"pith:JZB4JT5Y","canonical_record":{"source":{"id":"2607.02748","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-07-02T20:33:32Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"7358a9537a899f49c3119ea133db8a60266d04f9a8ebf44902d571f3444a6026","abstract_canon_sha256":"d895351978b634442cce83d454085a04e7710dab09cc9f7c42ec19f0236b1f28"},"schema_version":"1.0"},"canonical_sha256":"4e43c4cfb80b47272c546aaafd428cd8d6d7e65f2ade174abcc602d4e7006e99","source":{"kind":"arxiv","id":"2607.02748","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02748","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02748v1","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02748","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"JZB4JT5YBNDS","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"JZB4JT5YBNDSOLCU","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"JZB4JT5Y","created_at":"2026-07-07T00:16:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JZB4JT5YBNDSOLCUNKVP2QUM3D","target":"record","payload":{"canonical_record":{"source":{"id":"2607.02748","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-07-02T20:33:32Z","cross_cats_sorted":["cs.PL","cs.SE"],"title_canon_sha256":"7358a9537a899f49c3119ea133db8a60266d04f9a8ebf44902d571f3444a6026","abstract_canon_sha256":"d895351978b634442cce83d454085a04e7710dab09cc9f7c42ec19f0236b1f28"},"schema_version":"1.0"},"canonical_sha256":"4e43c4cfb80b47272c546aaafd428cd8d6d7e65f2ade174abcc602d4e7006e99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T00:16:11.838417Z","signature_b64":"jpseXwU03XdoUousFbpzvcgRhHlZ+W0Ki+0/g079ZyUD8TSzidjWvpuZqLZi0xaaMwvG9zD1QxLVDu5PLlJHDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e43c4cfb80b47272c546aaafd428cd8d6d7e65f2ade174abcc602d4e7006e99","last_reissued_at":"2026-07-07T00:16:11.837721Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T00:16:11.837721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.02748","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-07T00:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E9PBrNu/iIs5Ytl1HCD6lcK44NSvvTF+guh0GuUED2xKOWg4OBbXGJqJxLicYWdYAX00uED3y/PMedilMFuQDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T14:20:49.345504Z"},"content_sha256":"a1bae995d92b2ae4f9dbf967f3bd48d1f55297df0ac73eaf79517edee81248d4","schema_version":"1.0","event_id":"sha256:a1bae995d92b2ae4f9dbf967f3bd48d1f55297df0ac73eaf79517edee81248d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JZB4JT5YBNDSOLCUNKVP2QUM3D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","cs.SE"],"primary_cat":"cs.OS","authors_text":"Andi Quinn, Dan Williams, Jianchang Su, Weichen Tao, Wei Zhang, Xiangyu Gao, Yusheng Zheng, Zhengjie Ji","submitted_at":"2026-07-02T20:33:32Z","abstract_excerpt":"eBPF lets developers run custom programs inside the Linux kernel, where a verifier proves each program safe. However, when the verifier rejects a program, the unclear error makes repair challenging: the error reports where verification stopped, not where the program lost the proof the verifier required. To quantify this gap, we conduct an empirical study of 235 reproduced rejections, showing that 47% of rejections return only EINVAL, one error string maps to as many as nine distinct root causes, and 10 of the 12 root causes are eBPF-specific. Repair thus requires both domain knowledge and loca"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02748","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/2607.02748/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-07T00:16:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yJBmBiOFIosMjYmLIIuxyVsVLiwpDKFR57LICr+t4C7bKNvx+etnIpr8+RfjqbnkVIY9NSx2A3X7vI/W+9UVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T14:20:49.346037Z"},"content_sha256":"bfde58056bf07500be2298505beb0d8814672674f27302f1a446d873ce3ab2ba","schema_version":"1.0","event_id":"sha256:bfde58056bf07500be2298505beb0d8814672674f27302f1a446d873ce3ab2ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/bundle.json","state_url":"https://pith.science/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/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-03T14:20:49Z","links":{"resolver":"https://pith.science/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D","bundle":"https://pith.science/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/bundle.json","state":"https://pith.science/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JZB4JT5YBNDSOLCUNKVP2QUM3D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JZB4JT5YBNDSOLCUNKVP2QUM3D","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":"d895351978b634442cce83d454085a04e7710dab09cc9f7c42ec19f0236b1f28","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-07-02T20:33:32Z","title_canon_sha256":"7358a9537a899f49c3119ea133db8a60266d04f9a8ebf44902d571f3444a6026"},"schema_version":"1.0","source":{"id":"2607.02748","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02748","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02748v1","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02748","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_12","alias_value":"JZB4JT5YBNDS","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_16","alias_value":"JZB4JT5YBNDSOLCU","created_at":"2026-07-07T00:16:11Z"},{"alias_kind":"pith_short_8","alias_value":"JZB4JT5Y","created_at":"2026-07-07T00:16:11Z"}],"graph_snapshots":[{"event_id":"sha256:bfde58056bf07500be2298505beb0d8814672674f27302f1a446d873ce3ab2ba","target":"graph","created_at":"2026-07-07T00:16:11Z","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.02748/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"eBPF lets developers run custom programs inside the Linux kernel, where a verifier proves each program safe. However, when the verifier rejects a program, the unclear error makes repair challenging: the error reports where verification stopped, not where the program lost the proof the verifier required. To quantify this gap, we conduct an empirical study of 235 reproduced rejections, showing that 47% of rejections return only EINVAL, one error string maps to as many as nine distinct root causes, and 10 of the 12 root causes are eBPF-specific. Repair thus requires both domain knowledge and loca","authors_text":"Andi Quinn, Dan Williams, Jianchang Su, Weichen Tao, Wei Zhang, Xiangyu Gao, Yusheng Zheng, Zhengjie Ji","cross_cats":["cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02748","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:a1bae995d92b2ae4f9dbf967f3bd48d1f55297df0ac73eaf79517edee81248d4","target":"record","created_at":"2026-07-07T00:16:11Z","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":"d895351978b634442cce83d454085a04e7710dab09cc9f7c42ec19f0236b1f28","cross_cats_sorted":["cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-07-02T20:33:32Z","title_canon_sha256":"7358a9537a899f49c3119ea133db8a60266d04f9a8ebf44902d571f3444a6026"},"schema_version":"1.0","source":{"id":"2607.02748","kind":"arxiv","version":1}},"canonical_sha256":"4e43c4cfb80b47272c546aaafd428cd8d6d7e65f2ade174abcc602d4e7006e99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e43c4cfb80b47272c546aaafd428cd8d6d7e65f2ade174abcc602d4e7006e99","first_computed_at":"2026-07-07T00:16:11.837721Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T00:16:11.837721Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jpseXwU03XdoUousFbpzvcgRhHlZ+W0Ki+0/g079ZyUD8TSzidjWvpuZqLZi0xaaMwvG9zD1QxLVDu5PLlJHDA==","signature_status":"signed_v1","signed_at":"2026-07-07T00:16:11.838417Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02748","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a1bae995d92b2ae4f9dbf967f3bd48d1f55297df0ac73eaf79517edee81248d4","sha256:bfde58056bf07500be2298505beb0d8814672674f27302f1a446d873ce3ab2ba"],"state_sha256":"e0956e40703fb132ee58ce16b4707a7f4e742ae569be6061749ee4dbac5b3257"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J3MoKEkxkNvVsWsUb0SxHiiUOj/DbZO5yxZMflRNdwKUMYgA6pSIiIMAqO2IqOUmNrImLpW8MDXsDUokN1K6CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T14:20:49.351168Z","bundle_sha256":"2ac48c25e297ea774e1481b183d2f81e5250a92caf4ef9628ff95a84f9229127"}}