{"as_of":"2026-08-10T02:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f1579b00024261bbe6b0804ec4a8fe41ab83f14c32ace7720798d5ac3a122861","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T04:18:29.830125Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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/2607.15854/citation-record","integrity":"/paper/2607.15854/integrity","json":"/paper/2607.15854/citation-record.json","paper":"/paper/2607.15854"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T04:18:26.777560Z","title":"Manning Publications, 2011","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:26.777560Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:32481e8c36cd43e97cd230359f0625298fe32f0e3f1ba65c866d6777e28da582","observation_id":"ee8c90d5-249c-471e-97cb-fdfb08ec5f17","resolution":{"observed_at":"2026-08-04T04:18:26.777560Z","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-04T04:18:26.937586Z","title":"Double loop learning in organizations.Harvard Business Review, 55(5):115–125, 1977","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:26.937586Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:a0c033c97edf8fb2acc7ab3f272fdefe9096d64f8584179f0910ace146e132b7","observation_id":"45157962-7a52-4518-a0b2-97d66d7f2c25","resolution":{"observed_at":"2026-08-04T04:18:26.937586Z","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-04T04:18:27.135471Z","title":"Natural language-oriented programming (NLOP): Towards democratizing software creation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.135471Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:7448911d96ba061a7b20eaae6d898927b6e5a633bd62281bc10125835f6c4a6d","observation_id":"7fe8c9be-a820-4ba8-8b7a-3e37518dde7f","resolution":{"observed_at":"2026-08-04T04:18:27.135471Z","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-04T04:18:27.287254Z","title":"Zhang, and Yang Liu","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.287254Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:9d142ec2bf8b1479dc51cf2759f02649f32a9706b31857ee88e65d6abce14984","observation_id":"26eec910-b0f6-4683-b9b6-83920f4d14f2","resolution":{"observed_at":"2026-08-04T04:18:27.287254Z","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-04T04:18:27.472749Z","title":"Tests as prompt: A test-driven-development benchmark for llm code generation, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.472749Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:baadf90d3ef557e372a9e2700f8bb59598acff7e6ec7b46140fb06229ab51e97","observation_id":"16f93727-d632-4f03-840b-dfbdf1749798","resolution":{"observed_at":"2026-08-04T04:18:27.472749Z","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-04T04:18:27.585256Z","title":"Github copilot workspace: Welcome to the copilot-native developer environment","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.585256Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:17ba2c2f9072af0329691a2a13a378cc3b2617d84fdcf003e4c8f07efa036ee3","observation_id":"dd113e3c-02c4-4274-9564-ce700a359c81","resolution":{"observed_at":"2026-08-04T04:18:27.585256Z","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-04T04:18:27.754746Z","title":"What is spec-driven development? GitHub Spec Kit Documentation, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.754746Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:fe88c11f064b21a290f816874a9027f06d66920924694737ed60157835cd1622","observation_id":"22be3472-5cdf-4cfb-9656-aa3abc6bc764","resolution":{"observed_at":"2026-08-04T04:18:27.754746Z","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-04T04:18:27.876703Z","title":"Program synthesis.Foundations and Trends in Programming Languages, 4(1–2):1–119, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:27.876703Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:70f492efe7b4dbdb9ff9f81cbd56565b4b46858a682737ed8df24d4dfe1d2b27","observation_id":"ad4b67f9-a7f8-486d-8545-d581eff16b67","resolution":{"observed_at":"2026-08-04T04:18:27.876703Z","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-04T04:18:28.048510Z","title":"Seshia, and Ashish Tiwari","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.048510Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:636b73b8c4e08b96b02b79ed677cde16df217054e87b2cb5580fa42effa5c772","observation_id":"d6c67199-c610-4293-971d-b2eef01514e8","resolution":{"observed_at":"2026-08-04T04:18:28.048510Z","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-04T04:18:28.175999Z","title":"Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik R","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.175999Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:6dd1ddaf9bd86f36d88645efec7d7f72914a9088cdc67e8f2395c804c068efec","observation_id":"f36e9986-e0ec-484a-a964-d3a576b5635c","resolution":{"observed_at":"2026-08-04T04:18:28.175999Z","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-04T04:18:28.372741Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.372741Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:91b8e84c205ffb3d93ef3e7ce3dbdbb7c9fe0343a023aff95683314c6ffa0e79","observation_id":"bc3174b7-5585-490c-a672-cd54d0c4bffc","resolution":{"observed_at":"2026-08-04T04:18:28.372741Z","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-04T04:18:28.490155Z","title":"Pre-train, prompt, and predict: A systematic survey of prompting methods in natural language processing.ACM Computing Surveys, 55(9):1–35, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.490155Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:25067a356b055c1ee857a179507966fa76633ecfbcc5f26d6c39b378736188d0","observation_id":"a0f87d61-aae0-4181-8204-614d6e04aff6","resolution":{"observed_at":"2026-08-04T04:18:28.490155Z","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-04T04:18:28.582653Z","title":"Flashmeta: A framework for inductive program synthesis","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.582653Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:5e5e6370f620bc837bced67af93c5c2177a7f618797788f23e0f01bc9b514a3b","observation_id":"c6da07dd-fce2-4ac2-a023-80c6f39fcc4c","resolution":{"observed_at":"2026-08-04T04:18:28.582653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2102.07350","last_updated":"2021-02-15T05:27:55Z","snapshot_observed_at":"2026-07-06T10:41:20.914791Z","submitted_at":"2021-02-15T05:27:55Z","title":"Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2102.07350","snapshot_observed_at":"2026-08-04T04:18:28.694004Z","title":"Prompt programming for large language models: Beyond the few-shot paradigm.arXiv preprint arXiv:2102.07350, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.694004Z"},"links":{"cited_paper":"/paper/2102.07350","citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:ef8f9113b09d38a97d279018c6bc20010871f05222d0199f6abf22ee73646492","observation_id":"125c0fab-9e05-42cf-aebb-faed5416f2b2","resolution":{"observed_at":"2026-08-04T04:18:28.694004Z","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-04T04:18:28.835464Z","title":"PhD thesis, EECS Department, University of California, Berkeley, December 2008","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.835464Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:71316038859e7416ec1e09ff64127bb633b81dcf7848a72958e8631429c93cba","observation_id":"52e6d905-9856-4b85-b72b-d84735045d5f","resolution":{"observed_at":"2026-08-04T04:18:28.835464Z","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-04T04:18:28.941628Z","title":"Program sketching.International Journal on Software Tools for Technology Transfer, 15(5–6):475–495, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:28.941628Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:6d522e980bf2492fdd268492866e494d516e73232f7b883dfa84bb2515226854","observation_id":"870dc9a7-fd83-45d6-8cad-e140d470cfab","resolution":{"observed_at":"2026-08-04T04:18:28.941628Z","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-04T04:18:29.058859Z","title":"Seshia, and Vijay A","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.058859Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:f54835fcd0a6d79cc63c748eda20b92be79a9af5e2ee9fd12979be4a08bd41a2","observation_id":"789f43f1-3e82-4499-b637-ea3dd533ad98","resolution":{"observed_at":"2026-08-04T04:18:29.058859Z","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-04T04:18:29.138627Z","title":"Introducing kiro","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.138627Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:5adde5d848ce861bb537a1e8222ac8841f17d58112bd6b8ddcccd628a99a8472","observation_id":"1bc2f985-784b-4215-8307-ad3c8912312f","resolution":{"observed_at":"2026-08-04T04:18:29.138627Z","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-04T04:18:29.300147Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.300147Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:ac5dfb7b48ae85b37654fbdfe7f33d777f2e2688c56d98b88aea79941c22d24e","observation_id":"46ea9718-6d59-4812-802b-9832434e95dc","resolution":{"observed_at":"2026-08-04T04:18:29.300147Z","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-04T04:18:29.481424Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.481424Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:302caffd721a4262f863ab785e8225cf5ac2ad42d27852043e589fedcf6196a0","observation_id":"a642eebb-3cb2-481f-8921-95c9190e2973","resolution":{"observed_at":"2026-08-04T04:18:29.481424Z","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-04T04:18:29.575271Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.575271Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:10a82eac9d73b181f3e60997c412d1b32763a9a08dc002873a81d57ddda11cf7","observation_id":"cc8749ed-0404-49a4-9463-8b185c396968","resolution":{"observed_at":"2026-08-04T04:18:29.575271Z","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-04T04:18:29.741782Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.741782Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:b8970ef5cf5da877f40025a80fa2b4ae81c7e05d694c33721f5a15de272c5028","observation_id":"02ddbaaa-95bc-41c7-bcec-baaddbb11105","resolution":{"observed_at":"2026-08-04T04:18:29.741782Z","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-04T04:18:29.830125Z","title":"semantic compare,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T04:18:29.830125Z"},"links":{"citing_paper":"/paper/2607.15854"},"observation_digest":"sha256:654e13600e90c24ec08175349845983968b703b37ec42b040e3d810ac76dacd4","observation_id":"e7f60278-9441-4426-a4fa-69b0f66ea4cd","resolution":{"observed_at":"2026-08-04T04:18:29.830125Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15854","last_updated":"2026-08-03T00:44:30Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-08T04:34:31.520406Z","submitted_at":"2026-07-17T11:11:13Z","title":"Agentic Synthesis against Counterexample-Supplemented Sketches"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":23},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2607.15854."}