code wiki / _hdl_build / nx_adnet_creative_gate.nx

nx_adnet_creative_gate.nx

buildroot/runtime/_hdl_build/nx_adnet_creative_gate.nx

5345 B103 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic adnet

docs dependencies structs consts functions

about

nx_adnet_creative_gate.nx -- GATE for advertiser creative intake (nx_adnet_creative). Fixtures are synthesised IN this gate rather than read from disk, so it is an independent re-derivation: the gate builds a PNG header itself and asserts what the lib concludes about it. The load-bearing teeth are the two that protect a paying client and the host page: * CONTENT-ADDRESSING IS DETERMINISTIC AND SENSITIVE -- same bytes -> same url (idempotent re-upload), one byte different -> different url (replacing artwork mints a new url, so the creative can be served cacheable without ever going stale). * THE WEIGHT CEILING ACTUALLY REFUSES -- the four live house banners are 196,733 bytes each; if this tooth ever passes an oversize creative the platform silently re-admits that class. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_syscalls.nxnx_adnet_creative.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

14	func tc_slen(s: *u8) -> i64 { var i: i64 = 0; while s[i] != (0 as u8) { i = i + 1 } return i } called by 1: tc_puts
15	func tc_puts(s: *u8) -> i64 { sys_write(1, s, tc_slen(s)); return 0 } called by 2: tc_check main calls 2: sys_write tc_slen
16	func tc_pn(v: i64) -> i64 called by 1: main calls 2: sys_mmap sys_write
28	func tc_eq(a: u8, b: u8) -> i64 called by 1: main
34	func tc_check(name: *u8, cond: i64) -> i64 called by 1: main calls 1: tc_puts
41	func tc_mkpng(b: *u8, n: i64, w: i64, h: i64) -> i64 called by 1: main
54	func main() -> i64 calls 11: tc_puts sys_mmap tc_mkpng tc_check acr_validate acr_width+5