{"as_of":"2026-08-20T22:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a0768d3aa9ef33f5bff6952da139d66d03c08ceb40596077330cbc6f0cf9bdc8","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T17:34:59.387635Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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.12093/citation-record","integrity":"/paper/2501.12093/integrity","json":"/paper/2501.12093/citation-record.json","paper":"/paper/2501.12093"},"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-10T17:34:59.666049Z","title":null,"venue":null,"work_id":"e393ab78-2de9-426d-aa76-3eb91332cc73","year":2017},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.311069Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:2d0722a2065026e3d2e8d0a2b6d15360a1c70141aea5b0d201c912b579b1e6cd","observation_id":"223214d0-ec4c-43ff-8308-73f4bd58a1b7","resolution":{"observed_at":"2026-08-10T17:34:59.670699Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.443768Z","title":"American Journal of Computational Linguistics , 8, 3-4, 110–122","venue":null,"work_id":"741a0fdb-35e5-4929-a0df-1cd37d8b7bdd","year":2013},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1982,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.387635Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:a2ab39d2191d22da821adb092c25080c743af12dfcd0a6135abde5f5060cd765","observation_id":"df585909-dda0-4d56-82da-e817fec0ebe9","resolution":{"observed_at":"2026-08-10T17:34:59.449184Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.494098Z","title":null,"venue":null,"work_id":"6880b299-e2f7-4a25-8194-7a63bf8c9eca","year":1991},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1991,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.368205Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:dee2bd878ec178c604e7f62fd9d6a9b1bd6ab04a0a1bcc9947e0f518db198953","observation_id":"37868a35-dc27-4b74-b45a-6c8371661766","resolution":{"observed_at":"2026-08-10T17:34:59.499122Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.478056Z","title":"Journal of Logic Programming , 13, 2/3, 315–347","venue":null,"work_id":"82abfb54-165d-45e7-8eee-1fe9d98657d1","year":2006},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.372984Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:5fb463a72fc59a24d5f8488864ae9679e7c39a91a7e6bb55a483eecb6b7a457a","observation_id":"50877d29-c6dc-480f-8549-2f20982d4136","resolution":{"observed_at":"2026-08-10T17:34:59.483002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.589391Z","title":"ACM Transactions on Programming Languages and Systems , 18, 5, 564–615","venue":null,"work_id":"85cd9ca2-f626-4bef-b9f7-198bfa689af6","year":2020},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.337782Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:8d09cb549e8fd93a74b577704bbdcfb5cc6e59db64d38b0073dba5537783e3aa","observation_id":"e6899b6e-dde2-4853-ad16-2932cfc0b306","resolution":{"observed_at":"2026-08-10T17:34:59.594378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.558492Z","title":"The Ciao System Documentation Ser ies–TR CLIP5/97.3, Facultad de Informática, UPM","venue":null,"work_id":"edf08041-dd4e-4f12-b34e-5db4a4d5859c","year":1999},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":1997,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.348426Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:c28f0df9aeb72d3dbb7a2db1595bfec4c109518412e47ee93c2f34fc974258fb","observation_id":"25ee98d0-5f7c-486b-9378-88b6df97ea81","resolution":{"observed_at":"2026-08-10T17:34:59.563531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.542752Z","title":"ACM Transactions on Programming Languages and Systems, 22, 2, 187–223","venue":null,"work_id":"1ec8b2f2-815e-4c78-ba51-ad834046c9c3","year":2015},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.353887Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:3fc833f2f2fbf32d7356d8286d170d695331bf83259ea2d74460470ebc242838","observation_id":"6ec237d2-ec72-4882-893d-7955a091d077","resolution":{"observed_at":"2026-08-10T17:34:59.547743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.460460Z","title":"SIGPLAN Not","venue":null,"work_id":"e3f19a02-748d-4eb3-864c-a689adbf662b","year":1986},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.377780Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:11ad7bedb84e39b843b0565b86603a27a8649b47095ef5e6c6fb408639094b14","observation_id":"892f29d7-a6a1-4077-97bf-d71984629e96","resolution":{"observed_at":"2026-08-10T17:34:59.465635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.619911Z","title":"Lecture Notes in Computer Science , 3444, 21–30","venue":null,"work_id":"e89c5952-f50a-41b1-85b5-d7227060d662","year":2005},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.327007Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:efffa3bcb86473e860810d0a36ae46d1e156e089abb3e29044484002c16a2906","observation_id":"efb5e5b9-24fd-4b48-b431-572872a055c5","resolution":{"observed_at":"2026-08-10T17:34:59.624746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.634906Z","title":"Technical Report CLIP2/06, Technical University of Madrid (UPM), Facultad d e Informática, 28660 Boadilla del Monte, Madrid, Spain","venue":null,"work_id":"de94adfe-4601-4203-9c48-be0e8c635809","year":2018},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.321703Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:dda7f535546b670f1be8f0a3f7fa8e1130438bb7fe9bfde678b631aaabc72c3e","observation_id":"10e140ae-e8a1-44a1-b9c6-60edeaf9111b","resolution":{"observed_at":"2026-08-10T17:34:59.640252Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.509748Z","title":"New Generation Computing , 28, 2, 117–206","venue":null,"work_id":"10ab9192-2da3-4740-abf1-647c0565ca31","year":2009},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.363489Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:364f4b721492e85ef65839b8a078912d467bbfe57dbf9f09bb560bcf833ef426","observation_id":"e14d6832-34e4-4c17-ada4-feb8e112efab","resolution":{"observed_at":"2026-08-10T17:34:59.515492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1507.05986","last_updated":"2015-07-23T09:54:01Z","snapshot_observed_at":"2026-08-18T10:31:23.838055Z","submitted_at":"2015-07-21T21:07:24Z","title":"Practical Run-time Checking via Unobtrusive Property Caching","version":2},"cited_work":{"arxiv_id":"1507.05986","doi":null,"metadata_source":"pith","pith_arxiv_id":"1507.05986","snapshot_observed_at":"2026-08-10T17:34:59.424390Z","title":"Practical Run-time Checking via Unobtrusive Property Caching","venue":"cs.PL","work_id":"9a14a8c5-c8cc-4351-b11d-dc4981a4e16d","year":2015},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.382521Z"},"links":{"cited_paper":"/paper/1507.05986","citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:6b32ca5208658b41820bb17a0e7912c3d9d583160f1de92c77175242c70370a4","observation_id":"92727b9d-a9c9-4dcf-992a-59ebd3d50ab5","resolution":{"observed_at":"2026-08-10T17:34:59.432276Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.527621Z","title":null,"venue":null,"work_id":"a9e08d70-06c2-4fc4-a493-40cc71eee9a0","year":2017},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.358787Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:3dbb12580a941344668a511866e2fd42c2cf664e3565761e74244aff877929b0","observation_id":"0fc6a340-042b-4eb6-ae3d-f59f68a78e12","resolution":{"observed_at":"2026-08-10T17:34:59.532519Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.650494Z","title":"Theory and Practice of Logic Programming, 18, 3-4, 337–354","venue":null,"work_id":"c2ea4299-a8ec-48d8-8c96-7bd09fd799b3","year":2002},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.316691Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:d3a0d29b95d05ac8798af47b646628ce36280cd2468dd72c85d4fa24ca2ba49b","observation_id":"4192f2e2-deb3-4291-afa2-66f1b5a9c78a","resolution":{"observed_at":"2026-08-10T17:34:59.655724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.604828Z","title":null,"venue":null,"work_id":"6559516d-b351-4fef-b0a4-d146a3d17858","year":2023},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.332492Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:e06d025466631e6e363271e91d8ef376ad51c56003ebe407e44a6245a9180396","observation_id":"b13cc8b3-434d-49d4-b1b9-ed146fa331f3","resolution":{"observed_at":"2026-08-10T17:34:59.609664Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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:34:59.574253Z","title":null,"venue":null,"work_id":"4ad40c3d-1dfb-4a01-b508-265e52644c47","year":2000},"citing_paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths","version":3},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-10T17:34:59.343384Z"},"links":{"citing_paper":"/paper/2501.12093"},"observation_digest":"sha256:ec3d2bc115393acdbe0369f935f31b9f1eda8cbcbc937168fbddf257fd585475","observation_id":"65580467-6b3a-43a5-af76-9895f79026de","resolution":{"observed_at":"2026-08-10T17:34:59.579086Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.12093","last_updated":"2025-05-07T14:05:14Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-20T14:03:10.559326Z","submitted_at":"2025-01-21T12:38:04Z","title":"Checkification: A Practical Approach for Testing Static Analysis Truths"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":1,"verified_fuzzy":10},"total_outbound_references":16},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2501.12093."}