{"as_of":"2026-08-13T09:55:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa44d7cfabd1abf5f42d2e42e0ff10d5dbabaa28e4ac24a34d3991346fdac2b8","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-13T06:32:02.005865+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-11T00:21:09.989624Z","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:cc12039e5692d77d7276a5b9221a70819a4cc6f8b4fd0b82fe2c3e5783d0da4e","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-11T00:21:09.989624Z","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:600a6a20e67b6f6c93391dcfe8f716cf87ed47781803dfaddd6783d6b6b5c04c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:dda27d8aa2575d7c33cb76380ea9a77e4831ce113fc748809f9c29fbb50af914","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:effd3c47a1359131c1365200eec1cb5b65737524c35f7bbb8c5c20107e1e4344","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2034574","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"SIGPLAN Not","venue":"ACM SIGPLAN Notices","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-11T00:21:09.989624Z","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:968260fbcee2f212c4c0a0fff12288a2d853915171a0c72b9fc1b7b13e3d582d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:b8bcc7e7d86311a7f1245209ccd9900985f7eb5df7a19b14d234c897e3fd358f","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:4c8c7e34cf1b5736d2d0515b08b8c1cbcd306f733ff9714e3023ad630ebff42b","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:36af412a7898eb61676da5f740fd5111123854fada5b9bf1025b9e59c608999d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:a21f54536962dd429868c9a0a3faff2f97c6c71c162390915ebc4abf2aeafdc4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:376a3a679d9220873efd83ddb3bfd7a5b9c60bb45475ea78cf6140939ade5fe9","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-11T00:21:09.989624Z","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:b6319b1e5790a4d4eb1ea737caafdb8176e29319f073b16016282ac76b5fb018","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:f336f38593a16fae4c3bfc965e03fa254afe275ad1db23597cf9031b1362f259","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:1d451f3b5364c8b96b9c50b103cc10de973e2f86edd6dfe91824e928f5577a7e","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-11T00:21:09.989624Z","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:45827567fe3b3db996fd18d24c4375a947cec311fc57c3406a3c53134828624c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:c5f1431ab8d2f90ff1fd70b2b96fd5f5b13fb2f1057c9e4a54f21324132d432d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:31aed97c7c9894f6444ff4facd838d1bd8675031192ae0ff76153699f332f62d","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-11T00:21:09.989624Z","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:0b8ef51c03ab6418b38da3953f62afabed0131831fb128001d10a01a4364384a","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:d3f395ef4ac1f7be91b96d870597e50ff75d18fdfc5df0431a05d7c2fe6cbcc1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:38e18911bf9c01900d04a85546172d687867299a1ad3b081f0f50f602085fe6e","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:8ea5ca1286c21cbdb32a0600d5d0fbe3a98a9863a55defd98d40e4b07c19c0aa","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-11T00:21:09.989624Z","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:2f8e4857637aef9021349a04763f8129f2d73d6cd054ad6fe40985d4a6755bb4","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-11T00:21:09.989624Z","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:88e1986e2ff635c3da571294d58714e36b2d80e3b81c87728b85cfad1c32b91d","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-11T00:21:09.989624Z","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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.20310."}