Paper Citation Record · LEDGER

Misquoted No More: Securely Extracting F* Programs with IO

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2602.19973 v4

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:32:33.877255Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8dd9c2b2-b0f3-4305-9c67-9910cbad6f72 · outbound

This paper cites Abate, R.

Misquoted No More: Securely Extracting F* Programs with IO Abate, R

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:28.497190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d38b1bf-87ec-440f-bae8-43588570e7bc · outbound

This paper cites Abrahamsson, S.

Misquoted No More: Securely Extracting F* Programs with IO Abrahamsson, S

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:28.642322Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66b45dea-b990-4051-ac03-540b5212aa22 · outbound

This paper cites Ahman and T.

Misquoted No More: Securely Extracting F* Programs with IO Ahman and T

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:28.806264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c7768b3-aa3f-4dd9-a902-2d7cd7873af4 · outbound

This paper cites Ahman, C.

Misquoted No More: Securely Extracting F* Programs with IO Ahman, C

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:28.975497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb7d33d7-15b0-4ac1-bfe1-81066e3f511f · outbound

This paper cites Ahman, C.

Misquoted No More: Securely Extracting F* Programs with IO Ahman, C

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.181178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d68392c6-51b6-491e-b9e8-8b61576bf8ce · outbound

This paper cites Ahman, K.

Misquoted No More: Securely Extracting F* Programs with IO Ahman, K

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.268444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e77d4dfe-1a24-4ff8-9f46-558fa1b35109 · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.388377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea72cf5c-1781-4209-a885-a9f00c6ede2a · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.546841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02c07fe5-53ec-4765-a0ce-a0e62fe7a0aa · outbound

This paper cites Anand, A.

Misquoted No More: Securely Extracting F* Programs with IO Anand, A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.715775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 237b0d75-c5a2-43db-af05-11ebef1e048b · outbound

This paper cites Andrici, Ş.

Misquoted No More: Securely Extracting F* Programs with IO Andrici, Ş

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.781221Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd6c957e-838e-4643-a5e8-fdee6dfaae3f · outbound

This paper cites Andrici, D.

Misquoted No More: Securely Extracting F* Programs with IO Andrici, D

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:29.896497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27f00cfa-f35c-4575-a619-22a7681282c2 · outbound

This paper cites Annenkov, M.

Misquoted No More: Securely Extracting F* Programs with IO Annenkov, M

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.054326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e72348f8-00d1-4b14-b00d-c092db3fdaeb · outbound

This paper cites Lean4Lean: Verifying a Typechecker for Lean, in Lean.

Misquoted No More: Securely Extracting F* Programs with IO Lean4Lean: Verifying a Typechecker for Lean, in Lean

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.217086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2602bcc-fd90-4e42-aa8c-1c257083c614 · outbound

This paper cites Chapman, S.

Misquoted No More: Securely Extracting F* Programs with IO Chapman, S

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.384858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62d4f8ab-138b-4ca7-84e6-fc85b82028eb · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.498907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 610908a2-fd40-4c88-aeb4-41c1fec169ea · outbound

This paper cites Devriese, M.

Misquoted No More: Securely Extracting F* Programs with IO Devriese, M

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.558041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc7bdf9f-1fa7-4aa2-8002-e78309a4b90b · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.614665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e9a88f4-6ffa-4ca0-ae22-7b6660eb27fa · outbound

This paper cites Forster and F.

Misquoted No More: Securely Extracting F* Programs with IO Forster and F

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.685295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a19012a-548d-4e36-b502-9c9e2e2944ea · outbound

This paper cites Forster, M.

Misquoted No More: Securely Extracting F* Programs with IO Forster, M

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.769014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7be8ce0c-af06-42e6-94a4-56bc4b9080a0 · outbound

This paper cites Gladshtein, G.

Misquoted No More: Securely Extracting F* Programs with IO Gladshtein, G

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.852652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 268ea2bf-39af-4341-8ea9-241adb3e0422 · outbound

This paper cites Gonthier, B.

Misquoted No More: Securely Extracting F* Programs with IO Gonthier, B

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:30.937001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b111343c-097a-4f31-addb-61140795bf3c · outbound

This paper cites Grimm, K.

Misquoted No More: Securely Extracting F* Programs with IO Grimm, K

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.020108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 625a47dd-a9ce-404e-b725-634f80665621 · outbound

This paper cites Hupel and T.

Misquoted No More: Securely Extracting F* Programs with IO Hupel and T

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.085504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53ff814d-6ed1-4ded-bbb8-e7dd0997a484 · outbound

This paper cites Kumar, M.

Misquoted No More: Securely Extracting F* Programs with IO Kumar, M

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.156912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 111f1b3c-5f40-4586-a779-07d4c9e5c8cf · outbound

This paper cites Letouzey.Programmation fonctionnelle certifiée : L’extraction de programmes dans l’assistant Coq.

Misquoted No More: Securely Extracting F* Programs with IO Letouzey.Programmation fonctionnelle certifiée : L’extraction de programmes dans l’assistant Coq

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.195052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9223be0-1fa6-4461-82cf-3a3f4a6f5739 · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.307121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7294a418-6455-4fa3-bf73-d5d8baa3e84c · outbound

This paper cites Liesnikov and J.

Misquoted No More: Securely Extracting F* Programs with IO Liesnikov and J

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.435106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 948e7462-8113-4525-9e01-be9e38ceef73 · outbound

This paper cites Maillard, D.

Misquoted No More: Securely Extracting F* Programs with IO Maillard, D

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.601949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5e46cf0-30fd-4aac-91d4-e5193ce8372a · outbound

This paper cites Martínez, D.

Misquoted No More: Securely Extracting F* Programs with IO Martínez, D

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.726199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c492146f-ed33-4829-853b-90485738ed84 · outbound

This paper cites Meier, M.

Misquoted No More: Securely Extracting F* Programs with IO Meier, M

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:31.904208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6ed26dd-e23f-4889-abdc-0204d0e4f285 · outbound

This paper cites Mullen, S.

Misquoted No More: Securely Extracting F* Programs with IO Mullen, S

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.106854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e158e763-49a1-4773-9f67-0ed415ab75b9 · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.241968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10c585e1-a2a6-437b-b5fa-0894fbc417f0 · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.442870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 432b5333-35b5-4d7a-8f4a-08b389388c7d · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.605035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4edf3826-ebd7-4551-b2e5-901eb16dbfb7 · outbound

This paper cites Nezamabadi, M.

Misquoted No More: Securely Extracting F* Programs with IO Nezamabadi, M

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.835479Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01629955-82da-443a-a719-1ae6fa506e0a · outbound

This paper cites Patrignani, A.

Misquoted No More: Securely Extracting F* Programs with IO Patrignani, A

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:32.961545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa906e16-5260-4358-a6df-e897dc853aa6 · outbound

This paper cites Pit-Claudel, J.

Misquoted No More: Securely Extracting F* Programs with IO Pit-Claudel, J

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.128518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce4a1678-e4d6-4075-8aae-4bdc2f42cf95 · outbound

This paper cites Protzenko, J.-K.

Misquoted No More: Securely Extracting F* Programs with IO Protzenko, J.-K

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.272781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e3b5aab-868b-4738-add8-34990b79ed53 · outbound

This paper cites Protzenko, B.

Misquoted No More: Securely Extracting F* Programs with IO Protzenko, B

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.403833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f40b1e5-12d0-407f-ad65-d0f346fdb841 · outbound

This paper cites Rastogi, G.

Misquoted No More: Securely Extracting F* Programs with IO Rastogi, G

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.477513Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d0db1c7-b77d-43b7-9015-22da67447ac7 · outbound

This paper cites Sozeau, Y.

Misquoted No More: Securely Extracting F* Programs with IO Sozeau, Y

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.607514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6334753-a95c-4c65-907f-e431937808bf · outbound

This paper cites an unresolved cited work.

Misquoted No More: Securely Extracting F* Programs with IO Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.735000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a4be81d-e854-48fa-9420-fa454522b66c · outbound

This paper cites Swamy, C.

Misquoted No More: Securely Extracting F* Programs with IO Swamy, C

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T21:32:33.877255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.