code wiki / (root) / nx_probe_caplim_fassign.nx

nx_probe_caplim_fassign.nx

buildroot/runtime/nx_probe_caplim_fassign.nx

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

about

nx_probe_caplim_fassign.nx -- MUST-REFUSE WITNESS (float-boundary completion, 2026-08-13): the VAR-INIT and plain-ASSIGNMENT sites used to store raw IEEE bits silently even after the let site refused (the 30c re-typed-fix divergence, caught by re-checking the claim). Both shapes below must refuse via the SHARED guard nx_float_bind_guard with the same capability voice + slug capability=float-int-boundary. EXPECT: COMPILE-FAIL, 2 error(s).

dependencies 0 imports · 0 importers

imports: none

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

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