{"as_of":"2026-08-15T08:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c667a1bda6e950182941b207b05614a55f3587cca86e3404f6a9af428f320f1b","coverage":[{"denominator":21,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":21,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T05:24:03.854567Z","state":"measured"},{"denominator":21,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":21,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+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/1909.01465/citation-record","integrity":"/paper/1909.01465/integrity","json":"/paper/1909.01465/citation-record.json","paper":"/paper/1909.01465"},"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-14T05:24:04.473877Z","title":"Transferable Interface","venue":null,"work_id":"58d19b11-cb41-42fa-aee7-09044e7262d9","year":2019},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.757520Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:b8ff11f08bf65524fe8bef7f281d306aa490d9cae7cc7341f06d3aecfadb1568","observation_id":"b4c96e6b-4fbb-454b-8e75-7a1899122df4","resolution":{"observed_at":"2026-08-14T05:24:04.479209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0020-0190(96)00007-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:24:03.987098Z","title":null,"venue":null,"work_id":"3fc1d919-378a-4361-8071-7d6163bdc54f","year":1996},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.763007Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:5d853bb7dc569f9e287f528d575e8693961232fc1a649f4149fb3ceee85d1f49","observation_id":"b2347541-ae9e-416c-bb46-97750bc5b28b","resolution":{"observed_at":"2026-08-14T05:24:03.991910Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.768155Z","title":"Newton, Simon Peyton Jones, and Arnaud Spiwack","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.768155Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:c829ee7e87f4d03fbd8697cb19e3108f9884d5dcbd3c3377ccc9367700213d49","observation_id":"68f82f7c-afdb-476c-a9df-e1fc9ab1e520","resolution":{"observed_at":"2026-08-14T05:24:03.768155Z","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-14T05:24:04.457977Z","title":"Black, Kim B","venue":null,"work_id":"6277b2fc-ff0a-4660-ad8f-91f174a5df62","year":null},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.773074Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:a203426a17cc874841ac92e60c03eb5ac65829053bf9e544a0c3962aa39470d4","observation_id":"688e81ca-e668-4d10-b7af-896a5e3a3c54","resolution":{"observed_at":"2026-08-14T05:24:04.462662Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.783341Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.783341Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:383d12a750d53cc22c97cac7aee5660cfbd42aa9f08fc4710ca47b0d9f4e7fdd","observation_id":"6bf56fa7-960c-4cb6-a45a-2e4d711009e7","resolution":{"observed_at":"2026-08-14T05:24:03.783341Z","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-319-18941-3_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":"Lecture notes in computer science","work_id":"dad2a642-9336-4308-bab3-4e738f42bb1e","year":2015},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.788228Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:d448451c3a5c6e3c6ea9b505ed9b608c6b23045ecc1f46293495ee123bc65530","observation_id":"b6bc57aa-adc8-4405-8ddf-83d04d52de29","resolution":{"observed_at":"2026-08-14T05:24:04.447505Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2016.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:24:03.953868Z","title":null,"venue":null,"work_id":"c2b28309-af04-41e3-968c-acbbb8821c6a","year":2016},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.793524Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:df395f5e37065aae5f22e1431e87a5dac2a37496d6a779d87c0aa02b447a5dab","observation_id":"bcd0e329-4d29-4fda-9160-9798b0fb54e7","resolution":{"observed_at":"2026-08-14T05:24:03.958487Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2017","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:24:03.938844Z","title":null,"venue":null,"work_id":"cd2480de-6ae4-4402-9837-c3b35961b7ab","year":2017},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.798241Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:e12b39fe2a33c92d08d54466213a22a36e5331112f2de0e152626572fcaef25f","observation_id":"16e9ec04-a887-4b87-84e6-5b34dd17fc2d","resolution":{"observed_at":"2026-08-14T05:24:03.943696Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.802965Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.802965Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:d740480a887ce929d1990b152dd51ff8b510013e445fafe1b86a6140277aeab7","observation_id":"d25866fd-6c02-4f1b-a822-38a43fc84766","resolution":{"observed_at":"2026-08-14T05:24:03.802965Z","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-540-73589-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":null,"work_id":"16007832-abbb-499f-a676-151107ac4bed","year":2007},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.807549Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:721b62fda902f5de4d03b2bc98d5876e0aaa842813d1eaf338284138f2773d1c","observation_id":"dc3baea7-a064-4d44-ab30-2131e1d8f281","resolution":{"observed_at":"2026-08-14T05:24:03.927635Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-40447-4_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":"Lecture notes in computer science","work_id":"d4c9a996-b8a5-4021-8086-0a61e945c2dc","year":2012},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.812398Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:48c2045271f58a9b6f80198b1ee9205af6ab2a0d3edff8dbfc08f2d78f162cdc","observation_id":"391f32cb-7475-4c13-beeb-a830106dc976","resolution":{"observed_at":"2026-08-14T05:24:03.912228Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.817229Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.817229Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:9507a0e7cbe55d42ba631e006f321b13c549c25c61c67d36122f19363611e04d","observation_id":"6b1bb917-c2c1-4975-af88-ec527f56bf55","resolution":{"observed_at":"2026-08-14T05:24:03.817229Z","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-14T05:24:03.822657Z","title":"Gordon, Matthew J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.822657Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:f44a09347af0c38ce8e1dc60b657c046b4a7c98812f748b46874e03cc32b5680","observation_id":"58093b76-e17e-4458-b5ec-2abd84bc9ee6","resolution":{"observed_at":"2026-08-14T05:24:03.822657Z","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-14T05:24:04.426661Z","title":null,"venue":null,"work_id":"34c2b4e3-56f6-4673-8b0d-dd5740d2988d","year":2014},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.827276Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:c901df973bc0625508c1ba0c529b2c3c28e4e9dda1438e526c5ded5a6e0a7051","observation_id":"741fe8f8-aba7-47f0-84f3-90bf21214b39","resolution":{"observed_at":"2026-08-14T05:24:04.431375Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:04.410440Z","title":"Peterson","venue":null,"work_id":"3bac32f9-31fd-473d-81f6-ab038270510f","year":1981},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.831614Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:ede683f6003538f97f54fd0648f20854b1c1df4b35394e825d5c0c0a76469136","observation_id":"3da7ce2e-9732-4e2e-a1f3-7a227e3b46a3","resolution":{"observed_at":"2026-08-14T05:24:04.415942Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:04.395564Z","title":null,"venue":null,"work_id":"eb82622e-2d3e-41ec-94c5-f469da784a22","year":2012},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.836060Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:39bbbb2373cc910c475fdf5ec23e45fe39cf451f80e5d5112d94c41eaf7c9fd0","observation_id":"984e285b-80d7-434e-a01c-cca52e0fae1a","resolution":{"observed_at":"2026-08-14T05:24:04.400379Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.840545Z","title":"Siek and Walid Taha","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.840545Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:d1dc6f6670fa822b63d2b4b024bc3b82cabbb496b3caad52898799c41cb9cb15","observation_id":"35d6797d-93f3-4eee-b44b-3d95fc16ff3b","resolution":{"observed_at":"2026-08-14T05:24:03.840545Z","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-14T05:24:03.845378Z","title":"Siek, Michael M","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.845378Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:fb9a9941d368e7548dbfa9adcabd06414c05271ba4dab68d175eaedcaee884c7","observation_id":"8af18864-2776-48db-aea6-735bebab1560","resolution":{"observed_at":"2026-08-14T05:24:03.845378Z","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":"6617.11767","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:24:04.124905Z","title":null,"venue":null,"work_id":"d83f0724-ac65-4b16-9e72-b745ada91020","year":2006},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.850195Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:82114995de9cf8377b84d7903de77e7e51bd2c3a0a4b765c49ef14a364d2172a","observation_id":"174bd3c7-70fa-4e47-b5ac-1f9efc342dd6","resolution":{"observed_at":"2026-08-14T05:24:04.132519Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-14T05:24:03.854567Z","title":"Wright and Matthias Felleisen","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.854567Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:a7a2ed14727353185f5e9499c24edcdf61c5eb0349712a50e4cb2448f061934e","observation_id":"6860bd0a-0330-4080-8e9f-623b1f07d582","resolution":{"observed_at":"2026-08-14T05:24:03.854567Z","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":"4592.23846","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T05:24:04.377069Z","title":"In ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH ’12, Tucson, AZ, USA, October 21-26, 2012 , Gary T","venue":null,"work_id":"d48ec3a3-ac96-40fa-aeab-db7c5b2255be","year":2012},"citing_paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T05:24:03.778069Z"},"links":{"citing_paper":"/paper/1909.01465"},"observation_digest":"sha256:60948a8b240d8285dd5bcc58c3d24fdea339575e20eb0dc34c4cef5f881a0204","observation_id":"c3f1303e-489b-4f38-ae6d-2b3da01a8801","resolution":{"observed_at":"2026-08-14T05:24:04.385560Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1909.01465","last_updated":"2019-10-15T06:44:42Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-14T05:14:43.621675Z","submitted_at":"2019-09-03T21:37:55Z","title":"Towards Gradual Checking of Reference Capabilities"},"reference_resolution":{"displayed":21,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":10,"verified_exact":6,"verified_fuzzy":2},"total_outbound_references":21},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1909.01465."}