code wiki / _hdl_build / nx_adnet_apply_gate.nx

nx_adnet_apply_gate.nx

buildroot/runtime/_hdl_build/nx_adnet_apply_gate.nx

9526 B136 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic adnet
docsdependenciesstructsconstsfunctions

about

nx_adnet_apply_gate.nx -- GATE for the public advertiser intake page (nx_adnet_apply). A public page is a PROMISE, so the teeth check that the promise matches the machine: * THE SPEC ON THE PAGE MUST MATCH THE VALIDATOR. 728x90 and the 64KB ceiling are what nx_adnet_creative actually enforces. A spec page that drifts from its validator produces a support queue full of rejected uploads and an advertiser who thinks we moved the goalposts. * THE VIEWABLE CLAIM MUST BE STATED, because it is the one thing that makes the invoice defensible. * STAGED-NEVER-LIVE MUST BE SAID OUT LOUD in the acknowledgement -- an ack that implies the ad is running is a lie the operator has to walk back. * NO VISITOR FIELD. The form must collect a BUSINESS contact and nothing that could be a visitor record; this is a paired control (business fields present AND tracking fields absent) so the tooth is proven able to fail. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_adnet_apply.nx nx_gate_verdict.nx nx_adnet_apply_gate.nx

imports: nx_syscalls.nxnx_adnet_apply.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 ta_puts sys_write ta_slen sys_mmap aap_page aap_catd sys_mmap ↻ ta_check ta_puts ↻ ta_has ta_slen ↻ aap_ack aap_catd ↻ aap_row sys_mmap ↻ aap_clean aap_catd ↻ ta_slen ↻ aap_field aap_hexv

structs

none

consts

none

functions

17func ta_slen(s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { i = i + 1 } return i }
called by 3: ta_putsta_hasmain
18func ta_puts(s: *u8) -> i64 { sys_write(1, s, ta_slen(s)); return 0 }
called by 2: ta_checkmain calls 2: sys_writeta_slen
19func ta_pn(v: i64) -> i64
31func ta_has(buf: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: ta_slen
45func ta_check(name: *u8, cond: i64) -> i64
called by 1: main calls 1: ta_puts
51func main() -> i64