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" 12import "nx_gate_verdict.nx" 13 14const SPG_LOG: *u8 = "knowledge/status/ad_serve_policy.log" 15 16func 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 } 17func 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 } 18 19func pg_emit(fd: i64, sy: i64, ss: i64, sg: i64, gb: i64, gm: i64, oy: i64, ons: i64, og: i64, ok: i64) -> i64 { 20 pg_w(fd, "SERVEPOLICYGATE authored=organ serve_yes=" as *u8); pg_wn(fd, sy) 21 pg_w(fd, " serve_shown=" as *u8); pg_wn(fd, ss) 22 pg_w(fd, " serve_geo_no=" as *u8); pg_wn(fd, sg) 23 pg_w(fd, " geo_boundary=" as *u8); pg_wn(fd, gb) 24 pg_w(fd, " geo_match_mid=" as *u8); pg_wn(fd, gm) 25 pg_w(fd, " offer_yes=" as *u8); pg_wn(fd, oy) 26 pg_w(fd, " offer_nonshop=" as *u8); pg_wn(fd, ons) 27 pg_w(fd, " offer_geo_no=" as *u8); pg_wn(fd, og) 28 if ok == 1 { pg_w(fd, " verdict=GREEN\n" as *u8) } else { pg_w(fd, " verdict=RED\n" as *u8) } 29 return 0 30} 31 32func main() -> i64 { 33 let us: *u8 = "US" as *u8 34 let ca: *u8 = "CA" as *u8 35 let fr: *u8 = "FR" as *u8 36 let t_usca: *u8 = "US,CA" as *u8 37 let t_usaca: *u8 = "USA,CA" as *u8 38 let t_mid: *u8 = "US,CA,GB" as *u8 39 40 let serve_yes: i64 = sp_should_serve(0, us, t_usca) // 1: fresh visit, geo match 41 let serve_shown: i64 = sp_should_serve(1, us, t_usca) // 0: once-per-visit 42 let serve_geo_no: i64 = sp_should_serve(0, fr, t_usca) // 0: geo not targeted 43 let geo_boundary: i64 = sp_geo_match(us, t_usaca) // 0: "US" != "USA" 44 let geo_match_mid: i64 = sp_geo_match(ca, t_mid) // 1: middle token 45 46 let offer_yes: i64 = sp_should_offer(1, us, t_usca) // 1: shopping + geo 47 let offer_nonshop: i64 = sp_should_offer(0, us, t_usca) // 0: not valuable here 48 let offer_geo_no: i64 = sp_should_offer(1, fr, t_usca) // 0: geo not targeted 49 50 var ok: i64 = 1 51 if serve_yes != 1 { ok = 0 } 52 if serve_shown != 0 { ok = 0 } 53 if serve_geo_no != 0 { ok = 0 } 54 if geo_boundary != 0 { ok = 0 } 55 if geo_match_mid != 1 { ok = 0 } 56 if offer_yes != 1 { ok = 0 } 57 if offer_nonshop != 0 { ok = 0 } 58 if offer_geo_no != 0 { ok = 0 } 59 60 pg_emit(1, serve_yes, serve_shown, serve_geo_no, geo_boundary, geo_match_mid, offer_yes, offer_nonshop, offer_geo_no, ok) 61 let lf: i64 = sys_openat_append(SPG_LOG, 420) 62 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) } 63 64 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 65 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 66 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 67 let ctr__dry: *i64 = gv_ctr() 68 ctr__dry[0] = ok 69 ctr__dry[1] = 1 70 let rc__dry: i64 = gv_verdict("AD-SERVE-POLICY-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 71 sys_exit(rc__dry) 72 return rc__dry 73}