code wiki / _hdl_build / nx_artifact_root_gate.nx
nx_artifact_root_gate.nx
buildroot/runtime/_hdl_build/nx_artifact_root_gate.nx
about
nx_artifact_root_gate.nx -- proves the shared resolver finds an artifact that IS there under a different
root, and does NOT invent one that is not. Both halves matter: the defect it exists to kill was a false
NEGATIVE (real files reported missing), and the obvious over-correction is a false POSITIVE (a resolver
so eager it "finds" something for any input, which would ground claims against the wrong file).
The gate builds its own fixture tree and its own roots conf, so it never depends on -- or perturbs --
production config. license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_artifact_root.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
| 11 | func w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 12 | func wn(v: i64) -> i64 { let t: *u8=sys_mmap(28); var m: i64=v; var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} let b: *u8=sys_mmap(28); var i: i64=0; while i<k{b[i]=t[k-1-i];i=i+1} sys_write(1,b,k); return 0 } |
| 13 | func ck(pass: i64, label: *u8, fails: *i64) -> i64 |
| 18 | func wfile(path: *u8, body: *u8) -> i64 |
| 27 | func streq(a: *u8, b: *u8) -> i64 called by 1: main |
| 34 | func main() -> i64 |