@@ -250,14 +250,12 @@ The crate is feature-rich enough for normal Base64 use, and the remaining
250250` v0.11 ` , and ` v0.12 ` lines completed the intended audit preparation,
251251verification hardening, and stabilization rehearsal work.
252252
253- The current honest path is:
254-
255- - ` v1.0.0-alpha.0 ` : freeze candidate for pentest, CI, and downstream review.
256- This version should change only for release blockers, documentation
257- corrections, or evidence-policy fixes.
258- - ` v1.0.0 ` : stable API and security-contract release after the alpha candidate
259- has clean local release evidence, clean CI, and clean external pentest
260- results.
253+ The current release path is:
254+
255+ - ` v1.0.0 ` : stable API and security-contract release after the freeze
256+ candidate had clean local release evidence, clean CI, and clean external
257+ pentest results. This line should change only for release blockers,
258+ documentation corrections, or evidence-policy fixes before tagging.
261259- ` 1.0.x ` : maintenance and assurance releases. Kani proof execution remains a
262260 high-priority ` 1.0.x ` follow-up once Kani supports the pinned Rust toolchain.
263261
@@ -545,7 +543,7 @@ cryptographic behavior until compatible verifier evidence exists.
545543### v1.0
546544
547545- No unresolved ` v0.10 ` , ` v0.11 ` , or ` v0.12 ` release-candidate blockers.
548- - ` 1.0.0-alpha.0 ` pentest, GitHub CI, and local release evidence must be clean
546+ - ` 1.0.0 ` pentest, GitHub CI, and local release evidence must be clean
549547 before the stable ` v1.0.0 ` tag.
550548- Kani proofs are not required for the initial stable release if the documented
551549 ` v1.0 ` verifier exception remains accepted and the replacement evidence is
0 commit comments