code wiki / _hdl_build / nx_adnet_dash.nx
`nx_adnet_dash.nx` source

↩ module page · 116 lines · 5936 B
1// nx_adnet_dash.nx -- LIB: the advertiser DASHBOARD for the sovereign ad network. Server-rendered
2// ZERO-JS HTML from the live inventory + the per-AD append-only counters: per-ad SERVED impressions,
3// clicks, CTR (permil) + totals. AGGREGATE ONLY -- the logs carry ad ids, never visitor identity, so
4// the dashboard cannot leak what was never collected. HONEST LABELS: counts are SERVED first-party
5// counts; MRC viewability is the separate gated nx_ad_view lane and is labeled as such.
6// Also emits the /ads.txt transparency artifact: first-party DIRECT, no reseller chain.
7// license_tier: ORIGINAL
8import "nx_syscalls.nx"
9import "_hdl_build/nx_adnet_slot.nx"
10
11// BOUNDED per-request file read (rule 21: NEVER sys_read_file per request -- it mmaps 4GB per call).
12// Reads at most cap-1 bytes; absent file -> 0 bytes (an empty log is a valid zero-counter state).
13func and_read_bounded(path: *u8, buf: *u8, cap: i64) -> i64 {
  let fd: i64 = sys_openat_rd(path)
  if fd < 0 { return 0 }
  var total: i64 = 0
  var more: i64 = 1
  while more == 1 {
      if total >= cap - 1 { more = 0 } else {
          let got: i64 = sys_read(fd, ((buf as i64) + total) as *u8, cap - 1 - total)
          if got <= 0 { more = 0 } else { total = total + got }
      }
  }
  sys_close(fd)
  return total
26}
27
28func and_catd(dst: *u8, off: i64, v: i64) -> i64 {
  var o: i64 = off
  var m: i64 = v
  if m < 0 { dst[o] = 45 as u8; o = o + 1; m = 0 - m }
  let t: *u8 = sys_mmap(24)
  var k: i64 = 0
  if m == 0 { t[0] = 48 as u8; k = 1 }
  while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
  var i: i64 = k - 1
  while i >= 0 { dst[o] = t[i]; o = o + 1; i = i - 1 }
  return o
39}
40
41// ads.txt (IAB Authorized Digital Sellers): we are the ad system AND the publisher -- one DIRECT row,
42// zero resellers. The reseller/spoof fraud class is eliminated by construction.
43func and_adstxt(domain: *u8, out: *u8, cap: i64) -> i64 {
  if cap < 256 { return 0 }
  var o: i64 = 0
  o = ad_cat(out, o, domain)
  o = ad_cat(out, o, ", nishi-adnet, DIRECT" as *u8)
  out[o] = 10 as u8
  o = o + 1
  return o
51}
52
53// the dashboard page. inv = live inventory conf bytes; implog/clklog = per-AD id-per-line counters.
54func and_page(inv: *u8, ilen: i64, implog: *u8, iln: i64, clklog: *u8, cln: i64, out: *u8, cap: i64) -> i64 {
  if cap < 8192 { return 0 }
  var o: i64 = 0
  o = ad_cat(out, o, "<html><head><meta charset=\"utf-8\"><meta name=\"viewport\" content=\"width=device-width, initial-scale=1\"><title>Adnet Dashboard</title>" as *u8)
  o = ad_cat(out, o, "<style>body{font-family:system-ui,sans-serif;max-width:860px;margin:4vh auto;padding:0 20px;color:var(--fg,black)}table{border-collapse:collapse;width:100%}td,th{border:1px solid gray;padding:6px 10px;text-align:left;font-size:.95rem}th{background:silver}caption{margin-bottom:8px;font-size:.85rem;color:gray;text-align:left}</style></head><body class=\"nx-ad-optout\">" as *u8)
  o = ad_cat(out, o, "<h1>Adnet Dashboard</h1><p>Aggregate per-AD counters only. No visitor identity exists in this system: no cookie, no IP, no fingerprint. Counts below are SERVED first-party impressions; MRC viewability is the separate gated nx_ad_view lane.</p>" as *u8)
  o = ad_cat(out, o, "<table><caption>live inventory + served counters</caption><tr><th>ad</th><th>advertiser</th><th>section</th><th>served</th><th>clicks</th><th>ctr permil</th></tr>" as *u8)
  let id: *u8 = sys_mmap(128)
  let adv: *u8 = sys_mmap(256)
  let sec: *u8 = sys_mmap(128)
  var timp: i64 = 0
  var tclk: i64 = 0
  var nrows: i64 = 0
  var ls: i64 = 0
  while ls < ilen {
      let le: i64 = ad_eol(inv, ls, ilen)
      if le > ls {
          if le - ls < 1536 {
              let row: *u8 = ((inv as i64) + ls) as *u8
              if row[0] != (64 as u8) {
                  aslot_field_b(row, le - ls, 0, id, 128)
                  aslot_field_b(row, le - ls, 1, adv, 256)
                  aslot_field_b(row, le - ls, 4, sec, 128)
                  if aslot_id_ok(id) == 1 {
                      if o + 1024 >= cap { return 0 }
                      let imps: i64 = ad_event_count(implog, iln, id)
                      let clks: i64 = ad_event_count(clklog, cln, id)
                      var ctr: i64 = 0
                      if imps > 0 { ctr = (clks * 1000) / imps }
                      timp = timp + imps
                      tclk = tclk + clks
                      nrows = nrows + 1
                      o = ad_cat(out, o, "<tr><td>" as *u8)
                      o = ad_cat(out, o, id)
                      o = ad_cat(out, o, "</td><td>" as *u8)
                      o = aslot_cat_esc(out, o, adv, cap)
                      o = ad_cat(out, o, "</td><td>" as *u8)
                      o = aslot_cat_esc(out, o, sec, cap)
                      o = ad_cat(out, o, "</td><td>" as *u8)
                      o = and_catd(out, o, imps)
                      o = ad_cat(out, o, "</td><td>" as *u8)
                      o = and_catd(out, o, clks)
                      o = ad_cat(out, o, "</td><td>" as *u8)
                      o = and_catd(out, o, ctr)
                      o = ad_cat(out, o, "</td></tr>" as *u8)
                  }
              }
          }
      }
      ls = le + 1
  }
  o = ad_cat(out, o, "<tr><th>TOTAL</th><th></th><th></th><th>" as *u8)
  o = and_catd(out, o, timp)
  o = ad_cat(out, o, "</th><th>" as *u8)
  o = and_catd(out, o, tclk)
  o = ad_cat(out, o, "</th><th></th></tr></table>" as *u8)
  o = ad_cat(out, o, "<p>ads=" as *u8)
  o = and_catd(out, o, nrows)
  o = ad_cat(out, o, " &middot; first-party serving &middot; DIRECT single-seller (see /ads.txt) &middot; zero third-party JS by construction.</p></body></html>" as *u8)
  if o + 2 >= cap { return 0 }
  out[o] = 0 as u8
  return o
116}
nx_adnet_dash.nx source

`nx_adnet_dash.nx` source
