Borrow BUFFER-TYPE's active extent, row declaration, and raw lane arrays. BINDINGS is (LENGTH ROW-DECLARATION (ARRAY LANE-NAME) ...). The buffer is evaluated once, and every array receives its precise specialized array type. This is the checked aggregate boundary for closed scalar or SIMD kernels; the kernel…

Test whether two compatible scalars are equal.

Addition over compatible quantities.

Multiplication and scalar scaling.

floor

Logical disjunction of tests and raw truth values.

Convert one scalar float or unsigned value to a 32-bit float.

The non-negative remainder of integer division.

Intent: eventually let a field or simulation phase select a scalar or SB-SIMD realization of the same semantic operation once per dense kernel. Evidence: #B5L7VG and the native SIMD study describe the representation seam, and #LDP5UR now supplies generated quantity-aware SoA storage. The first executable probe uses…