Paper Citation Record · LEDGER

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.14890 v1

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T00:50:40.335524Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy0
unresolved35
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4a944990-c4e2-4425-8fc8-34a597382aef · outbound

This paper cites Model context protocol (mcp).https://modelcontextprotocol.io, 2024.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Model context protocol (mcp).https://modelcontextprotocol.io, 2024

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.342594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74351d2f-9220-4407-9da6-f55fe0e502c3 · outbound

This paper cites Fitting linear mixed-effects models using lme4.Journal of Statistical Software, 67(1):1–48, 2015.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Fitting linear mixed-effects models using lme4.Journal of Statistical Software, 67(1):1–48, 2015

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.425947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 158b2c71-866f-45b4-8b64-b25c0d40577f · outbound

This paper cites 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.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control 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

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.514539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6efa0ba4-23da-4a29-a280-d64d026bb741 · outbound

This paper cites Bootstrap methods: Another look at the jackknife.The Annals of Statistics, 7(1):1–26, 1979.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Bootstrap methods: Another look at the jackknife.The Annals of Statistics, 7(1):1–26, 1979

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.616915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27efaf60-c3f1-4bb6-bc90-51566800baac · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.789107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6d06112-540e-4bb4-8bbf-7607ab002e02 · outbound

This paper cites Agent2agent (a2a) protocol.https://a2a-protocol.org, 2025.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Agent2agent (a2a) protocol.https://a2a-protocol.org, 2025

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:38.934172Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 061cfd0a-ff54-4c40-a4d3-221abe5d1597 · outbound

This paper cites An overview of the runtime verification tool Java PathEx- plorer.Formal Methods in System Design, 24(2):189–215, 2004.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control An overview of the runtime verification tool Java PathEx- plorer.Formal Methods in System Design, 24(2):189–215, 2004

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.045027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cc8fa6d-9524-4212-a187-5799845ebae9 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.204839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f74f7dc6-79d7-47b7-96d2-7e5602fe3906 · outbound

This paper cites Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.311084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b29d219c-f176-4d8c-b0b8-401eb7f79483 · outbound

This paper cites Langgraph: Stateful, resumable agent graphs.https://langchain-ai.github.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Langgraph: Stateful, resumable agent graphs.https://langchain-ai.github

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.465189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3ee0234-883f-4fab-b5c8-a465124a6dba · outbound

This paper cites Self-Refine: Iterative Refinement with Self-Feedback.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Self-Refine: Iterative Refinement with Self-Feedback

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.593757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75ea0ca6-6ce5-4326-9f02-775fcb3bd834 · outbound

This paper cites LLM Critics Help Catch LLM Bugs.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control LLM Critics Help Catch LLM Bugs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.714101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd3900cd-3906-4dec-93b7-fa03f753749c · outbound

This paper cites Ablation Studies in Artificial Neural Networks.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Ablation Studies in Artificial Neural Networks

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.806342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f4a5589-2f46-4c82-9c8c-1aa8b46d75f2 · outbound

This paper cites Microsoft agent framework.https://github.com/microsoft/agent-framework,.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Microsoft agent framework.https://github.com/microsoft/agent-framework,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:39.957730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f0fb9f1-5f33-4211-9cfb-51b095367952 · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.227635Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 681b03da-ee3f-45fd-bce5-5ca2012a6bd1 · outbound

This paper cites Openai agents sdk.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Openai agents sdk

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.260988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62a08c8a-fec6-4b0e-85ab-28f66d3efd59 · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.264862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d17d987-6f63-48fa-a519-b8bd4030dd69 · outbound

This paper cites Goal structuring notation community standard version.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Goal structuring notation community standard version

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.268739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63952cad-9eda-4cd6-a37c-dee8832cf513 · outbound

This paper cites Reflexion: Language Agents with Verbal Reinforcement Learning.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Reflexion: Language Agents with Verbal Reinforcement Learning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.276610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec94e6d2-9375-4fb6-9d46-dfa8272a63b6 · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.273015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94d04bc5-5572-44a6-af43-e450eb261aaf · outbound

This paper cites in-toto and SLSA.https://slsa.dev/blog/2023/05/in-toto-and-slsa, 2023.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control in-toto and SLSA.https://slsa.dev/blog/2023/05/in-toto-and-slsa, 2023

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.284344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c460ee63-84d4-4f62-8904-8e33b71d6baa · outbound

This paper cites DBOS: A 40 DBMS-oriented operating system.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control DBOS: A 40 DBMS-oriented operating system

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.280701Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5d838ed-77a0-4769-ae55-42956f8c84f2 · outbound

This paper cites SLSA provenance.https://slsa.dev/provenance,.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control SLSA provenance.https://slsa.dev/provenance,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.292301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05f60ff4-fbe7-4add-a47f-21c464a41a8f · outbound

This paper cites The proof and measurement of association between two things.The American Journal of Psychology, 15(1):72–101, 1904.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control The proof and measurement of association between two things.The American Journal of Psychology, 15(1):72–101, 1904

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.288388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1af02bbc-e330-490d-9470-3d3cf2ae2a02 · outbound

This paper cites in-toto: Providing farm-to-table guarantees for bits and bytes.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control in-toto: Providing farm-to-table guarantees for bits and bytes

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.307922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6515dff1-a313-40d7-bf1c-8234cfa41ed4 · outbound

This paper cites Voyager: An Open-Ended Embodied Agent with Large Language Models.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Voyager: An Open-Ended Embodied Agent with Large Language Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.311392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6db99712-8ed2-4267-b833-0e09acd8210b · outbound

This paper cites Temporal: Durable execution for workflows.https://temporal.io,.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Temporal: Durable execution for workflows.https://temporal.io,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.299796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c2229d0-37a5-45a3-80ce-560aa2f99742 · outbound

This paper cites PROV-overview: An overview of the PROV family of documents.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control PROV-overview: An overview of the PROV family of documents

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.319511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03fa7bd1-5884-42ea-8061-4eeea044daca · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.323154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52d1218d-406a-415f-aba5-bd5ba0b889df · outbound

This paper cites ResearchLoop: An Evidence-Gated Control Plane for AI-Assisted Research.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control ResearchLoop: An Evidence-Gated Control Plane for AI-Assisted Research

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.327607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a7a939b-72da-434f-961c-2ca0701c8716 · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.315676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9692936-b6c6-480d-8727-919bcd2795cf · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control ReAct: Synergizing Reasoning and Acting in Language Models

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.335524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4afb955d-658d-4447-89f8-e843f4fc0711 · outbound

This paper cites SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.331399Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c6e0e16-65cf-40df-b1fa-c78754202789 · outbound

This paper cites Accessed: 2 July 2026.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Accessed: 2 July 2026

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.304329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4111db91-cfef-4cdc-9ff9-75a658af8878 · outbound

This paper cites Accessed: 2 July 2026.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Accessed: 2 July 2026

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-02T00:50:40.073643Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9a2a5a9-5529-4bc3-984c-8be7081dd532 · outbound

This paper cites an unresolved cited work.

Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control Unresolved cited work

Reference 2026

Resolution: parse uncertain; no resolver link, observed 2026-08-02T00:50:40.296092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.