From 200f4338f0f79add953d37778cc958888bb158d4 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Sun, 25 Oct 2026 03:47:40 +0300 Subject: [PATCH] execution-kernel/MACHINE-INTERFACE-CONTRACT.md: restore the sentence on consensus finality as it stands today (classical secp256k1 ECDSA QBFT plus a Falcon certificate); the previous commit carried, by a staging race on 2026-10-24, a draft sentence written for AIP-22 stage 4, which is not in force before block 24,300,000 --- execution-kernel/MACHINE-INTERFACE-CONTRACT.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.