Paper Citation Record · LEDGER

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations

As of 9 August 2026, this Paper Citation Record lists 53 of 53 outbound references and 0 inbound Pith citation observations for arXiv:2607.14137.

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

pith.paper-citation-record.v1
2607.14137 v2

Coverage vector

measured 53 of 53 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:40:14.727897Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

53 of 53 outbound references displayed

verified exact0
verified fuzzy0
unresolved53
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23a9f2ed-7536-4f65-93cb-73923c08c4e7 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:08.486999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e6f47a4-f958-4a24-b441-462d52c621c0 · outbound

This paper cites Gray, Robert M.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Gray, Robert M

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:08.606723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df6903d2-e16e-4b13-bf1b-44bf597cab55 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:08.772598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c70c0d-da65-47e9-a9e6-aa0678bda51f · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:08.841646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc174767-a372-4161-9de6-d0fa5edf4758 · outbound

This paper cites Paul- son.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Paul- son

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:08.944964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70da0d3a-e520-42dd-90fb-b82e1d5ece8c · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.045740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3dfe603-4cb5-4def-9331-328dbbe5e546 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.109874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c492cd39-5254-46f3-ada3-82be0a6addf8 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.255917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9f6cab6-d992-4be6-a3ec-13002b0ce9b7 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.363376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 229eee40-4913-4036-a762-45a283882f76 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.483587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17181642-c282-4ba5-90b4-5179c152f765 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.667786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18b61a86-f57d-4401-a728-e2e3906b94c8 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:09.848973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbadad86-693c-44ac-9605-3aa8e92f10b3 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.001174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66cc82f9-6589-4179-9c28-a72dfb407697 · outbound

This paper cites Knight and Nancy G.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Knight and Nancy G

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.140483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40de6354-df8e-4ced-a73d-3636e3a664af · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.297653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd68ce12-62f7-492a-828b-3e36c04f35c8 · outbound

This paper cites Myreen, Michael Norrish, and Scott Owens.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Myreen, Michael Norrish, and Scott Owens

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.445214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d790ac11-b8d1-4e56-a127-49ac6cce3ff4 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.740825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13ebaa47-6c31-474b-b986-8cabfd5a46f4 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.883595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8de5714e-0f79-40ba-a1de-fff90cbe188e · outbound

This paper cites Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.005345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce1dc321-023a-4da0-8348-9b4f015fbf83 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.115753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 478c6dc4-7cb8-46de-a374-616bd77b8338 · outbound

This paper cites McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations McConnell, Kurt Mehlhorn, Stefan Näher, and Pascal Schweitzer

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.223678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c2478d4-d4db-45fa-adbb-d8aee44581a7 · outbound

This paper cites McKeeman.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations McKeeman

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.274853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a036a6c-9c6a-494a-8b77-f85f23213af0 · outbound

This paper cites Myreen, Michael J.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Myreen, Michael J

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.405536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3f6da84-ed69-4004-9c1f-7c88d4d4c4c7 · outbound

This paper cites Namjoshi.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Namjoshi

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.564920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebc05cee-afb5-4216-b0ee-e98dce32e414 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.672502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f46f372-49dc-4ee7-a126-bb87d2d6c0bc · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.795824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49f5bf96-1a9b-406b-8f99-7475c3703557 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:11.917165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85209196-3abd-4c75-b6f4-9e53e915c8db · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.044287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40151615-ace6-4a99-a631-ab3ac35b0ea3 · outbound

This paper cites Perconti and Amal Ahmed.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Perconti and Amal Ahmed

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.105539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76e1b4a3-78ae-44c5-aab5-bec91163dc5a · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.141172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e54507e3-35c5-4684-b5a4-5e4db86d8d5b · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.201720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecb9c8f0-5307-4567-827f-3be81865c709 · outbound

This paper cites 1999.Credible Compilation.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations 1999.Credible Compilation

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.316213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfc1087c-a4cf-4c80-a1a6-8b63c116f00c · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.441371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a912bc0f-58be-40ad-916f-05659614ca57 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.600213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31535fd2-238c-4795-b61e-8332a16ab016 · outbound

This paper cites Saltzer, David P.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Saltzer, David P

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.731061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35deac18-bfb9-457b-80d0-518878855f2c · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.823028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbe3dab5-8961-436e-ac63-c3ef6515e2c8 · outbound

This paper cites Schlichting and Fred B.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Schlichting and Fred B

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:12.986033Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1f7575b-edc6-4b69-864e-5d40cfb54dbb · outbound

This paper cites Myreen, and Gerwin Klein.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Myreen, and Gerwin Klein

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.110044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0d1e73e-7509-4a2d-bd86-fdb7f4644d01 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.317011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6489aab5-d3ff-42ed-9166-1d6787c63f1b · outbound

This paper cites Clover: Closed-Loop Verifiable Code Generation.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Clover: Closed-Loop Verifiable Code Generation

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.413247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b066eca-e561-4530-a67c-b55441e688ba · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.505533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53091346-5506-406e-ad86-354be71c5e7c · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.567771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16f0a651-f23c-454e-b467-353d17adc5a1 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.735198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e263dc-c973-4140-8768-61cefa9cbb3f · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.862140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1dc2c91-aa5f-4f12-962f-ae9a06a267c4 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.987179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c3e1c15-2572-4aeb-b7ec-e3b9ab7dc418 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.136760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6eb6a10-472a-4e47-a37b-7b648b491ef7 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.314745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8fa5a12-1793-4411-a414-b35e56abe4fe · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.437205Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5368805-54ea-45a5-911a-6d7196a2a9d5 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.558116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fea5582-85c9-4639-b84f-0e687d9d035a · outbound

This paper cites By (𝜋2⇒𝜋) -support applied to step (2):𝜋(Λ 1(𝐼𝐵(𝑞)))= 𝜋(Λ 1(Λ2(𝐼𝐶(𝑟)))).

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations By (𝜋2⇒𝜋) -support applied to step (2):𝜋(Λ 1(𝐼𝐵(𝑞)))= 𝜋(Λ 1(Λ2(𝐼𝐶(𝑟))))

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.626548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4077b4a-cb42-40b4-8bd8-6cbf3db824f0 · outbound

This paper cites This form is machine-checked (lax_pasting; telescoped, DRoute.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations This form is machine-checked (lax_pasting; telescoped, DRoute

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:14.727897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55a16d4d-f701-4b18-8721-ac6e46429c25 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:13.213924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 035aa34e-2836-41e6-a96b-fc455ab08922 · outbound

This paper cites an unresolved cited work.

Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations Unresolved cited work

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-02T07:40:10.587441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.