{"as_of":"2026-08-09T23:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fd5be96966c260b73b218d5d5235ae9c773040b2a868f06dbf110ca60fb875a4","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:56:27.471841Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2506.20310/citation-record","integrity":"/paper/2506.20310/integrity","json":"/paper/2506.20310/citation-record.json","paper":"/paper/2506.20310"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:56:25.447645Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.447645Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:80b12a2b9d355528c1d80fa50e512788e4ee1f429bc5e8523c8a7fed9d51242a","observation_id":"843a0fec-1d8c-4d8d-ac0b-a728b6c56dd3","resolution":{"observed_at":"2026-08-06T22:56:25.447645Z","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":"2962.96400","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:56:28.667919Z","title":"SIGPLAN Not.39(1), 14–25 (Jan 2004).https://doi.org/10","venue":null,"work_id":"f5b43cf8-0984-4614-a74f-29b1a13548be","year":2004},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.508924Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:b21c931fd6e551a55d3f118accf6351ce19aa3fcf3cde3fe021bf0bf141b631a","observation_id":"9b83a831-ab0c-448d-a9c3-63e323e022e9","resolution":{"observed_at":"2026-08-06T22:56:28.748809Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:30.349330Z","title":null,"venue":null,"work_id":"8cde708c-0337-41c7-b897-3c37fd7fbcc8","year":2022},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.630277Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:aa95cc6d02152dfc6d4ac48f3facecbd99aaae2622ddee93724d78674d786ffb","observation_id":"8951af61-88e4-4a05-96a1-57a2248aefee","resolution":{"observed_at":"2026-08-06T22:56:30.394289Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2207.09854","last_updated":"2022-07-20T12:39:34Z","snapshot_observed_at":"2026-08-04T06:17:29.953383Z","submitted_at":"2022-07-20T12:39:34Z","title":"Auto-active Verification of Graph Algorithms, Written in OCaml","version":1},"cited_work":{"arxiv_id":"2207.09854","doi":null,"metadata_source":"pith","pith_arxiv_id":"2207.09854","snapshot_observed_at":"2026-08-06T22:56:28.467146Z","title":"Auto-active Verification of Graph Algorithms, Written in OCaml","venue":"cs.LO","work_id":"67e19f78-0bb9-45f3-b6ad-91f3d05fd1e8","year":2022},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.726044Z"},"links":{"cited_paper":"/paper/2207.09854","citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:e80e7411a27ffb3e543b7d9a48a45d290d02283f05a17b9918b1da129854cab7","observation_id":"44f8909b-5f59-4b1a-ac77-60d81e9bafd5","resolution":{"observed_at":"2026-08-06T22:56:28.514488Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2034574","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:56:28.062671Z","title":"SIGPLAN Not","venue":null,"work_id":"e8a9c67e-546e-48c6-ae9a-10cdf7c71cab","year":2011},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.838503Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:8e4ee46b36769f02bdde3dedbb4c6758602ab2c24ad819491cd0d5eee4ab1481","observation_id":"564424ee-4581-4fb9-8e1b-f3c101fd057e","resolution":{"observed_at":"2026-08-06T22:56:28.143463Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-30942-8_29","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Formal Methods - The Next 30 Years - Third World Congress","venue":"Lecture notes in computer science","work_id":"5de21c36-d443-4266-87bd-167598c32100","year":2019},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:25.946217Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:7469dba8e3af97a8461bd0f450db4f207732bbc79a20c8337024ab4b99d58ed5","observation_id":"5f5a2f60-0fc9-4436-ad99-3886cda37525","resolution":{"observed_at":"2026-08-06T22:56:27.968273Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:30.193176Z","title":"https://ionchirica.github.io/ ifm2025 (2025), Companion artifact","venue":null,"work_id":"944d0ab7-7d98-4da2-9591-3cf003539673","year":2025},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.052880Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:71f2714e9a656f60a33a7d2096ee8bf45d50df4da1fa42e1dc028b2ee0ac0b98","observation_id":"7f19d95c-08a1-4aaa-926f-54a7b6140a0c","resolution":{"observed_at":"2026-08-06T22:56:30.265258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:30.027510Z","title":"In: Morazán, M.T","venue":null,"work_id":"b3c851d1-c5b1-4423-b8cf-db3009c2a5f6","year":2007},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.164507Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:92b639a4cc6d7660afbd7af16c057fd469266e766d27522cca4933de69a90972","observation_id":"7a2bf3f5-478c-4d66-9d4b-77c619d94b2a","resolution":{"observed_at":"2026-08-06T22:56:30.108657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30820-8_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: Sankaranarayanan, S., Sharygina, N","venue":"Lecture notes in computer science","work_id":"f2c0f43e-79ab-4dc3-a01b-c75a9efc55b8","year":null},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.241805Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:157453205ea049eb0604ed6a86f6077e0e2418fdd9adcf2ab87a1c87e21822ec","observation_id":"ba25abf0-3f9f-4fcf-a93a-31c8944dc819","resolution":{"observed_at":"2026-08-06T22:56:27.799734Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:26.290904Z","title":"In: Riesco, A., Zhang, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.290904Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:44fbcce545727230bb5f9d36fe0741cdcc8bd6027780cb3a915cf1224668fa31","observation_id":"3eacf43c-903c-44ff-bd55-a00f790145ee","resolution":{"observed_at":"2026-08-06T22:56:26.290904Z","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-06T22:56:29.859793Z","title":"Prentice Hall PTR, USA, 1st edn","venue":null,"work_id":"69ff5759-3626-4069-8f24-32abf82bff12","year":1997},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.400061Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:9ff19a724f321d7265eddfa5e2cb7dc34725a0e04802eae09f5b429057253999","observation_id":"2f034179-8902-4f8f-b5fd-84a5531a5af7","resolution":{"observed_at":"2026-08-06T22:56:29.918089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:29.711613Z","title":"International Journal on Soft- ware Tools for Technology Transfer (STTT)13(5), 397–403 (Aug 2011),10.1007/ s10009-011-0211-0","venue":null,"work_id":"a7715bee-442a-4217-9042-eb80a962422b","year":2011},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.515568Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:fcd74472893b78960d2273a8aa165b61df90de57ff227d69e7a6e429f4f68881","observation_id":"978c615c-84ea-451c-93cf-a14dbb5090b4","resolution":{"observed_at":"2026-08-06T22:56:29.774535Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:26.626494Z","title":"In: Proceedings of the 22nd European Conference on Programming Languages and Systems","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.626494Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:2a5348a255ac6b8b1883622355cc97b976e17a8b6bf8ba24d28dc83612470994","observation_id":"c61b6695-9224-4b70-8e0f-2446ef149dbd","resolution":{"observed_at":"2026-08-06T22:56:26.626494Z","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-030-61362-4_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In: ISoLA 2021 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation","venue":"Lecture notes in computer science","work_id":"39ad270f-5fd4-458e-91a6-ec6bf20ed555","year":2021},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.711896Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:4efcbf462832ad05ffd27a3b6a0be6731bbe12eb4f8caf9b59d2d36164f32bd2","observation_id":"d412babe-8461-4979-872f-5fe859c3a766","resolution":{"observed_at":"2026-08-06T22:56:27.635011Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:29.526904Z","title":"In: Rayadurgam, S., Tkachuk, O","venue":null,"work_id":"a02232cd-e1e7-42ae-b7ca-ce49e509150e","year":2016},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.813345Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:771fbdca3d89b2299f4993dc905a1b272acf60060503f3be39b62da49beddfb2","observation_id":"482fc640-df54-4dfc-8182-983003f5c787","resolution":{"observed_at":"2026-08-06T22:56:29.616926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:26.923377Z","title":null,"venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.923377Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:ba0b76bb80ad026559a59bf2caef7d2b4cb9803fdf5c69d7ad9ad67774b1ae01","observation_id":"a8f93b2e-e36f-47f0-9488-2eacb9d5b930","resolution":{"observed_at":"2026-08-06T22:56:26.923377Z","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-06T22:56:29.374261Z","title":"Journal of Functional Programming28(e20) (2018)","venue":null,"work_id":"60754401-3030-4b74-969e-4e285fd84382","year":2018},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:26.985643Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:9a21fd45c54f78e16b0932f27826ced2eeab42ad3041a8e35078655999a6b018","observation_id":"65feba32-1884-4937-b79c-d54e1c6ecc9c","resolution":{"observed_at":"2026-08-06T22:56:29.462326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:29.191304Z","title":"Springer (2003),http://www.springer","venue":null,"work_id":"7c3c5e47-cd6a-46a3-a72c-7dd9488396fa","year":2003},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.103565Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:38c7a598c520207aae4df1dc34e74dc64c13f8e51d6e3d2c2b3c42de36a4951c","observation_id":"a7ed8c2c-156f-4054-994d-2f33fde3dfca","resolution":{"observed_at":"2026-08-06T22:56:29.265187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:29.003053Z","title":"104–125 (01 2017).https://doi.org/10.3233/ 978-1-61499-810-5-104","venue":null,"work_id":"c13e8ec0-3a02-4d3e-b5b8-f3e150d15292","year":2017},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.190818Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:60e883d36da3a71988b91e59d2ab52e4e71bf1adc25c821c427b07bebc3d94c0","observation_id":"d838ee06-c552-4652-ab54-0ed20d03293b","resolution":{"observed_at":"2026-08-06T22:56:29.086542Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:28.821774Z","title":"In: Silva, A., Leino, K.R.M","venue":null,"work_id":"692de197-55ae-456b-8941-507f0f107a07","year":2021},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.284302Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:ce7806dfb380e662793f4b993c8d6193fe8f1a86d168ed794ff0c367677194d5","observation_id":"a7a2e84f-dd45-419b-87c6-c098446d8778","resolution":{"observed_at":"2026-08-06T22:56:28.894190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06T22:56:27.352477Z","title":"In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.352477Z"},"links":{"citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:1113303edd93c94648bc313bb9bd8ca58fa95bbe77314294331ef91ffc23ef31","observation_id":"e9ac01ec-7102-45de-adc1-e65219e8a292","resolution":{"observed_at":"2026-08-06T22:56:27.352477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-06T22:56:27.471841Z","title":"In: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T22:56:27.471841Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2506.20310"},"observation_digest":"sha256:e542b84c4db60fdd1c6a2cefe8cc29f02208529720fb5717d42b3d9aad8e8aaf","observation_id":"0d857e0a-88ed-44b2-8fc6-ff826410dab8","resolution":{"observed_at":"2026-08-06T22:56:27.471841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.20310","last_updated":"2025-06-25T10:48:38Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-09T08:24:48.202407Z","submitted_at":"2025-06-25T10:48:38Z","title":"Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":2,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":7,"verified_exact":5,"verified_fuzzy":7},"total_outbound_references":22},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.20310."}