ihabkhaled Verification Controller
Core principle
Verification is complete when each required condition has sufficient current proof; compulsive rechecking is prohibited.
Procedure
- List acceptance conditions requiring proof.
- Choose the smallest sufficient command or observation for each.
- Record result, scope, and timestamp or source state.
- Check whether later changes invalidated the proof.
- Reject equivalent reruns without relevant change or incomplete proof.
- 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.