code wiki / _hdl_build / nx_artifact_root_gate.nx

nx_artifact_root_gate.nx

buildroot/runtime/_hdl_build/nx_artifact_root_gate.nx

5958 B95 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic artifact
docsdependenciesstructsconstsfunctions

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

nx_syscalls.nx nx_artifact_root.nx nx_artifact_root_gate.nx

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

main sys_mmap w sys_write wfile sys_openat_wr sys_write ↻ sys_close ar_resolve_with ar_exists sys_openat_rd sys_close ↻ sys_mmap ↻ ar_read sys_openat_rd ↻ sys_read sys_close ↻ streq ck w ↻ wn sys_mmap ↻ sys_write ↻ sys_exit

structs

none

consts

none

functions

11func w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: ckmain calls 1: sys_write
12func 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 }
called by 1: main calls 2: sys_mmapsys_write
13func ck(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: w
18func wfile(path: *u8, body: *u8) -> i64
27func streq(a: *u8, b: *u8) -> i64
called by 1: main
34func main() -> i64