{"as_of":"2026-08-10T00:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69f03558a57df84da2c957941533ec83acb1bec699db75176b6225e520aedd91","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T11:17:56.139148Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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/2604.14867/citation-record","integrity":"/paper/2604.14867/integrity","json":"/paper/2604.14867/citation-record.json","paper":"/paper/2604.14867"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c4be0551-1f10-425e-977a-e7ffcc42d07f","year":2013},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:cb7554ee105fc596eec98191885b473858ee4d74077e470fb538b5cf0155d32c","observation_id":"3816a57a-2ad1-4392-8c15-fb81adee349a","resolution":{"observed_at":"2026-05-19T14:47:36.847842Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2507.13290","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T08:47:49.706560Z","title":"Astrogator: Towards Formal Verification of LLM-Generated Code","venue":null,"work_id":"4debf81c-3c0a-4117-90cd-99c238e49c24","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:cc21e6c99d421eec92a90dcd204a795d0e6f4c97d04f3d6cefbd700328675056","observation_id":"c8bcaee3-3e2e-4691-a629-35c72b8d877d","resolution":{"observed_at":"2026-05-10T11:20:10.444406Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:46:26.467910Z","title":null,"venue":null,"work_id":"77f1ac49-ab35-45c8-a672-545dbb1e6932","year":2023},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:351b741719632aa60d43bcc620a4d796876487e7e33c6c10405bb550037619bb","observation_id":"9a81470e-0998-4fba-8bc0-7bea0e62b194","resolution":{"observed_at":"2026-05-10T11:20:09.806427Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1e6d49e0-9dd8-4d9e-92d9-fae9234642ff","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:614e6f430c6f55eb1324c3fab4c46c7395a4b4fca94fcc5b75080556e3a169f1","observation_id":"e60a92db-c55b-485e-9bd3-6c506f246143","resolution":{"observed_at":"2026-05-19T14:47:36.849673Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.12399","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T09:56:10.733582Z","title":"2025 , archiveprefix =","venue":null,"work_id":"b3e39f93-9f88-468d-828b-f85b13ced0a7","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:8d066d7bb46ca49c4df9e842cb5286aef2d2e990de61868b869ee63816bb76cf","observation_id":"5887a379-8f1a-47de-b3ce-74007c4c3167","resolution":{"observed_at":"2026-05-10T11:20:10.449017Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.dam.2010.08.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kovalyov and Erwin Pesch","venue":"Discrete Applied Mathematics","work_id":"195623d1-3d1b-4f88-a1e4-53894c49df90","year":2010},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:26ac21a307299b320a821cddcb9f2e724c4bcc67aaf1d2446a23348117f93f6f","observation_id":"0463ba5b-74d3-4e8e-9dfc-93dfde0b9c2b","resolution":{"observed_at":"2026-05-10T11:20:09.810494Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-16336-4_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"0e6a6c55-5880-47c9-b71c-c7d27e7aa761","year":2022},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:e140d0bff3d3521bf2069cb4f485e23b2cc3b77e5ae23b95d14eee36466bf5b9","observation_id":"6bb29bd7-4726-469d-b1c1-d90941195654","resolution":{"observed_at":"2026-05-10T11:20:09.814034Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.12952","last_updated":"2025-02-07T12:33:06Z","snapshot_observed_at":"2026-08-04T01:27:27.027017Z","submitted_at":"2024-06-18T14:54:37Z","title":"SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents","version":3},"cited_work":{"arxiv_id":"2406.12952","doi":"10.48550/arxiv.2406.12952","metadata_source":"arxiv_reference","pith_arxiv_id":"2406.12952","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Code agents are state of the art software testers","venue":"arXiv (Cornell University)","work_id":"f82ce16b-a3f7-49db-81b8-d272759cc9d7","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"cited_paper":"/paper/2406.12952","citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:66b1953d9db9aa75b020c6a1545336e67a77f52eb101a29505cf3fe7ace83935","observation_id":"e77c6c09-3d33-4557-90f5-5153c535b6d6","resolution":{"observed_at":"2026-05-10T11:20:10.439528Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.10737","last_updated":"2024-11-05T03:00:38Z","snapshot_observed_at":"2026-07-06T19:16:23.103921Z","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":"2409.10737","doi":"10.48550/arxiv.2409.10737","metadata_source":"arxiv_reference","pith_arxiv_id":"2409.10737","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"AutoSafeCoder: Amulti-agentframeworkforsecuring LLM code generation through static analysis and fuzz testing","venue":"arXiv (Cornell University)","work_id":"ac9463c3-dc05-4cb9-b543-09c43c2d95fa","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"cited_paper":"/paper/2409.10737","citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:9f323c5ee0311b4f2601e0ab6c7e85aa3081acdffcd7a0afdf3f299dec56e4b0","observation_id":"4758659c-a73c-48ac-b740-7182b71a603d","resolution":{"observed_at":"2026-05-10T11:20:10.430661Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1278779a-5989-4e2a-beca-63e53fadcd4e","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:4ab330dd5e70a49b97f0636e7440e444d1377ef4ab77f2456ea302e860ed9d2f","observation_id":"25c19d7a-921c-48a0-881c-9407878065e0","resolution":{"observed_at":"2026-05-19T14:47:36.846036Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.18607","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"006aa985-21fa-499e-b54a-09e0c82fa450","year":2026},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:8cc2d54a5b7d04913316dffd9e215698bc6912e4f9c3ac6176d2e7d6078bc5b6","observation_id":"902286b1-e178-4627-b7ea-5fc001e3ff26","resolution":{"observed_at":"2026-05-10T11:20:10.435000Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e2250a1a-77b3-438d-8cd7-697a7c3f0ee7","year":2026},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:ebbd055c61b9c6a70e32c3377da0adb952d23bd97fefef1eec644a53a2c00726","observation_id":"f27ecfaf-8598-437a-888c-64f9e7a43327","resolution":{"observed_at":"2026-05-19T14:47:36.844120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2505.18585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"RvLLM: LLM Runtime Verification with Domain Knowl- edge","venue":null,"work_id":"31308b18-5aaa-46a8-a078-3032f9d70638","year":2025},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:c19ce5c0c0fb2dc4c4d5ccdd7c9975517fc3756d4ffc0f99787235fdcdc06265","observation_id":"cda910aa-a711-4ef7-b270-07a7e8c059cb","resolution":{"observed_at":"2026-05-10T11:20:10.426171Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i19.30185","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Can LLM replace stack overflow? a study on robustness and reliability of large language model code generation","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"34486fa4-a969-4659-a580-816a62a2403b","year":2024},"citing_paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T11:17:56.139148Z"},"links":{"citing_paper":"/paper/2604.14867"},"observation_digest":"sha256:bd06ee694e22612fa18a64790662d0433ff323f051de9608b4c14ceb27d04d34","observation_id":"962554ff-ab0f-4ab1-bb6e-e352d6c99ffc","resolution":{"observed_at":"2026-05-10T11:20:09.817294Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.14867","last_updated":"2026-04-16T10:58:03Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T23:02:31.717911Z","submitted_at":"2026-04-16T10:58:03Z","title":"Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":9,"verified_fuzzy":0},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2604.14867."}