Fixing instances of "frozen". (#1405)riscv-isa-release-1524be1-2024-05-14

Several places where extensions were marked as frozen when they were
actually ratified.

2 files changed, 225 insertions, 259 deletions

diff --git a/src/b-st-ext.adoc b/src/b-st-ext.adoc
index a0b5e34..7790364 100644
--- a/src/b-st-ext.adoc
+++ b/src/b-st-ext.adoc
@@ -447,11 +447,6 @@ along with their specific mapping:
 [#zba,reftext=Address generation instructions]
 ==== Zba: Address generation
 
-[NOTE,caption=Frozen]
-====
-The Zba extension is frozen.
-====
-
 The Zba instructions can be used to accelerate the generation of addresses that index into arrays of basic types (halfword, word, doubleword) using both unsigned word-sized and XLEN-sized indices: a shifted index is added to a base address.
 
 The shift and add instructions do a left shift of 1, 2, or 3 because these are commonly found in real-world code and because they can be implemented with a minimal amount of additional hardware beyond that of the simple adder. This avoids lengthening the critical path in implementations.
@@ -517,10 +512,6 @@ The following instructions (and pseudoinstructions) comprise the Zba extension:
 [#zbb,reftext="Basic bit-manipulation"]
 ==== Zbb: Basic bit-manipulation
 
-[NOTE,caption=Frozen]
-====
-The Zbb extension is frozen.
-====
 ===== Logical with negate
 
 [%header,cols="^1,^1,4,8"]
@@ -761,11 +752,6 @@ One use-case is string-processing functions, such as *strlen* and *strcpy*, whic
 [#zbc,reftext="Carry-less multiplication"]
 ==== Zbc: Carry-less multiplication
 
-[NOTE,caption=Frozen]
-====
-The Zbc extension is frozen.
-====
-
 Carry-less multiplication is the multiplication in the polynomial ring over GF(2).
 
 *clmul* produces the lower half of the carry-less product and *clmulh* produces the upper half of the 2✕XLEN carry-less product.
@@ -799,11 +785,6 @@ Carry-less multiplication is the multiplication in the polynomial ring over GF(2
 [#zbs,reftext="Single-bit instructions"]
 ==== Zbs: Single-bit instructions
 
-[NOTE,caption=Frozen]
-====
-The Zbs extension is frozen.
-====
-
 The single-bit instructions provide a mechanism to set, clear, invert, or extract
 a single bit in a register. The bit is specified by its index.
 
@@ -859,11 +840,6 @@ a single bit in a register. The bit is specified by its index.
 [#zbkb,reftext="Bit-manipulation for Cryptography"]
 ==== Zbkb: Bit-manipulation for Cryptography
 
-[NOTE,caption=Frozen]
-====
-The Zbkb extension is frozen.
-====
-
 This extension contains instructions essential for implementing
 common operations in cryptographic workloads.
 
@@ -960,11 +936,6 @@ common operations in cryptographic workloads.
 [#zbkc,reftext="Carry-less multiplication for Cryptography"]
 ==== Zbkc: Carry-less multiplication for Cryptography
 
-[NOTE,caption=Frozen]
-====
-The Zbkc extension is frozen.
-====
-
 Carry-less multiplication is the multiplication in the polynomial ring over
 GF(2). This is a critical operation in some cryptographic workloads,
 particularly the AES-GCM authenticated encryption scheme.
@@ -993,11 +964,6 @@ efficiently implement the GHASH operation, which is part of this workload.
 [#zbkx,reftext="Crossbar permutations"]
 ==== Zbkx: Crossbar permutations
 
-[NOTE,caption=Frozen]
-====
-The Zbkx extension is frozen.
-====
-
 These instructions implement a "lookup table" for 4 and 8 bit elements
 inside the general purpose registers.
 _rs1_ is used as a vector of N-bit words, and _rs2_ as a vector of N-bit
@@ -1081,7 +1047,7 @@ Included in::
 
 |Zba (<<zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1124,12 +1090,12 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1174,8 +1140,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1234,8 +1200,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1281,8 +1247,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1341,8 +1307,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1387,8 +1353,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1447,8 +1413,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1493,8 +1459,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1553,8 +1519,8 @@ Included in::
 |Lifecycle state
 
 |Zbs (<<#zbs>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1607,12 +1573,12 @@ Included in::
 |Lifecycle state
 
 |Zbc (<<#zbc>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 
 |Zbkc (<<#zbkc>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1665,12 +1631,12 @@ Included in::
 |Lifecycle state
 
 |Zbc (<<#zbc>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 
 |Zbkc (<<#zbkc>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 
@@ -1734,8 +1700,8 @@ Included in::
 |Lifecycle state
 
 |Zbc (<<#zbc>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1787,8 +1753,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1841,8 +1807,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1899,8 +1865,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -1948,8 +1914,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2002,8 +1968,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2055,8 +2021,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2116,8 +2082,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2167,8 +2133,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2218,8 +2184,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2269,8 +2235,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2322,8 +2288,8 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2366,12 +2332,12 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2417,8 +2383,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2465,8 +2431,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2515,8 +2481,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2594,12 +2560,12 @@ Included in::
 |Lifecycle state
 
 |Zbb (<<#zbb>>)
-|0.93
-|Frozen
+|v1.0
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2645,8 +2611,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2695,11 +2661,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2747,11 +2713,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2800,11 +2766,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2867,11 +2833,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2922,11 +2888,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -2974,11 +2940,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -3022,7 +2988,7 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3066,7 +3032,7 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 
@@ -3111,7 +3077,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 // We have decided that this and all other instructions will not have reserved encodings for "useless encodings"
@@ -3161,7 +3127,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3205,7 +3171,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3254,7 +3220,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3298,7 +3264,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3345,7 +3311,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3389,7 +3355,7 @@ Included in::
 
 |Zba (<<#zba>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 .Architecture Explanation
@@ -3453,8 +3419,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>) (RV32)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -3498,11 +3464,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -3562,8 +3528,8 @@ Included in::
 |Lifecycle state
 
 |Zbkx (<<#zbkx>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -3623,8 +3589,8 @@ Included in::
 |Lifecycle state
 
 |Zbkx (<<#zbkx>>)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 <<<
@@ -3687,7 +3653,7 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |0.93
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3746,8 +3712,8 @@ Included in::
 |Lifecycle state
 
 |Zbkb (<<#zbkb>>) (RV32)
-|v0.9.4
-|Frozen
+|v1.0
+|Ratified
 |===
 
 
diff --git a/src/scalar-crypto.adoc b/src/scalar-crypto.adoc
index 1e8a6df..61d70e2 100644
--- a/src/scalar-crypto.adoc
+++ b/src/scalar-crypto.adoc
@@ -572,13 +572,13 @@ Included in::
 
 | <<zknd>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -635,13 +635,13 @@ Included in::
 
 | <<zknd>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -697,13 +697,13 @@ Included in::
 
 | <<zkne>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -760,13 +760,13 @@ Included in::
 
 | <<zkne>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -834,13 +834,13 @@ Included in::
 
 | <<zknd>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -909,13 +909,13 @@ Included in::
 
 | <<zknd>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -983,13 +983,13 @@ Included in::
 
 | <<zkne>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -1058,13 +1058,13 @@ Included in::
 
 | <<zkne>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -1123,13 +1123,13 @@ Included in::
 
 | <<zknd>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -1194,16 +1194,16 @@ Included in::
 
 | <<zkne>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zknd>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -1258,16 +1258,16 @@ Included in::
 
 | <<zkne>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zknd>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -1312,11 +1312,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1372,7 +1372,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1427,11 +1427,11 @@ Included in::
 
 |Zbc (<<#zbc>>)
 |1.0.0
-|Frozen
+|Ratified
 
 |Zbkc (<<#zbkc>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1486,11 +1486,11 @@ Included in::
 
 |Zbc (<<#zbc>>)
 |1.0.0
-|Frozen
+|Ratified
 
 |Zbkc (<<#zbkc>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1535,11 +1535,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1587,7 +1587,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1636,7 +1636,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1687,7 +1687,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1767,11 +1767,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1821,11 +1821,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1874,11 +1874,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1928,11 +1928,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -1996,11 +1996,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -2052,11 +2052,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -2105,11 +2105,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -2169,13 +2169,13 @@ Included in::
 
 | <<zknh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2235,13 +2235,13 @@ Included in::
 
 | <<zknh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2301,13 +2301,13 @@ Included in::
 
 | <<zknh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2367,13 +2367,13 @@ Included in::
 
 | <<zknh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2441,13 +2441,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2515,13 +2515,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2589,13 +2589,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2663,13 +2663,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2737,13 +2737,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2811,13 +2811,13 @@ Included in::
 
 | <<zknh>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV32)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2871,13 +2871,13 @@ Included in::
 
 | <<zknh>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2931,13 +2931,13 @@ Included in::
 
 | <<zknh>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -2991,13 +2991,13 @@ Included in::
 
 | <<zknh>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3051,13 +3051,13 @@ Included in::
 
 | <<zknh>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zkn>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 | <<zk>> (RV64)
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3118,10 +3118,10 @@ Included in::
 
 | <<zksh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zks>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3182,10 +3182,10 @@ Included in::
 
 | <<zksh>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zks>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3251,10 +3251,10 @@ Included in::
 
 | <<zksed>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zks>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3319,10 +3319,10 @@ Included in::
 
 | <<zksed>>
 | v1.0.0
-| Frozen
+| Ratified
 | <<zks>>
 | v1.0.0
-| Frozen
+| Ratified
 |===
 
 <<<
@@ -3383,7 +3383,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>) (RV32)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3428,11 +3428,11 @@ Included in::
 
 |Zbb (<<#zbb>>)
 |v1.0.0
-|Frozen
+|Ratified
 
 |Zbkb (<<#zbkb>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3490,7 +3490,7 @@ Included in::
 
 |Zbkx (<<#zbkx>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3549,7 +3549,7 @@ Included in::
 
 |Zbkx (<<#zbkx>>)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<
@@ -3611,7 +3611,7 @@ Included in::
 
 |Zbkb (<<#zbkb>>) (RV32)
 |v1.0.0-rc4
-|Frozen
+|Ratified
 |===
 
 <<<