
Building the verifier passes that catch malformed bytecode before it executes on Adamant.
This week's work: bounds checking (every index points somewhere valid), duplication detection (no duplicate handles or signatures), signature well-formedness (type tokens are structurally sound).
11 passes wired. Layer by layer.
github.com/adamant-protoc…
English
