{"as_of":"2026-08-23T09:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2fc998c906d6f26d7723311209e53e008506dc92bac4e0bc0417652a70611c94","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:19:08.565853Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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.09740/citation-record","integrity":"/paper/2608.09740/integrity","json":"/paper/2608.09740/citation-record.json","paper":"/paper/2608.09740"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:19:08.055806Z","title":"2002.Test Driven Development: By Example","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.055806Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:a1632dee15b2c6366e423525688b6950fb1b824d0ac9cdf7cfbac13c838dcd03","observation_id":"91fbea92-f100-433e-8b84-18f6d696fdc4","resolution":{"observed_at":"2026-08-14T04:19:08.055806Z","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-14T04:19:08.067466Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.067466Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:65eef3fa671668641791d28523c74a50e5654b2ba8eb50ac8c6fe9a5d2807f7d","observation_id":"a496acb8-a277-4454-a19b-a785b11321d4","resolution":{"observed_at":"2026-08-14T04:19:08.067466Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2304.05128","last_updated":"2023-10-05T09:12:07Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-04-11T10:43:43Z","title":"Teaching Large Language Models to Self-Debug","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.05128","snapshot_observed_at":"2026-08-14T04:19:08.082077Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.082077Z"},"links":{"cited_paper":"/paper/2304.05128","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:39aa495008546e07ba1b3356bce68df4d9894814596f8ef9264f03f505c017a2","observation_id":"01fa0acd-c653-4126-8de5-e9050da817db","resolution":{"observed_at":"2026-08-14T04:19:08.082077Z","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-14T04:19:08.114751Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.114751Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:272ec1a4b215c2dc6572c8589a547101cd1dce575a7ab4ac910baa488a9f2b52","observation_id":"c3baeb3a-ba5d-48d7-bae9-17046d88af7c","resolution":{"observed_at":"2026-08-14T04:19:08.114751Z","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-14T04:19:08.147347Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.147347Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:cb571573dee1fe167c10b8b15dea4de1efe87c1e16f4fef99191c3dd290c69c6","observation_id":"e8a424ea-633e-4ed6-bae6-826519efcc01","resolution":{"observed_at":"2026-08-14T04:19:08.147347Z","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-14T04:19:08.174744Z","title":"Tibshirani","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.174744Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:6c817906b37166c475748363e99c415fe498f9303d46d258475df46141ef2297","observation_id":"966697ec-45a9-4d12-916f-714fecab1a72","resolution":{"observed_at":"2026-08-14T04:19:08.174744Z","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-08-14T04:19:08.193060Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.193060Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:52b8e7604092c37d7f48bc012719ef21760ba5d7f7152cf4cdac157b5e881489","observation_id":"2754aa99-c9da-48a9-9369-4b88ba785462","resolution":{"observed_at":"2026-08-14T04:19:08.193060Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.00218","last_updated":"2024-07-20T19:14:03Z","snapshot_observed_at":"2026-08-19T20:11:33.576597Z","submitted_at":"2024-04-30T21:52:19Z","title":"Constrained Decoding for Secure Code Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.00218","snapshot_observed_at":"2026-08-14T04:19:08.213857Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.213857Z"},"links":{"cited_paper":"/paper/2405.00218","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:8c9179e68cd72885f3185fc835397a984a4ef2f8808b2f6dea03266d07a6ecb5","observation_id":"c7abe220-3c92-4f48-92fb-9ba0af2b5b54","resolution":{"observed_at":"2026-08-14T04:19:08.213857Z","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-14T04:19:08.248993Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.248993Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:1be53f22e5b372b6460e537dc4c1416d054e0af2e860170ab587e028f06dfdfd","observation_id":"f330d1ec-1488-4336-b33e-32de80c27edb","resolution":{"observed_at":"2026-08-14T04:19:08.248993Z","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-14T04:19:08.258527Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.258527Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:3f3c9c0e83ec80f4e0f163c9b5f23a9d678931991a622fcd562b4a28fff7949a","observation_id":"fb196637-2682-4e8a-810a-4e7a6230a341","resolution":{"observed_at":"2026-08-14T04:19:08.258527Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-14T04:19:08.267223Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.267223Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:37ea55305050a9a7c4a0259bff02441622178244925d695c79c9eaaa52716156","observation_id":"eb9386a6-5afe-4988-89bf-9139cdf24014","resolution":{"observed_at":"2026-08-14T04:19:08.267223Z","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-14T04:19:08.304753Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.304753Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:a81b8695e1837672578e17631f9535656af27996a056f55cf6d62f9aa208e28c","observation_id":"d4d2ce38-5542-4ac1-96d8-7a9fa5a20ca7","resolution":{"observed_at":"2026-08-14T04:19:08.304753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2207.01780","last_updated":"2022-11-03T08:32:59Z","snapshot_observed_at":"2026-08-16T16:48:21.526954Z","submitted_at":"2022-07-05T02:42:15Z","title":"CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2207.01780","snapshot_observed_at":"2026-08-14T04:19:08.330173Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.330173Z"},"links":{"cited_paper":"/paper/2207.01780","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:dcf5fa70e4f887e2b10f77ffc2e4ba587b3d5c71badf34d36ccbb7cb4ad4131b","observation_id":"088d30f6-ac17-44ff-be69-b76bb51242bb","resolution":{"observed_at":"2026-08-14T04:19:08.330173Z","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-14T04:19:08.338263Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.338263Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:be85409784ff16bc5d4dcfd1a19c8c51bf14a9dbdb08177ae86f204078d897c8","observation_id":"6966b897-0e80-4d48-9756-e9e41b93e249","resolution":{"observed_at":"2026-08-14T04:19:08.338263Z","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-14T04:19:08.357904Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.357904Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:8d486c6d0e7bc3840b9ff2daaaf35b19b822e1b23c1545d41e5177ddd1402151","observation_id":"4207b647-616f-4987-8ab3-2612413965fe","resolution":{"observed_at":"2026-08-14T04:19:08.357904Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12699","last_updated":"2024-09-19T12:14:10Z","snapshot_observed_at":"2026-08-16T13:17:12.195622Z","submitted_at":"2024-09-19T12:14:10Z","title":"PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12699","snapshot_observed_at":"2026-08-14T04:19:08.363049Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.363049Z"},"links":{"cited_paper":"/paper/2409.12699","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:03fed0c90d39c8d7657cac67d01b2a032701e8d881cd2a6af5f783bcca56d3eb","observation_id":"9c18824d-64d2-415f-95c8-ce5f85298a99","resolution":{"observed_at":"2026-08-14T04:19:08.363049Z","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-14T04:19:08.374225Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.374225Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:5dc76665e1f87cb16650536f63c67d9423e54186083fd142faafbeeceb4980f3","observation_id":"de168b94-6613-4653-9e65-4b4378c4be64","resolution":{"observed_at":"2026-08-14T04:19:08.374225Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10737","last_updated":"2024-11-05T03:00:38Z","snapshot_observed_at":"2026-08-21T11:49:21.333844Z","submitted_at":"2024-09-16T21:15:56Z","title":"AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.10737","snapshot_observed_at":"2026-08-14T04:19:08.404758Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.404758Z"},"links":{"cited_paper":"/paper/2409.10737","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:615920073810eb51b7a3580cbca4132ef345fc2c6b9e15badb89d0de45a8911f","observation_id":"4a7e95b0-d83a-4633-b03e-113ed50ab8c5","resolution":{"observed_at":"2026-08-14T04:19:08.404758Z","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-14T04:19:08.436179Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.436179Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:dbcb394d39fca49fbbf9d0bc83e122edb08d2273fa32fa06fc5bde89e342718b","observation_id":"abfcaf49-792d-4e47-ab3c-98d85e7903ee","resolution":{"observed_at":"2026-08-14T04:19:08.436179Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.08200","last_updated":"2025-01-14T15:27:01Z","snapshot_observed_at":"2026-08-20T10:42:59.639432Z","submitted_at":"2025-01-14T15:27:01Z","title":"CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.08200","snapshot_observed_at":"2026-08-14T04:19:08.454282Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.454282Z"},"links":{"cited_paper":"/paper/2501.08200","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:13a98f9cd31341941f94029b8572fbee3a7c3ba1d3229cf0d09ecd13af6899c8","observation_id":"471c8afc-ff33-4cee-b51b-81c7d6dd1866","resolution":{"observed_at":"2026-08-14T04:19:08.454282Z","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-14T04:19:08.462120Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.462120Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:b8c604cc1c83db1bacb532be4462f22e7e5a2a31e2362e56ded8eff506f05fad","observation_id":"21541c1f-9d0a-4031-8a56-fddd6e4ac115","resolution":{"observed_at":"2026-08-14T04:19:08.462120Z","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-14T04:19:08.471464Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.471464Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:7771e93613974d25947d1cfed384b8442b1e4211e138e543d5de0c0076ee6fd9","observation_id":"c8a0861b-9b49-4d3c-8bc4-6330f611f9c5","resolution":{"observed_at":"2026-08-14T04:19:08.471464Z","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-14T04:19:08.480910Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.480910Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:7644d86a18efff0244adf55a473c2dc7e13be3c9e3d505e582e3fb4033ef8e0a","observation_id":"0f0438ab-3698-46ab-a4eb-3f86344b4d57","resolution":{"observed_at":"2026-08-14T04:19:08.480910Z","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-14T04:19:08.494790Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.494790Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:fc0f1fc007412a412f895d91b5cb218ec475ca67497365f3181dc89a7a2f70c6","observation_id":"ef28c242-1c74-4b89-9fed-f76a6c382970","resolution":{"observed_at":"2026-08-14T04:19:08.494790Z","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-14T04:19:08.516533Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.516533Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:bd1dabf035a2de3fa0771acfc2411dee0d115034284705a800dd80be3ede4017","observation_id":"eb777a60-5ede-446b-913e-3ebb4eaf66c0","resolution":{"observed_at":"2026-08-14T04:19:08.516533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-14T04:19:08.534753Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.534753Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:0e986415b18487d9b7da661e5d840669885a578ab5d946514a9355c694dab2b8","observation_id":"ce848415-7098-469d-baef-812c4159e7c7","resolution":{"observed_at":"2026-08-14T04:19:08.534753Z","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-14T04:19:08.542379Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.542379Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:ab5f70d6f6f7666109d0dd2f75bf0cc866ed361317c13d34071f71c9181339f3","observation_id":"10171695-7733-4894-8572-3c20c02d9b43","resolution":{"observed_at":"2026-08-14T04:19:08.542379Z","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-14T04:19:08.565853Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T04:19:08.565853Z"},"links":{"citing_paper":"/paper/2608.09740"},"observation_digest":"sha256:284b576c0864aa940e5804bd8c95de64d9c5990764125b398a11c953efb44034","observation_id":"5bc3e9bc-0034-4c71-af4b-0ad0b2983aea","resolution":{"observed_at":"2026-08-14T04:19:08.565853Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.09740","last_updated":"2026-08-11T02:30:40Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-17T18:11:36.696900Z","submitted_at":"2026-08-10T15:37:09Z","title":"Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":27,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":28},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2608.09740."}