crav1-fix-from-verify
After /crav1-verify-spec, walk inner-loop gaps one by one (verify failed, then unverified, then G#). Fix in-spec and re-run that evidence. Omit Gap to take the next. Do not edit spec.md. Do not auto-p
After /crav1-verify-spec, walk inner-loop gaps one by one (verify failed, then unverified, then G#). Fix in-spec and re-run that evidence. Omit Gap to take the next. Do not edit spec.md. Do not auto-p