{"as_of":"2026-08-20T06:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a9b36bd4447d138ca2e168d58635c7c6b226914880f31d9d45a7444165ee6dd6","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T02:24:20.431639Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2606.05466/citation-record","integrity":"/paper/2606.05466/integrity","json":"/paper/2606.05466/citation-record.json","paper":"/paper/2606.05466"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2011.574974","doi":"10.1109/hpca.2011.5749748","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 2011 IEEE 17th International Symposium on High Performance Com- puter Architecture","venue":null,"work_id":"c059b6ff-7388-46a5-94b2-3be7d2584dd0","year":2011},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:b007cc0d2bef47c2d47d08cd58f9d944360ccf21840c728085b47d822b6f8f01","observation_id":"77a07456-8efa-49b0-a981-7165f4ca2f59","resolution":{"observed_at":"2026-06-28T02:31:30.222151Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"In: Proceedings of the 1984 MACSYMA Users’ Conference","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:f221a2497bf7c72179a07efc61b6361ab28bf17b7c567d09146885d8ec0f2663","observation_id":"6a7a12b6-dcc3-4981-acd2-a8f4a0f623aa","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"10.1007/3-540-12868-9_95","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: van Hulzen, J.A","venue":"Lecture notes in computer science","work_id":"67bc9201-4865-4354-ac7b-c728dd5cbc27","year":1983},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:4480fa10488f536568ae9eb7cbfc250fb4b26fbd38cf20bd9d9be2a83a93268e","observation_id":"a342737e-ca49-49eb-a8d2-5c526b072eaf","resolution":{"observed_at":"2026-06-28T02:31:30.223719Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0017.800542","doi":"10.1145/800017.800542","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","venue":null,"work_id":"940364c5-dd1f-402f-be1d-31ca79fecd2d","year":1984},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:ba770649fc24712981c85c3e01e0a90c2c79141ff75cd535c39b7fc2ad13a12c","observation_id":"3f1e4e75-a7a5-42c7-bd31-3865feec5f71","resolution":{"observed_at":"2026-06-28T02:31:30.228870Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"MIT Press, Cam- bridge, MA (1985)","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:cd273c2f3bb2ad45d4752a571f92af77228586ed37039be2f4866894a66ba6c3","observation_id":"faaa913f-984a-4fb6-9b62-d6180d8faee4","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"Kluwer Academic Publishers, Boston (1992)","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:be6ad398bdea8c05b2269e62a54fac056075d969ff4bfb1d38ccaaeac8ea3f11","observation_id":"d6babc6e-af7c-422f-97e2-f5a8cfcbc1ff","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"3162.103163","doi":"10.1145/103162.103163","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"What every computer scientist should know about floating-point arithmetic","venue":"ACM Computing Surveys","work_id":"386b465f-5ffe-44ff-96e6-fe1c1255001b","year":1991},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:989d2ed0de201c6fe754fcdb7f851ec3e302b900c4ec71995d35967baaf78d21","observation_id":"2b74dc53-2c6c-4466-b19d-c4f56ec2961f","resolution":{"observed_at":"2026-06-28T02:31:30.225745Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-05-20T17:52:18.40938+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-20T17:52:18.40938+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:f404c6ae6061b9438b653b9e411ea15c63611b8c2f414d7971944ce94c7284e6","observation_id":"6f8c5887-79dd-4b1d-aa0b-adf3b1fe9549","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"International Congress on Mathematical Software 2026 (2026),https://icms-conference.org/2026/ session14.html, accessed 2026-05-10","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:a5b77c0771a39aedbbd0366e5fe0fff4b2995e26d5c904dcbaa426b3bbadb7b9","observation_id":"0d65f0b1-bd56-497b-ac13-56191003b004","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"2019.876622","doi":"10.1109/ieeestd.2019.8766229","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"IEEE Standard for Floating-Point Arithmetic. IEEE Std 754TM- 2019 (Revision of IEEE Std 754-2008)","venue":null,"work_id":"9bee9125-42df-4bb2-b1c3-e069a8b56cd3","year":2019},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:4828ca3a4b4cbbeeef831366da65dd00ec5619cfbc94550dd7db863b4af903c0","observation_id":"d61f63d5-1ac9-4878-9648-e3982dd1127d","resolution":{"observed_at":"2026-06-28T02:31:30.219628Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-11T22:19:32.403589+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T22:19:32.403589+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"Chapman and Hall/CRC, Boca Raton, FL (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:dfaedc9a5f3bd2370bcc9378a5b2f07c02b976b6a8d33e8450817538274494ab","observation_id":"a73f7641-125d-44a8-aa3d-dd469db2711d","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"10.1145/3763108","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Proceedings of the ACM on Programming Languages9(OOPSLA2), 1620–1646 (2025)","venue":"Proceedings of the ACM on Programming Languages","work_id":"fe1de395-464e-4314-86d4-9223b979673f","year":2025},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:832c3c8631b7fb4260d09f2657c6a56a7984d1f48aba83c929db85d5e52d805f","observation_id":"e6343f3e-fa0d-4bbe-8258-62d0a5d02424","resolution":{"observed_at":"2026-06-28T02:31:30.213229Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3693.273372","doi":"10.1145/2733693.2733720","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Communications in Computer Algebra48(4), 166–186 (2014)","venue":"ACM communications in computer algebra","work_id":"735a2d22-b7cd-488c-9197-3a1b7dceb9de","year":2014},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:001935d5449f239a4759caa1639880fbdf464904f62866a34f8aca2350200d39","observation_id":"a20d718c-3898-404b-b6e1-bbf4072e3ace","resolution":{"observed_at":"2026-06-28T02:31:30.215873Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"Firefox Source Docs (2026),https: //firefox-source-docs.mozilla.org/js/index.html, accessed 2026-05-05","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:96eb264bcdec5d48acd747994047d9e48fc90fd5a30176ab6b65bb33728d08b3","observation_id":"8f9902e2-a78a-4e81-8fab-2fbfc8147689","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"Archived Mozilla doc- umentation (2026),https://udn.realityripple.com/docs/Mozilla/Projects/ SpiderMonkey/Internals, accessed 2026-05-05","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:eeb3c913310626fc046a16fe7622e57bddedb9e2544c46f5f4f3a76b6ecc4fb4","observation_id":"a67f7895-aeb2-47f1-a90c-b5ff3f7d7891","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"Cambridge University Press, Cambridge (1996)","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:b539ec27520f6d7d4ac29e18b102a980d4578f5cd27237dd67d2c23cf1d314d5","observation_id":"a27ca18d-1b23-4f57-85bc-42f292bc88a3","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"V8 Blog (Mar 2020),https: //v8.dev/blog/pointer-compression, accessed 2026-05-05","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:c7f70161edd5c69cccaea0b810d8458498e2e5795097c37c4cea3ce381350273","observation_id":"e2df4a24-ec6b-4789-888b-eaf565954a93","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"2016.758126","doi":"10.1109/iiswc.2016.7581268","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 2016 IEEE International Sympo- sium on Workload Characterization","venue":null,"work_id":"4fa26c64-894a-4ca7-8b27-c00e5455b9f2","year":2016},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:ee034d07c3391683fcf4c3f6e6861cdcb53982a3f03aadf98a513306ecef32ac","observation_id":"be04529e-a3cb-45de-8a22-7cd3dacf3f1d","resolution":{"observed_at":"2026-06-28T02:31:30.214267Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"In: Proceedings of the 1977 MACSYMA Users’ Conference","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:307fe7dfb84fef79d941886cbff8cdf511a475a3c659335806376e05a8e39b71","observation_id":"1c9aa970-65a3-4a77-9a66-ffaec6e8fe75","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"In: Proceedings of the 1977 MAC- SYMA Users’ Conference","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:f402e80b9df2c861ed85457dbde322dd45dfe3b4b202bcc6dcd008f9f7926cfb","observation_id":"188d05c5-8876-4006-958a-b069d07774b0","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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-06-28T02:24:20.431639Z","title":"Digital Press, Bedford, MA, 2 edn","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:fc13f32ea62a5a69621464b5040a4203584eaa6a2cc4f37542f333be78886036","observation_id":"e3438dd3-aa16-4ad0-8299-f5dd46273159","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"6206.36183","doi":"10.1145/36206.36183","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems","venue":null,"work_id":"d726c333-c11a-4513-b525-9cc5dcbaeba7","year":1987},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:6fdd0751b88938e17c467f5ef49654c2aa3872ec9068441d4acda533f9fdac6c","observation_id":"60ec4ed5-e7b4-4a48-8f66-408dc06bcd31","resolution":{"observed_at":"2026-06-28T02:31:30.223069Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:95093f928a48a37b2a19f1a525929e3eb0f93e5f628ffd86b4b8322ede1d6770","observation_id":"fec88658-bef2-42de-83fc-d3fcce361cd9","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"7407.17379","doi":"10.5555/17407.17379","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"In: Proceedings of the 13th Annual International Symposium on Computer Architecture","venue":null,"work_id":"9d4955a5-72ad-4942-96c2-31332bcee4a4","year":1986},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:7f7777afe65948fbeb566338ddfbdb77e7fbb8aaed22f27f12d146227787fa2f","observation_id":"28eaa8a6-a0fc-420c-b623-8d24117c561b","resolution":{"observed_at":"2026-06-28T02:31:30.218667Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"(eds.): Symbolic Numeric Computation, Theo- retical Computer Science (Special Issue), vol","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:582d12f01f8f0b79823c42e66366b87622f88fe6ac60d7b23f3d6b7a14afc2be","observation_id":"90d98977-1be4-42ea-b2c3-27a01ef58067","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","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":"10.5281/zenodo.20518715","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"https://doi.org/10.5281/zenodo.20518715","venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"9bb0a222-12fc-4e79-a9e2-3c3d83b5db8c","year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:e0accc006b5d4c66bdcf43ef16fa521457091e5613818f9175e4e6d3c202fe7e","observation_id":"3a47aeec-8620-4d29-bcc6-a6e382e84bd4","resolution":{"observed_at":"2026-06-28T02:31:30.220399Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T02:24:20.431639Z","title":"Source file (2026), https://github.com/WebKit/WebKit/blob/main/Source/JavaScriptCore/ runtime/JSCJSValue.h, accessed 2026-05-05","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T02:24:20.431639Z"},"links":{"citing_paper":"/paper/2606.05466"},"observation_digest":"sha256:dad07f044cd7ea596bb91e63c07a1ad639d1201a3a0144acbace0c5c5dfa9de2","observation_id":"65cbab50-aafb-4f75-bd23-a35e82ca98b6","resolution":{"observed_at":"2026-06-28T02:24:20.431639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.05466","last_updated":"2026-06-18T18:27:00Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T19:53:20.439012Z","submitted_at":"2026-06-03T21:44:02Z","title":"Look Before You Leap: Checking In on Type Tag Checking"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":16,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":27},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}