Summary

• records v0.9.1 patch release candidate proof as passed
• moves the active release goal from candidate proof to cut-ready
• documents that claim-proof --all-stable required the generated badge refresh from badge: refresh public endpoints #749 before passing

Files added/changed

• .uselesskey/goals/active.toml
• docs/release/evidence-matrix-v0.9.1.md

Validation

• cargo xtask release-evidence --version 0.9.1 --patch --dry-run --summary
• cargo xtask adoption-regression
• cargo xtask adoption-regression --format json
• cargo xtask claim-proof --all-stable after badge: refresh public endpoints #749 badge refresh
• cargo xtask user-path-smoke
• cargo xtask check-no-panic-family
• cargo xtask claim-report --check-public-claims
• cargo xtask contract-packs --check
• cargo +nightly xtask pr-lite
• cargo xtask pr
• cargo xtask spec-check --strict
• cargo xtask docs-sync --check
• git diff --check

Non-goals

• no version bump, tag, publish, or GitHub release creation
• no new product claims, profiles, contract packs, or badges
• no shipper migration, TLS expansion, dependency churn, historical no-panic baseline work, or broad SRP refactors

What this enables next

• cut v0.9.1: bump publishable crate versions, run publish-preflight/publish-check and pre-tag proof, then tag/publish only if clean