code wiki / _hdl_build / _rc6_gate.nx

_rc6_gate.nx

buildroot/runtime/_hdl_build/_rc6_gate.nx

4242 B86 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx _rc6_gate.nx

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

main sys_mmap rg_puts sys_write rg_try sys_mmap ↻ rg_puts ↻ rg_run sys_fork sys_execve sys_exit sys_mmap ↻ sys_wait4 rg_putn sys_mmap ↻ sys_write ↻ rg_putn ↻ sys_openat_append sys_close sys_exit ↻

structs

none

consts

none

functions

14func 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 }
called by 2: rg_trymain calls 1: sys_write
15func rg_putn(fd: i64, v: i64) -> i64
called by 2: rg_trymain calls 2: sys_mmapsys_write
30func rg_run(path: *u8, argv: *i64, envp: *i64) -> i64
43func rg_try(asm_tool: *u8, spath: *u8, outpath: *u8, envp: *i64) -> i64
called by 1: main calls 4: sys_mmaprg_putsrg_runrg_putn
52func main(argc: i64, argv: *i64) -> i64