Optionalauto--auto-repair: repair before validating. Only a full run repairs.
Optionalchecks--checks: run these ids or group names, plus their prerequisites.
Optionaldeadline--deadline-ms: the run's wall-clock budget (#630). Never with --auto-repair.
OptionalprofileExplicit --profile.
Optionalquick--quick: run QUICK_CHECK_GROUPS and disclose the omissions.
Optionalstrict--strict: shorthand for profile: "strict".
What the caller asked for. Every field is optional.