Assert / assume / cover

Classify verification statements as assert (must hold), assume (environment constraint), or cover (observability). Score tags — wrong roles show PARTIAL. Starter: out==f(in) assert, reset assume, opcode cover → PASS 3/3.