CentralDigitData
Abstract
Literal digit blocks preserve lower coefficients and expose leading coordinates.
This module proves the private coefficient bookkeeping for one digit block, one selected direction, and the complete direction-major word. It shows that the construction preserves every lower-degree coefficient and records the exact degree-r difference consumed by the final injectivity theorem.