Multi-stage verification pipeline resolving natural language declarations against actual code semantics.