diff --git a/execution-kernel/MACHINE-INTERFACE-CONTRACT.md b/execution-kernel/MACHINE-INTERFACE-CONTRACT.md
index 569d265..df9a1d7 100644
--- a/execution-kernel/MACHINE-INTERFACE-CONTRACT.md
+++ b/execution-kernel/MACHINE-INTERFACE-CONTRACT.md
@@ -316,7 +316,8 @@ The harness prints a NOT MEASURED block naming these on every run, and its JSON
 them in the `honesty` field, so the non-claims travel with every result rather than living only
 in this document:
 
-- **That consensus is post-quantum.** It is not. Consensus finality is QBFT whose votes every validator attributes only through their verified post-quantum seals since block 24,300,000 (AIP-22 stage 4), with classical secp256k1 ECDSA commit seals in the header until AIP-22 stage 5 and a Falcon certificate at every anchor. MI is an execution seam and says nothing about consensus.
+- **That consensus is post-quantum.** It is not. Consensus finality is classical secp256k1 ECDSA
+  QBFT plus a Falcon certificate. MI is an execution seam and says nothing about consensus.
 - **That equal header roots prove independent execution by themselves.** See the honesty boundary
   in section 5. The load-bearing fact is Nethermind's reject-on-disagreement behaviour, not the
   served bytes.