Codebook rules for numerical automation

Named tiny codebooks register their exact lookup semantics and proved arithmetic. Closed bit-pattern evaluation is deliberately separated from symbolic refinement.