{"as_of":"2026-08-08T23:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1e4ed041ccfc688772844d3e0b603c88a83dbd4adbd1ea3166da4cd9aa922769","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:45:34.126331Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.21225/citation-record","integrity":"/paper/2505.21225/integrity","json":"/paper/2505.21225/citation-record.json","paper":"/paper/2505.21225"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-27836-8_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:34.623715Z","title":"In: Automata, Languages and Programming, pp","venue":null,"work_id":"e8e82b8b-a502-4fe8-a1a6-94163c87e15d","year":2004},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:31.689891Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:32c2452ee3380d3abfe698dc153e9992583a2d79f82babb0a8ff45e543cbe93c","observation_id":"4c2ebc5a-fa27-45f7-884d-5252914695ec","resolution":{"observed_at":"2026-08-07T13:45:34.685982Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:39.501877Z","title":"thesis, https://www2.tcs.ifi.lmu.de/~abel/talkHabil2013.pdf Custom Representations of Inductive Families 23","venue":null,"work_id":"a2178b73-1083-4111-bf72-afbdf7d8ba29","year":null},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:31.729484Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:37789396dbc2e80b8a22bfeb4048e2c76a4f60764667a7568215397dd6966747","observation_id":"fca4a73c-31c5-4137-9408-d6feb90e266f","resolution":{"observed_at":"2026-08-07T13:45:39.593526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:39.339737Z","title":null,"venue":null,"work_id":"f407e64d-f276-4f92-b16f-0eb47bcf4ece","year":2010},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:31.803674Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:8a689cad69dcfd7dc3c6ca5785621fd5e35d450d19b93c4df01e5844fd2eb1c4","observation_id":"79aa99d1-2f98-45cf-8b54-3ce66c6ac8c9","resolution":{"observed_at":"2026-08-07T13:45:39.414104Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30044-8_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:34.482230Z","title":"In: Programming Lan- guages and Systems","venue":null,"work_id":"c9687187-a180-4e31-a824-cb6c2aa78ed3","year":2023},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:31.886101Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:d62cc744e2831b2cbe2ff1ca389c44d63151e28b2756f8f671a62662ec78aebf","observation_id":"c76af61b-61c1-4afb-b8ff-bcb55956463e","resolution":{"observed_at":"2026-08-07T13:45:34.557210Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.13441","last_updated":"2024-04-26T16:18:36Z","snapshot_observed_at":"2026-08-08T17:23:43.486167Z","submitted_at":"2023-10-20T12:09:17Z","title":"Seamless, Correct, and Generic Programming over Serialised Data","version":2},"cited_work":{"arxiv_id":"2310.13441","doi":null,"metadata_source":"pith","pith_arxiv_id":"2310.13441","snapshot_observed_at":"2026-08-07T13:45:36.247297Z","title":"Seamless, Correct, and Generic Programming over Serialised Data","venue":"cs.PL","work_id":"8a43de91-3809-4f8b-896d-5b5c3bff2694","year":2023},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:31.960026Z"},"links":{"cited_paper":"/paper/2310.13441","citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:ae11adad0b9b57af0b3e2fa3420da1e8d3f2c2c0ac00a26435840606e2aa4797","observation_id":"8f8a99a3-bac6-43d9-9ccc-2d9d591a8dda","resolution":{"observed_at":"2026-08-07T13:45:36.301976Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.15375","last_updated":"2025-07-18T07:57:21Z","snapshot_observed_at":"2026-07-06T15:47:15.230195Z","submitted_at":"2023-06-27T10:47:22Z","title":"Frex: dependently-typed algebraic simplification","version":2},"cited_work":{"arxiv_id":"2306.15375","doi":"10.48550/arxiv.2306.15375","metadata_source":"pith","pith_arxiv_id":"2306.15375","snapshot_observed_at":"2026-08-07T18:16:16.850658Z","title":"Frex: dependently-typed algebraic simplification","venue":"cs.PL","work_id":"565d5b8d-f190-486b-be26-aa64416ae56a","year":2023},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.033273Z"},"links":{"cited_paper":"/paper/2306.15375","citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:39123b22c9f333f234e6261b36a130bcb6b48d0031bdecb871456661faf2bb3b","observation_id":"470e3bb5-f8bb-4436-a74a-0f0127a8c513","resolution":{"observed_at":"2026-08-07T13:45:34.406356Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:32.108684Z","title":"In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.108684Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:3c8f940dec43de8df2a5119bbd0a3599869187cfd2e9d4f8bff93e63b079d704","observation_id":"1d512d10-b17d-4127-a286-de81f94b82b0","resolution":{"observed_at":"2026-08-07T13:45:32.108684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:39.210243Z","title":"In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","venue":null,"work_id":"f8887be3-c89b-4fc5-8d03-00eeb923ee37","year":null},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.191337Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:9c7852562155a9f7b70c2761ff7b5aaa8a00784035e778f8d6ccb0ded6b18801","observation_id":"be0383ad-16ce-4d1a-b146-c1918db12ab2","resolution":{"observed_at":"2026-08-07T13:45:39.268133Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:39.067830Z","title":null,"venue":null,"work_id":"0f1ca34e-06c2-4259-b5f9-66df8e00bf2d","year":2011},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.321435Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:91ca9de09ca525fb58caf6fe58d29a37e89d2abc7f963ab90d4637480badcaa7","observation_id":"122b10d8-ddf5-48eb-ac71-2f61a179550e","resolution":{"observed_at":"2026-08-07T13:45:39.148113Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:32.404981Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.404981Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:2f1281988e9e34462d5a0b38375a43af23c1c9df42e6b843c1108fa1bfc247ab","observation_id":"38b58976-a3d4-4966-ac98-79886ff6463c","resolution":{"observed_at":"2026-08-07T13:45:32.404981Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:32.462849Z","title":"In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Pro- grams and Proofs","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.462849Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:ef33eaff74793abe461f4d51101918fa6d21c01ee580eab738666df929947317","observation_id":"9f04b71e-c4b9-4de1-82cc-175e4ecbfbba","resolution":{"observed_at":"2026-08-07T13:45:32.462849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-24849-1_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:34.208722Z","title":"In:TypesforProofsandPrograms.pp.115–129.SpringerBerlinHeidelberg(2004), http://dx.doi.org/10.1007/978-3-540-24849-1_8","venue":null,"work_id":"18701d36-f203-47fb-bc5d-1b9496a043de","year":2004},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.560626Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:64112c33b48d10e4d2c0ec1845220a993139008a7aaf96006f3e9567c2400f94","observation_id":"4faa1703-9918-449d-918b-5ef5cafc6a1e","resolution":{"observed_at":"2026-08-07T13:45:34.263967Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.00827","last_updated":"2020-07-07T12:45:46Z","snapshot_observed_at":"2026-08-07T06:51:02.385904Z","submitted_at":"2019-04-01T13:12:25Z","title":"Categories with Families: Unityped, Simply Typed, and Dependently Typed","version":2},"cited_work":{"arxiv_id":"1904.00827","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.00827","snapshot_observed_at":"2026-08-07T13:45:35.356715Z","title":"Categories with Families: Unityped, Simply Typed, and Dependently Typed","venue":"cs.LO","work_id":"1edde7d4-d116-42a2-abc5-be9d5c970087","year":2019},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.622104Z"},"links":{"cited_paper":"/paper/1904.00827","citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:9c9fc1d4aa582034b0cbc4360cec51e409737109f81552079f78190e2a302357","observation_id":"15caacec-b73b-44e8-a0d4-cd828ad247c8","resolution":{"observed_at":"2026-08-07T13:45:35.426183Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:38.913462Z","title":null,"venue":null,"work_id":"bc3e010d-d9f8-4fe7-9f09-e2f9f56769c1","year":2018},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.707341Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:6917b5336de963cfd13b3f7fdc7d1a901fc5222cfa6a9521b16d3f734cba810f","observation_id":"50267dee-2129-407e-8c4c-1591df2c943f","resolution":{"observed_at":"2026-08-07T13:45:38.986327Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1370.25913","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:35.183734Z","title":"In: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science","venue":null,"work_id":"b7ae5d80-2b70-4c43-9707-e142d693ea04","year":2013},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.770810Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:126847cf6801582162df0b1f6ec3a3a997d192163b54bad71c703743a3c47df7","observation_id":"909ba942-af6c-4dfb-8c6e-36ec9c9abd14","resolution":{"observed_at":"2026-08-07T13:45:35.281989Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:38.755556Z","title":null,"venue":null,"work_id":"5c4edb67-e270-402e-8052-6b5d382eb2a9","year":2018},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.833041Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:1e5ac5228b54bcd45c6a3fb5241530d80e0f2ca92a440bf31547637ecfae6086","observation_id":"b1780a7a-7fd1-4b1a-aecd-3fe7ed6ae272","resolution":{"observed_at":"2026-08-07T13:45:38.831379Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:38.579925Z","title":"In: Algebra, Meaning, and Computation, pp","venue":null,"work_id":"ac2c663e-11e7-4ac6-b22f-fc01e9f647fa","year":2006},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.880358Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:1bd598980ce2c257e1c6b7497a99f6bd651954e97abe53007133c2713f85bd3f","observation_id":"ce888efc-5ae4-47ac-b0a0-843b676f2d80","resolution":{"observed_at":"2026-08-07T13:45:38.649538Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:32.947336Z","title":"In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.947336Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:20f749da322c4417ac32690f2f9d0ca14be8762c084fee07700e6714a11cd489","observation_id":"f55bc599-0d2c-497e-842c-e0a975da6791","resolution":{"observed_at":"2026-08-07T13:45:32.947336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:38.419976Z","title":null,"venue":null,"work_id":"038195a5-c88c-4b33-822d-c5aad211276d","year":2022},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.020721Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:d1cdca2dfcf601792c0c3de0e89fc7efe0a0a9294ee1ac77fe4226e50e0016b3","observation_id":"9c7c4e78-9f09-418b-aff1-0695c0cf5d93","resolution":{"observed_at":"2026-08-07T13:45:38.497938Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:38.235971Z","title":null,"venue":null,"work_id":"ea5e2365-19ba-4d85-ad0d-e1ddbe2fcaf3","year":2023},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.106422Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:a37ec5d0dfd6a3ee06f82035cf0b0b7aec987decb9f135758177fe9e597af78c","observation_id":"ef133b0f-8a42-4572-9393-67818713163f","resolution":{"observed_at":"2026-08-07T13:45:38.338143Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.914086Z","title":null,"venue":null,"work_id":"e1e52986-a081-4b1f-a8be-bc239829decc","year":1984},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.149896Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:6eb66dcc1152700d2269ba8e770a916e4a34f3fe1a9740079f438c7679eb0785","observation_id":"ba84fbd3-bf99-4525-91fb-96b22d00979f","resolution":{"observed_at":"2026-08-07T13:45:38.086292Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.689660Z","title":"In: Lecture Notes in Computer Science, pp","venue":null,"work_id":"7451729f-4eeb-4bc1-9a63-1c9e592ae09f","year":2006},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.200847Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:77b0725b762b4849f62406f9af85e2c225b720eca4e8163bc4d0680459f33df2","observation_id":"a34129f1-2238-4963-b4d4-d9832a341653","resolution":{"observed_at":"2026-08-07T13:45:37.762184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.558485Z","title":null,"venue":null,"work_id":"7ff8100d-9694-4814-9b4d-8645a98206a7","year":2004},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.255523Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:c90b01d6a0193ddbb94cc6cb101af9c77d9812af5e18d65e3aaa5e4e2703bf0a","observation_id":"b5d14bfd-0df0-47b9-90c2-4d1b4e651755","resolution":{"observed_at":"2026-08-07T13:45:37.620279Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:33.325469Z","title":"In: Programming Languages and Systems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.325469Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:2d708aa27046bf92809e1d6fd64deb39cb1d0cc9e8609707853f6fc4659b7641","observation_id":"10f2ddad-a3ff-49f9-9d18-9b44aaa92998","resolution":{"observed_at":"2026-08-07T13:45:33.325469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1625.41653","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:34.925666Z","title":"In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","venue":null,"work_id":"8616d860-986d-464a-a6ae-29118fb51221","year":1987},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.391442Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:2cba020deba8186d158415b7f58e9f6518bf1654c43e52e9dc304ef4c1a8f843","observation_id":"54996daf-bee4-4bf4-a90d-b4e6a26c34b2","resolution":{"observed_at":"2026-08-07T13:45:34.991382Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:33.450810Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.450810Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:3beb67c54902f0eacb87d4be97f32427ebf53928c69094277aa2ded16070240f","observation_id":"469f34d2-66ba-4d1b-aaf0-7d3f5b4a0dd4","resolution":{"observed_at":"2026-08-07T13:45:33.450810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:37.441919Z","title":"https://wiki.portal.chalmers.se/agda/pmwiki.php, accessed: 2024-5-3","venue":null,"work_id":"fe6ea225-26c5-4ff4-a40c-50540adf46c2","year":2024},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.503671Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:633ecfb3f5c4121418cb1b9283600272aae8fc6296afc18d14fd8aba21fb46f0","observation_id":"ca938d6f-fa30-4583-9c07-0001abb5fd90","resolution":{"observed_at":"2026-08-07T13:45:37.507027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.337715Z","title":null,"venue":null,"work_id":"1e9a40b9-945d-4402-a0b6-c5cf2c2d9ade","year":2024},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.573334Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:453e7ef377607b6428e610ba9650a9de8f1f0253d51d7c914fd119a6b462af83","observation_id":"69df94ef-4704-4ebf-94ed-3819b7f088fe","resolution":{"observed_at":"2026-08-07T13:45:37.382314Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.237637Z","title":null,"venue":null,"work_id":"62aa9012-5ac0-4fd6-bd31-719c25305734","year":2024},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.648514Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:40b836baf9db44b612027532ae83f480c7b3b37ad5ab5c30a09bdaf3d292e479","observation_id":"c212fc97-d829-4cc6-a260-3592eac19494","resolution":{"observed_at":"2026-08-07T13:45:37.278496Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.115762Z","title":null,"venue":null,"work_id":"3941ed2a-08b8-48c1-85c8-f1f21443161c","year":2024},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.714948Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:244077d71332866d8ca2bd17709519530662f5d36a836f6944710ca3c165fb79","observation_id":"e1e5ab4f-fbf6-485c-b952-65ebd018d9cd","resolution":{"observed_at":"2026-08-07T13:45:37.176392Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:37.002504Z","title":null,"venue":null,"work_id":"b1525d53-dad0-455e-a723-660223778676","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.757024Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:83876baa1764f04541af1295bac14a4d7e465e983d433072eac48ed03d597682","observation_id":"8357331b-2d17-4347-aa6e-3e9b02e564c9","resolution":{"observed_at":"2026-08-07T13:45:37.043417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:36.870577Z","title":"https://agda.github.io/ agda2hs/, accessed: 2025-2-19","venue":null,"work_id":"4714f8d3-f29c-4fac-b713-966d4738f15b","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.841004Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:875eff53d78bb7202e033bc3dc116d944a4eb2fb266ecdab64a79718683a224c","observation_id":"820898a6-6f4f-446a-93c4-af3929423535","resolution":{"observed_at":"2026-08-07T13:45:36.937076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:36.719273Z","title":"Issue #7701.https: //github.com/idris-lang/Idris2/pull/3486, accessed: 2025-2-19 Custom Representations of Inductive Families 25","venue":null,"work_id":"00fcd665-fb00-4deb-8d27-01aa9dbe6744","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.911864Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:ff5ac2daf288ecc32a933185bf7f46864b269bec34c52a827cac6b44330052ba","observation_id":"75f18bac-a540-48d5-b1d5-f1e5dfa1a106","resolution":{"observed_at":"2026-08-07T13:45:36.800052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:36.578991Z","title":"https://coq.inria.fr/doc/ v8.13/refman/addendum/extraction.html, accessed: 2025-2-19","venue":null,"work_id":"b07af866-a448-42ad-af31-53360a617bed","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:33.989980Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:d17ee0e32ff10347ce5b44353014724dc9b67714d91a96254be4ab5039767a92","observation_id":"d65ba74d-f4d1-4bec-bec7-70571bdcc5c3","resolution":{"observed_at":"2026-08-07T13:45:36.653849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:36.479720Z","title":"https://idris2.readthedocs.io/en/ latest/reference/pragmas.html#transform, accessed: 2025-2-19","venue":null,"work_id":"a8695f4d-a40f-45e6-b2c4-aa5abbb99778","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:34.059291Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:9b89c1377507017485459560ee45335bf06f802a044a2486d0986353609076c2","observation_id":"ed6785e6-bb7b-4808-99e3-07d0a63c9c9d","resolution":{"observed_at":"2026-08-07T13:45:36.523070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08-07T13:45:36.348733Z","title":null,"venue":null,"work_id":"3d3ba770-2cce-4a5a-a4a7-8f17b3f8eeda","year":2025},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:34.126331Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:d821911f955ded9f26def81ed1264c5d057a49e66fa2fc3e86ffdba4acbe77cf","observation_id":"751dc569-e98c-4d4b-ad78-91dd9bb0f065","resolution":{"observed_at":"2026-08-07T13:45:36.402311Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:45:32.261783Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T13:45:32.261783Z"},"links":{"citing_paper":"/paper/2505.21225"},"observation_digest":"sha256:6e4cc6636fcf78083079681098cfba4da168fea2e046b9ff3132883c03dae052","observation_id":"1d66c60c-e45d-4c8f-8ca8-93427851e219","resolution":{"observed_at":"2026-08-07T13:45:32.261783Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.21225","last_updated":"2025-05-28T13:25:26Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T13:30:35.803706Z","submitted_at":"2025-05-27T14:10:31Z","title":"Custom Representations of Inductive Families"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":2,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":18,"verified_exact":4,"verified_fuzzy":9},"total_outbound_references":37},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2505.21225."}