Configured shared-scale block identity

The universal carrier stores one complete vector-valued block. Its lane count remains in the type, and scale selection remains an explicit operation rather than an inferred scalar policy.

@[reducible, inline]

abbrev FloatLib.Floats.ExecFloat.SharedScale (lanes : ℕ) : Type

A whole rational block with one caller-selected binary exponent.