A useful system separates doing from proving.
Execution creates an artifact. Verification asks whether the artifact satisfies the required conditions.
When both responsibilities are collapsed into one component, a confident but incorrect result can look complete.
The boundary does not require a sophisticated verifier. It requires a different responsibility, a defined contract, and evidence that can be inspected later.
This is one of the strongest recurring patterns across the Lab.