{"as_of":"2026-08-10T15:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:47705a25f35f53b59b5b2751554e14f521c1d2a02e4864bd927e963751b38dab","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-12T07:18:56.905617Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.02748/citation-record","integrity":"/paper/2607.02748/integrity","json":"/paper/2607.02748/citation-record.json","paper":"/paper/2607.02748"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:8f8865c8d2d434b12207c3f78b92263348090e1aca785bfc285d1f9bf022d838","observation_id":"84feb343-5055-4417-b4be-4441445ef75b","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"Cimatti, A","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:c2bf06be3580f3a7a7d9540de15d270f1f44a0501261a9e5a86ff796596db599","observation_id":"97f39531-a54a-42de-b68e-dd3dceed7225","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2197.367342","doi":"10.1145/3672197.3673429","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"653641cc-4ec3-4aa0-9bb1-a1f0e4097873","year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:f1336419917072d115f99276b32d8132d41d69392fedbb36ea7139dc62f18d1b","observation_id":"8c663c17-a85e-40a9-b82e-4478493be42d","resolution":{"observed_at":"2026-07-12T07:28:35.323404Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:fce06ddff72cc8df6c963704474e957b7605fdcae171ad9f0c9ee4765f4466c0","observation_id":"847f968f-3f1b-48ec-80df-5e54896ba513","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.00026","last_updated":"2024-10-03T10:23:05Z","snapshot_observed_at":"2026-07-06T19:24:48.032228Z","submitted_at":"2024-09-16T13:28:07Z","title":"The eBPF Runtime in the Linux Kernel","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.00026","snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"arXiv:2410.00026 [cs.OS] https://arxiv.org/abs/2410.00026","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"cited_paper":"/paper/2410.00026","citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:9b4bd0eb3d01b089c10c0ac02e6bffdda5ee0a18a69ae44265aa6352f1847d77","observation_id":"cc61465b-7ede-470c-8d8c-d53080920e42","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:a912939f9a167df5d9d71e54d10dbd860d7eab7f28eda75fde92149710a706e8","observation_id":"dc1c64e1-d347-4bd9-ad44-26412b0108e5","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"InProceedings of the 40th ACM SIGPLAN Conference on Pro- gramming Language Design and Implementation(Phoenix, AZ, USA) (PLDI 2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:4f02cbff3d99d31e872b9579b9af62137af2b3ddfee036dedd7356c46613fde9","observation_id":"4cec23bb-dc72-4b69-8670-6dbbe51692e7","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:9ca4a3d88ea0839fcdf061c5143c88ae71c73b7d7133d309986a80d5f2b55667","observation_id":"fc5602c7-5587-4e70-b2ba-95296304c0d3","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1908.11019","last_updated":"2020-10-17T14:44:18Z","snapshot_observed_at":"2026-08-09T13:42:10.010360Z","submitted_at":"2019-08-29T02:19:47Z","title":"A game of alignment:collective behavior of multi-species","version":2},"cited_work":{"arxiv_id":"1908.11019","doi":"10.1145/1101908.1101949","metadata_source":"pith","pith_arxiv_id":"1908.11019","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"A game of alignment:collective behavior of multi-species","venue":"math.AP","work_id":"5392918c-bd57-4aec-998a-76d21b28e58f","year":2019},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"cited_paper":"/paper/1908.11019","citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:a4dfb1e9d74e4a97116764f7288ea6cb1326916b7fbbdc0bec576c86ab80fb78","observation_id":"c6a34d2c-b958-4d36-bad1-5c5d5a72f4ee","resolution":{"observed_at":"2026-07-12T07:28:35.332705Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-07-20T16:53:15.721341+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T16:53:15.721341+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:2db5d8988e825da40f554f08b4973d399d35379cda3279ded8d4c79eb84d250a","observation_id":"ca8dac2b-8564-4a41-9510-14aea3639fe7","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9021.360930","doi":"10.1145/3609021.3609301","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"42ed9f83-cd05-490f-9c79-a416687a620e","year":2023},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:f4369ec7e63308af557a73965a3e0952c35b9c5357ca982b4218a59cbb37708f","observation_id":"8580f26a-9603-4b98-adba-a04374a993cf","resolution":{"observed_at":"2026-07-12T07:28:35.326520Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:cb0c6e36ce3cfcc48f4908bf763742bc80bf5a76250e107435ec3b7f77ec5a53","observation_id":"af21499b-4489-412e-98f9-80ccb2b60277","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:98da2b4b6eaff7e5ec082ceede8fc135bf58061018d767a13dc543458619ee41","observation_id":"f5804126-cf5a-400c-87c2-518e509bde2d","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:dd3f23d9363b34b56d563c5996be7f9aea769eb5c4d567a577f9c074286c404c","observation_id":"60eb5ae5-8e30-4375-9636-8d8c8a9b28c5","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:790373a74d234c9c16cdd1b7bbd525abcef1e2f30d0b9f6cf73a6124d5cdb70a","observation_id":"4c08bf0c-8e10-4ea9-ba16-0148c5bdb39b","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:04ede2e3e4f9ee4f4795a44f646ec3b0a82dd50be34557e40a30450691299579","observation_id":"6f7f3f36-297c-48b7-81dc-058ac185699e","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:b064d774b40b728d5747e569bd6f9b76b99b35f1ed9c7564ca9e68d5e6abfbe0","observation_id":"ababff15-e900-40cb-85ca-3a32ec74d306","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:f73e0208dd8112eaa7cb96d4111e4f134bef2af7399580f6c158a3be00fdbd9a","observation_id":"d2455379-5cbf-4e7e-b36a-2553cedad335","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:f80800808c094eff8dd168790efc374762f873ab212cdc061e86cabb315d467b","observation_id":"65f3047f-8f64-46e5-b83f-a59ca4ecd244","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:050a0488fa3f6467ddb37d93e1e288fbcd7fbf0f73ddb62aa0f8e8a43ed3e737","observation_id":"ee717446-355c-48a2-bb76-9eeb36c694c3","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:1cd6083fd8a34ef19b0d29957552cbf17cd2a147bb5916eac963a1ed638d7cd6","observation_id":"df5cb9e3-70a8-4775-bcca-a878671840fc","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:f8477119d38c62cb393f2c264e030b93c9f6614b26875da7414f0dca7530f85f","observation_id":"f7c54e69-f0b1-4ccf-a9cf-c5b37d25bd53","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:72021826f88b00e5d869208cb0c2de283d7c224727e2b1cfd16ff994d97ed250","observation_id":"45a85087-1e21-46bc-b2e9-f35be169d677","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":"2016), 707–740","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:11d01ae59ffbd74ec22c91107902f5f30123c9647d61e5fc310d4155d158c3bf","observation_id":"e59d28f7-ee47-4477-906f-19c450854a43","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:e7e348d330ca534133209f90b636dc638181db75ef1ea9256e1f46800c081244","observation_id":"29291c86-01ad-45fc-8d72-361a94167dbb","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:73e8133a0b6d10016d91613be727b65e6686360e48693f5ae8b7338cb4daf4c2","observation_id":"7ba5a8ed-72b8-41f7-a6cc-5f7bdcf6c278","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:aefb283abbb687a43e4340b2f100b7f5c7078ecf67f73bde365c42fefa482350","observation_id":"9c5c3775-dd81-4745-8393-e21b68b5550a","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-12T07:18:56.905617Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-12T07:18:56.905617Z"},"links":{"citing_paper":"/paper/2607.02748"},"observation_digest":"sha256:b9c982d02d87d72c51b97c28159fc39c2da73a1a58f2ba736b9c14f3ba033ff7","observation_id":"0077c1ac-58c4-42c2-bdaa-02da7d3f4d60","resolution":{"observed_at":"2026-07-12T07:18:56.905617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.02748","last_updated":"2026-07-02T20:33:32Z","latest_version":1,"primary_category":"cs.OS","snapshot_observed_at":"2026-08-01T08:56:53.855289Z","submitted_at":"2026-07-02T20:33:32Z","title":"Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":23,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":28},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2607.02748."}