nx_probe_mlop_live.nx
buildroot/runtime/nx_probe_mlop_live.nx
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
| 10 | func main(argc: i64, argv: *u8) -> i64 |