{"as_of":"2026-08-14T10:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bfbe019f053e252d01650d6ef4420139c256fdeef782d6cdfd04b1810c238932","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-08T19:09:18.303005Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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.05987/citation-record","integrity":"/paper/2607.05987/integrity","json":"/paper/2607.05987/citation-record.json","paper":"/paper/2607.05987"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T21:25:38.933585Z","title":", journal=","venue":null,"work_id":"26f786d4-9b5b-4cea-a92a-b22a27873760","year":null},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:2b95a6e65e3fd4d8569e278e8b33d12609a391e189053ca78bd0c7de7ff01d61","observation_id":"c242298f-d116-4819-9310-e8f3474dd03c","resolution":{"observed_at":"2026-07-08T21:25:38.934778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-26646-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2019 , publisher =","venue":"Universitext","work_id":"faa66ab5-7b7a-4856-9aed-439c88e49d08","year":2019},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:75ff3e733c17c4a291294e97a187db0b3a25de70213d3d3c3905f3baf45b877c","observation_id":"31a3feca-3fd3-405a-a725-da40e486a6ef","resolution":{"observed_at":"2026-07-08T19:15:30.176162Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-07-11T05:19:32.099936+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T05:19:32.099936+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.931873Z","title":"Beweis der","venue":null,"work_id":"4031ed81-1eb2-421d-917c-61977e8eeab7","year":1911},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:3158b75ced6504bec20b58c96f83d2dec657a8844ec422546fd084b998ce574a","observation_id":"9160d5e6-6156-4053-8c5b-1f8f1455fa7d","resolution":{"observed_at":"2026-07-08T21:25:38.933010Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.924737Z","title":"Handbook of Mathematical Economics , editor=","venue":null,"work_id":"56740806-2060-498d-b209-5109657dc7b7","year":1982},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:fc7f5855c4ddeb57510ea26e54096d8f0263b3d1364dd985658ffc23709aaa26","observation_id":"e76f32e1-e338-45b7-a4ab-2c0a3944079b","resolution":{"observed_at":"2026-07-08T21:25:38.925908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.935421Z","title":", journal=","venue":null,"work_id":"0ccc33bd-a63a-4d02-b000-880c99d16a0b","year":null},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:75f5ee9b0c01f0a8476549d5b0cbe2eef57dde9bb735f7ebd4098f0d3bce31ad","observation_id":"9fb71885-6340-4e38-b620-507c18f5029f","resolution":{"observed_at":"2026-07-08T21:25:38.936843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.928220Z","title":null,"venue":null,"work_id":"6ed73de1-073d-4be2-9bec-1d012085e187","year":2021},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:cf40076781365b5df82b0e6b16de16485a08ddc6cc0eb5a310f03e7d1a703fa2","observation_id":"2853ebc4-8c91-4bef-b4f7-45a0a85a4f11","resolution":{"observed_at":"2026-07-08T21:25:38.929535Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.923027Z","title":"Proceedings of the 9th","venue":null,"work_id":"33004b95-ec03-4a62-8093-f831acc05d6f","year":2020},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:889928db70b1b369d51183c9bb83c2a94deb4e41f289a3ea1b7c85de8a16dbb7","observation_id":"8878f261-a5b9-4ffb-82b7-22ad72864d38","resolution":{"observed_at":"2026-07-08T21:25:38.924132Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.926577Z","title":"2022 , url=","venue":null,"work_id":"03215354-1247-4548-952c-03ba1fbd536a","year":2022},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:049173cfd066d7c6d32ba3d3b83cb30223171f0084bc62146521569ff4b8eff6","observation_id":"3e282ad1-c2ba-4670-8735-550f01caca09","resolution":{"observed_at":"2026-07-08T21:25:38.927656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2009.03393","last_updated":"2020-09-07T19:50:10Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2020-09-07T19:50:10Z","title":"Generative Language Modeling for Automated Theorem Proving","version":1},"cited_work":{"arxiv_id":"2009.03393","doi":"10.48550/arxiv.2009.03393","metadata_source":"pith","pith_arxiv_id":"2009.03393","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Generative Language Modeling for Automated Theorem Proving","venue":"cs.LG","work_id":"73e4b095-67c3-4dfa-bd2f-ac77de3e125f","year":2020},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"cited_paper":"/paper/2009.03393","citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:fa5a90184d3807f794e254eada3b2a598b41e857b726d10d1f0ef012590642e3","observation_id":"c01671dd-52cf-489d-836f-c891a1136ac6","resolution":{"observed_at":"2026-07-08T19:15:30.419368Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-25T06:24:06.618072+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-14T06:32:18.44784+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-07-08T21:25:38.930125Z","title":"1985 , publisher=","venue":null,"work_id":"c4011eea-0206-478e-9706-5a571d963b9f","year":1985},"citing_paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-08T19:09:18.303005Z"},"links":{"citing_paper":"/paper/2607.05987"},"observation_digest":"sha256:fd0fa8f8e415d9a33d658b01663c75eaf991d1e1181fe3caf2046aaac8a27cff","observation_id":"987f07a6-e94f-4559-a566-8464ae7dad97","resolution":{"observed_at":"2026-07-08T21:25:38.931268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.05987","last_updated":"2026-07-07T08:18:43Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T13:52:13.296019Z","submitted_at":"2026-07-07T08:18:43Z","title":"Formalizing Scarf, Brouwer, and Nash in Lean"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":1,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":10},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2607.05987."}