Concepts

PIV loop

Plan → Implement → Validate: plan in a fresh context, implement, then prove the work with checks that must pass.