C.18.1:13a - C.29 mathematical-lens use relation

C.18.1 supplies scale-window and scaling-law evidence for C.29 when a mathematical lens claims scale behavior, universality, knees, exponents, coarse-graining validity, or diminishing returns. C.29 cannot treat mathematical compression as scalable without an SLL or BLP-compatible scale-window account where scale is load-bearing. If no scale claim is live, C.29 uses a local stop condition rather than opening scale-law work.