diff --git a/AERE-AIP-PROCESS-AND-INDEX.md b/AERE-AIP-PROCESS-AND-INDEX.md
index 7085532..d92faf2 100644
--- a/AERE-AIP-PROCESS-AND-INDEX.md
+++ b/AERE-AIP-PROCESS-AND-INDEX.md
@@ -146,9 +146,10 @@ AIP numbered 23 or higher exists in any Aere repository (2026-09-23).
 | 17 | One-Gwei EIP-1559 Base-Fee Floor | Standards Track / Core | Final |
 | 18 | EIP-2935 on Chain 2800: Deviation from the Written Activation Schedule | Standards Track / Core | Final |
 | 19 | AIP Process Hardening | Meta | Review, not ratified |
-| 20 | Native Post-Quantum Transactions (Type 0x50, ML-DSA Authorization) | Standards Track / Core | Draft, not ratified; live on testnet 28001 (2026-09-17), deployed on chain 2800 and armed for 19,900,000 (2026-09-22) |
+| 20 | Native Post-Quantum Transactions (Type 0x50, ML-DSA Authorization) | Standards Track / Core | Draft, not ratified; live on testnet 28001 (2026-09-17), deployed on chain 2800 and armed for 19,900,000 (2026-09-22), active from that block since 2026-09-23 (first type-0x50 transaction in block 19,900,028) |
 | 21 | Verifiable Post-Quantum Finality per Block | Standards Track / Interface | Draft, not ratified; live on testnet 28001 (2026-09-18) and on chain 2800 (2026-09-22) |
-| 22 | Post-Quantum-Only Finality (Chained Quorum Certificates, PQ Validator Identity) | Standards Track / Core | Draft, design only (2026-09-23) |
+| 22 | Post-Quantum-Only Finality (Chained Quorum Certificates, PQ Validator Identity) | Standards Track / Core | Draft; design only on 2026-09-23, stages 1 to 6 proven on testnet 28001 (2026-09-23 to 2026-09-25), conformance corpus published 2026-09-27; not armed on chain 2800 |
+| 23 | AERE Proof Protocol (Verifiable-Statement Envelope, Optional Post-Quantum Finality) | Standards Track / Interface | Draft (2026-09-26); reference verifier and vectors published 2026-09-27 |
 
 Every one of these is a file at `aere-research/aips/AIP-N.md`.
 
@@ -167,8 +168,8 @@ and in `aere-research/aips/README.md`.
 **Not live:** AIP-8 (requires a coordinated hard fork), AIP-15 as written (isolated
 testnet only, chain ID 440855; what is live on chain 2800 is the dated list above),
 AIP-16 (a fail-closed skeleton that verifies nothing), AIP-19 (a process change in
-Review), AIP-22 (design only, 2026-09-23: post-quantum-only finality, nothing
-implemented).
+Review), AIP-22 (post-quantum-only finality: a design on 2026-09-23, then proven stage by
+stage on testnet 28001 only; nothing of it is armed on chain 2800).
 
 **Boundaries that must not be blurred in any Aere document:**