{"as_of":"2026-08-05T06:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ea1c26d8d623b97c207bc6bd3f2e91d03ebee70f1c15e32ec90948b72aa62238","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-09T14:59:39.382486Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T12:13:16.684251Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"cited_work":{"arxiv_id":"2605.00655","doi":"10.48550/arxiv.2605.00655","metadata_source":"pith","pith_arxiv_id":"2605.00655","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Type Theory With Erasure","venue":"cs.PL","work_id":"de3e4bcf-0c21-46a5-9e81-335aac7cd0b4","year":2026},"citing_paper":{"arxiv_id":"2607.08154","last_updated":"2026-07-09T06:49:13Z","snapshot_observed_at":"2026-07-12T23:18:20.255065Z","submitted_at":"2026-07-09T06:49:13Z","title":"Directed proof-relevant logical relations in simplicial HoTT","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-10T12:13:16.684251Z"},"links":{"cited_paper":"/paper/2605.00655","citing_paper":"/paper/2607.08154"},"observation_digest":"sha256:ef9ad5daadf991bcddd499e3c0c52a7fd525118a971d8c5d7aee2ee9fc28998c","observation_id":"83952dcc-6b5f-45fb-9010-01c0ff53665f","resolution":{"observed_at":"2026-07-10T12:17:03.687189Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.00655/citation-record","integrity":"/paper/2605.00655/integrity","json":"/paper/2605.00655/citation-record.json","paper":"/paper/2605.00655"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"45523815-d5fd-495f-8850-0387fee20a60","year":2023},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:b73e84654a775a1a75090854ce5ac6df9cd6f066f1b5e1575890b9d8a2ae3c4c","observation_id":"d096093a-ad97-4c2f-9068-66f2235fd20d","resolution":{"observed_at":"2026-05-26T01:36:29.268730Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"dd0e1f1e-7403-436a-b693-3093378c6f38","year":2022},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:03502b8f9a0c71fb3dee85230e443327b25353e45717ac603a38aab83aaf02b8","observation_id":"bf7d2056-3125-412a-af5e-17c551df1d7e","resolution":{"observed_at":"2026-05-26T01:36:29.415263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , publisher =","venue":null,"work_id":"41dfc4a2-4b27-447f-aeac-21be9cc726c3","year":2016},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:4c605be622da21db2cfd6c70a71098c9ccea569cfacff37d61e30f7b89e75f11","observation_id":"708baf0b-6215-4dda-be09-5ca112b5a289","resolution":{"observed_at":"2026-05-26T01:36:29.421715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) , publisher =","venue":null,"work_id":"c83d20d3-0106-4e0d-87da-08a4de93a3ef","year":2019},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:f225f36b7656b8c9bbc69ad0c4824dcf2d41d261fe4265419911146add36f101","observation_id":"a08c22dd-5dde-4d52-abf1-2059dda73f91","resolution":{"observed_at":"2026-05-26T01:36:29.391337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2024 , url =","venue":null,"work_id":"e13b75d0-2c76-4acf-ad49-302307fff72a","year":2024},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:07eccea081039d38b9541e629d3983350d9bffcad57885110a91bff02d615977","observation_id":"139a4992-a0b2-44a7-9e64-37218cf78228","resolution":{"observed_at":"2026-05-26T01:36:29.402479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science , publisher =","venue":null,"work_id":"b215e882-2cf9-4ec5-9061-0691cc270c7d","year":2018},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:39b0ebb78e7c43f1ae3aad8ae3c9390719b2ab5f16c95088714a30b31f88a742","observation_id":"4ecd9704-df84-45ea-8bd1-3b94cb8b341b","resolution":{"observed_at":"2026-05-26T01:36:29.425058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2016 , series =","venue":null,"work_id":"b701b474-d84d-4ba0-beb2-7deab3394fef","year":2016},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:a8329185108220a017afea9ccf2d763bdbc3a3c4146fd3d3040877214722b8d0","observation_id":"3cd74a53-0581-4990-8389-578fba279005","resolution":{"observed_at":"2026-05-26T01:36:29.431854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"13fbe77f-c483-49ef-b6bf-b83493123033","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:193ba6a292abcbebb2d5c26268d6c0d7bfa6d0a213deb7766dde94bf802f5d41","observation_id":"db34eb33-f8a3-4144-8037-c87b333aaac2","resolution":{"observed_at":"2026-05-26T01:36:29.303858Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [cs.LO] , year =","venue":null,"work_id":"adfb91cd-6ae3-4d64-87e0-52a0cf6f4bf9","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:4df1cf0988ff4490578d83eb650a1e00feec97ef02a3ec70f2767af4075daa24","observation_id":"a1cfbc2a-0ea1-4358-a3b6-07cdd4835085","resolution":{"observed_at":"2026-05-26T01:36:29.312806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2021 , url =","venue":null,"work_id":"d68c18d6-a196-4d1c-8828-29638e359596","year":2021},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:1e89c29b8b21e00d880f75dd43223ac29128835a469d2924022e3cd402548d0c","observation_id":"3bb02a03-88ad-4928-8235-4c73ba254690","resolution":{"observed_at":"2026-05-26T01:36:29.325475Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Semantics and Logics of Computation , publisher =","venue":null,"work_id":"a9bd778b-6c2f-430c-a2c2-523ea3323032","year":1997},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:d73a2e0b8a00cb399a5c5d906caa6ede26d69d5ba33bcf5c6d5e42934b8c69a8","observation_id":"9a3ba37a-e7a0-43c1-9d4d-3e86d0b153a8","resolution":{"observed_at":"2026-05-26T01:36:29.428421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2c349a53-ae30-4231-aec2-edc9dd54c035","year":1986},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:da53807d5820c6ae48b9f7b2c3400089b751d5e6f017826be151fb0a5134314d","observation_id":"3ae165ae-a73d-4f75-b3e0-c456ef1a2c78","resolution":{"observed_at":"2026-05-26T01:36:29.398181Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6f3f1be1-2adf-41c7-b574-e88e2bbade53","year":2021},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:bd4eca78e4381b3f24f85b986c55549f41d361a0227aee5089f4451caa716409","observation_id":"050923b9-de5c-4154-8e31-be7e07e8a44a","resolution":{"observed_at":"2026-05-26T01:36:29.405264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 , publisher =","venue":null,"work_id":"335bf453-3952-47b7-8196-980733b6dcb7","year":1990},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:2c21f40336da6c40a6ef0b57b42cae86e6c27475808ecef01eaa7e1fdb65d69c","observation_id":"819273b5-1eb1-4ff3-822d-ea263dd21675","resolution":{"observed_at":"2026-05-26T01:36:29.388139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"1997 , note =","venue":null,"work_id":"d365c6b6-6340-4938-84de-0b30fc3ab002","year":1997},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:44f52499882a678ab654e2c96e71db24d325eb2442bcadf1f00cd6b139c71f06","observation_id":"727c6d22-8012-4f34-8a94-0bbcf038931b","resolution":{"observed_at":"2026-05-26T01:36:29.394512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2023 , url =","venue":null,"work_id":"b0e0bb8b-a4a6-4c3e-a46d-49a4c13bbb34","year":2023},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:6ed525bdc16f542ee6df17d57b581684625733a4fd4acd3b92b1a92567991a75","observation_id":"65464a93-bed6-43ea-83fa-f0c09daa7d34","resolution":{"observed_at":"2026-05-26T01:36:29.408386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2022 , url =","venue":null,"work_id":"fde92693-bc44-4e9e-b12c-6d0bba108c67","year":2022},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:a3b691027d8e34bc922d9f17054f57eb055522cb125973a937d070ee3545a89d","observation_id":"4d223e82-92e8-4ded-aa10-e760bbce734f","resolution":{"observed_at":"2026-05-26T01:36:29.412081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2020 , url =","venue":null,"work_id":"d5abd699-5807-43e6-93bd-c768f347ef95","year":2020},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:eda788aec1c45421d430cbab47417b0a610e9be4d6e9e1be5d7adecc30f21fed","observation_id":"112e3ee6-d5a0-41a6-b1d4-85dc3fde11bc","resolution":{"observed_at":"2026-05-26T01:36:29.418503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Types for Proofs and Programs , publisher =","venue":null,"work_id":"c6412f5e-261b-4a11-836d-bcd6df6dfe6c","year":2004},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:c41eb8666e7f8cecc5456e1032af4604b35aafe427a3d832d84aed53190963c6","observation_id":"f860215b-ed01-47a0-878f-042e1b885eac","resolution":{"observed_at":"2026-05-26T01:36:29.384542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2013 , url =","venue":null,"work_id":"612dec67-1cfb-4e05-a1dd-b32839836ba9","year":2013},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:27b58f5673d1aea5b79d9fd3b68193849c2a2c563e167c15224d6691c775d971","observation_id":"44bd732d-cc11-4cc2-831a-b9fe3585c255","resolution":{"observed_at":"2026-05-26T01:36:29.367236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3c487079-66d1-46b3-8fa1-b51a76560b0c","year":2024},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:56e96666b8722f4461f092731ed1a1be2fc045a50e5313aac9e19145650bcf60","observation_id":"93f18797-3d9b-4c61-9428-8e798b67cd67","resolution":{"observed_at":"2026-05-26T01:36:29.363921Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A ghost sort for proof-relevant yet erased data in Rocq and","venue":null,"work_id":"71d62127-c8ee-4aa4-8110-916f55e59a0a","year":2025},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:5998435daec1b599917551fc537d1eb4c7e3922c3488e4a7b418a282bb1bcc63","observation_id":"27a3f432-53e7-4515-a335-8b49a6c56226","resolution":{"observed_at":"2026-05-26T01:36:29.370110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2023 , url =","venue":null,"work_id":"d5845d8f-dc31-47c1-8d53-f4c1aae83f2c","year":2023},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:c0af86f9540b78193c34858205ea0f999ec0f1affdd3c6e7a881dc4c7b7ba96f","observation_id":"f1245587-96fa-445f-b6cf-cae482ecc8d9","resolution":{"observed_at":"2026-05-26T01:36:29.357082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f75b39a1-de6b-4525-b795-d38dd0a041ee","year":2021},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:41efb6917807a46c8c06c98f0e6f2cf2967da21398a6259aed37a266f34308e9","observation_id":"0556d416-305d-4b2f-9c79-ad63454ff97f","resolution":{"observed_at":"2026-05-26T01:36:29.353843Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [math.CT] , year =","venue":null,"work_id":"47804b24-adf4-4bae-91b6-b937e9c15a79","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:2c8bc5b5b373ce7a41a8c28c203ee66985d61059919ca9c1721d612ff2f5e280","observation_id":"0930bc18-c4d5-47ea-8b7c-4366e87c8428","resolution":{"observed_at":"2026-05-26T01:36:29.360850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2005 , url =","venue":null,"work_id":"230adcc6-017a-4749-8b0a-6b0562d06f30","year":2005},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:7de3dffc2a89c10459c78f5204b5cc38966867e63aa7513890c06f97996d886a","observation_id":"e671b45d-e929-4526-a6ed-f8687d345097","resolution":{"observed_at":"2026-05-26T01:36:29.372686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [cs.LO] , year =","venue":null,"work_id":"f460037f-5a3d-4872-8c41-5de55c71b737","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:eb1cfdd4e606eee50c9acac45175df454cb1b17338d5d30c931fde07e82cc1ff","observation_id":"2e586e6e-6061-4f15-bac2-6318221e5c27","resolution":{"observed_at":"2026-05-26T01:36:29.378679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) , publisher =","venue":null,"work_id":"f028bde9-d337-4ba4-b8b6-560bf3106114","year":2018},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:f3e9f1c83cfaf7b0d8df50abdeae6cb33969895c95f8d3abd92d5d0fa1d13382","observation_id":"94092ca2-88c5-4841-9647-6f447536f790","resolution":{"observed_at":"2026-05-26T01:36:29.319483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [math.CT] , year =","venue":null,"work_id":"e7d9c627-933f-464a-96bb-ee08a7fc7916","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:1e13f0df9b0138080247ff48891b035b18f9886a2f3b5fad715af30824402f4b","observation_id":"a03a25df-d87f-44f0-bd37-a09204872846","resolution":{"observed_at":"2026-05-26T01:36:29.316039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =","venue":null,"work_id":"396b143c-c163-416c-a5a6-458ce6b1e4b8","year":2021},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:22e47462f6ff2051afd32c505d231ff8b01f3a47ec6160cb44f187d112a7a24f","observation_id":"1cb1524f-e636-4b94-aaa9-22a611ab1f2e","resolution":{"observed_at":"2026-05-26T01:36:29.322310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [cs.LO] , year =","venue":null,"work_id":"d47b9051-65b0-480b-9d33-61cc685eb109","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:137f1c50cfee5252f52e8aa87ecd1a6cf427bb1d1daf4485668e55829efc6901","observation_id":"7a09efb2-aa53-4a53-a1e4-91d07c8e2afe","resolution":{"observed_at":"2026-05-26T01:36:29.328648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"eb008c63-e146-4433-8902-2417fb31ae24","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:c70336663955ba495b8708987b1e215543ed29077f2f8ff776cc8d21cb683b19","observation_id":"fbedeb0a-0930-4ba6-bf98-c8237346c259","resolution":{"observed_at":"2026-05-26T01:36:29.309734Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2025 , language =","venue":null,"work_id":"79e09933-6cd4-4eb9-8caa-b940441a085b","year":2025},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:3958026d90c035c0067de30c1cf112bb736b3d306e8d81e662a237e51018f491","observation_id":"91aa5e21-f09a-41e9-b7b3-9ddd8577bf3a","resolution":{"observed_at":"2026-05-26T01:36:29.301200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On the relationship between","venue":null,"work_id":"26272674-203c-4ff5-bf25-12f6c701b53b","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:96278a8eb79b39a8d76627bb42b35af2c2cf829a3dba39669fdc9bc94d9267af","observation_id":"f99501df-7612-466c-80b9-3011b638bff7","resolution":{"observed_at":"2026-05-26T01:36:29.306864Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2a019b14-b47f-47ea-8dca-77cf8fbac1a5","year":2011},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:a19bddfb06d32e5d48e4ada97d419118707a13595b877b6e936ac14ea9b2e96e","observation_id":"0dc6efa4-5bf1-4d60-92e2-2e026412ff35","resolution":{"observed_at":"2026-05-26T01:36:29.350376Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"idris-lang/","venue":null,"work_id":"112cec02-e1e1-4a0c-8bf8-96a7e1c224b0","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:1d87f8db919638399b5c73acb8d87abd100f7487c9daed52a32fc06868f3b637","observation_id":"a628a384-5516-468d-8935-e4e7c0192401","resolution":{"observed_at":"2026-05-26T01:36:29.375545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Foundations of Software Science and Computation Structures , publisher =","venue":null,"work_id":"2ea50a68-33ab-4731-9413-b8d177dc5a22","year":2018},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:cf661d57c914eb873cb7663d16d154c1f4aa7a97ea91291b94837979025a172e","observation_id":"df87b22b-e1c1-4b56-94c9-4d9e655ba98a","resolution":{"observed_at":"2026-05-26T01:36:29.381735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"2021 , url =","venue":null,"work_id":"de73610e-f866-45c6-be28-0fb32b1e10e7","year":2021},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:de4ceb6b3d72499bf6a0f4f9a2178036cd8a9fe949ff905a3b0a0ca2f6dfdc3d","observation_id":"66293daa-be00-4534-9f1b-1bfea91de8f9","resolution":{"observed_at":"2026-05-26T01:36:29.297842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"43d9c5c4-bb69-4d45-8a10-80ec21abc577","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:6e5f4a2915f9bcf141e6ece6718c292d9b27ab61570e5a2c53a203a27cf71ff3","observation_id":"8c3a5791-3793-4967-a3c3-d352d95b2f36","resolution":{"observed_at":"2026-05-26T01:36:29.288224Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e86efbc1-6136-4131-8b98-6df6807704bc","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:20a0aade129a8de6c5640d0381635c2bd8f5307a49fad2026ec356b22b5d71b2","observation_id":"af8ef2fc-e386-4bed-99cb-ca2b808b9e4c","resolution":{"observed_at":"2026-05-26T01:36:29.285307Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Proceedings of the 18th ACM SIGPLAN international conference on Functional programming , publisher =","venue":null,"work_id":"b36087d7-b236-44ba-9d54-8ee75c03d8cf","year":2013},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:3c47de6897a4ed8fd172a9384c650dfbcdcc705a0e1d9db78e9ea909a975c623","observation_id":"ea4e325d-7dba-48a8-bde0-32249d7dc32c","resolution":{"observed_at":"2026-05-26T01:36:29.291369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Foundations of Software Science and Computational Structures , publisher =","venue":null,"work_id":"f09f1bbf-5ca7-4652-bcb5-d355d4e202a8","year":2008},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:a9f38eb0dc73725e9fe6b0e9c97161c9e9ea8e48fcb26c31b73c18cf0892c14e","observation_id":"e996abe7-6094-4400-a710-4859c04df2aa","resolution":{"observed_at":"2026-05-26T01:36:29.276048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv [cs.PL] , year =","venue":null,"work_id":"73190b0b-97a8-4ac8-95da-9b95a6b7029b","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:2fc31c6ff3405568e7d1486eff8d87c3c3ec30132a7ca43f3f00330a459e1a76","observation_id":"3e9b2cd6-d036-4c6a-905d-44326dd75fd9","resolution":{"observed_at":"2026-05-26T01:36:29.279296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"04-implicit-args at master ·","venue":null,"work_id":"725ac5db-4510-464e-a376-eaf54d95599d","year":null},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:5832396865277178f1e9686824fa97b64b8bb1a066fb726b9c0f734bd91ee228","observation_id":"33d20eae-b18a-4ec8-bf92-aaa116077d86","resolution":{"observed_at":"2026-05-26T01:36:29.282350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"1988 , note =","venue":null,"work_id":"cbd0c349-8c5d-4267-93af-ddc64e631582","year":1988},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:1ba67182430682d5cfb087a1145afe9802fd3c0ba19644cf93e9eff7603aed08","observation_id":"05ee1b06-c930-4bd8-8dae-94275b903585","resolution":{"observed_at":"2026-05-26T01:36:29.294086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"1963 , url =","venue":null,"work_id":"1c77a13b-2cc9-4f2e-a3af-2aac359dcc74","year":1963},"citing_paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-05-09T14:59:39.382486Z"},"links":{"citing_paper":"/paper/2605.00655"},"observation_digest":"sha256:3e86cd8102258094c606abd8eec33ab86f7abd046294adf5e1ac25301addd357","observation_id":"b0b5b8a4-e54d-4dbd-93a9-7fa8cc7711d9","resolution":{"observed_at":"2026-05-26T01:36:29.272041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.00655","last_updated":"2026-05-01T13:38:10Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-02T13:48:51.813157Z","submitted_at":"2026-05-01T13:38:10Z","title":"Type Theory With Erasure"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":10,"verified_exact":0,"verified_fuzzy":35},"total_outbound_references":46},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 1 inbound Pith citation observation for arXiv:2605.00655."}