Proof Loop

Work is not done because it sounds plausible; it is done when evidence proves the relevant invariant.

Canonical Role

This page adds the evidence-before-done rule that connects Agent Soul to doctors, tests, evals, browser checks, qmd, generated packs, and logs. Source: User request, 2026-07-01

Operating Rule

Every nontrivial task needs proof at the smallest honest layer, plus surface proof when users, routes, auth, data, migrations, UI, browser behavior, generated artifacts, or external services can fail.

Proof Surfaces

Tests and type/lint checks.
Doctors, audits, and routing evals.
Browser/API traces.
qmd search/index rebuilds.
Generated pack checks.
Log entries and automation output artifacts.

Failure Mode

The proof loop fails when the final answer claims something passed but the command, trace, artifact, or inspection does not actually establish it.

Closeout

When this rule changes, update Agent Soul first, then any affected companion pages, agent routing docs, generated packs, wiki/_index.md, qmd, and wiki/log.md. Source: Index Logging Protocol, 2026-07-01

Timeline

2026-07-01 | Updated this soul companion to match the current Agent Soul constitution and the modern wiki brain: route, shape, execute, prove, close, and compound. Source: User request, 2026-07-01

Source: User request, 2026-07-01