{"as_of":"2026-08-09T09:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b8c829ce3141b818bd8414c92389ed02d4fbb8aeb5fbab25a9976cb41ab6429c","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T00:50:40.335524Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"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.14890/citation-record","integrity":"/paper/2607.14890/integrity","json":"/paper/2607.14890/citation-record.json","paper":"/paper/2607.14890"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T00:50:38.342594Z","title":"Model context protocol (mcp).https://modelcontextprotocol.io, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.342594Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:e6b14ee53b0b5085f4130640d5a12391fce8aa201a473292bc0ea9faedd7200b","observation_id":"4a944990-c4e2-4425-8fc8-34a597382aef","resolution":{"observed_at":"2026-08-02T00:50:38.342594Z","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-02T00:50:38.425947Z","title":"Fitting linear mixed-effects models using lme4.Journal of Statistical Software, 67(1):1–48, 2015","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.425947Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:314fc5335e00fb8de2cd55b02535e3bb3b6382f4462cf11ffb8d266e13c47fc4","observation_id":"74351d2f-9220-4407-9da6-f55fe0e502c3","resolution":{"observed_at":"2026-08-02T00:50:38.425947Z","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-02T00:50:38.514539Z","title":"Controlling the false discovery rate: A practical and powerful approach to multiple testing.Journal of the Royal Statistical Society: Series B, 57(1):289–300, 1995","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.514539Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:38e56f045f5cc8ac024c90a9ccab69f2b6677d5e1115cad9ecc6eb8031c91b10","observation_id":"158b2c71-866f-45b4-8b64-b25c0d40577f","resolution":{"observed_at":"2026-08-02T00:50:38.514539Z","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-02T00:50:38.616915Z","title":"Bootstrap methods: Another look at the jackknife.The Annals of Statistics, 7(1):1–26, 1979","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.616915Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:c4f7157ac205e367b2e553df080cdf6ee0b14acb5995695201c2a1dc4af14021","observation_id":"6efa0ba4-23da-4a29-a280-d64d026bb741","resolution":{"observed_at":"2026-08-02T00:50:38.616915Z","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-02T00:50:38.789107Z","title":null,"venue":null,"work_id":null,"year":1922},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.789107Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:a836e43aa7cbfab23d4ceb74983d8abd87e5f9ed58c91d13a04abfac89191b66","observation_id":"27efaf60-c3f1-4bb6-bc90-51566800baac","resolution":{"observed_at":"2026-08-02T00:50:38.789107Z","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-02T00:50:38.934172Z","title":"Agent2agent (a2a) protocol.https://a2a-protocol.org, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:38.934172Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:22527649c2be6f9561aed5c9bce455a0725428918eb2b6248b273b1762f13f06","observation_id":"d6d06112-540e-4bb4-8bbf-7607ab002e02","resolution":{"observed_at":"2026-08-02T00:50:38.934172Z","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-02T00:50:39.045027Z","title":"An overview of the runtime verification tool Java PathEx- plorer.Formal Methods in System Design, 24(2):189–215, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.045027Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:a02614eed04cb5cd87eda9d2d68cfac97baf1031a2e714c4b44bf3389f188ebd","observation_id":"061cfd0a-ff54-4c40-a4d3-221abe5d1597","resolution":{"observed_at":"2026-08-02T00:50:39.045027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06770","last_updated":"2024-11-11T23:05:04Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T16:47:29Z","title":"SWE-bench: Can Language Models Resolve Real-World GitHub Issues?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06770","snapshot_observed_at":"2026-08-02T00:50:39.204839Z","title":"Jimenez, John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik Narasimhan","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.204839Z"},"links":{"cited_paper":"/paper/2310.06770","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:fd9eebf09aea0f658a6d5af801bd4c070c9bb6e360a8860732a00ea9355851f7","observation_id":"0cc8fa6d-9524-4212-a187-5799845ebae9","resolution":{"observed_at":"2026-08-02T00:50:39.204839Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.20456","last_updated":"2026-05-19T20:10:13Z","snapshot_observed_at":"2026-08-03T00:27:17.336240Z","submitted_at":"2026-05-19T20:10:13Z","title":"Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.20456","snapshot_observed_at":"2026-08-02T00:50:39.311084Z","title":"Agentic agile-v: From vibe coding to verified engineering in software and hardware development.arXiv preprint arXiv:2605.20456, 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.311084Z"},"links":{"cited_paper":"/paper/2605.20456","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:b5e0f8bb11eb1651b50d509bb68c7ebfa475375823738a8416a64056354c36c2","observation_id":"f74f7dc6-79d7-47b7-96d2-7e5602fe3906","resolution":{"observed_at":"2026-08-02T00:50:39.311084Z","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-02T00:50:39.465189Z","title":"Langgraph: Stateful, resumable agent graphs.https://langchain-ai.github","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.465189Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:7b9948f6cf12e681209612e4671df1509ae4f7d5eb9b70b30f80c66ce83b83f7","observation_id":"b29d219c-f176-4d8c-b0b8-401eb7f79483","resolution":{"observed_at":"2026-08-02T00:50:39.465189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-08-02T00:50:39.593757Z","title":"Self- refine: Iterative refinement with self-feedback","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.593757Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:030034d9b5ed382aa98df5b1fa251fe9f47a8e9130144adfcb46a0f76f5b4d34","observation_id":"c3ee0234-883f-4fab-b5c8-a465124a6dba","resolution":{"observed_at":"2026-08-02T00:50:39.593757Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.00215","last_updated":"2024-06-28T19:53:17Z","snapshot_observed_at":"2026-07-06T18:38:46.314431Z","submitted_at":"2024-06-28T19:53:17Z","title":"LLM Critics Help Catch LLM Bugs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.00215","snapshot_observed_at":"2026-08-02T00:50:39.714101Z","title":"LLM critics help catch LLM bugs","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.714101Z"},"links":{"cited_paper":"/paper/2407.00215","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:25587f73103b3971a188a8aa4eb3a9de800227298a2730ddd3896c94f1d716ed","observation_id":"75ea0ca6-6ce5-4326-9f02-775fcb3bd834","resolution":{"observed_at":"2026-08-02T00:50:39.714101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1901.08644","last_updated":"2019-02-18T09:39:19Z","snapshot_observed_at":"2026-07-06T07:28:54.617767Z","submitted_at":"2019-01-24T21:11:59Z","title":"Ablation Studies in Artificial Neural Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1901.08644","snapshot_observed_at":"2026-08-02T00:50:39.806342Z","title":"Ablation studies in artificial neural networks.arXiv preprint arXiv:1901.08644, 2019.https://arxiv","venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.806342Z"},"links":{"cited_paper":"/paper/1901.08644","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:60b71307b76bd1f60c3bfa760b075751042b0ca00cdff5e3e4ae55133d3a30bb","observation_id":"dd3900cd-3906-4dec-93b7-fa03f753749c","resolution":{"observed_at":"2026-08-02T00:50:39.806342Z","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-02T00:50:39.957730Z","title":"Microsoft agent framework.https://github.com/microsoft/agent-framework,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:39.957730Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:72928cb83741f0c62b2ccb6d19a29a63de42117e1a60af85775fa3ffcbed08e1","observation_id":"0f4a5589-2f46-4c82-9c8c-1aa8b46d75f2","resolution":{"observed_at":"2026-08-02T00:50:39.957730Z","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-02T00:50:40.227635Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.227635Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:82b93623628f3a70f25ee0f3f7b3ce61c3fdf3ac392c7c3107ccd3e72bf4faff","observation_id":"4f0fb9f1-5f33-4211-9cfb-51b095367952","resolution":{"observed_at":"2026-08-02T00:50:40.227635Z","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-02T00:50:40.260988Z","title":"Openai agents sdk","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.260988Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:718b1aac07a977683b68b3e47620d7a590ff97d5be1756dd4137f654c53d44f1","observation_id":"681b03da-ee3f-45fd-bce5-5ca2012a6bd1","resolution":{"observed_at":"2026-08-02T00:50:40.260988Z","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-02T00:50:40.264862Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.264862Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:313d7e102cac8eeb4d85aee2bb46f0bffc92ef2ffe9071e296374601c02d227d","observation_id":"62a08c8a-fec6-4b0e-85ab-28f66d3efd59","resolution":{"observed_at":"2026-08-02T00:50:40.264862Z","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-02T00:50:40.268739Z","title":"Goal structuring notation community standard version","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.268739Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:ddafe203b7e6f5211d7eaf5eed587f8c11043b4b6b9b6f55a5ce07beef172dad","observation_id":"2d17d987-6f63-48fa-a519-b8bd4030dd69","resolution":{"observed_at":"2026-08-02T00:50:40.268739Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.11366","last_updated":"2023-10-10T05:21:45Z","snapshot_observed_at":"2026-07-06T15:05:53.556198Z","submitted_at":"2023-03-20T18:08:50Z","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.11366","snapshot_observed_at":"2026-08-02T00:50:40.276610Z","title":"Reflexion: Language agents with verbal reinforcement learning","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.276610Z"},"links":{"cited_paper":"/paper/2303.11366","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:5cae10e5f48936ff328efcbb6cb5d53846db6f2c8dfe6f5e9c1ebfe520b237a6","observation_id":"63952cad-9eda-4cd6-a37c-dee8832cf513","resolution":{"observed_at":"2026-08-02T00:50:40.276610Z","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-02T00:50:40.273015Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.273015Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:cd6ede647a494be63f357876536d3307b413ee54e000946964b9a76cdc5b0374","observation_id":"ec94e6d2-9375-4fb6-9d46-dfa8272a63b6","resolution":{"observed_at":"2026-08-02T00:50:40.273015Z","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-02T00:50:40.284344Z","title":"in-toto and SLSA.https://slsa.dev/blog/2023/05/in-toto-and-slsa, 2023","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.284344Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:a24412d6f2ee12602f40344b214631808ee8320d16cf717a6ccea06386b60e8e","observation_id":"94d04bc5-5572-44a6-af43-e450eb261aaf","resolution":{"observed_at":"2026-08-02T00:50:40.284344Z","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-02T00:50:40.280701Z","title":"DBOS: A 40 DBMS-oriented operating system","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.280701Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:7a7728e79a39d515d4199996f41ad2995ce5a1a1feeb4d770eb0a6e633759872","observation_id":"c460ee63-84d4-4f62-8904-8e33b71d6baa","resolution":{"observed_at":"2026-08-02T00:50:40.280701Z","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-02T00:50:40.292301Z","title":"SLSA provenance.https://slsa.dev/provenance,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.292301Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:2787507e0eac9afc51e26220ad00d85a62add2552ad7de6c3ca508fbc7f57444","observation_id":"c5d838ed-77a0-4769-ae55-42956f8c84f2","resolution":{"observed_at":"2026-08-02T00:50:40.292301Z","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-02T00:50:40.288388Z","title":"The proof and measurement of association between two things.The American Journal of Psychology, 15(1):72–101, 1904","venue":null,"work_id":null,"year":1904},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.288388Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:cd26a2efdf7c2197a075dc2404262b91972c2176784976affd216748b3f12a1c","observation_id":"05f60ff4-fbe7-4add-a47f-21c464a41a8f","resolution":{"observed_at":"2026-08-02T00:50:40.288388Z","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-02T00:50:40.307922Z","title":"in-toto: Providing farm-to-table guarantees for bits and bytes","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.307922Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:ea39dbaac9ef18c6f0669b41a51e238066e198379c5f0a8934f343c77695d5fa","observation_id":"1af02bbc-e330-490d-9470-3d3cf2ae2a02","resolution":{"observed_at":"2026-08-02T00:50:40.307922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.16291","last_updated":"2023-10-19T16:27:03Z","snapshot_observed_at":"2026-08-07T08:29:46.650400Z","submitted_at":"2023-05-25T17:46:38Z","title":"Voyager: An Open-Ended Embodied Agent with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.16291","snapshot_observed_at":"2026-08-02T00:50:40.311392Z","title":"Voyager: An open-ended embodied agent with large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.311392Z"},"links":{"cited_paper":"/paper/2305.16291","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:ad730ab302888fc2ff993d2a6c2e693883ddf5342f33e0bfe68b374d3bfa384b","observation_id":"6515dff1-a313-40d7-bf1c-8234cfa41ed4","resolution":{"observed_at":"2026-08-02T00:50:40.311392Z","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-02T00:50:40.299796Z","title":"Temporal: Durable execution for workflows.https://temporal.io,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.299796Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:99d86127544dfd34e84006b5b6d70981df7973696a0c6ea1282e2ca52a233f91","observation_id":"6db99712-8ed2-4267-b833-0e09acd8210b","resolution":{"observed_at":"2026-08-02T00:50:40.299796Z","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-02T00:50:40.319511Z","title":"PROV-overview: An overview of the PROV family of documents","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.319511Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:2a9d9b164c8c08cbed5cabf7cd74f9f9e84e6b650a8c992938a0a34522c58b01","observation_id":"3c2229d0-37a5-45a3-80ce-560aa2f99742","resolution":{"observed_at":"2026-08-02T00:50:40.319511Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-08-08T22:28:26.004138Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-08-02T00:50:40.323154Z","title":"White, Doug Burger, and Chi Wang","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.323154Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:2b6def15603061ff93d97ea8fe84889881985ec60e6efc1d20e5ba5ff5b04ba9","observation_id":"03fa7bd1-5884-42ea-8061-4eeea044daca","resolution":{"observed_at":"2026-08-02T00:50:40.323154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.28282","last_updated":"2026-05-27T10:29:00Z","snapshot_observed_at":"2026-08-02T07:32:10.497329Z","submitted_at":"2026-05-27T10:29:00Z","title":"ResearchLoop: An Evidence-Gated Control Plane for AI-Assisted Research","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.28282","snapshot_observed_at":"2026-08-02T00:50:40.327607Z","title":"Researchloop: An evidence-gated control plane for ai-assisted research.arXiv preprint arXiv:2605.28282, 2026.https://arxiv.org/abs/2605.28282","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.327607Z"},"links":{"cited_paper":"/paper/2605.28282","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:539a10622365bc7f36a4bd20c62f7cfe5f7e51d27ebbc051b2a0bc9700efea6c","observation_id":"52d1218d-406a-415f-aba5-bd5ba0b889df","resolution":{"observed_at":"2026-08-02T00:50:40.327607Z","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-02T00:50:40.315676Z","title":null,"venue":null,"work_id":null,"year":1927},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.315676Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:67f73e695de731e650c69c562e7b77bab6c86e9637978c078aa4958739b2a4e0","observation_id":"7a7a939b-72da-434f-961c-2ca0701c8716","resolution":{"observed_at":"2026-08-02T00:50:40.315676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.03629","last_updated":"2023-03-10T01:00:17Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-10-06T01:00:32Z","title":"ReAct: Synergizing Reasoning and Acting in Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.03629","snapshot_observed_at":"2026-08-02T00:50:40.335524Z","title":"not amplified","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.335524Z"},"links":{"cited_paper":"/paper/2210.03629","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:c29289fa22cb26dc1c10348f18d9187f69788779f92aa815ececdbc56fb671f7","observation_id":"b9692936-b6c6-480d-8727-919bcd2795cf","resolution":{"observed_at":"2026-08-02T00:50:40.335524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.15793","last_updated":"2024-11-11T20:01:15Z","snapshot_observed_at":"2026-07-06T18:19:29.996982Z","submitted_at":"2024-05-06T17:41:33Z","title":"SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.15793","snapshot_observed_at":"2026-08-02T00:50:40.331399Z","title":"Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.331399Z"},"links":{"cited_paper":"/paper/2405.15793","citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:0480aa04ca71f9d015b5dfac20fcc25e676b164f682db9da72128a39cebb356a","observation_id":"4afb955d-658d-4447-89f8-e843f4fc0711","resolution":{"observed_at":"2026-08-02T00:50:40.331399Z","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-02T00:50:40.304329Z","title":"Accessed: 2 July 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.304329Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:51cffdb8e7d87a88affc7b0cc6d9e59e0a9e930870164dc6334b4c1af8c1a11c","observation_id":"3c6e0e16-65cf-40df-b1fa-c78754202789","resolution":{"observed_at":"2026-08-02T00:50:40.304329Z","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-02T00:50:40.073643Z","title":"Accessed: 2 July 2026","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.073643Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:3edfcacf1adea3421c066ba3208d0e1bceb20c76563195f729c28992841825a6","observation_id":"4111db91-cfef-4cdc-9ff9-75a658af8878","resolution":{"observed_at":"2026-08-02T00:50:40.073643Z","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-02T00:50:40.296092Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","version":1},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-02T00:50:40.296092Z"},"links":{"citing_paper":"/paper/2607.14890"},"observation_digest":"sha256:bc34edc94536855c6174dead306468d8153d2358eed30225c13eb9a4ed1c061d","observation_id":"c9a2a5a9-5529-4bc3-984c-8be7081dd532","resolution":{"observed_at":"2026-08-02T00:50:40.296092Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.14890","last_updated":"2026-07-16T12:06:21Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-09T06:56:04.727795Z","submitted_at":"2026-07-16T12:06:21Z","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":35,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"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 9 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2607.14890."}