Affine-quantization rules for numerical automation

Symbolic refinement uses the generic quantizer contract. Closed evaluation unfolds the exact rational kernel only during the explicit reduction phase.