No external key

Demo

Six fixtures that reproduce without an external key. Demo 04 and 05 are CI MATCH. Demo 06 is ERC20 COMPLETE synthetic, not a mainnet token.

Canonical REVM is CI, CLI, and API backend=revm when the binary is hosted. Default workbench POST is fixture.

demo-01 Canonical Replay MATCH

Synthetic ETH transfer. Fixture backend is SUPPORTED. Not a live archive replay.

demo-02 Client Differential MISMATCH

Same input, REVM-shaped fixture vs RPC-shaped fixture. Gas mismatch is classified D4.

demo-03 Reorg MISMATCH

Included on fork A-B-C-D, orphaned after A-B-C'-D'. BlockCore records objective lifecycle only. Assurance interpretation is Rethium.

demo-04 Mainnet ETH transfer MATCH

Mainnet tx 0x4ef15de6… in block 25969069. Prestate is parent-block snapshot from publicnode. REVM 40.0.3 is EXPERIMENTAL; fixture backend records the canonical receipt.

demo-05 Contract COMPLETE gate (synthetic) MATCH

Synthetic STOP bytecode with one recorded storage slot. Proves COMPLETE-only contract path. Gas calibrated to REVM 40.0.3 (21160). Not a mainnet ERC20.

demo-06 ERC20 COMPLETE gate (synthetic) MATCH

Synthetic token RETURN-true on transfer(address,uint256) calldata with COMPLETE storage. Not a mainnet ERC20. Not a real balance mutation.