This is an explicitly selected native host realization. The state occupies
a contiguous word region followed by derived expression scratch. No GPU
operation can choose these commands as a fallback. Arithmetic is finite,
separately rounded binary64; refusal prevents publication of a partial step.
28def nativePointwiseWordBytes : Nat =
29 (bytes-length (dataBytesWord64LE modelWord64Zero))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.