{"as_of":"2026-08-21T11:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ab60dbc8ed680b208dbca206ac062d5da854d6e80838643877d5101c7974ba15","coverage":[{"denominator":89,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":89,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T00:20:29.768916Z","state":"measured"},{"denominator":89,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":89,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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.26306/citation-record","integrity":"/paper/2607.26306/integrity","json":"/paper/2607.26306/citation-record.json","paper":"/paper/2607.26306"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T00:20:29.542206Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.542206Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:dd96b3a1093dbb4efe91041fd33bb696843d6339b42a37dcb7089422d7975388","observation_id":"e4c33423-aa19-4e0c-aa6a-85cc6d9467f2","resolution":{"observed_at":"2026-08-01T00:20:29.542206Z","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.4230/lipics.snapl.2015.15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"f3042b89-8325-4c81-b505-9116131a5d13","year":2015},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.545674Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:d5408952c3592dd68856e82e36b03ee82952b988b4b12608ef75a209b788c7ad","observation_id":"e5d9a739-2831-4f34-a39d-3ce68582907d","resolution":{"observed_at":"2026-08-01T00:21:38.337327Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.548495Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.548495Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:7067375c12c8978563cb86cc53aa55df529cddec01e0da53514bc691250a35d1","observation_id":"7077a5be-0e84-4fc2-81bb-6a8e2bea29b6","resolution":{"observed_at":"2026-08-01T00:20:29.548495Z","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-01T00:20:29.551481Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.551481Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b3e347e6a997e3af4467df608d722e9fd2694f0f2372aa04e8b32e77f633d20d","observation_id":"cb55c29d-1741-4283-907f-bd3206162e1f","resolution":{"observed_at":"2026-08-01T00:20:29.551481Z","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-01T00:20:29.554156Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.554156Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:8f9930be71174ec4e72c347a4681ed5a1ff85626d30200e99282a225f40c41c8","observation_id":"12814053-3928-4e5f-ba48-fe6ebe632089","resolution":{"observed_at":"2026-08-01T00:20:29.554156Z","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-01T00:20:29.556964Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.556964Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:f0fc6e2345d14f62779c16516fd8b17394d2de87aedbfa3fbab879e57f099e97","observation_id":"65249da1-ec70-4220-8e0d-4807a8fed41d","resolution":{"observed_at":"2026-08-01T00:20:29.556964Z","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-01T00:20:29.559660Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.559660Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:f90068d4d5c2b92effa974dbe6c086dd9cc46b18de0739dbc2a1b02e505441b8","observation_id":"51c1773a-0280-4a97-be93-b12a956208f1","resolution":{"observed_at":"2026-08-01T00:20:29.559660Z","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-01T00:20:29.561971Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.561971Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:bfd07c2ec07d7c524ceb4f92fe1b37502e37b1569a73e7aef190b011912dce41","observation_id":"54101a59-e008-4ef2-a38b-249b6d59b72f","resolution":{"observed_at":"2026-08-01T00:20:29.561971Z","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-01T00:20:29.564235Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.564235Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:4d7368c8252c7a00db850ec434930596b64b7a30d8405a3f01ac6e8f6ff636f9","observation_id":"8f1f6de7-4dc9-4757-a9ec-68b05fdac979","resolution":{"observed_at":"2026-08-01T00:20:29.564235Z","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-01T00:20:29.566643Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.566643Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:89525de77beeed9eceb6c65fa5cca6ff1b59390b13cc1abf00439401c3932da1","observation_id":"96f32e7c-e764-4061-a045-dad2a9152f9a","resolution":{"observed_at":"2026-08-01T00:20:29.566643Z","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-01T00:20:29.569093Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.569093Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:ccf771a0f8ce3a9bed646b2c6d331676f186a41b06f2b7f5048aeb81d84b3c33","observation_id":"63088c29-107a-4895-b5bc-67f5618eb5d4","resolution":{"observed_at":"2026-08-01T00:20:29.569093Z","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-031-27481-7_32","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ghale, David J","venue":"Lecture notes in computer science","work_id":"2ad23bef-f59f-4701-86e4-f98a16174cb2","year":2023},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.571487Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:7aee5349e8aaaeb13b02a6b5dba531752efbc27c204ba914afaaf37202bf063d","observation_id":"1c56da1d-2938-42c1-a1a4-e53b2bc3f7e0","resolution":{"observed_at":"2026-08-01T00:21:38.175148Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.573889Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.573889Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:03c180c131d77547cce3b40da8f4b4c843a06932aaa6479ec0bcdad0f607baa1","observation_id":"2cbd1350-99fb-46b2-9823-830501db5463","resolution":{"observed_at":"2026-08-01T00:20:29.573889Z","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-01T00:20:29.576197Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.576197Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:495e8ae13207126c720f1ad91b22d42a44fbfd712c40e31c870a0b1af6b1da33","observation_id":"84dad85d-86ea-4100-a643-cec8e3effcc7","resolution":{"observed_at":"2026-08-01T00:20:29.576197Z","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-031-65627-9_22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"366d4efa-115e-4dca-9487-4474a6c0b200","year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.578352Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:c3bf7d5c06750827d8d5efcf33c1bf169a6fc06e96363e24845360ae49abdf48","observation_id":"1b893f2e-91d3-41f8-b1da-398a2b200099","resolution":{"observed_at":"2026-08-01T00:21:37.934350Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2604.16584","last_updated":"2026-04-17T14:56:45Z","snapshot_observed_at":"2026-07-06T23:03:52.631613Z","submitted_at":"2026-04-17T14:56:45Z","title":"Certified Program Synthesis with a Multi-Modal Verifier","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.16584","snapshot_observed_at":"2026-08-01T00:20:29.580643Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.580643Z"},"links":{"cited_paper":"/paper/2604.16584","citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:88e4137aa30136a1d6ca8dd10425e5f5b5b4dc71d43cf7f59361b6fdf618c27b","observation_id":"5576197a-bf81-4dc6-9741-bed9f26921cc","resolution":{"observed_at":"2026-08-01T00:20:29.580643Z","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-01T00:20:29.583348Z","title":"Rabe, Talia Ringer, and Yuriy Brun","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.583348Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:e2e6a2bcc5af3cae4a2d7301a44477c4d958e6d47165420575ee0a08b80637e8","observation_id":"3d329128-1e80-4a8d-93e7-60c27752f3cf","resolution":{"observed_at":"2026-08-01T00:20:29.583348Z","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-01T00:20:29.585692Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.585692Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:d14c1d646acd3f199bb33746e1f5b2e1546e30801bf465b1365be6bd222cb15e","observation_id":"97e962f0-0b5d-4649-ba75-0db041ef1bb9","resolution":{"observed_at":"2026-08-01T00:20:29.585692Z","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-01T00:20:29.590858Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.590858Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:0e3a43beb6e5a8fc0876f0d67e5102377093a7ee78ee1cdc900ee3218fd1e25c","observation_id":"1f5e6676-f18d-46f2-a844-00cb37682532","resolution":{"observed_at":"2026-08-01T00:20:29.590858Z","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/3527321","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"8974ae45-0fa3-47aa-aa5f-b37d1d52ecda","year":2022},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.593084Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:d6dd71d14df79cdc399b98a51eec182aa143b8f93a9148a31315485406ee8366","observation_id":"af8e17fe-3d61-4282-a660-693e3e6d115e","resolution":{"observed_at":"2026-08-01T00:21:37.761567Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-89722-6_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"888f8a03-9882-4daf-b429-e8bf91bc0d81","year":2018},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.595349Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:e168977c59047e4b5435198936500f5b309c903fb6d5bdd6289f637fa38d0073","observation_id":"3c914f69-6e94-4948-b25e-f2030bd9e8ad","resolution":{"observed_at":"2026-08-01T00:21:37.642361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3689796","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"b7936eec-c6ff-424c-94ea-86be662798b6","year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.597629Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:2fca6bba1dcf5a915005abfa6f0b6965717da3bb6007e0493bb9454423c2d94e","observation_id":"ca83e7aa-04cb-46f6-a393-4f61e273fe23","resolution":{"observed_at":"2026-08-01T00:21:37.445781Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.602746Z","title":"Pollard, Nadesh Ramanathan, and John Wickerson","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.602746Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:31a2df46fb4f5448d4cabc7435b95f2f59f36d06f1d38c2042289269e1d71574","observation_id":"8e3634f7-30b0-4af5-896f-a1d5353b7f04","resolution":{"observed_at":"2026-08-01T00:20:29.602746Z","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-01T00:20:29.605050Z","title":"Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, and Grigore Rosu","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.605050Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:5168a39e2868ea96871c2c837dd5f0c50ac8d036667462148cd1fa3cdb48a49c","observation_id":"2dbb35d2-4566-438e-a453-987a2ff1f8d9","resolution":{"observed_at":"2026-08-01T00:20:29.605050Z","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-01T00:20:29.607331Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.607331Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:cef5e06cf28564b656bbcd966d5389ae9f18f7d1573dc65ff1f039179222eb32","observation_id":"6cf2041d-24fe-4f19-a73f-b084a7c8c0b4","resolution":{"observed_at":"2026-08-01T00:20:29.607331Z","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-01T00:20:29.609640Z","title":"Childers, and Mary Lou Soffa","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.609640Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:e9a5b1c5f35394693719e9afa64202096b38b881d2ea4bc2bd3bbee144d22613","observation_id":"d8e44367-da29-4b0d-932c-01cb78e138d4","resolution":{"observed_at":"2026-08-01T00:20:29.609640Z","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-01T00:20:29.611916Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.611916Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:5645d5a4b98e4a3cf3139a9baf0df068da2d2a9b876efb38fdfa181bf7ba2a04","observation_id":"668744f9-4e99-49f4-81e7-67cb2eb99a78","resolution":{"observed_at":"2026-08-01T00:20:29.611916Z","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-01T00:20:29.614200Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.614200Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:29311fafee2f4e293360fd39e019f5ce58017e5c9c81d9885ef416eaf3dabbab","observation_id":"7683b0f4-6250-4e49-942f-1c09065a972c","resolution":{"observed_at":"2026-08-01T00:20:29.614200Z","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-01T00:20:29.616513Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.616513Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:40d2b62a8986124f1cd4881898968349d9ce0dd478463bdc4b436298ac40043d","observation_id":"6b7353fb-1eba-40da-bd82-5eec30e17a94","resolution":{"observed_at":"2026-08-01T00:20:29.616513Z","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-01T00:20:29.618888Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.618888Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:838d3357579e3ec44acc6a5b0f53d61edff773ec229b06aa388b8d6ad637817b","observation_id":"9794ecc2-a0f2-4fa6-be7b-6d2d8874d12c","resolution":{"observed_at":"2026-08-01T00:20:29.618888Z","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-01T00:20:29.621403Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.621403Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:e2db86eb5323b681cefa042f396e6961ccfb0debd9090cf02924ff60245dac66","observation_id":"54dfa344-5dff-4b76-b979-90a55c2756bd","resolution":{"observed_at":"2026-08-01T00:20:29.621403Z","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-01T00:20:29.623605Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.623605Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:89d4b6cd309b36b98ba01fa60b7449e2971feffea2e03dbba8874b698490e628","observation_id":"3be2adbb-92b8-4767-bbed-5055fe9f3740","resolution":{"observed_at":"2026-08-01T00:20:29.623605Z","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-01T00:20:29.626205Z","title":"Myreen, Michael Norrish, and Scott Owens","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.626205Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:1123e46d0d1b949d1cadff5b7bc4f95715b048332dd188ccb315d95cce2787ef","observation_id":"c2e4c271-ea09-4285-9751-902ef30a8bb1","resolution":{"observed_at":"2026-08-01T00:20:29.626205Z","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.4230/lipics.itp.2019.22","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"fe250df9-33ee-4d02-a817-37f739a990f3","year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.628480Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:f87293ff05041124fc8490764162e4a88b20a723c02f77efee35ec80ce1bbf50","observation_id":"9371aa71-0db5-4867-ab67-5f121c2ff16b","resolution":{"observed_at":"2026-08-01T00:21:37.161789Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.630803Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.630803Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:6512fd54b6ee38d7000de1b0f265dd2b8973fc834dc4b92945b1c7dc33fdacf6","observation_id":"5b004a2f-4b2e-4a61-a80a-f373f2454edd","resolution":{"observed_at":"2026-08-01T00:20:29.630803Z","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-01T00:20:29.633095Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.633095Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:32499979e9e9bb1ab56a0e8c2e1fc6d22e9bab6037a89e7428a52c72868b59be","observation_id":"a8a14d46-59b1-445d-8c39-a3373477812d","resolution":{"observed_at":"2026-08-01T00:20:29.633095Z","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-01T00:20:29.635299Z","title":"Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.635299Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:095be3fc60843e5a30c488f0f8f6de31667d0ed23fa8f619dd51d41c5cd26b99","observation_id":"40f14119-6fe3-4aae-bea2-8da44e349b2e","resolution":{"observed_at":"2026-08-01T00:20:29.635299Z","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-01T00:20:29.637830Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.637830Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:65487efded31721417b41e0bf22351791e7ac8aa5bbbd596cd8135525fb87c1c","observation_id":"982874f9-b7b9-455e-b316-03eab4ab21fb","resolution":{"observed_at":"2026-08-01T00:20:29.637830Z","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-01T00:20:29.640197Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.640197Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:a6dbd0b7360e636648a58911fe2ec015c972acad62d0969ed71a41f517c622ca","observation_id":"f1e731b0-4c2c-4404-a6d6-650434ed08f4","resolution":{"observed_at":"2026-08-01T00:20:29.640197Z","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-01T00:20:29.642472Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.642472Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:de15cac9497e636f0ae5abc92017c7771b47711c67215797875953e9a18cddbe","observation_id":"fbaf4388-77a7-40e7-8f38-d5fca55d3ad7","resolution":{"observed_at":"2026-08-01T00:20:29.642472Z","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-01T00:20:29.644858Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.644858Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:4dfa344dc438c0a6ed491eb49831d13d4462f7cf2b544a624a2b924d344530be","observation_id":"03b88fdc-c6ee-4d2c-99a0-a0e55b204bd0","resolution":{"observed_at":"2026-08-01T00:20:29.644858Z","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-01T00:20:29.647153Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.647153Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:d63a9d4400bb1d2cfbae363ad411bdb33fd3681c492f3df21f8e716d82227e4c","observation_id":"b19f5c2a-25ea-4a59-8b09-4c1b7faf4bd6","resolution":{"observed_at":"2026-08-01T00:20:29.647153Z","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-01T00:20:29.649387Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.649387Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:2fc68db878bf925ec6b58660a9d0ddc4555e7d9c5ae654dba2539bb0666c0127","observation_id":"482ddb7f-a3f9-43c2-bcd5-be5ad125ed40","resolution":{"observed_at":"2026-08-01T00:20:29.649387Z","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-01T00:20:29.651557Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.651557Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:233f7e94d19d9a05dc285032b718d1f903c3561886b0d283d94371856bcb95b0","observation_id":"2f69a069-403b-4f68-bfe9-fa118da108db","resolution":{"observed_at":"2026-08-01T00:20:29.651557Z","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-01T00:20:29.653941Z","title":"Weyhrauch","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.653941Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:48b9e14147cd72b0dd65a3a37646191d01ca980b265e5f0dbfd94e92351e0fba","observation_id":"b2911778-d598-48cd-b1c3-41d66de62b9e","resolution":{"observed_at":"2026-08-01T00:20:29.653941Z","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-01T00:20:29.656159Z","title":"Myreen, Michael J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.656159Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:38b918f1c0244ebc713635e51fdf74b615a382f9e4d4d8f816db4b776d4125c8","observation_id":"557c49ee-690f-407f-9c7e-62fe36c40abf","resolution":{"observed_at":"2026-08-01T00:20:29.656159Z","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-01T00:20:29.658819Z","title":"Myreen, Konrad Slind, and Michael J","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.658819Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:45f5c8c79d4fea74ed0aba33b1af32739c6d9849e9a5490b232fb33e63956470","observation_id":"1c75d61b-c4a8-4feb-8dbc-eafa21e1e668","resolution":{"observed_at":"2026-08-01T00:20:29.658819Z","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-01T00:20:29.661551Z","title":"Myreen, Konrad Slind, and Michael J","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.661551Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:2fea1a719eb76cb7444220903097f025206c8ecd204cb2fbd5867e0c06841172","observation_id":"da519353-a587-4655-bc7a-f6e081af718f","resolution":{"observed_at":"2026-08-01T00:20:29.661551Z","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-01T00:20:29.664816Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.664816Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:af8145f7ec2c1683152f0f7c781bb1964b441b5cdc51ac780e98099301350d1f","observation_id":"31d5355d-3d12-4874-88ea-741be21f86a8","resolution":{"observed_at":"2026-08-01T00:20:29.664816Z","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-01T00:20:29.667510Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.667510Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:656b187936b6f4d45a8ea19d09996cf1dae70941364030ec8aeda99c1d090823","observation_id":"fb65869c-863b-4feb-80ad-4a5e7d4e804d","resolution":{"observed_at":"2026-08-01T00:20:29.667510Z","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-01T00:20:29.669978Z","title":"Necula and Peter Lee","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.669978Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:5af5169c89e8548076ab5620d46825616f34e14c104612f4dae5d29dc6402cf0","observation_id":"245e5853-0645-4cae-9943-138b88163d1c","resolution":{"observed_at":"2026-08-01T00:20:29.669978Z","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-01T00:20:29.672815Z","title":"Necula and Peter Lee","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.672815Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:3fdddecb6ded75540a61fa6ffe45e811d25059f1a65fd9c48212a9607ccd0ba9","observation_id":"73401bcb-5502-498f-b7f2-0696db647063","resolution":{"observed_at":"2026-08-01T00:20:29.672815Z","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-01T00:20:29.675513Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.675513Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:774b345fcd706de0d7d1b90d6acb07b1f25b0c1ec20efc48af5308add3f2aea7","observation_id":"ec95a4bf-0586-4c11-965c-332b1b99b910","resolution":{"observed_at":"2026-08-01T00:20:29.675513Z","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-01T00:20:29.677767Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.677767Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b0f73b5a46d3bee4990ac7c42c79a786a5186e8266639418ddb773b890a12ffc","observation_id":"7f188c18-b956-48cb-91e3-c62ca85d54ad","resolution":{"observed_at":"2026-08-01T00:20:29.677767Z","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-01T00:20:29.680261Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.680261Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:c5916b2c8fa8cfae71da9fdaadbc622b0e966fbb87054883d10d03cae7c84ea1","observation_id":"597255bd-8090-414e-a62d-605b3df6c45f","resolution":{"observed_at":"2026-08-01T00:20:29.680261Z","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-01T00:20:29.682523Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.682523Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:5f122248ed997b602d6958b07a9b098581215374f20778a0d5760a24959587e8","observation_id":"bd8cbede-f6c2-4fd9-841d-030aa5e8fc81","resolution":{"observed_at":"2026-08-01T00:20:29.682523Z","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-01T00:20:29.685046Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.685046Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:12f6fb8049df39341e22683417799c9747bd790e66a8cd683a4d377b510ac9e0","observation_id":"a59f7605-5b3d-41e3-8a9d-211f1c323d4b","resolution":{"observed_at":"2026-08-01T00:20:29.685046Z","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-01T00:20:29.687405Z","title":"Li, and Andrew W","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.687405Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:3a8ea61fc57034e8c6533482f2f7039baed92c9e1fdd2f6db505b3e58747b5ab","observation_id":"03be5a90-f313-47a3-900e-e003239be4ae","resolution":{"observed_at":"2026-08-01T00:20:29.687405Z","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-030-53288-8_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"4f0c506a-48d3-454e-a552-28ca039abe30","year":2020},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.689816Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:6222cf83ebf5fb52a4d2b6e136482a9fa5da0ad7bd65fb31c3965a5257284d5c","observation_id":"df6ca0b5-d0c9-4fdb-b196-48d77aa80803","resolution":{"observed_at":"2026-08-01T00:21:37.016285Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.692191Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.692191Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:182cde86ae26968f3f6a38d2c8613ea7cfed147b9c42696166bcdb7b49801685","observation_id":"fdbb7c9e-5055-480c-a39c-64213e218674","resolution":{"observed_at":"2026-08-01T00:20:29.692191Z","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/3341689","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"db978905-d992-4089-869f-9a160c374434","year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.694544Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:93e3c2157b14b2e3b9d727ebeae9042da9355892daaec5f8ab6662cb3771deda","observation_id":"72af468c-6899-45e1-8d37-2a5c1c900f80","resolution":{"observed_at":"2026-08-01T00:21:36.915955Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.697150Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.697150Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:fc942178514553930f5ea1c985df34d1a7792689422462d52fcbcc4c0d470a36","observation_id":"d8ae1cf4-0fb0-42ae-9a72-514d3956b721","resolution":{"observed_at":"2026-08-01T00:20:29.697150Z","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-01T00:20:29.699623Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.699623Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:571f537ee0f676063a321f43df2374217eca4c244771c8809f0672d2ef98d9b7","observation_id":"83f3fd81-4134-4be1-8d5f-939e5f8e24c5","resolution":{"observed_at":"2026-08-01T00:20:29.699623Z","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-642-54833-8_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Perconti and Amal Ahmed","venue":"Lecture notes in computer science","work_id":"0f07ff20-4720-42c9-af7a-9aee9494a273","year":2014},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.702144Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b6f83d682de604aae0d47d62e6f65110ac6d86e5ecc07f9818b2ab5a384f77f1","observation_id":"a38cfa7e-4455-453c-be32-9259cbc9371f","resolution":{"observed_at":"2026-08-01T00:21:36.791229Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.704883Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.704883Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:95656e9c713b353a6ad56a8176c959ac390746f4205edddb66f1a8c89d3c7581","observation_id":"22c68447-7bb2-4816-8bdb-97e44dbd632a","resolution":{"observed_at":"2026-08-01T00:20:29.704883Z","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-01T00:20:29.707611Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.707611Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:e7a727e509905ad60f86c692e483691e650fff2efc34be3c70d4709ff1481ab3","observation_id":"2fd7d299-e454-4f7c-bba8-cc8cef5ed228","resolution":{"observed_at":"2026-08-01T00:20:29.707611Z","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-01T00:20:29.710542Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.710542Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b64bd53190cb8b58f2a14f4fe348451fd32ae389eac448c9e0bd4ff08a23aec3","observation_id":"3f429868-e402-4616-9288-9effa19da726","resolution":{"observed_at":"2026-08-01T00:20:29.710542Z","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-01T00:20:29.712973Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.712973Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b1a68e74aee5486c94a7c94b50a327a87eb44e6298e114b5994f444606a29249","observation_id":"ddd5faa4-7845-41d9-bc3b-86770a576a10","resolution":{"observed_at":"2026-08-01T00:20:29.712973Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.01660","last_updated":"2026-07-31T01:08:57Z","snapshot_observed_at":"2026-08-10T21:43:49.714335Z","submitted_at":"2026-05-03T00:55:29Z","title":"Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.01660","snapshot_observed_at":"2026-08-01T00:20:29.715201Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.715201Z"},"links":{"cited_paper":"/paper/2605.01660","citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:9d960136db8e67315072730cecb08c590d1781ca0358fa219b906f4671499909","observation_id":"8897f8a1-fc25-4dd7-8445-79352870163f","resolution":{"observed_at":"2026-08-01T00:20:29.715201Z","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-01T00:20:29.717928Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.717928Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:554642a7ebf267aa7dd7db911a2267fcd113e5e9e247306fc41c1ab6b1f5cb21","observation_id":"2fd36a2d-9fc2-4836-aeda-5adaef9586e1","resolution":{"observed_at":"2026-08-01T00:20:29.717928Z","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-01T00:20:29.720426Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.720426Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:2687626ffc43c7121a60589fbe208f04be462241b8d1af5e142e8614da73d9da","observation_id":"8ea45194-e5a5-4387-b024-81e3ae6c52ec","resolution":{"observed_at":"2026-08-01T00:20:29.720426Z","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/3360611","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"df5b1dd7-13cd-4762-8973-88e2b55a037a","year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.723374Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:077f275399bbef214b695e8d4a6274cf8db238c85506fcf891e2f03654a9b21c","observation_id":"9bb57635-d20c-4696-8c0f-05a56fbd2d8c","resolution":{"observed_at":"2026-08-01T00:21:36.639207Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.726200Z","title":"Myreen, and Gerwin Klein","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.726200Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:a40ab56383ddd2b5eab5e04762a5623c3732a9ea9db332ba4bb844806ff36ca2","observation_id":"2624bd0f-c09c-421c-b3c4-4d1df0e940cc","resolution":{"observed_at":"2026-08-01T00:20:29.726200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08348","last_updated":"2024-05-14T06:38:15Z","snapshot_observed_at":"2026-08-18T23:21:45.488700Z","submitted_at":"2024-05-14T06:38:15Z","title":"Foundational Verification of Smart Contracts through Verified Compilation","version":1},"cited_work":{"arxiv_id":"2405.08348","doi":"10.48550/arxiv.2405.08348","metadata_source":"pith","pith_arxiv_id":"2405.08348","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Foundational Verification of Smart Contracts through Verified Compilation","venue":"cs.PL","work_id":"0cc6baf9-e3c3-4d31-aafa-b0da861577d1","year":2024},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.729298Z"},"links":{"cited_paper":"/paper/2405.08348","citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:59d82ca6eaa207e9938ef8410ef64e23f7e79f4db8f863607d47afeedaf5d8ff","observation_id":"163950e2-3b1e-4433-b202-e5998f24fa32","resolution":{"observed_at":"2026-08-01T00:21:36.413238Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.732405Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.732405Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b50b51f1e90a4a184eb926809eab66683577fe747befd70004000a4a8ac236f7","observation_id":"c09e1260-fc54-42d0-80b3-335aad910c34","resolution":{"observed_at":"2026-08-01T00:20:29.732405Z","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-01T00:20:29.735503Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.735503Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:39e71d06a6e22fd1acb9a39b96558a14c92f1b39261cad3712cc3803c7f6de1b","observation_id":"29f18830-fc0a-4a56-a374-d27eb708c59f","resolution":{"observed_at":"2026-08-01T00:20:29.735503Z","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-01T00:20:29.738013Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.738013Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:cbc67e0d9568582161dffcbade516d7734b62251a8573791c321e6925cf7a3be","observation_id":"7a39ba29-7df4-4606-a3b3-79d54444021d","resolution":{"observed_at":"2026-08-01T00:20:29.738013Z","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-01T00:20:29.740936Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.740936Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:7d966f4d76d18f508124079d188dd40254954db7f54f4947061a4f3954c2a6a8","observation_id":"94d35bc6-c895-45a9-bdb3-7c99847b0399","resolution":{"observed_at":"2026-08-01T00:20:29.740936Z","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-01T00:20:29.743765Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.743765Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:7fd5fd9fa8f7cb4e994f6069e6d835f89b93a476100f424994ab4de9297456aa","observation_id":"a583f094-0bba-49e3-8803-63b8815fa81b","resolution":{"observed_at":"2026-08-01T00:20:29.743765Z","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-01T00:20:29.746794Z","title":"Ferreira, Sorin Lerner, and Emily First","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.746794Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:27177ae66340d6f7a564433f68857b2a5718f3b04b96bd17ca8da69e4819ae28","observation_id":"cc80c35c-7075-4c9f-9773-a62106564ce7","resolution":{"observed_at":"2026-08-01T00:20:29.746794Z","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-01T00:20:29.749954Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.749954Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:49aee0567f516c03a065842eb79d8cbed0609ce11a7a39c38e227a3cd2f6f09e","observation_id":"5bca7bd7-cbde-460f-a0de-fe6e96775332","resolution":{"observed_at":"2026-08-01T00:20:29.749954Z","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-01T00:20:29.752655Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.752655Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:87c2b228f4568154b9241e06777d11983b645c6751c299f13043edef2b3b5812","observation_id":"b7a2c856-f159-435d-ba87-cec99d81f79e","resolution":{"observed_at":"2026-08-01T00:20:29.752655Z","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-01T00:20:29.755279Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.755279Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:8302ac2c056edc17815a754bccbb5784362c6509148e31e924e95fa69b2738af","observation_id":"5345b2da-ad03-4d88-bd08-2364f3729d4c","resolution":{"observed_at":"2026-08-01T00:20:29.755279Z","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-01T00:20:29.757715Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.757715Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:c82168f9a36c1fe92857a68b8d769d00fab8adb7e9edc74c56acdd847ce36e2c","observation_id":"5ee48bb4-9d02-45f7-bf34-f0203012c520","resolution":{"observed_at":"2026-08-01T00:20:29.757715Z","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-01T00:20:29.760253Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.760253Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:913da687ea174439eb00531aab3773d628c84f483ecc332d27b7395a9c76e294","observation_id":"259947da-1d2c-4c90-af29-86bce868a55c","resolution":{"observed_at":"2026-08-01T00:20:29.760253Z","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-01T00:20:29.762878Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.762878Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:7bd2cec720103541281489e15c682a30e2c88208ff8157f30464f9785e28f1de","observation_id":"b6f443a0-def0-4bf0-bc64-e233dad6b18e","resolution":{"observed_at":"2026-08-01T00:20:29.762878Z","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-01T00:20:29.765937Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.765937Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:bb1c982bef5788da5b628b857d29d8a2224f9a000907ba2e6aa1d9c5671681c7","observation_id":"fd80b5e1-a169-43f2-9790-cb2f6c1ad5fb","resolution":{"observed_at":"2026-08-01T00:20:29.765937Z","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-030-53288-8_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"why did you stop? The goal was to finish the whole proof","venue":"Lecture notes in computer science","work_id":"da2e5655-f06c-4e17-a55c-4499f204231f","year":2020},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.768916Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:b97174d0ecabc4d31b74b635b083c9f44b4700f5d297d1139689f860117cc287","observation_id":"5f4e77b5-2cf6-4040-ab7f-af75dbab1c5a","resolution":{"observed_at":"2026-08-01T00:21:36.143958Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-01T00:20:29.588324Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-01T00:20:29.588324Z"},"links":{"citing_paper":"/paper/2607.26306"},"observation_digest":"sha256:f0667c459bf7a66dcece112b3331698691e6cfcafbafb71c96201e0ad496ef26","observation_id":"5b332711-3a62-485d-bd54-045e03200646","resolution":{"observed_at":"2026-08-01T00:20:29.588324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.26306","last_updated":"2026-07-28T22:00:02Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-15T17:50:48.307572Z","submitted_at":"2026-07-28T22:00:02Z","title":"Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens"},"reference_resolution":{"displayed":89,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":76,"verified_exact":12,"verified_fuzzy":0},"total_outbound_references":89},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 89 of 89 outbound references and 0 inbound Pith citation observations for arXiv:2607.26306."}