{"as_of":"2026-08-18T14:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cf174148643ff0f70f6e8391ccf848ac0f565bc2c6f304820cb5d4df25d3200b","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T18:43:58.149593Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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.17220/citation-record","integrity":"/paper/2607.17220/integrity","json":"/paper/2607.17220/citation-record.json","paper":"/paper/2607.17220"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2603.27107","doi":"10.48550/arxiv.2603.27107","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"0fbf1e98-4a27-4b6a-9e8a-d1dae409b695","year":2026},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.624808Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:c3c09c0d281592a2efaf0bcfede1e296da45f2365515598dc3a47b85fe9ab899","observation_id":"c3c91829-b6f5-409c-95fa-a960df1f3fba","resolution":{"observed_at":"2026-08-01T18:49:12.642431Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.18650775","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Open MIND","work_id":"ac9fb68c-59e9-473f-b2b0-d04b9cf8c347","year":2026},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.672705Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:a9080dcd89bb3d47aae5743ce9fc900166430b2013df83f455fa455afe560113","observation_id":"bddd34b6-efdd-4745-a42f-073e65dff311","resolution":{"observed_at":"2026-08-01T18:49:12.482472Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-17T18:08:14.539177+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-17T18:08:14.539177+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-01T18:43:56.715213Z","title":"In:Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Springer, pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.715213Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:d140ac1fe2256e86572027be3b9a84da13b90d928d54407d00a5a230b6380270","observation_id":"597015c5-042e-450a-b5d7-edfdfc57bd88","resolution":{"observed_at":"2026-08-01T18:43:56.715213Z","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":"10.1007/s10817-020-09571-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1393–1418, doi:10.1007/s10817-020-09571-y","venue":"Journal of Automated Reasoning","work_id":"f82aa87f-46b3-41bc-bbef-e97dfad6e397","year":2020},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.765025Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:3b875c635eb4e75ac118b955c17c75680bbf814c192090604f29a0462464c8c9","observation_id":"4d418936-3929-4700-ad06-1285d3518671","resolution":{"observed_at":"2026-08-01T18:49:12.331609Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-01T18:43:56.850043Z","title":"WebAssembly Documentation","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.850043Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:56f0aab850d02c0587ee4aa0fe9729dd683173dd488b241cfde46af42e78b3f0","observation_id":"9baceb8d-f148-42f9-80c6-dc7752f7dad1","resolution":{"observed_at":"2026-08-01T18:43:56.850043Z","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-08-01T18:43:56.901473Z","title":"In:International Conference on Computer Aided Verification, Springer, pp","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.901473Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:9e7f80c4363ebf740aa97ee4216393883c55339a731ad192e09111f54b198fb3","observation_id":"789feb88-e3a4-4a70-9377-212c46e15e6e","resolution":{"observed_at":"2026-08-01T18:43:56.901473Z","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-08-01T18:43:56.971799Z","title":"In: Proceedings of the 38th ACM SIGPLAN conference on programming language design and implementation, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:56.971799Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:ee0075732926be48d6f3ec4e87135b7556a085a68fcb4425b364a73e5f4418f9","observation_id":"750333ae-04e2-47c2-ad6e-d7174fe355ce","resolution":{"observed_at":"2026-08-01T18:43:56.971799Z","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-08-01T18:43:57.084364Z","title":"In:2018 Formal Methods in Computer Aided Design (FMCAD), IEEE, pp","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.084364Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:29f41d06cbb8fc0613b7949a4bbc4cdae7e340a0af31bf5e29f0ae00751230d0","observation_id":"5c000335-4857-457c-a4b4-622f6b8ef1df","resolution":{"observed_at":"2026-08-01T18:43:57.084364Z","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-08-01T18:43:57.197989Z","title":"637–650, doi:10.1145/2775051.2676980","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.197989Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:658919e4d62f04e006f099bda39975c25c362a1e9ef6860a39cf25d56e1bb6d9","observation_id":"b1534e6c-7861-4c6f-aeec-79afb7c5b4c9","resolution":{"observed_at":"2026-08-01T18:43:57.197989Z","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":"10.1007/978-3-319-41528-4_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In:International Conference on Computer Aided Verification, Springer, pp","venue":"Lecture notes in computer science","work_id":"52fb112b-19fc-4912-9a32-1b5040686488","year":2016},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.248209Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:ec2fe344f424f015d90c81bd77824f6913a77405b027cf1240cdba6e4cc2812f","observation_id":"171902c1-d1ad-4b67-9f22-afd613d47cdc","resolution":{"observed_at":"2026-08-01T18:49:12.110496Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-01T18:43:57.291462Z","title":"175–205, doi:10.1007/s10703-016-0249-4","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.291462Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:7e876be20da5268a3c61ad419d6c7604a497a741921d3ce757deda2dee2318fc","observation_id":"cfce3a19-8c1b-4426-aca3-e5cc8df2a9f4","resolution":{"observed_at":"2026-08-01T18:43:57.291462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.12816","last_updated":"2020-04-23T22:36:05Z","snapshot_observed_at":"2026-08-11T15:13:27.814382Z","submitted_at":"2020-04-23T22:36:05Z","title":"Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12816","snapshot_observed_at":"2026-08-01T18:43:57.356047Z","title":"In:International symposium on code generation and optimization, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.356047Z"},"links":{"cited_paper":"/paper/2004.12816","citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:725293caeeef3acc4436a60e1a7e6a3914021aac443907fe1ab8bdff0d8c7278","observation_id":"213109bd-465f-4322-8803-611f7efd98eb","resolution":{"observed_at":"2026-08-01T18:43:57.356047Z","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-08-01T18:43:57.377042Z","title":"1–54, doi:10.1145/3462205","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.377042Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:9b81f2f2d2a2c34b3b0f52eeaad31936dd14f2a38c18614e3a65eddf642849a1","observation_id":"923040e1-f182-4226-8953-e42e580f5eb5","resolution":{"observed_at":"2026-08-01T18:43:57.377042Z","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-08-01T18:43:57.384663Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.384663Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:49c4d6510fdaf109890a5004420707bd0ebd2575847989b05891eec631b25289","observation_id":"dacedcd2-1349-40ec-bce0-5c89bce6340f","resolution":{"observed_at":"2026-08-01T18:43:57.384663Z","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-08-01T18:43:57.545012Z","title":"Master’s thesis, ETSI_Informatica","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.545012Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:31e5c6f4d106771243f8802059df3094ccd430a6415d5249cd45e9e4bbf40a37","observation_id":"76ac5c24-c0f0-424d-a573-b28f4ecaef2e","resolution":{"observed_at":"2026-08-01T18:43:57.545012Z","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":"10.1145/3591265","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1096–1120, doi:10.1145/3591265","venue":"Proceedings of the ACM on Programming Languages","work_id":"ab1a671e-5eae-4521-885f-d3012ed31c84","year":2023},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.714213Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:0be254e46ba269f8cc71ba310895dc7178debe16277d3e50b146720acc223562","observation_id":"f3c7a70d-a6eb-4665-9216-f0cfbe8cd8c3","resolution":{"observed_at":"2026-08-01T18:49:11.841869Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-01T18:43:57.836303Z","title":"World Wide Web Consortium (W3C)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.836303Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:3bebec9a0ea13bffad11320e8d4e7c13d6a396ae1beda97e04c9721d785e61f4","observation_id":"d66ed0c1-ab30-4922-90a0-20e333c7e6ec","resolution":{"observed_at":"2026-08-01T18:43:57.836303Z","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-08-01T18:43:57.985683Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:57.985683Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:d3af3e2b8d8a77537ca72d75c668bd9972cf93d44c739c00f383d1e0d2077581","observation_id":"d1fd3d4c-e213-467c-815a-6cacd1dc2ab7","resolution":{"observed_at":"2026-08-01T18:43:57.985683Z","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":"10.1145/3167082","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In:Proceedings of the 7th ACM SIGPLAN International Conference on certified programs and proofs, pp","venue":null,"work_id":"3dc69f02-8a22-4959-bda2-ab87abbfe85c","year":2018},"citing_paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T18:43:58.149593Z"},"links":{"citing_paper":"/paper/2607.17220"},"observation_digest":"sha256:4e2052bff27dcfe65ded5f129a65c49a469e5f460e2984022c6bb850677fa339","observation_id":"cdd04949-9ad2-4e62-802b-3c4234e0177c","resolution":{"observed_at":"2026-08-01T18:49:11.643834Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.17220","last_updated":"2026-07-19T12:23:43Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-11T15:13:52.054044Z","submitted_at":"2026-07-19T12:23:43Z","title":"CHC-based Automated Verification of WebAssembly Programs"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":12,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":19},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2607.17220."}