{"as_of":"2026-08-05T15:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7ef2a8a9492e7c3e38e48ab34fd2aaf834b87ae836d68c649e4390a05c68048f","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-05T06:32:48.257954+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:61223e1672c354eda5726e800240fc6907cdce18df04613716e2faf547adf067","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:303201e74b00a1c434377e95f89edaddbe46773f8d6e647bb7cdd0ea261c2c5c","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:5ebfbaa91cd3cccc040e46d6d4b01995ebea6b356dfc484f6f54e64a0f776268","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:b7d9df8798c966e6c3c89bf74575aed7b1eb4c53cb2c5c4e2d308c72a30d5e83","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:e3f57852137a4a18282ec6d1ae56d1962445d60021d568dfbc9930dd85ed91ad","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:311103cd9eab74b316c52bbdc93e9f76ebd6d379aefd9d35054987e7bd4d27b1","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:d324cca1a8275ae036dacb1d5fd001f0eb394513316e9a0fabffada03aac0fb0","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:e080f3660a5f9b3ed03baba368d15d6362233ce4cd4d359650535c5bb81fa5b0","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:aee6e6211a0e9891371ba50884ca285cc47e7abd18faa7b207974a6a5e8f1393","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:d30b54657fa89814958d1da9adff1617ea8f667c0d0f0e011cf546956f160fb1","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:3de9934bdd187215a46664d373878aca8d4469d827c0b83908842b93236f05e2","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:9b6e7c97d2bb6cac8369447884734498aebee98d5578e36ca33e09cdfd6fd5d5","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:6987db7ac4fe1d1d025881a2bb5eec5978808f5482aea70219c23fba1dd06720","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:61274619d725744c6d7aff630de9b9e58eac29cf68488dcd0946648e1163aa4a","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:da1100f23c9e0d6f6acc2fc4498324e3d6d973f62f063982f9c592fb236c7a29","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:1a5df5d2d833d49de14d3cb6336a6c40c225528028d953bf4f50e6f284e5aa54","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:80db884d731c6e4574397c4a6f23a4a0361c15a17291d0f4702ed428279aba3b","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:544cfe7c5529e6e1a42f76e6f6e05cb9abfe73b55f50e1698514f1ca78bbe352","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:e055c568850f557426c885d039ca847b206af896b9ba73dc0cbf5b65fa1d5d65","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:05610a6faa7c25b67f11027441e481d359b102ea6ca839e8ca495fd6abca9182","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:9a440f7341306c031b1c033221f004fddf9cd51ff7d96cb633b028e0fdbd84ff","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:561ea489e5b8bc2042af5da154c846526c241f063bc8a2530b7a618aef6090f0","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:b5b27a9c41c409a3fb2a86176842015c05403816ecb80d6e180a472be96c8159","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:41572c2baa186bc3f7bcac7ef4e71d5afa387eb63784da93b7bc06d45cf7f3a6","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:dc8a0ef83e1fe51a16e58e64158073d3b78a07fcf0d326cf60a5557be88d6e21","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:bcc2e8832b36bddb32b4a69f1147306bed53450ed46ca1803840c3f099350366","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:621963bfedddfaab444708d6f075f41798ca6b30aef29018e70a3db275a0349e","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:af142bc4dff91aee79ba96c9e5675cde3c7bf49a86a5db646229575931265c4a","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:d99f197e59ad2b92fc8f9e0307eb2e00a01fd548862cc4dd4bf1b8f455794f8f","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:b97c05fb6fd813d93d3990d82a139402a0cd02f337c807af506af3006eacceea","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:2cbeb5125ec6806d5d7a3c612fad086bfd03784d70ca7c83f1f5b7d2c5f1b6e1","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:07b5ee49b834bc094a19b4d7187c5cf9f79aa37094df2dc25a93deb0b188a12d","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:dec8963acf6685adbcb49ef7ff0bf6ac479ba816e7285b3ee6b29280c9ffe26f","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:272018e03207d214a61e4ddbe00088eb0e69026fe9376b140dd3f4b4975dbec4","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:ee392a4b5f17df97f39d5b97370a90e37ad63e5e00344f129333e3fd1f82267d","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:f14e221f4131be61efa3d37e4c2c93a67ed30fb14b500938b1c828c044c01344","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:45df471df63bdbce8b27ed8abd676ce1e6a662cfd80d26aa6a8ce3eb9dc9d095","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:5b450577152376edefa8b49416a167fb317c1d72c3f78126a76cde1f73869ed0","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:58c4210b85cb3a663545080f2ca079a351dcc84824d1c03cc86421c7d0d7f3df","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:3709e67334d653e1f3f5861f49faed676cde9090415533ae34622e8e0f99e035","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:75154d83471510a1f97686e72b5a208e769d348c83ab757a148bde8cdf017c54","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:afd8d971ca12d499f70c40cfb7a6dcc367241fd0ae4adf95cbc4be9280dd4136","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:d448210546aa2299efe94d2001294fab19db0796f5979662dcd8d696d708a2e1","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:64c9b1f7b1839a2fdad90e55181c13361ed2d3702631b12a299b8a99ff49eadb","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:5393f17306072a145ac34a8684022ef2eda8c18fbe7e20eaa3edb54aba0594c2","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:1b8c04bf91fbb3328ec0445e8ca07363d5bc2e320e8e2be94c65338ddbc619a0","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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:3d40a368cea4290dd5ccb11b7817356172a12dce2566c04a574234e730011caf","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-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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."}