Verification Loop

Kind: algorithm

Record: algorithms:verification-loop

Canonical: Algorithms

Closure: Dependencies in load order

Initialize verification context, execute the verification suite, classify failures, remediate violations, and repeat until pass or iteration limit.

Listed in Algorithm contracts, after <Checklist Governance Concern> and before Context Initialization.

Domain

Stage

Axis

Tier

Composes

Math type

Force

Linked from