외부 키 없이

Demo

외부 키 없이 재현 가능한 픽스처 여섯 개입니다. Demo 04·05는 CI MATCH, Demo 06은 ERC20 COMPLETE 합성(메인넷 토큰 아님)입니다.

정본 REVM은 CI·CLI·API backend=revm(호스팅 바이너리)입니다. 기본 워크벤치 POST는 픽스처입니다.

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.