Your Tests Passed and Your App Is Broken: The Verification Depth Problem
Build-and-test gates certify that an agent authored plausible code, not that the effect it claims actually happened; until verification is anchored past the durability boundary (reload, restart, server read), agent completion signals are structurally unreliable and get worse as volume grows.
AngleShow the exact depth ladder a check can be placed at, demonstrate which failure each depth catches and misses, and argue that 'it compiles and tests pass' is a statement about authorship, not outcome.
Source video ↗Receipts, Not Prose: Why an Agent's 'Done' Must Be a Record
The agent's natural-language completion claim should be treated as an untrusted assertion and demoted to advisory; status must be derived from an external evidence record keyed to version hashes, screenshots, checks passed, and error logs, because only a record can be gated, replayed, and audited without re-running the agent.
AngleDesign-level argument: move the source of truth out of the model context into a receipt store, then show what becomes possible (CI gates, post-hoc audit, eval corpus) and what breaks (nothing except the habit of trusting the summary).
Source video ↗Done Is a Policy: Designing the Stop Condition of a Self-Healing Loop
Most agent-loop designs specify tools and evidence and leave halting to the model, which is why self-healing becomes unbounded retry; 'when to stop' must be an externally owned, designed phase with attempt caps and failure-class escalation thresholds, not an emergent property of the thing being retried.
AngleTake the four-phase loop and zoom in on the phase everyone skips, framing termination as cost control and safety rather than as a UX detail.
Source video ↗Your Evals Are Already Running in Production — You're Deleting Them
Every agent attempt is a labeled data point; treating the run log as the eval dataset collapses runtime observability and offline evaluation into one schema, so the practical move is not to build a better curated eval set but to stop discarding the failure evidence the runtime already produces.
AngleArgue the pipeline-merge: production receipts feed System 1 deterministic checks and System 2 judges, and failed attempts are the highest-value signal because they localize where the search should not go.
Source video ↗