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

↩ module page · 223 lines · 12368 B
1// nx_adnet_catalog.nx -- GENERATOR: the LIVING ad-real-estate CATALOGUE + sitemap for the sovereign
2// ad network (operator 2026-07-09: "a state of the art catalogue of digital and physical and real
3// estate and apps ... in living documentation and site maps so people can go between them"). LIVING
4// DOCUMENTATION BY CONSTRUCTION: this organ renders the catalogue FROM the same data files the system
5// runs on -- adnet_properties.txt (the property registry) + adnet_inventory.txt (the LIVE serving
6// inventory) -- so re-running it can never disagree with what actually serves. Emits:
7//   knowledge/staging/adnet/adnet_catalog.html  (human catalogue + cross-navigation)
8//   knowledge/staging/adnet/adnet_sitemap.xml   (machine sitemap of every catalogued property)
9// The catalogue page deliberately does NOT opt out of the ad slot: it demonstrates the live unit.
10// expect_exit: 0  license_tier: ORIGINAL
11import "nx_syscalls.nx"
12import "_hdl_build/nx_adnet_slot.nx"
13const K_MAGIC_1400: i64 = 1400
14const K_MAGIC_2048: i64 = 2048
15const K_MAGIC_262144: i64 = 262144
16const K_MAGIC_65536: i64 = 65536
17
18func ac_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
19
20func ac_has(hay: *u8, n: i64, needle: *u8) -> i64 {
  var nl: i64 = 0
  while needle[nl] != (0 as u8) { nl = nl + 1 }
  if nl == 0 { return 0 }
  var i: i64 = 0
  while i + nl <= n {
      var j: i64 = 0
      var eq: i64 = 1
      while j < nl { if hay[i + j] != needle[j] { eq = 0; break } j = j + 1 }
      if eq == 1 { return 1 }
      i = i + 1
  }
  return 0
33}
34
35// render one property-registry section (rows whose kind field matches) as table rows.
36func ac_section(reg: *u8, rn: i64, kind: *u8, out: *u8, o0: i64, cap: i64) -> i64 {
  var o: i64 = o0
  let f0: *u8 = sys_mmap(64)
  let f1: *u8 = sys_mmap(256)
  let f2: *u8 = sys_mmap(512)
  let f3: *u8 = sys_mmap(64)
  let f4: *u8 = sys_mmap(512)
  var ls: i64 = 0
  while ls < rn {
      let le: i64 = ad_eol(reg, ls, rn)
      if le > ls {
          if le - ls < K_MAGIC_1400 {
              let row: *u8 = ((reg as i64) + ls) as *u8
              aslot_field_b(row, le - ls, 0, f0, 64)
              if ad_streq(f0, kind) == 1 {
                  if o + K_MAGIC_2048 >= cap { return o }
                  aslot_field_b(row, le - ls, 1, f1, 256)
                  aslot_field_b(row, le - ls, 2, f2, 512)
                  aslot_field_b(row, le - ls, 3, f3, 64)
                  aslot_field_b(row, le - ls, 4, f4, 512)
                  o = ad_cat(out, o, "<tr><td><a href=\"" as *u8)
                  o = aslot_cat_esc(out, o, f2, cap)
                  o = ad_cat(out, o, "\">" as *u8)
                  o = aslot_cat_esc(out, o, f1, cap)
                  o = ad_cat(out, o, "</a></td><td><code>" as *u8)
                  o = aslot_cat_esc(out, o, f2, cap)
                  o = ad_cat(out, o, "</code></td><td><span class=\"b b-" as *u8)
                  o = aslot_cat_esc(out, o, f3, cap)
                  o = ad_cat(out, o, "\">" as *u8)
                  o = aslot_cat_esc(out, o, f3, cap)
                  o = ad_cat(out, o, "</span></td><td>" as *u8)
                  o = aslot_cat_esc(out, o, f4, cap)
                  o = ad_cat(out, o, "</td></tr>" as *u8)
              }
          }
      }
      ls = le + 1
  }
  return o
75}
76
77// sitemap <url> rows for every property whose url is site-relative (starts '/').
78func ac_sitemap(reg: *u8, rn: i64, out: *u8, cap: i64) -> i64 {
  var o: i64 = 0
  o = ad_cat(out, o, "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<urlset xmlns=\"http://www.sitemaps.org/schemas/sitemap/0.9\">\n" as *u8)
  let f2: *u8 = sys_mmap(512)
  var ls: i64 = 0
  while ls < rn {
      let le: i64 = ad_eol(reg, ls, rn)
      if le > ls {
          if le - ls < K_MAGIC_1400 {
              let row: *u8 = ((reg as i64) + ls) as *u8
              aslot_field_b(row, le - ls, 2, f2, 512)
              if f2[0] == (47 as u8) {
                  if o + 512 >= cap { return o }
                  o = ad_cat(out, o, "<url><loc>https://nishifamily.com" as *u8)
                  o = aslot_cat_esc(out, o, f2, cap)
                  o = ad_cat(out, o, "</loc></url>\n" as *u8)
              }
          }
      }
      ls = le + 1
  }
  o = ad_cat(out, o, "</urlset>\n" as *u8)
  return o
101}
102
103// current LIVE inventory table (rendered from the exact file the daemon serves from).
104func ac_inventory(inv: *u8, iln: i64, out: *u8, o0: i64, cap: i64) -> i64 {
  var o: i64 = o0
  let id: *u8 = sys_mmap(128)
  let adv: *u8 = sys_mmap(256)
  let img: *u8 = sys_mmap(512)
  let clk: *u8 = sys_mmap(512)
  let sec: *u8 = sys_mmap(128)
  var ls: i64 = 0
  while ls < iln {
      let le: i64 = ad_eol(inv, ls, iln)
      if le > ls {
          if le - ls < K_MAGIC_1400 {
              let row: *u8 = ((inv as i64) + ls) as *u8
              if row[0] != (64 as u8) {
                  aslot_field_b(row, le - ls, 0, id, 128)
                  if aslot_id_ok(id) == 1 {
                      if o + K_MAGIC_2048 >= cap { return o }
                      aslot_field_b(row, le - ls, 1, adv, 256)
                      aslot_field_b(row, le - ls, 2, img, 512)
                      aslot_field_b(row, le - ls, 3, clk, 512)
                      aslot_field_b(row, le - ls, 4, sec, 128)
                      o = ad_cat(out, o, "<tr><td><code>" as *u8)
                      o = ad_cat(out, o, id)
                      o = ad_cat(out, o, "</code></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><a href=\"" as *u8)
                      o = aslot_cat_esc(out, o, img, cap)
                      o = ad_cat(out, o, "\">creative</a></td><td><code>" as *u8)
                      o = aslot_cat_esc(out, o, clk, cap)
                      o = ad_cat(out, o, "</code></td></tr>" as *u8)
                  }
              }
          }
      }
      ls = le + 1
  }
  return o
143}
144
145func ac_wfile(path: *u8, buf: *u8, n: i64) -> i64 {
  let fd: i64 = sys_openat_wr(path, 0x1A4)
  if fd < 0 { return 0 }
  let wr: i64 = sys_write(fd, buf, n)
  sys_close(fd)
  if wr != n { return 0 }
  return 1
152}
153
154func main() -> i64 {
  let rbox: *i64 = (sys_mmap(8)) as *i64
  rbox[0] = 0
  let reg: *u8 = sys_read_file("knowledge/staging/adnet/adnet_properties.txt" as *u8, rbox)
  let rn: i64 = rbox[0]
  if (reg as i64) == 0 { ac_puts("CATALOG RED: no property registry\n" as *u8); sys_exit(1); return 1 }
  let ibox: *i64 = (sys_mmap(8)) as *i64
  ibox[0] = 0
  let inv: *u8 = sys_read_file("knowledge/staging/adnet/adnet_inventory.txt" as *u8, ibox)
  let iln: i64 = ibox[0]
  if (inv as i64) == 0 { ac_puts("CATALOG RED: no inventory\n" as *u8); sys_exit(1); return 1 }
165
  let cap: i64 = K_MAGIC_262144
  let out: *u8 = sys_mmap(cap)
  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>Nishi Ad Real Estate - Living Catalogue</title>" as *u8)
  o = ad_cat(out, o, "<style>body{font-family:system-ui,sans-serif;max-width:960px;margin:4vh auto;padding:0 20px;line-height:1.55;color:var(--fg,black)}table{border-collapse:collapse;width:100%;margin:10px 0 26px}td,th{border:1px solid gray;padding:6px 10px;text-align:left;font-size:.92rem;vertical-align:top}th{background:silver}h2{margin-top:2rem}code{background:gainsboro;padding:1px 5px;border-radius:3px;font-size:.85em}.b{padding:2px 8px;border-radius:10px;font-size:.78rem;font-weight:600;color:white}.b-slot{background:seagreen}.b-gated{background:slategray}.b-policy-off{background:darkgoldenrod}.b-physical-planned{background:steelblue}.nav a{margin-right:16px}</style></head><body>" as *u8)
  o = ad_cat(out, o, "<h1>Nishi Ad Real Estate - Living Catalogue</h1>" as *u8)
  o = ad_cat(out, o, "<p>Every property in the Nishi ecosystem, its ad real estate status, and how to navigate between them. LIVING DOCUMENTATION: this page is generated by <code>nx_adnet_catalog</code> from the property registry and the LIVE serving inventory - regenerate to refresh, never hand-edit. One labeled slot per page, first-party only, zero third-party JS, no visitor identity.</p>" as *u8)
  o = ad_cat(out, o, "<p class=\"nav\"><a href=\"/\">Home</a><a href=\"/synth/adnet_sitemap.xml\">sitemap.xml</a><a href=\"/synth/adnet_inventory.txt\">live inventory</a><a href=\"/compare\">compare plane</a><a href=\"/status.html\">live status</a></p>" as *u8)
174
  o = ad_cat(out, o, "<h2>Digital properties</h2><table><tr><th>property</th><th>url</th><th>ad real estate</th><th>about</th></tr>" as *u8)
  o = ac_section(reg, rn, "digital" as *u8, out, o, cap)
  o = ad_cat(out, o, "</table><h2>Apps</h2><table><tr><th>app</th><th>url</th><th>ad real estate</th><th>about</th></tr>" as *u8)
  o = ac_section(reg, rn, "app" as *u8, out, o, cap)
  o = ad_cat(out, o, "</table><h2>Gated (members) surfaces</h2><table><tr><th>surface</th><th>url</th><th>ad real estate</th><th>about</th></tr>" as *u8)
  o = ac_section(reg, rn, "gated" as *u8, out, o, cap)
  o = ad_cat(out, o, "</table><h2>External properties</h2><table><tr><th>property</th><th>url</th><th>ad real estate</th><th>about</th></tr>" as *u8)
  o = ac_section(reg, rn, "external" as *u8, out, o, cap)
  o = ad_cat(out, o, "</table><h2>Physical real estate</h2><table><tr><th>medium</th><th>lane</th><th>ad real estate</th><th>about</th></tr>" as *u8)
  o = ac_section(reg, rn, "physical" as *u8, out, o, cap)
185
  o = ad_cat(out, o, "</table><h2>Current live inventory</h2><p>Rendered from the exact file the edge serves ads from (<a href=\"/synth/adnet_inventory.txt\">adnet_inventory.txt</a>). Click counters are per-AD only.</p><table><tr><th>id</th><th>advertiser</th><th>section</th><th>creative</th><th>click target</th></tr>" as *u8)
  o = ac_inventory(inv, iln, out, o, cap)
  o = ad_cat(out, o, "</table><p>Slot mechanics: every served HTML page on an ad-enabled host carries ONE labeled slot injected before its closing body tag (a page can refuse via the page-level opt-out marker; gated surfaces never carry ads). Self-serve intake and CPM/CPC billing are gated organs: <code>nx_adnet_selfserve</code> - <code>nx_adnet_bill</code> - <code>nx_adnet_dash</code>.</p>" as *u8)
  o = ad_cat(out, o, "<p>Generated by the sovereign stack - no third-party web server, TLS 1.3 bits-up.</p></body></html>" as *u8)
190
  let smap: *u8 = sys_mmap(K_MAGIC_65536)
  let sn: i64 = ac_sitemap(reg, rn, smap, K_MAGIC_65536)
193
  var ok: i64 = 0
  ok = ok + ac_wfile("knowledge/staging/adnet/adnet_catalog.html" as *u8, out, o)
  ok = ok + ac_wfile("knowledge/staging/adnet/adnet_sitemap.xml" as *u8, smap, sn)
197
  // self-verify: read back + every kind section present + a known property + sitemap wellformed
  var good: i64 = 1
  let vbox: *i64 = (sys_mmap(8)) as *i64
  vbox[0] = 0
  let vc: *u8 = sys_read_file("knowledge/staging/adnet/adnet_catalog.html" as *u8, vbox)
  if (vc as i64) == 0 { good = 0 } else {
      if ac_has(vc, vbox[0], "Nishi Torrent" as *u8) == 0 { good = 0 }
      if ac_has(vc, vbox[0], "Physical real estate" as *u8) == 0 { good = 0 }
      if ac_has(vc, vbox[0], "Explode Lab" as *u8) == 0 { good = 0 }
      if ac_has(vc, vbox[0], "ha-torrent" as *u8) == 0 { good = 0 }
      if ac_has(vc, vbox[0], "<script" as *u8) == 1 { good = 0 }
  }
  let sbox: *i64 = (sys_mmap(8)) as *i64
  sbox[0] = 0
  let sv: *u8 = sys_read_file("knowledge/staging/adnet/adnet_sitemap.xml" as *u8, sbox)
  if (sv as i64) == 0 { good = 0 } else {
      if ac_has(sv, sbox[0], "</urlset>" as *u8) == 0 { good = 0 }
      if ac_has(sv, sbox[0], "https://nishifamily.com/torrent" as *u8) == 0 { good = 0 }
  }
  if ok != 2 { good = 0 }
218
  if good == 1 { ac_puts("ADNET-CATALOG verdict=GREEN (catalog.html + sitemap.xml emitted + verified)\n" as *u8); sys_exit(0); return 0 }
  ac_puts("ADNET-CATALOG verdict=RED\n" as *u8)
  sys_exit(1)
  return 1
223}
nx_adnet_catalog.nx source

`nx_adnet_catalog.nx` source
