{"as_of":"2026-08-09T08:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:005aede3aa9fdf80e68158df0d0cf90b3398e27adf659ca3e5decc605ad542fc","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:29:12.697789Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T23:38:10.386220Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.13533","snapshot_observed_at":"2026-08-01T23:38:10.386220Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15383","last_updated":"2026-07-16T18:33:42Z","snapshot_observed_at":"2026-08-08T02:02:48.356322Z","submitted_at":"2026-07-16T18:33:42Z","title":"Gradually Verifying Unfolding Expressions & Pure Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T23:38:10.386220Z"},"links":{"cited_paper":"/paper/2507.13533","citing_paper":"/paper/2607.15383"},"observation_digest":"sha256:c040762e26abe3539085a609b98bc3c4850547e1bb0bddb374fa1a85897460fd","observation_id":"e521a835-1f42-475e-9269-ee8c3486e12f","resolution":{"observed_at":"2026-08-01T23:38:10.386220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2507.13533/citation-record","integrity":"/paper/2507.13533/integrity","json":"/paper/2507.13533/citation-record.json","paper":"/paper/2507.13533"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:14.999845Z","title":null,"venue":null,"work_id":"2a149563-416a-412a-9a10-3508878cb644","year":2010},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.221872Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:bf3f1de14203b476c8474b9c2db0d9cbddf4b2d1ed1cef8428243c4161c529c3","observation_id":"00546c86-7cf7-4921-9d25-fa4d72f1a2e9","resolution":{"observed_at":"2026-08-06T16:29:15.135397Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:11.257568Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.257568Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:14d731771143236073a3326502a2da339d3f5d813c56843e7e197e039bded0c5","observation_id":"d22ba082-7c7c-41e5-9412-0391eaacb019","resolution":{"observed_at":"2026-08-06T16:29:11.257568Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.02428","last_updated":"2024-01-19T23:08:25Z","snapshot_observed_at":"2026-08-09T06:52:49.639562Z","submitted_at":"2022-10-05T17:48:14Z","title":"Gradual C0: Symbolic Execution for Gradual Verification","version":3},"cited_work":{"arxiv_id":"2210.02428","doi":null,"metadata_source":"pith","pith_arxiv_id":"2210.02428","snapshot_observed_at":"2026-08-06T16:29:13.376820Z","title":"Gradual C0: Symbolic Execution for Gradual Verification","venue":"cs.LO","work_id":"9cadc99d-b817-467b-98cb-f30881adb793","year":2022},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.382089Z"},"links":{"cited_paper":"/paper/2210.02428","citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:333ca1f0b5941910e9810ebf9adf0590cdbd191fade5f26f3cb9b281ee3acecc","observation_id":"218104ce-61cd-4dc9-a612-a36d03c7f7de","resolution":{"observed_at":"2026-08-06T16:29:13.478606Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:11.529773Z","title":"Schwerhoff, and Alexander J","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.529773Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:9799a7bbabb04529d5532a1f29bca52ae4c7f0f94dc94d0cf644559101a5d80d","observation_id":"a0be7a98-36b0-498a-8873-3a6f803c077a","resolution":{"observed_at":"2026-08-06T16:29:11.529773Z","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-06T16:29:14.674770Z","title":"Parkinson and Gavin M","venue":null,"work_id":"32e41429-8587-44c6-a6b4-2bb93166c5d8","year":2005},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.631072Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:021bc1e88a40c12f9e5a3a082459802736b50cd75dd1c4fb62fbc7b25edc6780","observation_id":"278ae231-0303-4a94-a279-94c8a9603021","resolution":{"observed_at":"2026-08-06T16:29:14.843980Z","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":{"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":"2002.10298","doi":null,"metadata_source":"pith","pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-06T16:29:13.144628Z","title":"Reducing urban traffic congestion due to localized routing decisions","venue":"physics.soc-ph","work_id":"68b3dccd-24ad-483e-bee4-e17709b39dcb","year":2020},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.747848Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:c071a0d8f44e73ded131a01c424c3d7c5bfc042dd1384af5dc16d8177fafb081","observation_id":"afdf8829-daca-4502-a172-eaf9638a81f1","resolution":{"observed_at":"2026-08-06T16:29:13.259847Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:11.865692Z","title":"Schwerhoff","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.865692Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:71d399e59c943e130353630ac114d2985bf44e4a3056a7cfebaa3e7fb2859f87","observation_id":"cc0ef58f-9835-4ccd-b995-4cf84e8ddd02","resolution":{"observed_at":"2026-08-06T16:29:11.865692Z","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.1145/2160910","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:12.851697Z","title":null,"venue":null,"work_id":"593ae938-e25d-45e5-b0c9-45a72260e385","year":2009},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:11.974739Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:32a123c0a8cc24ea0abaef63b95e35a1344031ff33f859e11253c1929a4933af","observation_id":"3b4a6306-a13e-4c05-988f-bfcb6142f9cd","resolution":{"observed_at":"2026-08-06T16:29:13.001888Z","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-06T16:29:14.454862Z","title":null,"venue":null,"work_id":"b7900138-672d-4126-8108-80a3af124d5c","year":2013},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:12.133869Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:05ad15d53ce3e304bfa7b0dfbe86c623276b997fc45aa303d754af5c8ca00dd0","observation_id":"0d132e0d-4cf2-470b-8034-2361bd82ff4f","resolution":{"observed_at":"2026-08-06T16:29:14.567951Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:12.295671Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:12.295671Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:d81ae53d8e2cde5fe76d657adb2d0374e76bc5087e431bacb45aa700d6895fed","observation_id":"3183a322-2531-4888-96b0-8e3b969101c6","resolution":{"observed_at":"2026-08-06T16:29:12.295671Z","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-06T16:29:14.183958Z","title":null,"venue":null,"work_id":"99a5d7e8-34d9-4a98-ad7c-56149ac186aa","year":null},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:12.450537Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:33272e56198d659d2da749672a618bbf05d3b05523017a653b69c615c5915d04","observation_id":"ad128c5c-a406-431e-9b5e-a8f2fe82b026","resolution":{"observed_at":"2026-08-06T16:29:14.356898Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"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-06T16:29:13.855264Z","title":null,"venue":null,"work_id":"c02c2f2c-122a-4911-a5ca-bf766150dea1","year":null},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:12.586700Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:86d317ea90080d16ce0a9f7197ba7e57089db59de06eb3fc7184a528aabfe76d","observation_id":"1b58da92-dea4-456a-8228-3e52f7a71676","resolution":{"observed_at":"2026-08-06T16:29:13.984326Z","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":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:29:13.591135Z","title":null,"venue":null,"work_id":"0a9068e0-f495-43f1-9ac2-cb8b8aa2e294","year":null},"citing_paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:29:12.697789Z"},"links":{"citing_paper":"/paper/2507.13533"},"observation_digest":"sha256:c4faf4d0a33ed7283a664494ba9c81a34af536a133a9cf9d9e3e53e68b32c792","observation_id":"4ab31722-6817-4d41-bf30-ee9a42cc1c36","resolution":{"observed_at":"2026-08-06T16:29:13.701079Z","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"}}],"paper":{"arxiv_id":"2507.13533","last_updated":"2025-07-17T20:50:52Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-06T16:20:20.374997Z","submitted_at":"2025-07-17T20:50:52Z","title":"Increasing the Expressiveness of a Gradual Verifier"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":8,"verified_exact":3,"verified_fuzzy":1},"total_outbound_references":13},"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 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2507.13533."}