{"as_of":"2026-08-18T04:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6fe0aaaeaebd0cf244ce3ab7c5b20eb94269be66d2eecbe7a346cfaab69c2cbf","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T15:32:20.571089Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2607.25706/citation-record","integrity":"/paper/2607.25706/integrity","json":"/paper/2607.25706/citation-record.json","paper":"/paper/2607.25706"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-19797-5-9","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.683583Z","title":"Notions of bidirectional computation and entangled state monads.Mathematics of Program Construction, page 187–214, 2015.doi:10.1007/978-3-319-19797-5-9","venue":null,"work_id":"91b61ba5-5cad-47c4-a764-62e9547ed41b","year":2015},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.472729Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:f74e2bc51444cf47514f0fb01a9f0f80d65806d1d66f3c3da2cd4eb4ea83147a","observation_id":"08574bc6-b03f-4472-86c7-d07233002710","resolution":{"observed_at":"2026-08-15T15:32:20.687694Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-30936-1-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.672008Z","title":"Reflections on monadic lenses.Lecture Notes in Computer Science, page 1–31, 2016.doi: 10.1007/978-3-319-30936-1-1","venue":null,"work_id":"64a2cdd2-7e79-484b-a3c2-9b948304f9dc","year":2016},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.476436Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:9e550b3544c14bd59e250e32263d322f04d1cacc15e2a89e4d4cec10ba9b83fd","observation_id":"10f321af-4152-4416-9412-d4746f2a54a8","resolution":{"observed_at":"2026-08-15T15:32:20.675925Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.333.14","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.660132Z","title":"Compositional game theory, compositionally.Electronic Proceedings in Theoretical Computer Science, 333:198–214, Feb 2021","venue":null,"work_id":"cd1abae8-7c75-4e84-a620-93fdab363cb0","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.479631Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:4a1dc1f7f372dca09e36769ea060cf26ef6ada9f59806a379e76008a9b065029","observation_id":"59fc5282-9c29-4e6f-920d-6d6abe803842","resolution":{"observed_at":"2026-08-15T15:32:20.663955Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9628.31963","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:21.026256Z","title":"Bancilhon and N","venue":null,"work_id":"91c7e36e-13ae-4c1c-9219-7b581b4e2a6c","year":1981},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.483913Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:46ebd6ebab56c42e0fde77398a5bbd828746b54481382bf345e570c2219b847a","observation_id":"b5cafb9e-da28-4035-a15b-117b973126b7","resolution":{"observed_at":"2026-08-15T15:32:21.031292Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2112.11145","last_updated":"2021-12-21T12:25:32Z","snapshot_observed_at":"2026-08-17T22:49:33.868385Z","submitted_at":"2021-12-21T12:25:32Z","title":"Fibre optics","version":1},"cited_work":{"arxiv_id":"2112.11145","doi":null,"metadata_source":"pith","pith_arxiv_id":"2112.11145","snapshot_observed_at":"2026-08-15T15:32:20.931671Z","title":"Fibre optics","venue":"math.CT","work_id":"bfeeb586-71e4-4569-a5c4-54069076b79f","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.495589Z"},"links":{"cited_paper":"/paper/2112.11145","citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:9f690dc74d4a4efb702f4ad3275f8a61d31e5a967e223cb0c1f8f81613d8b7ae","observation_id":"9037c5cf-7348-4f50-b11a-888f6ca9954f","resolution":{"observed_at":"2026-08-15T15:32:20.936698Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:20.499641Z","title":"Higher lenses","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.499641Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:c18890ac98e5c4113001c9069b7d7dc4081ab67d45654c59484290a88c4a4dc7","observation_id":"ec576c4a-0c99-42d9-ba5a-e871e8c0e554","resolution":{"observed_at":"2026-08-15T15:32:20.499641Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2105.06763","last_updated":"2022-11-03T14:09:57Z","snapshot_observed_at":"2026-08-18T04:17:17.658868Z","submitted_at":"2021-05-14T11:15:25Z","title":"Translating Extensive Form Games to Open Games with Agency","version":2},"cited_work":{"arxiv_id":"2105.06763","doi":null,"metadata_source":"pith","pith_arxiv_id":"2105.06763","snapshot_observed_at":"2026-08-15T15:32:20.855473Z","title":"Translating Extensive Form Games to Open Games with Agency","venue":"cs.GT","work_id":"2356bdd0-76cb-4180-99a9-dcbc4926750c","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.503125Z"},"links":{"cited_paper":"/paper/2105.06763","citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:bcdde2fa387d38dd9a8fdc5be4cc5b3c7ca39d8800497d89545baa10c762a881","observation_id":"a86e3629-9892-409e-86fd-660f0f756ec2","resolution":{"observed_at":"2026-08-15T15:32:20.859943Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.333.6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.648995Z","title":"A diagrammatic approach to symmetric lenses.Electronic Proceedings in Theoretical Computer Science, 333:79–91, Feb 2021","venue":null,"work_id":"51eb3345-3add-425c-93f7-d771af0caafc","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.507158Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:9008f21aaa66e5e3b5e698bf173ac8eeb8e3e3166e2c54fda6a52422cb9d045e","observation_id":"1e55e452-0447-4c0d-9ca8-37c1c3ab0dd8","resolution":{"observed_at":"2026-08-15T15:32:20.652613Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.122134Z","title":"Profunctor optics, a categorical update, 2020.arXiv:2001","venue":null,"work_id":"d0824927-14ec-4909-8fe5-f967e0474507","year":2020},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.510896Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:5de8e172268cd45c9b7b9fd4e559b2f9625227e075d618c9759bedbe47e9adeb","observation_id":"4991636c-91bc-43c1-ae04-5b43d367073c","resolution":{"observed_at":"2026-08-15T15:32:21.126257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.110853Z","title":"A clear picture of lens laws","venue":null,"work_id":"304d94aa-8167-44e2-a416-df904dcfd7fc","year":2015},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.514456Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:cf678023f0bbadd63017bdba41220c02bb2d9dea906ae30c0c766a3092836b66","observation_id":"f7fff4dc-8d5e-4233-b2e8-5793b685d5e8","resolution":{"observed_at":"2026-08-15T15:32:21.114477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:20.517781Z","title":"Nathan Foster, Michael B","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.517781Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:b2adc33d58dc40f1f1882e70f9ed1b135f9eb5b5c26df74aa4613ebc97e4755a","observation_id":"41c2176c-d4a2-4e77-beb7-d6bb1304b5d8","resolution":{"observed_at":"2026-08-15T15:32:20.517781Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.10741","last_updated":"2020-08-05T20:15:30Z","snapshot_observed_at":"2026-08-08T21:01:21.815747Z","submitted_at":"2020-04-22T17:50:04Z","title":"Categories of Semantic Concepts","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.10741","snapshot_observed_at":"2026-08-15T15:32:20.521077Z","title":"Categories of semantic concepts, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.521077Z"},"links":{"cited_paper":"/paper/2004.10741","citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:666aa2fe643c161492f29ef58831247195726c4ddc7057b85bc0003dc7a7d8d5","observation_id":"90b577eb-9675-458d-9f50-b56fd8050aed","resolution":{"observed_at":"2026-08-15T15:32:20.521077Z","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-15T15:32:20.524760Z","title":"Heunen and J","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.524760Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:907cacb16a27fbcb39079bf26eb4580059445f5aca29aad55b3e51ab6ee867a0","observation_id":"a1533a56-6f77-4c0a-a238-24eec43f870d","resolution":{"observed_at":"2026-08-15T15:32:20.524760Z","resolver_source":null,"status":"malformed_identifier"},"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-15T15:32:20.528119Z","title":"Double categories of open dynamical systems (extended abstract)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.528119Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:424bfbedddbba749280bbf4abd96872b520065a67e012056cfd17f71628d2041","observation_id":"9f2075c1-baea-4599-9b22-858974b209b7","resolution":{"observed_at":"2026-08-15T15:32:20.528119Z","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.14279/tuj.eceasst.49.729.734","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.623086Z","title":"Lens put-put laws: monotonic and mixed.Elec- tronic Communications of the EASST, 49, 2012","venue":null,"work_id":"5a6f915d-bf47-4760-971b-bfd0d60c93bf","year":2012},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.532311Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:9cb837a7dec3ccaf1df4fee4ba28e651833d3fd66f0999705dbaf864b29941d7","observation_id":"db0f9f76-5ba1-4931-8636-8dcb31a77b8a","resolution":{"observed_at":"2026-08-15T15:32:20.626924Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.03493","last_updated":"2022-05-16T12:17:08Z","snapshot_observed_at":"2026-08-15T01:09:55.117773Z","submitted_at":"2020-06-05T14:50:41Z","title":"Compositional modelling of network games","version":2},"cited_work":{"arxiv_id":"2006.03493","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.03493","snapshot_observed_at":"2026-08-15T15:32:20.773780Z","title":"Compositional modelling of network games","venue":"cs.GT","work_id":"4d5654be-4d3a-4e3d-8fec-2909118dbaaa","year":2020},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.535857Z"},"links":{"cited_paper":"/paper/2006.03493","citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:0506a47d76276debc4c20cd6e4269c23d0dc33c76dc5400725507a9e880b70e2","observation_id":"0610e9e5-833f-4106-8e19-89b7f404c4ff","resolution":{"observed_at":"2026-08-15T15:32:20.777916Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.101627Z","title":"Springer-Verlag, New York,","venue":null,"work_id":"56f164ab-2618-48fd-a140-552a17aa2962","year":null},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.539693Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:6f16f0e812059109ba74e6b6975da046a5c4ae6b1f3720f3f6f4231ab5cc0e26","observation_id":"57f9d70e-c306-4816-848f-90fa768b9831","resolution":{"observed_at":"2026-08-15T15:32:21.104651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.082752Z","title":"A tangled web of 12 lens laws","venue":null,"work_id":"579cda37-d521-45ea-8eb7-419537f45ca3","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.546925Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:cb27e05d5559a0c0ea8786b2d4a89a75e1dc8a169e7e5cb8ec9e774ad8bb269d","observation_id":"5539eea5-e296-485e-b258-2ea1284a5a5a","resolution":{"observed_at":"2026-08-15T15:32:21.086162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:20.550264Z","title":"Monadic combinators for \"putback\" style bidirectional programming","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.550264Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:0d535fa96873d9b3d006323b17df84dfb1f3f3dccc83bcfc021bc23fa589ff5e","observation_id":"3c37a8c0-ce86-448a-b9c4-adc46ab8f298","resolution":{"observed_at":"2026-08-15T15:32:20.550264Z","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-15T15:32:21.071865Z","title":"Categories of optics.arXiv: Category Theory, 2018","venue":null,"work_id":"f504edb0-500f-4570-98ec-4639e99f9989","year":2018},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.553858Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:6af47c7da0452c1f6b8e9df9a6138d5aa2698b5d66ae6c13bcfca79a2c6642e4","observation_id":"298a7320-986c-48d6-8a56-76ec0371e261","resolution":{"observed_at":"2026-08-15T15:32:21.075551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.061493Z","title":null,"venue":null,"work_id":"b1140961-4421-4a90-99ab-c1050b076c2c","year":2020},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.557642Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:792a1293ded2ab942713c6177c2fb6ef47ab99f189446188600de6733e55846e","observation_id":"97b6cef9-7eaa-4bf7-87ab-d921a3b5ff59","resolution":{"observed_at":"2026-08-15T15:32:21.065375Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.333.8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.612734Z","title":"Cyber kittens, or some first steps towards categorical cybernetics","venue":null,"work_id":"9f00aab7-4501-42f0-a633-bbc1a4697400","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.560674Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:8bf8fe7d3d561872610f490b9fdb5d6cf39ffa8bdd53106f9de91f03805b09fa","observation_id":"07770b15-a219-4344-b8cb-354a01f56ca8","resolution":{"observed_at":"2026-08-15T15:32:20.616200Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.333.1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T15:32:20.599208Z","title":"The safari of update structures: Visiting the lens and quantum enclosures.Electronic Proceedings in Theoretical Computer Science, 333:1–18, Feb 2021","venue":null,"work_id":"e423a09e-85a7-4e05-9771-abfe842d96a7","year":2021},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.564117Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:3cb6f24cfc624b6a685e8d441d25ea450ffe6d9984de6daf52357652692eef70","observation_id":"e1bbd010-213a-4cac-aff9-9f3e4378d2e3","resolution":{"observed_at":"2026-08-15T15:32:20.605102Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.050302Z","title":"Composing bidirectional programs monad- ically","venue":null,"work_id":"444a89f7-6afb-438b-bfc8-475625f2f35a","year":null},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.567339Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:32e65153f73f46066f9e191e7eec0012bf0cb06300a3d11f412634aac9c5dd3f","observation_id":"d200ae28-229c-481f-b8a1-d71699eecd29","resolution":{"observed_at":"2026-08-15T15:32:21.054369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.039866Z","title":null,"venue":null,"work_id":"c2643003-b15a-46f7-9fa6-c1ca77e14ebc","year":null},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.571089Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:d055aa245b97f801e2638cb19e1aec1aadfae251a5348859fb23de0f124f3607","observation_id":"3ebb1078-ae85-4e56-b039-c7a3b63c4c57","resolution":{"observed_at":"2026-08-15T15:32:21.043381Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T15:32:21.092623Z","title":null,"venue":null,"work_id":"8098926a-1e99-428a-a935-d25e1cf1138c","year":null},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":1971,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.543439Z"},"links":{"citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:56cb2a87dfdaf32ecb948263899957d355d69466adb5ff25431e3fe763df10cc","observation_id":"86750946-45ed-4233-b9cb-7dbe458819d4","resolution":{"observed_at":"2026-08-15T15:32:21.095407Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.03656","last_updated":"2023-09-28T11:41:00Z","snapshot_observed_at":"2026-07-06T08:27:55.474848Z","submitted_at":"2019-10-08T19:25:43Z","title":"Bayesian open games","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.03656","snapshot_observed_at":"2026-08-15T15:32:20.491943Z","title":null,"venue":null,"work_id":null,"year":1910},"citing_paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-15T15:32:20.491943Z"},"links":{"cited_paper":"/paper/1910.03656","citing_paper":"/paper/2607.25706"},"observation_digest":"sha256:549518028f326c71ec512c118eac43c8e9eff5c30062f461dc925972d0e18008","observation_id":"4f246a98-6de4-405b-a0ac-2c88c1a8ccdc","resolution":{"observed_at":"2026-08-15T15:32:20.491943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.25706","last_updated":"2026-07-28T13:27:19Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-15T15:22:45.046638Z","submitted_at":"2026-07-28T13:27:19Z","title":"Categories of tagged lenses"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":2,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":8,"verified_exact":9,"verified_fuzzy":6},"total_outbound_references":27},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2607.25706."}