nx_ad_serve_policy_gate.nx source

1// nx_ad_serve_policy_gate.nx -- GATE (runnable) for ADS-012 polite serve policy. Proves on baked 2// controls: 3// once-per-visit : already_shown -> do NOT serve again (polite, get-out-of-the-way) 4// geo-target : serve only when the visit geo is a whole token of the campaign's geo set 5// geo-boundary : "US" does NOT match "USA" (no partial/over-broad targeting) 6// offer-policy : the value-exchange offer appears ONLY where valuable (shopping) AND geo-matched 7// 8// Evidence -> knowledge/status/ad_serve_policy.log (SERVEPOLICYGATE authored=organ ... verdict=GREEN). 9// license_tier: ORIGINAL 10import "nx_ad_serve_policy.nx" 11import "nx_syscalls.nx" 12 13const SPG_LOG: *u8 = "knowledge/status/ad_serve_policy.log" 14 15func pg_w(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 } 16func pg_wn(fd: i64, v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64=v; if m<0 {m=0-m; sys_write(fd,"-" as *u8,1)}; 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 } 17 18func pg_emit(fd: i64, sy: i64, ss: i64, sg: i64, gb: i64, gm: i64, oy: i64, ons: i64, og: i64, ok: i64) -> i64 { 19 pg_w(fd, "SERVEPOLICYGATE authored=organ serve_yes=" as *u8); pg_wn(fd, sy) 20 pg_w(fd, " serve_shown=" as *u8); pg_wn(fd, ss) 21 pg_w(fd, " serve_geo_no=" as *u8); pg_wn(fd, sg) 22 pg_w(fd, " geo_boundary=" as *u8); pg_wn(fd, gb) 23 pg_w(fd, " geo_match_mid=" as *u8); pg_wn(fd, gm) 24 pg_w(fd, " offer_yes=" as *u8); pg_wn(fd, oy) 25 pg_w(fd, " offer_nonshop=" as *u8); pg_wn(fd, ons) 26 pg_w(fd, " offer_geo_no=" as *u8); pg_wn(fd, og) 27 if ok == 1 { pg_w(fd, " verdict=GREEN\n" as *u8) } else { pg_w(fd, " verdict=RED\n" as *u8) } 28 return 0 29} 30 31func main() -> i64 { 32 let us: *u8 = "US" as *u8 33 let ca: *u8 = "CA" as *u8 34 let fr: *u8 = "FR" as *u8 35 let t_usca: *u8 = "US,CA" as *u8 36 let t_usaca: *u8 = "USA,CA" as *u8 37 let t_mid: *u8 = "US,CA,GB" as *u8 38 39 let serve_yes: i64 = sp_should_serve(0, us, t_usca) // 1: fresh visit, geo match 40 let serve_shown: i64 = sp_should_serve(1, us, t_usca) // 0: once-per-visit 41 let serve_geo_no: i64 = sp_should_serve(0, fr, t_usca) // 0: geo not targeted 42 let geo_boundary: i64 = sp_geo_match(us, t_usaca) // 0: "US" != "USA" 43 let geo_match_mid: i64 = sp_geo_match(ca, t_mid) // 1: middle token 44 45 let offer_yes: i64 = sp_should_offer(1, us, t_usca) // 1: shopping + geo 46 let offer_nonshop: i64 = sp_should_offer(0, us, t_usca) // 0: not valuable here 47 let offer_geo_no: i64 = sp_should_offer(1, fr, t_usca) // 0: geo not targeted 48 49 var ok: i64 = 1 50 if serve_yes != 1 { ok = 0 } 51 if serve_shown != 0 { ok = 0 } 52 if serve_geo_no != 0 { ok = 0 } 53 if geo_boundary != 0 { ok = 0 } 54 if geo_match_mid != 1 { ok = 0 } 55 if offer_yes != 1 { ok = 0 } 56 if offer_nonshop != 0 { ok = 0 } 57 if offer_geo_no != 0 { ok = 0 } 58 59 pg_emit(1, serve_yes, serve_shown, serve_geo_no, geo_boundary, geo_match_mid, offer_yes, offer_nonshop, offer_geo_no, ok) 60 let lf: i64 = sys_openat_append(SPG_LOG, 420) 61 if lf >= 0 { pg_emit(lf, serve_yes, serve_shown, serve_geo_no, geo_boundary, geo_match_mid, offer_yes, offer_nonshop, offer_geo_no, ok); sys_close(lf) } 62 63 if ok == 1 { return 0 } 64 return 1 65}