{"as_of":"2026-08-15T09:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c67201344da08f06a4ebf16a97587a3ea5e5d28f7530c049b00609a6c9c75789","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-15T09:16:29.229937Z","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:186186a9762028b037165022b7920cd800bc9ae3cb4720989b847ca70d74472e","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-15T09:16:29.229937Z","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:6da75ede4567f7208b5534cd02b7e5f6a70b7b89053e6460a361de5d3d8c0614","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-15T09:16:29.229937Z","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:bf3a25c55a86f2990e4a1af745dadb4ee65db3568583cb1f5a2a0d1fba644ff6","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-15T09:16:29.229937Z","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:233897afe0a8a7600e9adb8e2f7f29e971c39fdb36ef4a5e4de52f63b35d6ba4","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-15T09:16:29.229937Z","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:194560340a7225f34a7cf6279ee2a2f56fa519e96385c22a5a00f37a81d487f0","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-15T09:16:29.229937Z","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:f11c810045750b042c872afdf6a24a1437b1366c5dc5cf1e7013f99cff4d29e4","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-15T09:16:29.229937Z","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:5d2fff85e1b0394c0145e640bf8ee1d8d2d53fdccab53dbfd1a0b5315f0456af","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-15T09:16:29.229937Z","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:03f989163f93b8284dc31fdb195fff4deed2d982dcfc24c8b05c79159d24deca","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-15T09:16:29.229937Z","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:82bc1eff06ac8604bed1c45969b4f3a7641f2296f991357c456db584a982a3b6","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-15T09:16:29.229937Z","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:b814549b116efb2ab464f2424f24e4b9742505a0f44d2402b71b45907e65c01b","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-15T09:16:29.229937Z","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:050261ecb2407a475c9a970c13e8b08a55bddfd786441dbd986c6f114b8e8fdc","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-15T09:16:29.229937Z","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:aa04c93a8ce62f38e558c03de20caa98109d169ddc7c9cf30eeecef4fa170efb","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-15T09:16:29.229937Z","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:44942f8a38e55c21fbda4a2ae3a603d132f65589d47392330dec735171456cc2","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-15T09:16:29.229937Z","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:d07676e70ff229fa41d2c867c667afa5e4020ccdfb54887063cb8000ef8e521c","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-15T09:16:29.229937Z","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:b8d13cbce9eebdd584dc38dd621c76505475240c0085013f0dee7e05d0f7dc10","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-15T09:16:29.229937Z","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:52c5bc2151bdbfc64444b8ca784800aaa02f5f3a4f6ae4d6f273fba57206e25a","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-15T09:16:29.229937Z","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:6b1f7b8d36ef74f38a656569f494baa569b416a82b09bb3083917690b68da2f5","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-15T09:16:29.229937Z","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:3616c956b84581f0e43c165cdf664483a77e32be05f6209d6f7def8fc3f8007a","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-15T09:16:29.229937Z","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:1e9b76942873377a48debf4cc3c4637fd898b8c32ba43244c448338fc99f2e48","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-15T09:16:29.229937Z","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:899c28ea25c3c58ec178fd9126a999eb08e4ff9ba584a723f271a9ed3dc3c87e","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-15T09:16:29.229937Z","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:40e2fe588c6367b688f88f2d7cd6d92a41f21620f0b734787b94b9f3ec940f3d","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-15T09:16:29.229937Z","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:4b4ab8e8fad7a09a642580d758d779aa80ecdfd043987b824d44642ee7b0aad3","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-15T09:16:29.229937Z","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."}