{"as_of":"2026-08-08T20:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e5be508bbe3b0051e3db7ef447b34db4daaefc22d8c77a7cbbe4c65ee0eeab2e","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-08T06:32:00.761636+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-07T11:53:52.104190Z","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:13c36ea43bf1211d9b5878052ec27733dee9b37c6aeecd7c1d02a3d14f3d0a5c","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-07T11:53:52.104190Z","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:a2523137cad6a1a24f3a8e005f8a2dcb44fbb7fe9ac3a86563bd6e29be0182a0","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-07T11:53:52.104190Z","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:1e30407cbef75797db03e076bef1001dba35ddd099e545ad73aa8d7dba7dc647","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-07T11:53:52.104190Z","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:66a136e58c4db72b83f427da9b47965becf0a9bbb5a3ad2f7da23861eb823599","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-07T11:53:52.104190Z","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:005db0530958a2ca85aac91ddac9b036f26db418884ae431863f866a1979b5de","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-07T11:53:52.104190Z","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:91862d0bcdacf552b642ce40f18ac6bf444df2de9c5145770f82209b1e5d376d","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-07T11:53:52.104190Z","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:109135f0d39eeb74b7e76649aae4dde6d3886b00f5365e52cfc47983deac6430","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-07T11:53:52.104190Z","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:023c3f010b86cfd92b3c40a406471c9e17d2065b354cb26816ac2c6d24d4a154","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-07T11:53:52.104190Z","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:3b7a092edd172c9f780afcafa1db543d1712cf6facc7c9a64f62d9dbc362c00b","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-07T11:53:52.104190Z","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:96005c65e3b97f500948bfe6741719ba0a77a72a2bb8bf226b7c42d894d200c1","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-07T11:53:52.104190Z","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:7fd4a778a018ddb3154590aeb27845cdb77621f16929dfcc9e5db7c1f9bb9c1e","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-07T11:53:52.104190Z","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:7a07c2815a23f15c9b5821ee4b75856ca1aa4530c84b5d2877e78d6dfd68604f","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-07T11:53:52.104190Z","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:0c9dd356a7219fb7f590a782dfb83c4b3874483f27f75b9f13da32acb5ef4149","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-07T11:53:52.104190Z","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:c79b09c94c3382591fab60f6788a48b92cdc4dab72b3bb48f2f0716ea07b9284","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-07T11:53:52.104190Z","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:028d9722ae28619acd98c180b40a0d17dabed6eb82839db8d8b4967133d49386","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-07T11:53:52.104190Z","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:70fcc0d2b2bcfc29636ebca4552a07a6d337ab68bbd78cc18c89b8dc18755b2e","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-07T11:53:52.104190Z","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:fe3587272b618a64a07065f4414d5e7ced1664cfbbed6f02497b46ca289f62ac","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-07T11:53:52.104190Z","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:f97e1c1b44f7618f9e2bea85cb0e390f088ad1bed1fa610a1ef8c0046826521a","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-07T11:53:52.104190Z","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:f7b2805c5fdd58728ec63a820ca3410db19d557384801b1e1287f5c214671173","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-07T11:53:52.104190Z","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:cf904a15325e5361f24ba06f21b06aea6325b5bd968be087999000916daa4aec","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-07T11:53:52.104190Z","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:a137fe5b4488061aa8b668e17b3a16e33d14463605661f5994aca50593ebb331","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-07T11:53:52.104190Z","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:4d166b17aa95afdee14edcb95876601acfd944a37df12cd8136f4df3a4dd8bdc","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-07T11:53:52.104190Z","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:0c061295c7a75b839ff9e075e01934aaa6424af639d7c7b732b7206ec6b618ea","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-07T11:53:52.104190Z","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:09ebb6941f803302a99b14bba8fb2f7e185c25da41d076ad44d4277bcf2f2c20","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-07T11:53:52.104190Z","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:7814adb29db2675276354a266b74da0cffda83f87c8299949632419edabe0338","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-07T11:53:52.104190Z","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:5f5af027d440cf57665d86585014ef50b9cb34af9b97cd2598391f626c87c58c","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-07T11:53:52.104190Z","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:850c6db729a79e46c92c47a7d7ebdd8a6d405744e617212d93c0718aabb443c1","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-07T11:53:52.104190Z","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:3b5e52984dfae28b512055e95f93a21f149836944597b5198dc10bb87f966006","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-07-31T19:03:03.494918Z","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-07T11:53:52.104190Z","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:d538495fc1df6250fba157e61ffc76ddb2aff4d87ef3722322d4d819843851cf","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-07T11:53:52.104190Z","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:8ed48aad79781819d949a9fcc8ed1f4b5687b5c4d99eed423e00bb62d4cd0d34","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-07T11:53:52.104190Z","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:a24b8cd296dad3a53234972ccb45dc78a1d2edf44d2e47d3b4ac81bb80431465","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-07T11:53:52.104190Z","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:e5cd9dc44ced7bbe5806c70a2ac2aeadb7e64b3111e1a424bcd60e3167e2d00e","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-07T11:53:52.104190Z","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:eeaf78b539a016682336599b2fd48f9e1d1a9b5fed574ab0c0ecc40afabdee80","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-07T11:53:52.104190Z","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:b2ee337d63fb14e55005ec67075bbf7dd089e4510371e3b313284848920840eb","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-07T11:53:52.104190Z","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:74490d04c7682e857458a0f0647591b22be20d661fcf6fa9bc7d82ec4296da2b","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-07T11:53:52.104190Z","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:a2dc49627263e88804c23b7eba93560fd4048d9f0276db93e3fc4019cfd06207","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-07T11:53:52.104190Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2607.14890."}