{"as_of":"2026-08-09T12:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c46c820335f99ae70f1e5e122d14165d1ca07acca1e6fa498ac9cb1d7be8d12","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-09T06:31:02.800959+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-06T01:49:42.458987Z","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:487bf47e5e7b04e00acb58eae1d62a9fae59349d89d5a3561eeab651a29217a9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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:6851a00f5b2342b9accdf797c8c61e5c8eba7e82ee657ffc4ab295e1a0d3726c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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:a62e249984f16c4bd35965cefdb0431831f18e75acb3f5f9cf553395590e03ed","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-06T01:49:42.458987Z","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:e56a180a4a93b87f132cccdcfff45c9216b9170a404ca04a7cc9c37b61aefa2f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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:2c2d8f8df792ac8de9ea5cf9a8f76fc6316b4dcf711b577cf108a1510eb11c37","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-06T01:49:42.458987Z","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:ffc3e0defd82db07bf2a6efbd80eaee172d959526db9a8477cc7fe92f2f9501e","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-06T01:49:42.458987Z","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:8e84ed6b6ca8fd4ad2e7472d132fb84522fa5f0af6a105cb1a28443e943af1fb","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-06T01:49:42.458987Z","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:abb9ec1a8503257e7dfb1c1884e6893c2069f18a653befbb86a77a11a0a7d595","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-06T01:49:42.458987Z","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:f441231e268648207bd800989d5352fa336d694a4da935d71813e61099491419","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-06T01:49:42.458987Z","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:fba870a2c3c8452792a1c4f1fda0542549f84dce3668cb122a736a6ac718970a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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:44a044dbc971bf548fb98356d56d9f14f6181e5a2be8d167bcc4fefa6cb47120","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-07-31T00:36:11.204598Z","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-06T01:49:42.458987Z","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:bc0e5feaedab34b04f30e03c48659af6bdf797492149ae5459e9a5c9085fbc8d","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-06T01:49:42.458987Z","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:12088e331b0e474e500b45a0d974f5b7bf66a2bbb181bbf61e0d0a10b16c428c","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-06T01:49:42.458987Z","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:966c0bfaa2dee6d672504c98dd4324e0d101387127ddfae6ab69cc5c77d7ee29","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-06T01:49:42.458987Z","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:2b5e6a91a804c073732950c49d108032ff527dcd2073204d33da75baa3b2761e","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-06T01:49:42.458987Z","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:f9849180df724dbd67f0737bc2be357f7a03cd540460daa7628adec0fcba04a6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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:7e515c10f2efd0df7f4cea75d010044ce9a1ad51b2ad98d9816b4b4ee901bab7","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-06T01:49:42.458987Z","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:48d375976848ab1c99b9e7ff32405252e64753bb765a9063c50f78f36ef26bd4","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-06T01:49:42.458987Z","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:86c9e21b454be135f9e5fe9494ebfe62bfbf71bf6cb9c0c563496de65df81764","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T01:49:42.458987Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2607.17220."}