nx_probe_caplim_float.nx source
↩ module page · 10 lines · 579 B
1// nx_probe_caplim_float.nx -- MUST-REFUSE WITNESS (capability-limit voice, 2026-08-13):
2// a float value into an INTEGER binding used to COMPILE CLEAN and silently store the raw
3// IEEE-754 bit pattern (measured pre-fix: x held 0x3FF8000000000000, not 1, no diagnostic).
4// EXPECT: COMPILE-FAIL citing "raw bit pattern" + the fixed-point (Q14) fix + the slug
5// capability=float-int-boundary. The float LANE stays reachable: `let x: f64 = 1.5` compiles
6// (the gauntlet's f64_let_control cell proves it).
7func main(argc: i64, argv: *u8) -> i64 {
8 let x: i64 = 1.5
9 return x
10}