Summary

• add �xternal-adoption-smoke --library-examples for bounded facade-first clean-project library proof
• keep the default external adoption smoke and downstream CI recipe modes separate from the library-only path
• record library_examples in external smoke receipts and document the new mode in SPEC-0013/SPEC-0019
• mark �xternal-library-smoke done and move the usability-polish goal to downstream policy-pack spec

Boundaries

• no release prep, version bump, tag, or publish
• no new contract packs, provider compatibility claims, production security claims, broad policy DSL, or facade redesign
• no installed CLI execution of xtask or claim-ledger commands

Validation

• cargo fmt --all -- --check
• cargo test -p xtask external_adoption_smoke
• cargo +nightly xtask external-adoption-smoke --path . --library-examples
• cargo +nightly xtask external-adoption-smoke --path . --library-examples --format json
• cargo +nightly xtask external-adoption-smoke --path .
• cargo +nightly xtask adoption-regression --external
• cargo +nightly xtask spec-check --strict
• cargo +nightly xtask docs-sync --check
• cargo +nightly xtask typos
• cargo +nightly xtask pr-lite
• git diff --check