← Home Consensus Spec Orange Paper PROTOCOL Architecture Compact Spec maps Spec reference blvm-spec

Specification ↔ code maps

Outline weight and spec_locked coverage in blvm-consensus (data baked at build time). Consensus Spec · Constants & formula index · PROTOCOL viewer