nx_probe_caplim_fmem.nx
buildroot/runtime/nx_probe_caplim_fmem.nx
about
nx_probe_caplim_fmem.nx -- MUST-REFUSE WITNESS (float boundary, MEMORY sites, 2026-08-13):
deref-assign (*p = 1.5), array subscript (a[i] = 1.5), and struct field (s.f = 1.5) all used
to bit-store silently. All three must refuse via the SHARED guard with dst = pointee/element/
field type. EXPECT: COMPILE-FAIL, 3 error(s), 3 capability=float-int-boundary slugs.
dependencies 0 imports · 0 importers
imports: none
imported by: nobody (leaf or entry point)
structs
| 5 | struct FmS { f: i64, g: i64 } |
consts
| none |
functions
| 6 | func main(argc: i64, argv: *u8) -> i64 |