{"as_of":"2026-08-11T17:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a710a90e580c732741641d72aa1c7d052ad90ec400dd7711e53b98951923df8e","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-11T06:34:44.6726+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-10T08:22:22.880166Z","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:a16390bf310cf2087fb48d52d322d31309f7b6a2df482fd875484e7f7777ec01","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-10T08:22:22.880166Z","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:f27d7927025f7285f10504b67ffee947fa62be0c1204cdeb46a0d6b97e92810b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:b2c350d2cc0418c7ca1f5892f710bc6629f44815a0ffbf0e2f49b020578a5cd9","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-10T08:22:22.880166Z","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:c797c21b0b142859cac8757c7b81fb7ddbc7f7e158108002c76b83539ff09114","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:8701e9dd1fa3b01ab2bd8373c44f3312bcb68df4e94165c2be643b4bdadc2054","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-10T08:22:22.880166Z","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:050ccacf869faf21e6d2fa2189cfabcca768f5e8a1fee8704550a425d74a3bbe","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:ff9e2adac09b2b2c40da4f286b8c6c4453b574c72f506c527ca2670059a572e5","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:0541f48ea2e2bee5ed5574e9ddee98d3807f524ecc5f6247f18b6d8033d592b3","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","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-10T08:22:22.880166Z","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:0f091f8852d7667d41d2045424309e6a41900ed2485dd63577e393a454db9168","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:244b710a0c8ad21055ea68a1205ff80ce938a0b1e31f9ed82fd6c88798a7ef54","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:19949ab74210d54ad15917b57519727883562b78e1a88d7c910989bf0861867e","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-10T08:22:22.880166Z","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:fcffb468ec4c31022fe4b2ac770c545c3bb20eccd6d19b54a5698bc105c8f3cc","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:377561a718d0931f386f4150a395e946e292aeec4d9abae0780564f8634edcb1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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:89282a317dfcbf8b1df8938c75be023cd2369c83063d6d97051f8e8e5f937308","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T08:22:22.880166Z","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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 1 inbound Pith citation observation for arXiv:2507.13533."}