{"as_of":"2026-08-07T15:39:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d6cb693643a742119d570c3a3c255c1433c3f0e9beec588a06c5d9e9d2b73d4e","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T21:23:32.148991Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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.26777/citation-record","integrity":"/paper/2607.26777/integrity","json":"/paper/2607.26777/citation-record.json","paper":"/paper/2607.26777"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T21:23:32.068492Z","title":"2023 , url =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.068492Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:311a437e5611c6bb864220ffdeefc30ca9f2620eea2c889724f7a71a5509e81f","observation_id":"3499fb03-ae5a-4be3-86ff-a7b4cb987727","resolution":{"observed_at":"2026-07-30T21:23:32.068492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-07-30T21:23:32.072118Z","title":"arXiv preprint arXiv:2107.03374 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.072118Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:588973a24923fa4e7be3eeb41c3beb22e46344b7a0e76877f54324e26e7139be","observation_id":"04ed1551-95b9-4b22-8478-d643c6857231","resolution":{"observed_at":"2026-07-30T21:23:32.072118Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.07732","last_updated":"2021-08-16T03:57:30Z","snapshot_observed_at":"2026-08-02T19:23:53.535075Z","submitted_at":"2021-08-16T03:57:30Z","title":"Program Synthesis with Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.07732","snapshot_observed_at":"2026-07-30T21:23:32.077063Z","title":"arXiv preprint arXiv:2108.07732 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.077063Z"},"links":{"cited_paper":"/paper/2108.07732","citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:fe79a1d95003c6de59c5933906e30bb6d02f7b39162d8f93e5961f1a78d6620a","observation_id":"7569eb2a-852a-4806-915f-df43bd99cb86","resolution":{"observed_at":"2026-07-30T21:23:32.077063Z","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-07-30T21:23:32.080544Z","title":"D ev E val: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.080544Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:ef74cb499483d5ce9e48154b7cc3d0f1ae24a12ae10542644488256ff161a335","observation_id":"778755bf-f438-437a-80bb-73470af858dc","resolution":{"observed_at":"2026-07-30T21:23:32.080544Z","resolver_source":null,"status":"malformed_identifier"},"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-07-30T21:23:32.083738Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.083738Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:f38f2da9be481eb927d4b870341f37b14bc062cbc6c6eec97afb2ff2ad30e68e","observation_id":"30f64918-ce22-4dc5-91e8-792c0e6597e8","resolution":{"observed_at":"2026-07-30T21:23:32.083738Z","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-07-30T21:23:32.086835Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.086835Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:0cd71d9c7df3ec91f1162ef8cb6766b32138574fba819be81197bafda6545239","observation_id":"df6d1132-8fad-4b3d-b6bb-b196dc8dc1ab","resolution":{"observed_at":"2026-07-30T21:23:32.086835Z","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-07-30T21:23:32.090035Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.090035Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:52c2fd9c2e0430c5c9f8050de645e9c1bacac4931aef1b044ea74d2cf11205e0","observation_id":"4b9b9cca-3ead-4551-9acf-cc115f4b5436","resolution":{"observed_at":"2026-07-30T21:23:32.090035Z","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-07-30T21:23:32.093095Z","title":"Advances in Neural Information Processing Systems , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.093095Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:ac064f6af1ad51ce6c79611ba886d0c2c7521a8a7242cd055e845b10b2c94096","observation_id":"007a897e-e577-4297-839d-a2f4ff6deda2","resolution":{"observed_at":"2026-07-30T21:23:32.093095Z","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-07-30T21:23:32.096309Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.096309Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:3cde4ca2b2b8c3d10f7d868557654928351d46e841ed0ae45ef19b8700c117ed","observation_id":"b4d2ad7e-6b9a-4972-a09c-82fb75c90cfe","resolution":{"observed_at":"2026-07-30T21:23:32.096309Z","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-07-30T21:23:32.099634Z","title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.099634Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:455c722a794f185d8f711654031e5c811d3578a53e0853b160a52d47d14e2956","observation_id":"0e73cbc7-0ad5-4887-be3a-f0f244cc4fe2","resolution":{"observed_at":"2026-07-30T21:23:32.099634Z","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-07-30T21:23:32.102958Z","title":"International Conference on Learning Representations , volume=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.102958Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:18b7328edbba0610f2627bb02f1234f22e15c378bd5532125bfce2f8c144edd3","observation_id":"318b1f96-147b-4446-8c05-401f95c99743","resolution":{"observed_at":"2026-07-30T21:23:32.102958Z","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-07-30T21:23:32.105666Z","title":"Proceedings of the 62nd annual meeting of the association for computational linguistics (volume 1: Long papers) , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.105666Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:10f125653dd1f3bd725a3c2c826090f7615e629c0438fd3cc1262a4de54dc318","observation_id":"4e0a7822-3886-40cd-908f-f34a7f92fbe7","resolution":{"observed_at":"2026-07-30T21:23:32.105666Z","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-07-30T21:23:32.108553Z","title":"Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.108553Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:3f25dc55adf37dfc160b52668f1525f0dc5e868fe6d47ac0864c2e5f14b8cbc1","observation_id":"dc326a4f-bcec-4ba9-af87-7d9fa9c068b1","resolution":{"observed_at":"2026-07-30T21:23:32.108553Z","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-07-30T21:23:32.111581Z","title":"arXiv preprint arXiv:2602.10975 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.111581Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:a01794651ccdb7b62f958d4a74488d5eed1157656be62841d92ae404b37564b5","observation_id":"0c7c5a12-80bb-4c25-b303-10c863156a9b","resolution":{"observed_at":"2026-07-30T21:23:32.111581Z","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-07-30T21:23:32.114326Z","title":"arXiv preprint arXiv:2601.02868 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.114326Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:bdd8ade293db6316b2af4b49b0a6ae77e9ec04de5463f4d15aec4547b1a71da1","observation_id":"5855ff5c-31d9-4b39-aba3-0a44013875ff","resolution":{"observed_at":"2026-07-30T21:23:32.114326Z","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-07-30T21:23:32.117260Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.117260Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:0f63e944239d036ca28aaceb068f856c3987119c32d620dcabd8dcbc13aaa8d3","observation_id":"6f3f5b91-ea64-4608-a19f-11bfd0d79900","resolution":{"observed_at":"2026-07-30T21:23:32.117260Z","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-07-30T21:23:32.120170Z","title":"2025 , eprint=","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.120170Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:d98a685289a07799cb144aa33b69dd51aa2c2d4d69ab52f032258802b4052823","observation_id":"d85d70cf-589e-4d05-9e61-629c39740f2c","resolution":{"observed_at":"2026-07-30T21:23:32.120170Z","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.18653/v1/2025.findings-acl.80","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"RTAD ev: Intention Aligned Multi-Agent Framework for Software Development","venue":null,"work_id":"5d5f7d2d-0eb6-47cd-b3d1-0df441b339c5","year":2025},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.123229Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:2a9c857e3795892c227e4de25169491c24000aac729ab1373bc10fc07c8bb2aa","observation_id":"5e3c945e-6dc5-4774-be93-178f81c30c90","resolution":{"observed_at":"2026-07-30T21:26:21.147776Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-30T21:23:32.126649Z","title":"arXiv preprint arXiv:2505.16975 , year=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.126649Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:48fea6872367d8eb6f67922ee05c7e3ff22d68d3dd85bd2e340a073b462bb6e0","observation_id":"1940471b-9c83-4bac-9099-2e261d7d528e","resolution":{"observed_at":"2026-07-30T21:23:32.126649Z","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-07-30T21:23:32.129715Z","title":"2026 , eprint=","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.129715Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:11ff4aa780ff0c0367f4aad040edc534e34d4e6cac2e00b59aa6dab868a1900b","observation_id":"c59e942a-ab16-42a9-82ef-12f5fdba08c4","resolution":{"observed_at":"2026-07-30T21:23:32.129715Z","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-07-30T21:23:32.133492Z","title":"Software: practice and Experience , volume=","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.133492Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:663129be9566b2317ad3d3748ad091eccf276e2c854557ab22ff6813f029e299","observation_id":"e5e18e75-7b04-45b4-8c49-0aa6215d9635","resolution":{"observed_at":"2026-07-30T21:23:32.133492Z","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-07-30T21:23:32.136489Z","title":"IEEE Transactions on Software Engineering , volume=","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.136489Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:9fa6dd835b6f5f72fbdf9296dad30903f8e2bb25b46ab8b019e4f39aa06dcc8b","observation_id":"f6fc029f-af7e-466a-b123-0dd2f183b4a2","resolution":{"observed_at":"2026-07-30T21:23:32.136489Z","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-07-30T21:23:32.139976Z","title":"Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.139976Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:47697f7883ebab565d5b35fea5a0456656ac55ebc35bc392b430d7506899990d","observation_id":"603b9e2a-0c8b-4466-bdb6-f2e14e926bf8","resolution":{"observed_at":"2026-07-30T21:23:32.139976Z","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-07-30T21:23:32.142969Z","title":"Proceedings of the fifth ACM SIGPLAN international conference on Functional programming , pages=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.142969Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:05977aefd80fb6cd6bf8ee886608440e637702a728d748e8d5cbf0199400eedf","observation_id":"e261b581-55c9-4f9a-a5bd-7e93364ebc18","resolution":{"observed_at":"2026-07-30T21:23:32.142969Z","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-07-30T21:23:32.145928Z","title":"Communications of the ACM , volume=","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.145928Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:1c8442ae36327843851301d8c31454cc5c85613445aefaf1317ecb387be93b0c","observation_id":"23745ae2-7dc1-4a34-bab0-837f10214a0c","resolution":{"observed_at":"2026-07-30T21:23:32.145928Z","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-07-30T21:23:32.148991Z","title":"IEEE transactions on software engineering , number=","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-07-30T21:23:32.148991Z"},"links":{"citing_paper":"/paper/2607.26777"},"observation_digest":"sha256:8991efa3a1f22ed845d1f893074d8d36e3ee4a2a3b5bb5fbe6852d94fc20c086","observation_id":"b7ce11ec-862d-4433-bfae-cf853cf58b63","resolution":{"observed_at":"2026-07-30T21:23:32.148991Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.26777","last_updated":"2026-07-29T11:20:49Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-05T18:51:43.247726Z","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":26},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2607.26777."}