/harness:doctor
Hidden wrapper for the doctor subcommand. Load the module and pass through
the user input.
- Read the sibling module
../harness/doctor.md. - Treat
$ARGUMENTSas the repo audit goal. - Follow the module's workflow and stop if the module cannot be read.
- Preserve the wrapper invariant: report proof of what actually ran, mark unavailable scanner coverage provisional, and in diff scope list impacted behavior-ledger proofs.
User input: $ARGUMENTS