code wiki / _hdl_build / nx_recycler_sov_gate.nx

nx_recycler_sov_gate.nx

buildroot/runtime/_hdl_build/nx_recycler_sov_gate.nx

5433 B92 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic recycler

dependencies 2 imports · 0 importers

imports: nx_gate_gn.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

none

none

11	func gp(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: audit main calls 1: sys_write
12	func have_file(p: *u8) -> i64 { let fd: i64=sys_openat_rd(p); if fd<0 { return 0 } sys_close(fd); return 1 } calls 2: sys_openat_rd sys_close
14	func is_import_at(buf: *u8, n: i64, i: i64) -> i64 called by 1: audit
26	func has_scheme(buf: *u8, from: i64, to: i64) -> i64 called by 1: is_sovereign
32	func is_sovereign(buf: *u8, from: i64, to: i64) -> i64 called by 1: audit calls 1: has_scheme
41	func audit(path: u8, totp: i64, badp: *i64) -> i64 called by 1: main calls 6: sys_mmap sys_read_file gp is_import_at is_sovereign gn
63	func main() -> i64 calls 4: gp sys_mmap audit gn