{"as_of":"2026-08-15T13:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5c193ca6eca2216c5e3f5b145ce3d605b118a0838d6e9a053b4c88f5164d022c","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:48:40.070304Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"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/2608.13459/citation-record","integrity":"/paper/2608.13459/integrity","json":"/paper/2608.13459/citation-record.json","paper":"/paper/2608.13459"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:39.745215Z","title":"In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.745215Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:f4a115befb07810928359bcb2e57a665b43b9182278af95b80f85d28f0acc13a","observation_id":"8f42f439-cfd6-410e-af6e-7557613757be","resolution":{"observed_at":"2026-08-14T10:48:39.745215Z","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.1016/j.scico.2020","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.284308Z","title":"Science of Com- puterProgramming197,102510(2020)","venue":null,"work_id":"a0ba2142-646c-4116-85a7-9ad786780e7b","year":2020},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.760884Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:bfdd4e391d83cd7b1b33ac5435af2265d2474bb342eb9ab8dfcc4bd7ec6ee750","observation_id":"a0384311-c1ae-43a5-a0ee-777f1634c048","resolution":{"observed_at":"2026-08-14T10:48:40.336429Z","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":"2601.04653","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.953836Z","title":"arXiv preprint arXiv:2601.04653 (2026),https://arxiv.org/abs/2601.04653","venue":null,"work_id":"074fa884-39f3-467f-ae70-6b83cea256c9","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.767143Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:a1906f196477a7faace30b41af4183dd8180be41f24123e60e9a7a5a8414d4ab","observation_id":"81ee9562-d489-4690-ac1f-c7492ebecbeb","resolution":{"observed_at":"2026-08-14T10:48:40.960266Z","resolver_source":"raw_fallback","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:41.130660Z","title":"In: Koyejo, S., Mohamed, S., Agar- wal, A., Belgrave, D., Cho, K., Oh, A","venue":null,"work_id":"730bbe13-26cf-4984-8028-208eb516c989","year":2022},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.771348Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:3684f11152ece751118cd58c53c12bd7b50b071120d892e76d2b6ec0203e972b","observation_id":"30574fbe-a0aa-493d-aa67-6532e87dd101","resolution":{"observed_at":"2026-08-14T10:48:41.211820Z","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":{"arxiv_id":"2606.18098","last_updated":"2026-06-16T16:00:14Z","snapshot_observed_at":"2026-08-13T16:36:52.383281Z","submitted_at":"2026-06-16T16:00:14Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","version":1},"cited_work":{"arxiv_id":"2606.18098","doi":null,"metadata_source":"pith","pith_arxiv_id":"2606.18098","snapshot_observed_at":"2026-08-14T10:48:40.888211Z","title":"IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus","venue":"cs.AI","work_id":"be16d52c-2e79-4339-aeab-5de6da4354ee","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.776717Z"},"links":{"cited_paper":"/paper/2606.18098","citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:b127b3fa0ea0cc2d1c56492097b60c766cb25c19b510b5573126ac5fc163cf28","observation_id":"b6b1ffb8-36c8-4cbe-af88-6e677db7e055","resolution":{"observed_at":"2026-08-14T10:48:40.894479Z","resolver_source":"local_arxiv","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:41.050152Z","title":"Empirical Software Engineering23(5), 3007–3033 (2018)","venue":null,"work_id":"d6962d54-716d-43d4-91f6-22d7f1bbefdc","year":2018},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.781387Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:04d4576c3ad30a95f61de6b60a80a0e956861a20983b899e7712c282b49026e0","observation_id":"182d8105-773e-40a3-8e37-9daed66bc8dc","resolution":{"observed_at":"2026-08-14T10:48:41.087703Z","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-14T10:48:39.785987Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.785987Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:6fe519c8d4b5617166d4df1b0cfa096fa9517fdd74a4d9d43d9936cec90b8cc6","observation_id":"d9bcf2b2-6c8b-4213-84df-e84368416dde","resolution":{"observed_at":"2026-08-14T10:48:39.785987Z","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-14T10:48:41.035952Z","title":null,"venue":null,"work_id":"187a45c6-4aad-411a-ae15-f1a613be3e87","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.790749Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:b5a6bd8f4581adea5aff8b1a736d994c98b3b59a8bc39098fec603ad9ef9c4e6","observation_id":"4a0291dd-5a46-4c12-b882-9fffbd5453bb","resolution":{"observed_at":"2026-08-14T10:48:41.041148Z","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-14T10:48:39.795654Z","title":"arXiv preprint arXiv:2505.05758 (2025), https://arxiv.org/abs/2505.05758","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.795654Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:d248faf15540b42ed24decaf55c37dab452752cf64d535f33ff54d21a90e34d6","observation_id":"05e537b4-6cb1-4034-af81-955341e5189a","resolution":{"observed_at":"2026-08-14T10:48:39.795654Z","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-14T10:48:39.858412Z","title":"In: Proceedings of the 2015 International Symposium on Software Testing and Analysis","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.858412Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:fa52acc528e988b86206f8ca21d4a8aa9129531ba03e3855b94934f7d93d2bc6","observation_id":"2f91847f-e6c2-4aca-958b-cd2e2ec9e063","resolution":{"observed_at":"2026-08-14T10:48:39.858412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-15T04:03:37.203141Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.24273","snapshot_observed_at":"2026-08-14T10:48:39.912935Z","title":"arXiv preprint arXiv:2602.24273 (2026), https://arxiv.org/abs/2602.24273","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.912935Z"},"links":{"cited_paper":"/paper/2602.24273","citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:416ce6cd4f9773d32092c9adc08ee5fb0ab34eb74650358bda15235defc9792e","observation_id":"db669108-4e34-4c44-9769-2e57c1a8030b","resolution":{"observed_at":"2026-08-14T10:48:39.912935Z","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-14T10:48:39.916740Z","title":"In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.916740Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:e067366ad279fb0e77aaca691318542fd6e6309a6bec9c10a16961008f65447f","observation_id":"f396ede8-8583-4268-83c9-4ca38b2b549b","resolution":{"observed_at":"2026-08-14T10:48:39.916740Z","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/3167094","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.239983Z","title":"In: Andronick, J., Felty, A.P","venue":null,"work_id":"2b21f563-69ed-482d-881b-ba034a15f290","year":2018},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.920550Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:b5fd05caa4035f3364674500a7e96f9aff4b947e45976316563e8efd0074a309","observation_id":"d4600c96-4c6d-4490-820b-84c589304988","resolution":{"observed_at":"2026-08-14T10:48:40.243551Z","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-14T10:48:39.925069Z","title":"In: Nitto, E.D., Harman, M., Heymans, P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.925069Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:52ac13d177778f384fc6afab8372f707ecfe7f1ebf5be9a35050c9ebc2f6e858","observation_id":"22ce438c-f09e-4382-9411-866ec2c5ae78","resolution":{"observed_at":"2026-08-14T10:48:39.925069Z","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.5220/0015234600004088","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.226586Z","title":"In: Proceedings of the 21st International Conference on Software Technologies - ICSOFT","venue":null,"work_id":"a8c197b8-360a-4c12-864d-d1198cf1531c","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.928891Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:12a2351e0df66f25c329fcc8e3f15db9604763c874b198aaf75bc1b4701b3d6f","observation_id":"484aff61-d324-43c3-b0a7-87d020f00292","resolution":{"observed_at":"2026-08-14T10:48:40.231545Z","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":{"arxiv_id":"2310.04353","last_updated":"2024-08-08T04:15:31Z","snapshot_observed_at":"2026-08-13T05:55:19.310239Z","submitted_at":"2023-10-06T16:21:22Z","title":"An In-Context Learning Agent for Formal Theorem-Proving","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04353","snapshot_observed_at":"2026-08-14T10:48:39.932480Z","title":"arXiv preprint arXiv:2310.04353 (2024),https: //arxiv.org/abs/2310.04353","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.932480Z"},"links":{"cited_paper":"/paper/2310.04353","citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:8be2c2d13c34881281c3d92e9f0e53dfb0381310283fb822bf35bce28e56eac8","observation_id":"33f65d1e-c5f3-43fa-8472-5b8ca8061fa8","resolution":{"observed_at":"2026-08-14T10:48:39.932480Z","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-14T10:48:39.936479Z","title":"arXiv preprint arXiv:2602.02990 (2026),https: //arxiv.org/abs/2602.02990","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.936479Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:b3b9d104519cbd69fb5bb87ca77442c24552bdba71aabe793883271cff95a582","observation_id":"92f9dcff-fd47-47fe-b915-c53171e95db8","resolution":{"observed_at":"2026-08-14T10:48:39.936479Z","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/3808218","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.108579Z","title":"Proceedings of the ACM on Software Engineering3(FSE), 4804–4826 (Jun 2026).https://doi.org/ 10.1145/3808218,http://dx.doi.org/10.1145/3808218","venue":null,"work_id":"c1b53d86-5b31-4739-8363-40c006204d92","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.940251Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:24ca809f67893060c46ff62883635ec2cbf6fd126d46d02b0656a2a1cb7ac8e9","observation_id":"e1b00953-4133-4ec9-90e1-7bea5b5fa86e","resolution":{"observed_at":"2026-08-14T10:48:40.151851Z","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-14T10:48:39.965121Z","title":"arXiv preprint arXiv:2603.20449 (2026),https: //arxiv.org/abs/2603.20449","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:39.965121Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:4cb4db2857847b7e15c90ca14346f75835d834d515460e1784b6504ce9581250","observation_id":"7c687230-cc2a-4f9c-bec3-84cf1ca62bb1","resolution":{"observed_at":"2026-08-14T10:48:39.965121Z","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-14T10:48:40.041433Z","title":"Journal of Systems and Software220, 112229 (2025).https://doi.org/10.1016/j.jss.2024.112229","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:40.041433Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:e79eb0aa312a54dadc56fc582cbbcfdfef45d728f186a506626cb6b37c024186","observation_id":"56b32f15-2e17-4d4e-acfa-f045916a71e7","resolution":{"observed_at":"2026-08-14T10:48:40.041433Z","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-14T10:48:40.065595Z","title":"Empirical Software Engineering26(2) (Feb 2021).https://doi","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:40.065595Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:55909bfb7fe5e3e4271ad7ee58b0398f8e326c6e14fcca955dd5381801b3b978","observation_id":"f58ee33b-1101-42c4-897b-0323f03b53d4","resolution":{"observed_at":"2026-08-14T10:48:40.065595Z","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":"2602.08384","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:48:40.399890Z","title":"arXiv preprint arXiv:2602.08384 (2026),https://arxiv.org/abs/2602.08384","venue":null,"work_id":"cd5e1c26-3404-494d-88a8-7a621b02ad93","year":2026},"citing_paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T10:48:40.070304Z"},"links":{"citing_paper":"/paper/2608.13459"},"observation_digest":"sha256:0147d2f683df39ee9ee5a79f9770093aacec3e64b0bd5a2306118d0daa286b94","observation_id":"a7c5cffe-fbd5-4b4d-b2ff-8d540158b6c3","resolution":{"observed_at":"2026-08-14T10:48:40.412673Z","resolver_source":"raw_fallback","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"}}],"paper":{"arxiv_id":"2608.13459","last_updated":"2026-08-13T16:43:44Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-15T13:16:24.991791Z","submitted_at":"2026-08-13T16:43:44Z","title":"CAPRI: Contract-Aware Proof Repair for Isabelle"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":13,"verified_exact":6,"verified_fuzzy":2},"total_outbound_references":22},"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 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2608.13459."}