verification-controllerlisted

# Verification Controller ## Core principle Verification is complete when each required condition has sufficient current proof; compulsive rechecking is prohibited. ## Procedure 1. List acceptance conditions requiring proof. 2. Choose the smallest sufficient command or observation for each. 3. Record result, scope, and timestamp or source state. 4. Check whether later changes invalidated the proof. 5. Reject equivalent reruns without relevant change or incomplete proof. 6. Mark verification sufficient and continue or complete. ## Required output Condition-to-proof mapping, validity decision, and next unmet proof. ## Limits At most 2 equivalent passes without relevant change. ## Common mistakes Do not seek subjective certainty, recursively inspect unrelated paths, or repeat a check with different syntax. ## Stop condition Stop verification when all required proof is current or a specific missing proof is named.