AIP-22 stage R and stage 4 in force on chain 2800: README and AIP index dated (votes attributed only through verified post-quantum seals since block 24,300,000; headers still admitted on ECDSA commit seals until stage 5; the AIP-3 interval dated), REPRODUCE note corrected (anchor grid window, stage R)

2026-10-26 06:27:40 +02:00 · 2026-10-26 06:27:40 +02:00 · 1bf5d00318
commit 1bf5d00318
parent 3d3c996f5a
3 changed files with 16 additions and 15 deletions
--- a/AERE-AIP-PROCESS-AND-INDEX.md
+++ b/AERE-AIP-PROCESS-AND-INDEX.md
@ -148,7 +148,7 @@ AIP numbered 23 or higher exists in any Aere repository (2026-09-23).
 | 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), 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 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; stages 1 to 3 active on chain 2800 from blocks 20,715,632, 20,746,736 and 20,836,228 (2026-09-29 and 2026-09-30), stage 4 active since block 24,300,000 (2026-10-25), stage 5 not armed there |
+| 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; stages 1 to 3 active on chain 2800 from blocks 20,715,632, 20,746,736 and 20,836,228 (2026-09-29 and 2026-09-30), stage R active since block 24,148,752 (2026-10-24), stage 4 active since block 24,300,000 (2026-10-25), stage 5 not armed there |
 | 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`.
@ -163,20 +163,17 @@ node since 2026-09-22 and armed for block 19,900,000 (per-node property), after
 their testnet 28001 activation of 2026-09-17. The post-quantum layers on top of
 QBFT that are live (anchor certificate under the block hash; per-message Falcon-512
 enforcement, on every message type at the nine AERE-client validators and only on
-commit messages at the second client, corrected on 2026-10-12) are listed with their heights in the public node package's `SPEC.md`
+commit messages at the second client, corrected on 2026-10-12; since block 24,300,000, AIP-22 stage 4, the second client too) are listed with their heights in the public node package's `SPEC.md`
 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 (post-quantum-only finality: a design on 2026-09-23, then proven stage by
+Review), AIP-22 stage 5 and stage 6 (the header without ECDSA and the equivocation evidence, proven on testnet 28001 only) and rule 4 of section 4 (the provisional tail, implemented in neither client). Its stages 1 to 4 and stage R are live on chain 2800: stages 1 to 3 from blocks 20,715,632, 20,746,736 and 20,836,228, stage R from block 24,148,752 and stage 4 from block 24,300,000.
 stage on testnet 28001 only; nothing of it is armed on chain 2800).
 **Boundaries that must not be blurred in any Aere document:**
- Consensus on chain 2800 is **classical secp256k1 ECDSA QBFT** at N = 7. Aere
+- Consensus on chain 2800 is QBFT at N = 10 (seven validators until 2026-08-09, nine until 2026-09-11): anchor blocks carry a post-quantum certificate under their hash since block 13,014,000, and since block 24,300,000 (AIP-22 stage 4) every validator attributes a consensus vote only through its verified post-quantum seal (headers are still admitted on their ECDSA commit seals until AIP-22 stage 5). Aere never claims post-quantum consensus. Post-quantum also applies to signatures, accounts and applications.
  never claims post-quantum consensus. Post-quantum applies to signatures,
  accounts and applications.
 - Mainnet has **exactly five** PQC precompiles, `0x0AE1` to `0x0AE5`, from block
  9,189,161. `0x0AE6` and `0x0AE7` are **testnet-only** (confirmed 2026-07-20 by a
  gas-differential probe against a no-code control). `0x0AE8` is not activated
@ -185,8 +182,10 @@ stage on testnet 28001 only; nothing of it is armed on chain 2800).
  burn. Coinbase revenue is zero and lifetime burn is 0.1374 AERE, so **AERE is
  not deflationary today** (AIP-2 outcome record). The separate 1 Gwei base-fee
  **floor** (AIP-17) sets a minimum price and removes no supply.
- The block period is a 500 ms **target**; the **measured** mean interval is
+- The block period is a 500 ms **target**; the **measured** mean interval was
-  516.4 ms (AIP-3 outcome record).
+  516.4 ms when the AIP-3 outcome record was written; it grew with the set, and the
  live value is measured on https://aere.network/capabilities (corrected on
  2026-10-26).
 ### 2.2 Coverage of the engineering-spec design decisions
--- a/README.md
+++ b/README.md
@ -21,8 +21,7 @@ transactions, because a fork activation is a configuration change and not a tran
 not the place to look for evidence. The proof that the precompiles are running is a gas measurement
 at `latest`, set out in `DOVADA-PQC-VERIFICABILA-2026-07-20.md`.
-**Consensus on chain 2800 is classical secp256k1 ECDSA QBFT on every block, with a post-quantum
+**Consensus on chain 2800 is QBFT, with a post-quantum checkpoint every 32 blocks; since block 24,300,000 (AIP-22 stage 4) every validator attributes each consensus vote only through the verified post-quantum seal of its author (headers are still admitted on their ECDSA commit seals until AIP-22 stage 5).** Since block 13,014,000 anchor blocks carry, under the block hash, a
 checkpoint every 32 blocks.** Since block 13,014,000 anchor blocks carry, under the block hash, a
 certificate of validator post-quantum seals (Falcon-512, with SLH-DSA-SHA2-128s as well since
 2026-09-04, at every 128th block since 2026-09-29; every anchor was 128 blocks apart from block
 17,225,968 to block 20,746,736). Since block 20,715,632 (2026-09-29) a node rejects an anchor block
--- a/REPRODUCE.md
+++ b/REPRODUCE.md
@ -2,10 +2,13 @@
 > **Note added 2026-10-26.** This manifest was prepared on 2026-07-19, and its description of chain 2800 (item 1 under "Two
 > things are true at once": N=7, quorum 5 of 7, no Falcon certificate in any mainnet header, post-quantum consensus work only on
-> testnets) is the chain of that date. Since then every 32nd block of chain 2800 carries a certificate of validator Falcon-512
+> testnets) is the chain of that date. Since then the anchor blocks of chain 2800 (every 32nd block; every 128th from block
-> seals under its hash (enforced since 2026-08-14), the set has ten validators since 2026-09-11 (f=3, commit quorum 7 of 10, all
+> 17,225,968 to block 20,746,736) carry a certificate of validator Falcon-512 seals under their hash (enforced since 2026-08-14),
-> still operated by the Foundation), and since block 24,300,000 (AIP-22 stage 4, 2026-10-25) every validator attributes a
+> the set has ten validators since 2026-09-11 (f=3, commit quorum 7 of 10, all still operated by the Foundation), since block
-> consensus vote only through its verified post-quantum seal, while headers still carry ECDSA commit seals until AIP-22 stage 5.
+> 24,148,752 (AIP-22 stage R, 2026-10-24) a certificate that carries the quorum of one round proves that its anchor's parent was
 > decided, and since block 24,300,000 (AIP-22 stage 4, 2026-10-25) every validator attributes a consensus vote only through its
 > verified post-quantum seal, while a node that imports a header still admits it on its ECDSA commit seals until AIP-22 stage 5
 > (note corrected on 2026-10-26, the day it was added).
 > The live values are measured on https://aere.network/capabilities.
 Prepared 2026-07-19. This is the single reproducibility manifest for Aere Network. It lets any