Summary

• Adds cargo xtask doctor and cargo xtask doctor --format json for local proof-stack readiness diagnostics.
• Checks Rust/Cargo, nightly, cargo-fuzz, cargo-mutants, cargo-llvm-cov, cargo-deny, typos, GitHub CLI, Windows ASAN runtime, crates.io auth presence, git worktree state, and generated badge drift.
• Refreshes generated badges/ripr-plus.json; doctor surfaced drift from the newly landed CLI profile tests, and cargo xtask badges regenerated the endpoint.
• Advances the active goal: doctor is done and readme-first-run is ready.

Files added/changed

• xtask/src/doctor.rs
• xtask/src/main.rs
• badges/ripr-plus.json
• .uselesskey/goals/active.toml

Validation

• cargo test -p xtask doctor
• cargo xtask doctor
• cargo xtask doctor --format json
• cargo clippy -p xtask --all-targets -- -D warnings
• cargo xtask badges --check
• cargo +nightly xtask pr-lite
• cargo xtask pr-lite
• git diff --check

Notes:

• cargo xtask doctor exits successfully but reports local warnings for the missing Windows ASAN runtime DLL and the intentionally dirty working tree.
• Generated badge JSON was refreshed with cargo xtask badges; no endpoint JSON was hand-written.

Non-goals

• No release, publish, tag, or GitHub release work.
• No new public claims, contract packs, README badges, dependency churn, or historical no-panic baseline work.
• No changes to proof routing policy beyond diagnostics.

What this enables next

• Next PR: docs: compress README first-run path.