The IEEE-754 binary32 bit pattern as four bytes (little-endian: byte3 holds
the sign bit) with its sign / zero / finite predicates as Nat flags. Lifted
VERBATIM out of Inference.Candidate by the R4b reroute (2026-09-09,
tools/refactor/extract_contract.py, reconstruction proof): the SM86 sampling
realization consumes a temperature as this pattern and the sampling-mode
contract carries it, so it belongs in foundation (RFC S2 standard = numbers),
next to ModelFloat64Bits. The `InferenceFloat32`/`inferenceFloat32*` names are
the lifted identity — renaming is the later namespace chunk.
Inference.Candidate imports this module (its comparison defs eliminate the
family here) and never redeclares it. Imports only Std.Flag.
21field unrestricted inferenceFloat32Byte1 : ByteThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.