{"as_of":"2026-08-09T10:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8dc9d712091b55798de5ab21e685ab3775149c8ef0ee2a861f2ea8ac4a783c13","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T21:32:33.877255Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2602.19973/citation-record","integrity":"/paper/2602.19973/integrity","json":"/paper/2602.19973/citation-record.json","paper":"/paper/2602.19973"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:32:28.497190Z","title":"Abate, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:28.497190Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:163ae203283074061483720bbbb10f46ed94dac68286befe99f589ca358a9293","observation_id":"8dd9c2b2-b0f3-4305-9c67-9910cbad6f72","resolution":{"observed_at":"2026-08-02T21:32:28.497190Z","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-02T21:32:28.642322Z","title":"Abrahamsson, S","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:28.642322Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:ebc4f2ab161e864702e61d58cbb9afb35c0c39429b251eef1d6cbc4d34f20223","observation_id":"2d38b1bf-87ec-440f-bae8-43588570e7bc","resolution":{"observed_at":"2026-08-02T21:32:28.642322Z","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-02T21:32:28.806264Z","title":"Ahman and T","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:28.806264Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:f09a8282707d61f89560354972d02fab0376c0fd1e0fe52954a84a1e4e6bb267","observation_id":"66b45dea-b990-4051-ac03-540b5212aa22","resolution":{"observed_at":"2026-08-02T21:32:28.806264Z","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-02T21:32:28.975497Z","title":"Ahman, C","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:28.975497Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:b71cd317f783c74a2aefae9520033ccb3ba19196d5e04b8d7b1545b0d3cde6e1","observation_id":"1c7768b3-aa3f-4dd9-a902-2d7cd7873af4","resolution":{"observed_at":"2026-08-02T21:32:28.975497Z","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-02T21:32:29.181178Z","title":"Ahman, C","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.181178Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:839e247b640762d52fba047a329aa739ea3b6110c72eb749231acea5ef221ce1","observation_id":"bb7d33d7-15b0-4ac1-bfe1-81066e3f511f","resolution":{"observed_at":"2026-08-02T21:32:29.181178Z","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-02T21:32:29.268444Z","title":"Ahman, K","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.268444Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:dfb657626c87a376630987f003947fb77955461e3c90cf3343920e077eb27c40","observation_id":"d68392c6-51b6-491e-b9e8-8b61576bf8ce","resolution":{"observed_at":"2026-08-02T21:32:29.268444Z","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-02T21:32:29.388377Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.388377Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:b89f13494c0c2245ed478938fe4edcfec8227003894a30865148bf6617ea64cf","observation_id":"e77d4dfe-1a24-4ff8-9f46-558fa1b35109","resolution":{"observed_at":"2026-08-02T21:32:29.388377Z","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-02T21:32:29.546841Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.546841Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:09dadc8d40f08c621213d0b3a3a60cdc8e2b2ba12d2b829617b247b738a7ab18","observation_id":"ea72cf5c-1781-4209-a885-a9f00c6ede2a","resolution":{"observed_at":"2026-08-02T21:32:29.546841Z","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-02T21:32:29.715775Z","title":"Anand, A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.715775Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:b06fad5a1e2525df157c3b97d7c7ebd36a3ae787e0f9fec3e7db8e79057c10e5","observation_id":"02c07fe5-53ec-4765-a0ce-a0e62fe7a0aa","resolution":{"observed_at":"2026-08-02T21:32:29.715775Z","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-02T21:32:29.781221Z","title":"Andrici, Ş","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.781221Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:433587a310230e5772fa32049a89192755c37ddb42cd070f6f7298ff7fdcbb12","observation_id":"237b0d75-c5a2-43db-af05-11ebef1e048b","resolution":{"observed_at":"2026-08-02T21:32:29.781221Z","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-02T21:32:29.896497Z","title":"Andrici, D","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:29.896497Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:7684eb729c4ef9ba3a9eee026703022cdb1994694d609a00a4b386639039e2fb","observation_id":"bd6c957e-838e-4643-a5e8-fdee6dfaae3f","resolution":{"observed_at":"2026-08-02T21:32:29.896497Z","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-02T21:32:30.054326Z","title":"Annenkov, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.054326Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:c3be12fafdc915052b05ff65fe68dbd4bc578288b4887fd506da51fe1cea2291","observation_id":"27f00cfa-f35c-4575-a619-22a7681282c2","resolution":{"observed_at":"2026-08-02T21:32:30.054326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.14064","last_updated":"2025-09-14T11:58:14Z","snapshot_observed_at":"2026-07-06T17:48:03.807374Z","submitted_at":"2024-03-21T01:22:52Z","title":"Lean4Lean: Verifying a Typechecker for Lean, in Lean","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.14064","snapshot_observed_at":"2026-08-02T21:32:30.217086Z","title":"Carneiro","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.217086Z"},"links":{"cited_paper":"/paper/2403.14064","citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:5d34483637ec797d73a496a4db88c713bfb639e79008ffdbdedc4d871b96171c","observation_id":"e72348f8-00d1-4b14-b00d-c092db3fdaeb","resolution":{"observed_at":"2026-08-02T21:32:30.217086Z","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-02T21:32:30.384858Z","title":"Chapman, S","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.384858Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:7cd0bae5e9dbaa296ca04239a68d40c42b33c92634ac3619e6e4f3610df05fbf","observation_id":"f2602bcc-fd90-4e42-aa8c-1c257083c614","resolution":{"observed_at":"2026-08-02T21:32:30.384858Z","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-02T21:32:30.498907Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.498907Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:325ffe1a7ef0942d8055f42c975d1ef31245130d01fab788fe948d3f0b44cc05","observation_id":"62d4f8ab-138b-4ca7-84e6-fc85b82028eb","resolution":{"observed_at":"2026-08-02T21:32:30.498907Z","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-02T21:32:30.558041Z","title":"Devriese, M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.558041Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:43a9ca7b1ff6878c2009ed8cf285ce38252e591327684dfb084e739f933232bf","observation_id":"610908a2-fd40-4c88-aeb4-41c1fec169ea","resolution":{"observed_at":"2026-08-02T21:32:30.558041Z","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-02T21:32:30.614665Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.614665Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:7ac78c469ef2b720166062f7b2e6811453978bb60dda4b69fb4ebd86ebba9362","observation_id":"cc7bdf9f-1fa7-4aa2-8002-e78309a4b90b","resolution":{"observed_at":"2026-08-02T21:32:30.614665Z","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-02T21:32:30.685295Z","title":"Forster and F","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.685295Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:0aebc524b6baeec1b811a63b48c959fc1c8889d97919025e948790c4b8bce43e","observation_id":"0e9a88f4-6ffa-4ca0-ae22-7b6660eb27fa","resolution":{"observed_at":"2026-08-02T21:32:30.685295Z","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-02T21:32:30.769014Z","title":"Forster, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.769014Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:012881ee6009783fd7beddc0a248c6bfdbcafa5b3faa7752d97b9abdf3252ea6","observation_id":"2a19012a-548d-4e36-b502-9c9e2e2944ea","resolution":{"observed_at":"2026-08-02T21:32:30.769014Z","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-02T21:32:30.852652Z","title":"Gladshtein, G","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.852652Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:068f71f61c6debf5da6cd13ed6b80ad28b4828d5133b45d333941942db3b7b11","observation_id":"7be8ce0c-af06-42e6-94a4-56bc4b9080a0","resolution":{"observed_at":"2026-08-02T21:32:30.852652Z","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-02T21:32:30.937001Z","title":"Gonthier, B","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:30.937001Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:6db079fc2f466457728e26d89f5552c7f514d171b82af73a629a96e3b528ddce","observation_id":"268ea2bf-39af-4341-8ea9-241adb3e0422","resolution":{"observed_at":"2026-08-02T21:32:30.937001Z","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-02T21:32:31.020108Z","title":"Grimm, K","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.020108Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:18694bf5db95c96d0a07136128d4500de13c606fd80564c1430ebe479919d174","observation_id":"b111343c-097a-4f31-addb-61140795bf3c","resolution":{"observed_at":"2026-08-02T21:32:31.020108Z","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-02T21:32:31.085504Z","title":"Hupel and T","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.085504Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:ddf7339ef8fb13bc3d50191222307c121f6738e0b8aa01723584745b7a8ddfc1","observation_id":"625a47dd-a9ce-404e-b725-634f80665621","resolution":{"observed_at":"2026-08-02T21:32:31.085504Z","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-02T21:32:31.156912Z","title":"Kumar, M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.156912Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:b7274ab1c4af3188b3d2e91970f099b904218d8079bf950b91d7a2f91e986a49","observation_id":"53ff814d-6ed1-4ded-bbb8-e7dd0997a484","resolution":{"observed_at":"2026-08-02T21:32:31.156912Z","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-02T21:32:31.195052Z","title":"Letouzey.Programmation fonctionnelle certifiée : L’extraction de programmes dans l’assistant Coq","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.195052Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:d124ca1b76da3568a52994931703ad5089ede7b36de04c1ef2ef52a8b896727c","observation_id":"111f1b3c-5f40-4586-a779-07d4c9e5c8cf","resolution":{"observed_at":"2026-08-02T21:32:31.195052Z","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-02T21:32:31.307121Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.307121Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:1499670d91412012c9ffa7db91a07655d00f25974413f9bc6032053b906d0734","observation_id":"d9223be0-1fa6-4461-82cf-3a3f4a6f5739","resolution":{"observed_at":"2026-08-02T21:32:31.307121Z","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-02T21:32:31.435106Z","title":"Liesnikov and J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.435106Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:0a2dd3ce460b8e1828857e639c6c6cc625b7aaa50825d6039e7075e1643cb548","observation_id":"7294a418-6455-4fa3-bf73-d5d8baa3e84c","resolution":{"observed_at":"2026-08-02T21:32:31.435106Z","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-02T21:32:31.601949Z","title":"Maillard, D","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.601949Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:1b1d07f08272d1f171ba2b9911dcfdf39d15fd2e65b7f7109169d3b3b896cabe","observation_id":"948e7462-8113-4525-9e01-be9e38ceef73","resolution":{"observed_at":"2026-08-02T21:32:31.601949Z","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-02T21:32:31.726199Z","title":"Martínez, D","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.726199Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:8b236897322d898ae4d96ae0b308088555f931df1939cb9bb0e4c3aa43bc013f","observation_id":"e5e46cf0-30fd-4aac-91d4-e5193ce8372a","resolution":{"observed_at":"2026-08-02T21:32:31.726199Z","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-02T21:32:31.904208Z","title":"Meier, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:31.904208Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:e261239a1886bfdc19ee18ef2059bec4f96ce4327a11130f76bb8f0a117046b2","observation_id":"c492146f-ed33-4829-853b-90485738ed84","resolution":{"observed_at":"2026-08-02T21:32:31.904208Z","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-02T21:32:32.106854Z","title":"Mullen, S","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.106854Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:9b7f60373156b27aeed4ce4bbac2cd7bd67c56df0893877a3651abe86ca35364","observation_id":"c6ed26dd-e23f-4889-abdc-0204d0e4f285","resolution":{"observed_at":"2026-08-02T21:32:32.106854Z","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-02T21:32:32.241968Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.241968Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:2c121486c502b38d9fb9f2ebb621cb9d7aeb4d7cffc80e1c74de240bcb6e8ba8","observation_id":"e158e763-49a1-4773-9f67-0ed415ab75b9","resolution":{"observed_at":"2026-08-02T21:32:32.241968Z","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-02T21:32:32.442870Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.442870Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:8bde7a00b0cd779d81e9ea78b54093fb1600da6a863e7f6f007752afd252f125","observation_id":"10c585e1-a2a6-437b-b5fa-0894fbc417f0","resolution":{"observed_at":"2026-08-02T21:32:32.442870Z","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-02T21:32:32.605035Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.605035Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:649acd180e3c96cc0f9be77fe256df200e87e51a22035d70743262ce356cd541","observation_id":"432b5333-35b5-4d7a-8f4a-08b389388c7d","resolution":{"observed_at":"2026-08-02T21:32:32.605035Z","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-02T21:32:32.835479Z","title":"Nezamabadi, M","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.835479Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:d80d815d7266ad53a6f1637faca4951ab191edb219c6d159c18a5cf81f8d63cb","observation_id":"4edf3826-ebd7-4551-b2e5-901eb16dbfb7","resolution":{"observed_at":"2026-08-02T21:32:32.835479Z","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-02T21:32:32.961545Z","title":"Patrignani, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:32.961545Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:ac47e22aebb42cb75c6615ee65374a9265aedffc0055b48567b03b24cf63f425","observation_id":"01629955-82da-443a-a719-1ae6fa506e0a","resolution":{"observed_at":"2026-08-02T21:32:32.961545Z","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-02T21:32:33.128518Z","title":"Pit-Claudel, J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.128518Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:6a7947bb290f5f8aa79cee209b2bd0c51dec54afddf2a743db1773880603f61e","observation_id":"fa906e16-5260-4358-a6df-e897dc853aa6","resolution":{"observed_at":"2026-08-02T21:32:33.128518Z","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-02T21:32:33.272781Z","title":"Protzenko, J.-K","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.272781Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:4d74c159e495b70535858a415fbdb6a24fee4b5674f8ebcaff7fe2756b9afe35","observation_id":"ce4a1678-e4d6-4075-8aae-4bdc2f42cf95","resolution":{"observed_at":"2026-08-02T21:32:33.272781Z","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-02T21:32:33.403833Z","title":"Protzenko, B","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.403833Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:619035946769b6b589034f884d7c4dee0d76fa940f08a481737bc7c5ef5a2039","observation_id":"9e3b5aab-868b-4738-add8-34990b79ed53","resolution":{"observed_at":"2026-08-02T21:32:33.403833Z","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-02T21:32:33.477513Z","title":"Rastogi, G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.477513Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:79a934ba5098ef1d89589f54de7e2479a12424e0f3acdf4ddb17239978c36110","observation_id":"3f40b1e5-12d0-407f-ad65-d0f346fdb841","resolution":{"observed_at":"2026-08-02T21:32:33.477513Z","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-02T21:32:33.607514Z","title":"Sozeau, Y","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.607514Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:d9687a9e561c5d8f3f4e5bab0efe134d9cb5adacf4155d10943cc7d02a692354","observation_id":"1d0db1c7-b77d-43b7-9015-22da67447ac7","resolution":{"observed_at":"2026-08-02T21:32:33.607514Z","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-02T21:32:33.735000Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.735000Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:19cce760016535ac9d4f63022b59bf56939f5b28c9333581da1eb65e322389a3","observation_id":"a6334753-a95c-4c65-907f-e431937808bf","resolution":{"observed_at":"2026-08-02T21:32:33.735000Z","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-02T21:32:33.877255Z","title":"Swamy, C","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO","version":4},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T21:32:33.877255Z"},"links":{"citing_paper":"/paper/2602.19973"},"observation_digest":"sha256:c91d28d598d7273e93817f18e268bb4e9b55804bc801197026a69c14a6cb5d26","observation_id":"1a4be81d-e854-48fa-9420-fa454522b66c","resolution":{"observed_at":"2026-08-02T21:32:33.877255Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.19973","last_updated":"2026-07-17T14:33:07Z","latest_version":4,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T21:01:49.658757Z","submitted_at":"2026-02-23T15:37:18Z","title":"Misquoted No More: Securely Extracting F* Programs with IO"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":43,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2602.19973."}