Phase 01 — Ledger and Execution

This phase builds the machine model: state and finality, EVM execution, then contract architecture.

Exit condition: given a transaction, you can trace authorization, calldata, calls, gas, storage changes, logs, revert behavior, block inclusion, possible reorg, and the exact finality claim exposed to a user.