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

↩ module page · 149 lines · 7689 B
1// nx_eff_board_gate.nx -- gate for the efficiency/ROI board core (nx_eff_board_lib). On nx_gate_verdict
2// (D001 migrate-on-touch). Proves: eff- plane day-row summing + meta read; roi- value sum; conversion
3// KAT (money integer-exact); monthly extrapolation; FAIL-CLOSED UNSEEDED (no fabricated spend); JSON
4// emit markers (UNSEEDED vs ESTIMATE); production-shape scale tooth (28 day rows = full window).
5// license_tier: ORIGINAL   No hw writes (Rule 26).   expect_exit: 0
6import "nx_eff_board_lib.nx"
7import "nx_gate_verdict.nx"
8
9const G_BUF: i64 = 262144
10
11func g_cat(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; var oo: i64 = o; while s[i] != (0 as u8) { d[oo] = s[i]; oo = oo + 1; i = i + 1 } return oo }
12func g_catn(d: *u8, o: i64, v: i64) -> i64 { return ss_catn(d, o, v) }
13// substring search
14func g_has(buf: *u8, n: i64, pat: *u8) -> i64 {
  let pl: i64 = eb_len(pat)
  if pl == 0 { return 0 }
  var i: i64 = 0
  while i + pl <= n {
      var k: i64 = 0
      var ok: i64 = 1
      while k < pl { if buf[i+k] != pat[k] { ok = 0; k = pl } else { k = k + 1 } }
      if ok == 1 { return 1 }
      i = i + 1
  }
  return 0
26}
27func g_zero(m: *i64) -> i64 { var z: i64 = 0; while z < 64 { m[z] = 0; z = z + 1 } return 0 }
28
29func main(argc: i64, argv: *i64) -> i64 {
  let ctr: *i64 = gv_ctr()
  gv_head("nx_eff_board_gate -- eff plane sum, roi value, conversions, fail-closed, emit markers, scale" as *u8)
32
  // ---- T1 eff- day-row sum + meta read
  let eb: *u8 = sys_mmap(G_BUF)
  var en: i64 = 0
  en = g_cat(eb, en, "meta\t7\t20652\t104031\t84\t3\t1784412000\n" as *u8)
  en = g_cat(eb, en, "d20651\t20651\t100\t10\t20\t30\t120\t1000\t2000\t5000\t400\t2\n" as *u8)
  en = g_cat(eb, en, "d20652\t20652\t50\t5\t10\t15\t60\t500\t1000\t3000\t100\t1\n" as *u8)
  en = g_cat(eb, en, "m0\t1000000\t0\t0\t0\n" as *u8)
  let m: *i64 = sys_mmap(64*8) as *i64
  g_zero(m)
  let days: i64 = eb_eff_scan(eb, en, m)
  var t1: i64 = 0
  if days == 2 { if m[M_ACT] == 150 { if m[M_TIN] == 1500 { if m[M_TOUT] == 3000 { if m[M_TCR] == 8000 { if m[M_TCW] == 500 { if m[M_SEC] == 180 { if m[M_WIN] == 7 { if m[M_TRUNC] == 3 { if m[M_AVAIL] == 1 { t1 = 1 } } } } } } } } } }
  gv_check("T1 eff-day-sum+meta (act150 tin1500 sec180 win7 trunc3)" as *u8, t1, ctr)
46
  // ---- T2 mcp/shell/file mix
  var t2: i64 = 0
  if m[M_MCP] == 15 { if m[M_SH] == 30 { if m[M_FILE] == 45 { if m[M_TRF] == 3 { t2 = 1 } } } }
  gv_check("T2 action-mix + trfiles" as *u8, t2, ctr)
51
  // ---- T3 roi value sum (declared 3x2000 + measured:tools qty0 -> 6000)
  let rb: *u8 = sys_mmap(G_BUF)
  var rn: i64 = 0
  rn = g_cat(rb, rn, "roi001\thosting\tdeclared\t3\t2000\tvs managed site\n" as *u8)
  rn = g_cat(rb, rn, "roi002\ttools\tmeasured:tools\t0\t400\tper live tool (pm resolves)\n" as *u8)
  let vv: i64 = eb_roi_value(rb, rn, m)
  var t3: i64 = 0
  if vv == 6000 { if m[M_ROIAV] == 1 { t3 = 1 } }
  gv_check("T3 roi-value-sum==6000 (measured-row qty0 contributes 0)" as *u8, t3, ctr)
61
  // ---- T4 conversion KAT: cost of the summed tokens (1500,3000,8000,500)
  //   bp = 1500*100 + 3000*500 + 8000*10 + 500*125 = 150000+1500000+80000+62500 = 1792500
  //   cost = 1792500*1500/1e8 = 26 cents (integer floor)
  let cost: i64 = efl_cost_cents(1500, 3000, 8000, 500)
  var t4: i64 = 0
  if cost == 26 { t4 = 1 }
  gv_check("T4 cost-kat==26c (1792500bp x 1500 / 1e8, integer floor)" as *u8, t4, ctr)
69
  // ---- T5 energy KAT: compute-weighted bp=(1500*100+3000*500+8000*10+500*125)=1792500 /1e6 = 1 Wh (integer)
  let wh: i64 = efl_energy_wh(1500, 3000, 8000, 500)
  var t5: i64 = 0
  if wh == 1 { t5 = 1 }
  gv_check("T5 energy-kat==1Wh (compute-weighted bp 1792500 / 1e6; cache down-weighted)" as *u8, t5, ctr)
  // ---- T5b energy calibration: pure 1M output tokens -> weight 500 -> 500M bp /1e6 = 500 Wh = 5e-4 Wh/tok (research)
  var t5b: i64 = 0
  if efl_energy_wh(0, 1000000, 0, 0) == 500 { t5b = 1 }
  gv_check("T5b energy calibrated 1M-output==500Wh (5e-4 Wh/tok, fetched research)" as *u8, t5b, ctr)
79
  // ---- T6 monthly extrapolation: 26 x 30 / 7 = 111
  let mo: i64 = eb_monthly(26, 7)
  var t6: i64 = 0
  if mo == 111 { t6 = 1 }
  gv_check("T6 monthly-extrapolation 26/7d->111/mo" as *u8, t6, ctr)
85
  // ---- T7 FAIL-CLOSED: fresh m (unseeded) -> JSON carries UNSEEDED, NOT ESTIMATE
  let m2: *i64 = sys_mmap(64*8) as *i64
  g_zero(m2)
  eb_eff_scan(eb, 0, m2)
  let ob: *u8 = sys_mmap(EB_OUT_CAP)
  let on: i64 = eb_emit_json(ob, m2)
  var t7: i64 = 0
  if g_has(ob, on, "UNSEEDED" as *u8) == 1 { if g_has(ob, on, "spend_measured" as *u8) == 0 { t7 = 1 } }
  gv_check("T7 unseeded-json-fail-closed (no spend invented)" as *u8, t7, ctr)
95
  // ---- T8 seeded JSON: ESTIMATE + measured + roi_pct + cache-dominant feedback
  let on2: i64 = eb_emit_json(ob, m)
  var t8: i64 = 0
  if g_has(ob, on2, "\x22status\x22:\x22ESTIMATE\x22" as *u8) == 1 { if g_has(ob, on2, "spend_measured" as *u8) == 1 { if g_has(ob, on2, "roi_pct" as *u8) == 1 { if g_has(ob, on2, "CONTEXT/CACHE" as *u8) == 1 { t8 = 1 } } } }
  gv_check("T8 seeded-json-markers (ESTIMATE+measured+roi_pct+cache-feedback)" as *u8, t8, ctr)
101
  // ---- T9 research opps + fetch targets present (operator: flag beyond-SOTA + what to fetch)
  var t9: i64 = 0
  if g_has(ob, on2, "research_opps" as *u8) == 1 { if g_has(ob, on2, "fetch_targets" as *u8) == 1 { if g_has(ob, on2, "per-message model attribution" as *u8) == 1 { t9 = 1 } } }
  gv_check("T9 research-opps+fetch-targets emitted" as *u8, t9, ctr)
106
  // ---- T10 HTML emit skeleton + honesty markers
  let hn: i64 = eb_emit_html(ob, m)
  var t10: i64 = 0
  if g_has(ob, hn, "Efficiency &amp; ROI" as *u8) == 1 { if g_has(ob, hn, "ESTIMATE" as *u8) == 1 { if g_has(ob, hn, "measured facts vs declared-rate estimates" as *u8) == 1 { t10 = 1 } } }
  gv_check("T10 html-skeleton+honesty-markers" as *u8, t10, ctr)
112
  // ---- T11 SCALE TOOTH (production shape): full 28-day window + meta, all summed
  let sb: *u8 = sys_mmap(G_BUF)
  var sn: i64 = 0
  sn = g_cat(sb, sn, "meta\t28\t20652\t104031\t84\t0\t1784412000\n" as *u8)
  var d: i64 = 0
  while d < 28 {
      sn = g_cat(sb, sn, "d" as *u8)
      sn = g_catn(sb, sn, 20625 + d)
      sn = g_cat(sb, sn, "\t" as *u8)
      sn = g_catn(sb, sn, 20625 + d)
      sn = g_cat(sb, sn, "\t100\t10\t20\t30\t60\t1000\t1000\t1000\t100\t1\n" as *u8)
      d = d + 1
  }
  let m3: *i64 = sys_mmap(64*8) as *i64
  g_zero(m3)
  let sd: i64 = eb_eff_scan(sb, sn, m3)
  var t11: i64 = 0
  if sd == 28 { if m3[M_ACT] == 2800 { if m3[M_TIN] == 28000 { if m3[M_WIN] == 28 { t11 = 1 } } } }
  gv_check("T11 scale-tooth-28day-window-summed" as *u8, t11, ctr)
132
  // T12 per-model row -> real cost (fable m0 in=1M -> $10 = 1000c; MODSEEN set)
  var t12: i64 = 0
  if m[M_MODSEEN] == 1 { if m[M_MODBASE] == 1000000 { if eb_realcost(m) == 1000 { t12 = 1 } } }
  gv_check("T12 per-model row -> real cost (fable 1M-in==1000c, MODSEEN)" as *u8, t12, ctr)
  // T13 efficiency KPIs: cost 1000c / 100 actions = 10 c/action; cache 8000/(1500+8000+500)=80%
  let mk: *i64 = sys_mmap(64*8) as *i64
  g_zero(mk)
  mk[M_TIN] = 1500
  mk[M_TCR] = 8000
  mk[M_TCW] = 500
  var t13: i64 = 0
  if eb_cost_per_action(1000, 100) == 10 { if eb_cache_ratio_pct(mk) == 80 { t13 = 1 } }
  gv_check("T13 efficiency KPIs (cost/action==10c, cache-ratio==80pct)" as *u8, t13, ctr)
  let rc: i64 = gv_verdict("EFF-BOARD-GATE" as *u8, ctr, "plane sum + roi + conversions + fail-closed + emit + scale + per-model + kpi" as *u8)
  sys_exit(rc)
  return rc
149}
nx_eff_board_gate.nx source

`nx_eff_board_gate.nx` source
