Paper Citation Record · LEDGER

Look Before You Leap: Checking In on Type Tag Checking

As of 20 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2606.05466.

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

pith.paper-citation-record.v1
2606.05466 v2

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T02:24:20.431639Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact9
verified fuzzy0
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 77a07456-8efa-49b0-a981-7165f4ca2f59 · outbound

This paper cites In: Proceedings of the 2011 IEEE 17th International Symposium on High Performance Com- puter Architecture.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 2011 IEEE 17th International Symposium on High Performance Com- puter Architecture

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.222151Z

Source-reported events for the cited work

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

Observation 6a7a12b6-dcc3-4981-acd2-a8f4a0f623aa · outbound

This paper cites In: Proceedings of the 1984 MACSYMA Users’ Conference.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 1984 MACSYMA Users’ Conference

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a342737e-ca49-49eb-a8d2-5c526b072eaf · outbound

This paper cites In: van Hulzen, J.A.

Look Before You Leap: Checking In on Type Tag Checking In: van Hulzen, J.A

Reference 3

Resolution: verified exact; doi, observed 2026-06-28T02:31:30.223719Z

Source-reported events for the cited work

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

Observation 3f1e4e75-a7a5-42c7-bd31-3865feec5f71 · outbound

This paper cites In: Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.228870Z

Source-reported events for the cited work

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

Observation faaa913f-984a-4fb6-9b62-d6180d8faee4 · outbound

This paper cites MIT Press, Cam- bridge, MA (1985).

Look Before You Leap: Checking In on Type Tag Checking MIT Press, Cam- bridge, MA (1985)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6babc6e-af7c-422f-97e2-f5a8cfcbc1ff · outbound

This paper cites Kluwer Academic Publishers, Boston (1992).

Look Before You Leap: Checking In on Type Tag Checking Kluwer Academic Publishers, Boston (1992)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b74dc53-2c6c-4466-b19d-c4f56ec2961f · outbound

This paper cites What every computer scientist should know about floating-point arithmetic.

Look Before You Leap: Checking In on Type Tag Checking What every computer scientist should know about floating-point arithmetic

Reference 7

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T02:31:30.225745Z

Source-reported events for the cited work

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

Observation 6f8c5887-79dd-4b1d-aa0b-adf3b1fe9549 · outbound

This paper cites an unresolved cited work.

Look Before You Leap: Checking In on Type Tag Checking Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d65f0b1-bd56-497b-ac13-56191003b004 · outbound

This paper cites International Congress on Mathematical Software 2026 (2026),https://icms-conference.org/2026/ session14.html, accessed 2026-05-10.

Look Before You Leap: Checking In on Type Tag Checking International Congress on Mathematical Software 2026 (2026),https://icms-conference.org/2026/ session14.html, accessed 2026-05-10

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d61f63d5-1ac9-4878-9648-e3982dd1127d · outbound

This paper cites IEEE Standard for Floating-Point Arithmetic. IEEE Std 754TM- 2019 (Revision of IEEE Std 754-2008).

Look Before You Leap: Checking In on Type Tag Checking IEEE Standard for Floating-Point Arithmetic. IEEE Std 754TM- 2019 (Revision of IEEE Std 754-2008)

Reference 10

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T02:31:30.219628Z

Source-reported events for the cited work

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

Observation a73f7641-125d-44a8-aa3d-dd469db2711d · outbound

This paper cites Chapman and Hall/CRC, Boca Raton, FL (2011).

Look Before You Leap: Checking In on Type Tag Checking Chapman and Hall/CRC, Boca Raton, FL (2011)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6343f3e-fa0d-4bbe-8258-62d0a5d02424 · outbound

This paper cites Proceedings of the ACM on Programming Languages9(OOPSLA2), 1620–1646 (2025).

Look Before You Leap: Checking In on Type Tag Checking Proceedings of the ACM on Programming Languages9(OOPSLA2), 1620–1646 (2025)

Reference 12

Resolution: verified exact; doi, observed 2026-06-28T02:31:30.213229Z

Source-reported events for the cited work

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

Observation a20d718c-3898-404b-b6e1-bbf4072e3ace · outbound

This paper cites Communications in Computer Algebra48(4), 166–186 (2014).

Look Before You Leap: Checking In on Type Tag Checking Communications in Computer Algebra48(4), 166–186 (2014)

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.215873Z

Source-reported events for the cited work

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

Observation 8f9902e2-a78a-4e81-8fab-2fbfc8147689 · outbound

This paper cites Firefox Source Docs (2026),https: //firefox-source-docs.mozilla.org/js/index.html, accessed 2026-05-05.

Look Before You Leap: Checking In on Type Tag Checking Firefox Source Docs (2026),https: //firefox-source-docs.mozilla.org/js/index.html, accessed 2026-05-05

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a67f7895-aeb2-47f1-a90c-b5ff3f7d7891 · outbound

This paper cites Archived Mozilla doc- umentation (2026),https://udn.realityripple.com/docs/Mozilla/Projects/ SpiderMonkey/Internals, accessed 2026-05-05.

Look Before You Leap: Checking In on Type Tag Checking Archived Mozilla doc- umentation (2026),https://udn.realityripple.com/docs/Mozilla/Projects/ SpiderMonkey/Internals, accessed 2026-05-05

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a27ca18d-1b23-4f57-85bc-42f292bc88a3 · outbound

This paper cites Cambridge University Press, Cambridge (1996).

Look Before You Leap: Checking In on Type Tag Checking Cambridge University Press, Cambridge (1996)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2df4a24-ec6b-4789-888b-eaf565954a93 · outbound

This paper cites V8 Blog (Mar 2020),https: //v8.dev/blog/pointer-compression, accessed 2026-05-05.

Look Before You Leap: Checking In on Type Tag Checking V8 Blog (Mar 2020),https: //v8.dev/blog/pointer-compression, accessed 2026-05-05

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be04529e-a3cb-45de-8a22-7cd3dacf3f1d · outbound

This paper cites In: Proceedings of the 2016 IEEE International Sympo- sium on Workload Characterization.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 2016 IEEE International Sympo- sium on Workload Characterization

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.214267Z

Source-reported events for the cited work

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

Observation 1c9aa970-65a3-4a77-9a66-ffaec6e8fe75 · outbound

This paper cites In: Proceedings of the 1977 MACSYMA Users’ Conference.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 1977 MACSYMA Users’ Conference

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 188d05c5-8876-4006-958a-b069d07774b0 · outbound

This paper cites In: Proceedings of the 1977 MAC- SYMA Users’ Conference.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 1977 MAC- SYMA Users’ Conference

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3438dd3-aa16-4ad0-8299-f5dd46273159 · outbound

This paper cites Digital Press, Bedford, MA, 2 edn.

Look Before You Leap: Checking In on Type Tag Checking Digital Press, Bedford, MA, 2 edn

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60ec4ed5-e7b4-4a48-8f66-408dc06bcd31 · outbound

This paper cites In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.223069Z

Source-reported events for the cited work

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

Observation fec88658-bef2-42de-83fc-d3fcce361cd9 · outbound

This paper cites an unresolved cited work.

Look Before You Leap: Checking In on Type Tag Checking Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28eaa8a6-a0fc-420c-b623-8d24117c561b · outbound

This paper cites In: Proceedings of the 13th Annual International Symposium on Computer Architecture.

Look Before You Leap: Checking In on Type Tag Checking In: Proceedings of the 13th Annual International Symposium on Computer Architecture

Reference 24

Resolution: verified exact; arxiv_id, observed 2026-06-28T02:31:30.218667Z

Source-reported events for the cited work

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

Observation 90d98977-1be4-42ea-b2c3-27a01ef58067 · outbound

This paper cites (eds.): Symbolic Numeric Computation, Theo- retical Computer Science (Special Issue), vol.

Look Before You Leap: Checking In on Type Tag Checking (eds.): Symbolic Numeric Computation, Theo- retical Computer Science (Special Issue), vol

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a47aeec-8620-4d29-bcc6-a6e382e84bd4 · outbound

This paper cites https://doi.org/10.5281/zenodo.20518715.

Look Before You Leap: Checking In on Type Tag Checking https://doi.org/10.5281/zenodo.20518715

Reference 26

Resolution: verified exact; doi, observed 2026-06-28T02:31:30.220399Z

Source-reported events for the cited work

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

Observation 65cbab50-aafb-4f75-bd23-a35e82ca98b6 · outbound

This paper cites Source file (2026), https://github.com/WebKit/WebKit/blob/main/Source/JavaScriptCore/ runtime/JSCJSValue.h, accessed 2026-05-05.

Look Before You Leap: Checking In on Type Tag Checking Source file (2026), https://github.com/WebKit/WebKit/blob/main/Source/JavaScriptCore/ runtime/JSCJSValue.h, accessed 2026-05-05

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T02:24:20.431639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.