# Methodology · Verify

> The most expensive failures I have had were the ones that looked right: the code read well and the model said it was done, but nothing had run.

Canonical: https://banes-lab.com/disciplined-methodology/verify
Page as Markdown: https://banes-lab.com/disciplined-methodology/verify.md
Page as JSON: https://banes-lab.com/json/disciplined-methodology/verify
This index as JSON: https://banes-lab.com/json/api/pages/disciplined-methodology/verify

## Entries

- [It looked right](https://banes-lab.com/disciplined-methodology/verify/it-looked-right.md): The most expensive failures I have had were the ones that looked right: the code read well and the model said it was done, but nothing had run.
- [Verify the verifier](https://banes-lab.com/disciplined-methodology/verify/verify-the-verifier.md): Verification produces evidence, and the verifier itself has to be verified, in the order shown in earning trust].
- [A report, not a checkbox](https://banes-lab.com/disciplined-methodology/verify/a-report-not-a-checkbox.md): A verification runs once per state of the tree, and its first output is the answer.
- [Unknown is not pass](https://banes-lab.com/disciplined-methodology/verify/unknown-is-not-pass.md): A verdict has three values, and the third is the one a percentage hides, as shown in [three verdicts]. A surface that no test touches has not passed.
- [One correct answer](https://banes-lab.com/disciplined-methodology/verify/one-correct-answer.md): Determinism is the one property the others depend on, as shown in the four properties].
- [Derived state](https://banes-lab.com/disciplined-methodology/verify/derived-state.md): Every reader derives the state of the work each time, by looking at what is on disk, the route through the tree shown in two routes].
- [Counting copies](https://banes-lab.com/disciplined-methodology/verify/counting-copies.md): A fact stated in more than one place is not yet a defect.
- [Documentation is code](https://banes-lab.com/disciplined-methodology/verify/documentation-is-code.md): This method treats documentation as code, and every run] shows what a document passes through.
- [Moves and renames](https://banes-lab.com/disciplined-methodology/verify/moves-and-renames.md): A move is a manual identity migration: it is done by hand, one container at a time, with the gate green between each, and it opens with impact analysis over…
- [Coverage is derived](https://banes-lab.com/disciplined-methodology/verify/coverage-is-derived.md): Rule coverage is a set derived over the grid the architecture page builds in what can drift, seen through how it drifts.