Question
Could optimizer modes or execution engines change observable Vyper behavior?
Build
A differential harness comparing returns, reverts, state changes, and event logs.
Calibration
Reproduced the known v0.4.1 zero-length concat failure and confirmed the v0.4.3 correction.
Result
37,230 comparisons matched their semantic oracles. No unsupported finding was claimed.