Summary

• Add explicit cargo xtask adoption-regression --external mode that appends clean-project external adoption smoke after the bounded default checks.
• Keep default adoption-regression bounded and record external smoke receipts only when --external is requested.
• Mark adoption-regression external mode done and lane closeout ready in the active goal.

Files added/changed

• xtask/src/adoption_regression.rs
• xtask/src/main.rs
• .uselesskey/goals/active.toml

Validation

• cargo xtask fmt
• cargo test -p xtask adoption_regression -- --nocapture
• cargo xtask adoption-regression
• cargo xtask adoption-regression --external
• cargo +nightly xtask pr-lite
• git diff --check

Non-goals

• No v0.10.0 release prep, version bump, tag, or publish.
• No new contract packs, badges, public claims, provider compatibility claims, or production security claims.
• No change to the default bounded adoption-regression behavior beyond receipt metadata factoring.

What this enables next

• The external-adoption lane can close out with a single explicit command that proves clean-project adoption only when maintainers ask for the heavier external path.