code wiki / _hdl_build / _driver_gate.nx

_driver_gate.nx

buildroot/runtime/_hdl_build/_driver_gate.nx

6067 B113 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind gate/prooftopic driver

docs dependencies structs consts functions

about

_driver_gate.nx -- gate for DRIVER-FROM-SPEC (X-DRV-W1). NO mocks: runs the REAL nx_driver_emit to GENERATE a driver per vendor spec, has nx_cc COMPILE + RUN each generated driver against the REAL hardware map (HWMAP / X-DRV-W0), reads each driver's bound-device count, and asserts it equals an INDEPENDENT sovereign count of that vendor in the map. Three vendors -> distinct correct counts proves the bind logic is SYNTHESIZED FROM THE SPEC (a new device class = a new spec -> a new driver), not a fixed template. Evidence -> knowledge/status/driver_spec.log. license_tier: ORIGINAL

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

10	func g_p(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 1: main calls 1: sys_write
11	func g_fp(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 1: main calls 1: sys_write
12	func g_fn(fd: i64, v: i64) -> i64 { let bb: u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; let t: u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 } called by 1: main calls 2: sys_mmap sys_write
14	func g_run(prog: u8, a1: u8, a2: u8, outpath: u8) -> i64 called by 1: g_driver_count calls 7: sys_fork sys_openat_wr sys_dup3 sys_mmap sys_execve sys_exit+1
35	func g_read(path: u8, buf: u8, cap: i64) -> i64 called by 2: g_driver_count main calls 3: sys_openat_rd sys_read sys_close
46	func g_count(buf: u8, n: i64, vendor: u8) -> i64 called by 1: main calls 1: sys_mmap
66	func g_driver_count(base: u8, vendor: u8, genout: u8, runout: u8) -> i64 called by 1: main calls 3: g_run sys_mmap g_read
77	func main() -> i64 calls 11: g_p sys_openat_append sys_mmap g_read g_driver_count g_count+5