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.
19constructor InferenceFloat32BitsThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.