code wiki / _hdl_build / nx_adnet_ops_gate.nx

nx_adnet_ops_gate.nx

buildroot/runtime/_hdl_build/nx_adnet_ops_gate.nx

5946 B96 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic adnet
docsdependenciesstructsconstsfunctions

about

nx_adnet_ops_gate.nx -- GATE for the operator view (nx_adnet_ops). The load-bearing tooth is the QUIET one: a healthy plane must produce ZERO bytes. An operator report that always prints something trains people to ignore it, and then the one real finding scrolls past. The rest check that each refusal built today is actually SURFACED -- a refusal nobody can see is indistinguishable from the thing simply not working, and the operator learns about it from the advertiser instead. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_adnet_ops.nx nx_gate_verdict.nx nx_adnet_ops_gate.nx

imports: nx_syscalls.nxnx_adnet_ops.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main to_puts sys_write to_slen sys_mmap aop_report sys_mmap ↻ ad_eol aslot_field_b ad_tab aslot_id_ok ainv_rate sys_mmap ↻ ad_eol ↻ aslot_field_b ↻ ainv_num camp_row_budget sys_mmap ↻ aslot_field_b ↻ camp_num camp_row_spent sys_mmap ↻ aslot_field_b ↻ camp_num ↻ aop_rows ad_eol ↻ aop_catd sys_mmap ↻ to_slen ↻ to_check to_puts ↻ to_has to_slen ↻

structs

none

consts

none

functions

12func to_slen(s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { i = i + 1 } return i }
called by 3: to_putsto_hasmain
13func to_puts(s: *u8) -> i64 { sys_write(1, s, to_slen(s)); return 0 }
called by 2: to_checkmain calls 2: sys_writeto_slen
14func to_pn(v: i64) -> i64
26func to_has(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: to_slen
40func to_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: to_puts
46func main() -> i64