code wiki / (root) / nx_probe_caplim_float.nx

nx_probe_caplim_float.nx

buildroot/runtime/nx_probe_caplim_float.nx

579 B10 linesdepth 0pulls 0 transitivereach 0 importersview sourcekind probetopic probe
docsdependenciesstructsconstsfunctions

about

nx_probe_caplim_float.nx -- MUST-REFUSE WITNESS (capability-limit voice, 2026-08-13): a float value into an INTEGER binding used to COMPILE CLEAN and silently store the raw IEEE-754 bit pattern (measured pre-fix: x held 0x3FF8000000000000, not 1, no diagnostic). EXPECT: COMPILE-FAIL citing "raw bit pattern" + the fixed-point (Q14) fix + the slug capability=float-int-boundary. The float LANE stays reachable: `let x: f64 = 1.5` compiles (the gauntlet's f64_let_control cell proves it).

dependencies 0 imports · 0 importers

imports: none

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

7func main(argc: i64, argv: *u8) -> i64