JS Binary AST – How to replace proving with validating for fun and profit (yoric.github.io)