Summary

• Add cargo xtask external-adoption-smoke with --path, --version, and --format json modes.
• Exercise clean-project Rust dependency usage plus installed-style CLI profile discovery and bundle/verify/inspect paths for scanner-safe, TLS, OIDC, and webhook profiles.
• Write Markdown/JSON receipts under target/external-adoption-smoke/ and advance the active goal to the installed CLI docs slice.

Files added/changed

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

Validation

• cargo test -p xtask external_adoption_smoke -- --nocapture
• cargo xtask spec-check --strict
• cargo xtask external-adoption-smoke --path . --format json
• cargo xtask external-adoption-smoke --path .
• cargo xtask pr-lite
• cargo clippy -p xtask --all-targets -- -D warnings
• cargo test -p xtask
• cargo xtask pr
• git diff --check

Non-goals

• No v0.10.0 release prep, version bump, tag, or publish.
• No new contract packs, badges, shipper work, provider compatibility claims, production security claims, broad refactors, or dependency churn.
• No installed CLI proof runner; repo-local claim-proof and verification-pack remain separate proof surfaces.

What this enables next

• Separating installed CLI docs from repo-local proof docs against a runnable external-adoption contract.
• Adding clean-project external examples and wiring them into the smoke command.
• Optionally adding adoption-regression --external later without making external smoke part of the default bounded gate.