code wiki / (root) / nx_probe_mlop_live.nx

nx_probe_mlop_live.nx

buildroot/runtime/nx_probe_mlop_live.nx

1002 B17 linesdepth 0pulls 0 transitivereach 0 importersview sourcekind probetopic probe
docsdependenciesstructsconstsfunctions

about

nx_probe_mlop_live.nx -- MUST-COMPILE-AND-COMPUTE WITNESS (contract changed by LN15, 2026-08-25): a multi-line binary op with the operator LEADING the next line now JOINS the expression above it. Historically this silently parsed as TWO statements (c = a; then bare + b) -- a silent-wrong-value trap banked in the memory corpus -- and from 2026-08-13 the parse_primary denylist refused it LOUDLY. LN15 (tok_line_continuation, nx_lex_kinds.nx) made it CORRECT instead: no statement form begins with +, so at statement level it can only ever have been a continuation. EXPECT: BUILDS, runs exit 0 (c == 3). nx_linecont_gate asserts the value; nx_langdiag_gate keeps this as an acceptance control. If this ever REFUSES, LN15 has regressed; if it builds and exits 7, the pre-LN15 two-statement split is back and that is the worse of the two.

dependencies 0 imports · 0 importers

imports: none

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

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