What even is a correct compiler for gas-metered languages?(rubber-duck-typing.com)

https://rubber-duck-typing.com/posts/2026-03-14-compiler-correctness-gas-challenge.html