code wiki / _hdl_build / _rc6_gate.nx
_rc6_gate.nx
buildroot/runtime/_hdl_build/_rc6_gate.nx
about
_rc6_gate.nx -- standing REGRESSION GATE for R1-T1-004 (nxasm rc=6 ctx-x-output-path class).
Debt-paydown, not skip: the alleged nxasm-codegen cause was dataflow-REFUTED (Doctor: outpath store
dominates its read) and is NON-REPRODUCIBLE from the standard sovereign fork+execve spawn (this gate's
POS leg, incl. the exact real elfpath nx_sov_build_run mitigates away). So instead of leaving a
workaround masking an unverified ghost, this gate makes the invariant CONTINUOUSLY CHECKED:
POS : a SOVEREIGN parent assembles ONE real .s to N real output-path strings -> ALL must rc=0
(if the ctx-x-path class ever returns, a real path exits 6 here and the gate goes RED).
NEG : the SAME .s to a genuinely-unwritable path MUST exit 6 (proves nxasm's open-failure
detection + the loud diagnostic stay alive -- no-false-green; if nxasm ever decoded an
open-fail as success the gate goes RED).
GREEN iff (all POS rc=0) AND (NEG rc=6). Writes a machine-matchable verdict to rc6_gate.log.
dependencies 1 imports · 0 importers
imports: nx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 14 | func rg_puts(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 } |
| 15 | func rg_putn(fd: i64, v: i64) -> i64 |
| 30 | func rg_run(path: *u8, argv: *i64, envp: *i64) -> i64 |
| 43 | func rg_try(asm_tool: *u8, spath: *u8, outpath: *u8, envp: *i64) -> i64 |
| 52 | func main(argc: i64, argv: *i64) -> i64 |