aere-research/execution-kernel
2026-10-26 22:55:48 +02:00
..
claim-chain-detector.mjs Execution Kernel Stage 2: the claim-chain gap detector, with lag as a first-class metric 2026-08-15 22:15:54 +03:00
crypto-agility-verify.mjs Hostile-read repairs across the kernel artifacts: 17 confirmed over-claims fixed to honest 2026-08-15 23:28:24 +03:00
MACHINE-INTERFACE-CONTRACT.md AIP-20, AIP-22, index and execution-kernel contract: AIP-22 stage 4 in force on chain 2800 since block 24,300,000 (2026-10-25), dated notes 2026-10-25 08:14:53 +02:00
mi-replay-diferential.mjs Dated corrections (2026-10-26): execution-kernel/mi-replay-diferential.mjs honesty field (since block 24,300,000, AIP-22 stage 4, consensus votes count only through their verified post-quantum seals; headers are still admitted on ECDSA commit seals until stage 5); aips/README index brought to the AIP index of the same date 2026-10-26 22:55:48 +02:00
stage4-determinism-run.md Hostile-read repairs across the kernel artifacts: 17 confirmed over-claims fixed to honest 2026-08-15 23:28:24 +03:00
STAGE-4-DETERMINISM-CONTRACT.md Note added 2026-09-24 in seven research documents (validator-set figures are dated; ten validators since 2026-09-11) and in the Stage 4 execution contract (Block-STM on since 2026-09-05) 2026-09-24 23:12:35 +03:00