Inspection for exact shared-scale blocks #
Shared-scale blocks are contextual numerical objects: the caller supplies one exponent and each
lane is rounded on the resulting integer grid. Inspection therefore reports the lane count,
unbounded mathematical carrier, and the exact quantizeAt theorem without pretending that a
particular OCP MX encoding or scale-selection policy has been chosen.
The module is meta-only so vector runtime code does not import command elaboration. Its nonclaims are part of the public output because they distinguish this reusable core from a concrete hardware format.
Build the shared-scale description used by both the raw block code and its configured
ExecFloat wrapper. Lane semantics and contextual rounding live here; each carrier supplies only
its own execution and wrapper-theorem entries.