{"as_of":"2026-08-23T00:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4e9669ffeb4f03030d4303f22175b6b646878e34bfdaadffe5b9206660c06ca2","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T17:22:41.163553Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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/2501.12313/citation-record","integrity":"/paper/2501.12313/integrity","json":"/paper/2501.12313/citation-record.json","paper":"/paper/2501.12313"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-66149-5_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"a6411a6f-cd08-4218-af57-4b9d043ab00b","year":2024},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.100402Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:6ce5fcab59660002c28dec7f04e10e92654c0af2d3f226fbd913d8249cdb627b","observation_id":"62467168-dd28-4f16-a8b9-63b09382d7e0","resolution":{"observed_at":"2026-08-10T17:22:41.251787Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-17T18:08:13.085019+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-17T18:08:13.085019+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.618414Z","title":null,"venue":null,"work_id":"2f494454-1229-43e3-bb7a-272a0a0cc242","year":2024},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.104690Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:a1c133d69206d5e87ebd7ce82c0e20ed31a0ea2890f33e295d40ee86b8d4eea2","observation_id":"2da922c7-c43f-4a8e-b7c4-81220d3404fc","resolution":{"observed_at":"2026-08-10T17:22:41.621809Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.605302Z","title":"In: Proc","venue":null,"work_id":"20cc84d1-dbd4-42b0-921c-a98db1541106","year":2015},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.109738Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:55f1af6be6aed6cbea2238977d67923bab5928c6e4e3d4cdffb24b1423147c53","observation_id":"788fd1ac-cf5d-4381-94ba-ff49218e9e07","resolution":{"observed_at":"2026-08-10T17:22:41.610275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.113649Z","title":"In: Proc","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.113649Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:6c2d9bdd161051291ed725a98c5a2365a4b0dbbb59ad188d296745a6d7d62c5d","observation_id":"ae82691c-a161-47d6-be28-6f4c7307872d","resolution":{"observed_at":"2026-08-10T17:22:41.113649Z","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-10T17:22:41.117025Z","title":"In: Proc","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.117025Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:d3bc5f6e9dbc20ac290837cacdee0fdc058a6f0c15e157d175c9e80830f66211","observation_id":"d4602cb2-70f2-445b-ad68-936f1909e310","resolution":{"observed_at":"2026-08-10T17:22:41.117025Z","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-10T17:22:41.591115Z","title":"In: Proc","venue":null,"work_id":"72fc57d5-14ef-4d61-a60d-2da1367933a1","year":2020},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.120873Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:2f6e07bab8cefaf9c89e51b415ccf3d60eaae2081b92b9d0e9fac91bb56b5494","observation_id":"8fa48ece-3c91-4d48-a703-acba9d3930a7","resolution":{"observed_at":"2026-08-10T17:22:41.596176Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.125265Z","title":"In: Proc","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.125265Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:25a672fb9fac0325b46e74107c60297b2bd884209881ef256f53eba77bbc1bf6","observation_id":"cc8a712b-7d32-4deb-be6f-d61864f54d56","resolution":{"observed_at":"2026-08-10T17:22:41.125265Z","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-031-17108-6_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"52e2ad2c-d776-4779-8532-f923c772a7d4","year":2022},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.129057Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:544046b53e20ea72e97a9f3a1de871aefde8fe1d24dc1eef3553fabee5510650","observation_id":"7fe6791b-543d-4074-9a23-2c08d5962ea8","resolution":{"observed_at":"2026-08-10T17:22:41.240030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-22308-2_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"2b706336-8602-45ee-8a50-09611297add0","year":2022},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.133079Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:50c87635dbc8fede373bc485786a8fac629496aaaa374ff7b4ce37a7abb80b1d","observation_id":"f1f68303-22b8-4ff8-a4c8-943afea734dd","resolution":{"observed_at":"2026-08-10T17:22:41.226547Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-61362-4_8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"5682c9ee-6e5d-44f9-8bcf-849ac427ed7b","year":2020},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.136639Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:49555a98b30a0557181de60003a1bededeb7f5b55bcdb215369d4abe11972406","observation_id":"a2badd22-4d74-45b1-b220-32e67984a4e8","resolution":{"observed_at":"2026-08-10T17:22:41.215351Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.577244Z","title":null,"venue":null,"work_id":"4ce07376-47c6-4fb1-9cb4-afc7b7187a75","year":2014},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.140602Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:e95c2fa9021de4d18236e5718d80c0afe73b9f5b5cc5426758c775b3c3dc63c1","observation_id":"c1e1153d-4767-4d0d-8ae2-2794301c18be","resolution":{"observed_at":"2026-08-10T17:22:41.581958Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.563163Z","title":"In: Proc","venue":null,"work_id":"0aef483b-ad94-4af6-949e-da6a583552c1","year":2012},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.144553Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:5f28e4b8dbc7de687147d8ba777b048dd6b2629828c56e4db9391ab644a1655f","observation_id":"1ad50089-4366-4916-ae86-e09caf149513","resolution":{"observed_at":"2026-08-10T17:22:41.567991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-75380-0_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"In: Proc","venue":"Lecture notes in computer science","work_id":"b6db524c-256a-4ae5-bf41-7881ca8f03e8","year":2024},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.148457Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:802f8ff69a2c788304b4ee3d1f527d84461e979fa59910c0e81e3e9944fef1db","observation_id":"fe6f7996-740f-4007-945b-7fb2e5e3c788","resolution":{"observed_at":"2026-08-10T17:22:41.203641Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.549129Z","title":null,"venue":null,"work_id":"ff87d866-600d-4f52-bf21-cbe47cfebfc5","year":2019},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.152181Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:4c81df9e7cc3a605b4e4c232baec65b4ea4d9962cb66885266d30e76f275e6d2","observation_id":"af6a93ec-b94c-465a-a41a-8155ec8a8c5a","resolution":{"observed_at":"2026-08-10T17:22:41.553860Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.535145Z","title":"In: Proc","venue":null,"work_id":"7c5b5f12-b9f2-48b0-a66c-ba7884e60b1f","year":2011},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.155578Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:4db756cc2b96a569dcc2939fa7c1cf7517ebe17af1b5e3d1310bfa12a01c0103","observation_id":"5fcbbc83-0453-4a68-be2a-a52b96467053","resolution":{"observed_at":"2026-08-10T17:22:41.539611Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.519280Z","title":"In: Proc","venue":null,"work_id":"0c06e2af-c3f5-4003-9d00-d0ad5ff38af1","year":2010},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.159134Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:9225415e0130d661eed13217f6ae28db1885c8265dd4cd41ece147eb6bc9612a","observation_id":"1aa287fe-b6c4-4f67-89d4-4288f8d56c4a","resolution":{"observed_at":"2026-08-10T17:22:41.525387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-10T17:22:41.163553Z","title":"Computer25(10), 40–51 (1992).https: //doi.org/10.1109/2.161279","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T17:22:41.163553Z"},"links":{"citing_paper":"/paper/2501.12313"},"observation_digest":"sha256:270c5d473cbe8fb944e433b90184e41ade5f0d20889e05e0670342ffbc3e037f","observation_id":"5de0e934-c110-449f-a2a3-5f8b16d277fc","resolution":{"observed_at":"2026-08-10T17:22:41.163553Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.12313","last_updated":"2025-01-21T17:27:59Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-10T17:14:54.450664Z","submitted_at":"2025-01-21T17:27:59Z","title":"Correctness Witnesses with Function Contracts"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":5,"verified_fuzzy":3},"total_outbound_references":17},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2501.12313."}