Paper Citation Record · LEDGER

Correctness Witnesses with Function Contracts

As of 22 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2501.12313.

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

pith.paper-citation-record.v1
2501.12313 v1

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T17:22:41.163553Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

17 of 17 outbound references displayed

verified exact5
verified fuzzy3
unresolved6
parse uncertain0
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 62467168-dd28-4f16-a8b9-63b09382d7e0 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 1

Resolution: verified exact; doi, observed 2026-08-10T17:22:41.251787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2da922c7-c43f-4a8e-b7c4-81220d3404fc · outbound

This paper cites an unresolved cited work.

Correctness Witnesses with Function Contracts Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:22:41.621809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 788fd1ac-cf5d-4381-94ba-ff49218e9e07 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:22:41.610275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ae82691c-a161-47d6-be28-6f4c7307872d · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T17:22:41.113649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4602cb2-70f2-445b-ad68-936f1909e310 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T17:22:41.117025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fa48ece-3c91-4d48-a703-acba9d3930a7 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T17:22:41.596176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation cc8a712b-7d32-4deb-be6f-d61864f54d56 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T17:22:41.125265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fe6791b-543d-4074-9a23-2c08d5962ea8 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 8

Resolution: verified exact; doi, observed 2026-08-10T17:22:41.240030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f1f68303-22b8-4ff8-a4c8-943afea734dd · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 9

Resolution: verified exact; doi, observed 2026-08-10T17:22:41.226547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a2badd22-4d74-45b1-b220-32e67984a4e8 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 10

Resolution: verified exact; doi, observed 2026-08-10T17:22:41.215351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c1e1153d-4767-4d0d-8ae2-2794301c18be · outbound

This paper cites an unresolved cited work.

Correctness Witnesses with Function Contracts Unresolved cited work

Reference 11

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T17:22:41.581958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1ad50089-4366-4916-ae86-e09caf149513 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:22:41.567991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation fe6f7996-740f-4007-945b-7fb2e5e3c788 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 13

Resolution: verified exact; doi, observed 2026-08-10T17:22:41.203641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation af6a93ec-b94c-465a-a41a-8155ec8a8c5a · outbound

This paper cites an unresolved cited work.

Correctness Witnesses with Function Contracts Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:22:41.553860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5fcbbc83-0453-4a68-be2a-a52b96467053 · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T17:22:41.539611Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 1aa287fe-b6c4-4f67-89d4-4288f8d56c4a · outbound

This paper cites In: Proc.

Correctness Witnesses with Function Contracts In: Proc

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:22:41.525387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5de0e934-c110-449f-a2a3-5f8b16d277fc · outbound

This paper cites Computer25(10), 40–51 (1992).https: //doi.org/10.1109/2.161279.

Correctness Witnesses with Function Contracts Computer25(10), 40–51 (1992).https: //doi.org/10.1109/2.161279

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T17:22:41.163553Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.