`nx_tokroi.nx` source

↩ module page · 166 lines · 8037 B
1// nx_tokroi.nx -- TOKEN-EFFICIENCY ROI LEDGER (operator 2026-07-21: 'a plan that X investment reduces
2// Y token use with CLEAR EVIDENCE'). Per lever: reduction_per_use = baseline - after (MEASURED, byte/
3// tok evidence cited); daily_reduction = reduction * uses_per_day (uses = DECLARED assumption);
4// payback_uses = investment / reduction. status REALIZED (live+measured) vs PROJECTED (built, not yet
5// wired) kept SEPARATE so no fake realized totals. Composes nx_sovjson_lib (sj_*) from birth = OO,
6// dogfoods the shared base. license_tier: ORIGINAL   No hw writes (Rule 26).   expect_exit: 0
7//   report [roiprefix]   -> ROI JSON  |  selftest [tmpprefix] -> gate T1..T5
8// tokroi- row = id lever status investment baseline after uses_per_day evidence (8-col plane).
9import "nx_sovjson_lib.nx"
10import "nx_store_seed_lib.nx"
11import "nx_seg_store.nx"
12import "nx_gate_verdict.nx"
13import "nx_syscalls.nx"
14
15const TR_CAP: i64 = 1048576
16const TR_OUT: i64 = 16384
17const TR_SPAN: i64 = 16
18const TR_USAGE: i64 = 2
19const TR_ESC: i64 = 90
20
21func tr_report(prefix: *u8, out: *u8) -> i64 {
  let buf: *u8 = sys_mmap(TR_CAP)
  let n: i64 = sts_load(prefix, buf, TR_CAP)
  let c0: *i64 = sys_mmap(TR_SPAN) as *i64
  let c1: *i64 = sys_mmap(TR_SPAN) as *i64
  let c2: *i64 = sys_mmap(TR_SPAN) as *i64
  let c3: *i64 = sys_mmap(TR_SPAN) as *i64
  let c4: *i64 = sys_mmap(TR_SPAN) as *i64
  let c5: *i64 = sys_mmap(TR_SPAN) as *i64
  let c6: *i64 = sys_mmap(TR_SPAN) as *i64
  let c7: *i64 = sys_mmap(TR_SPAN) as *i64
  var rz_daily: i64 = 0
  var rz_inv: i64 = 0
  var rz_lev: i64 = 0
  var pj_daily: i64 = 0
  var pj_inv: i64 = 0
  var pj_lev: i64 = 0
  var o: i64 = 0
  o = sj_cat(out, o, "{\"organ\":\"nx_tokroi\",\"verb\":\"report\",\"levers\":[" as *u8)
  var shown: i64 = 0
  var i: i64 = 0
  while i < n {
      let le: i64 = sj_le(buf, i, n)
      if sj_col(buf, i, le, 0, c0) == 1 { if sj_col(buf, i, le, 1, c1) == 1 { if sj_col(buf, i, le, 2, c2) == 1 {
          var inv: i64 = 0
          var base: i64 = 0
          var aft: i64 = 0
          var uses: i64 = 0
          if sj_col(buf, i, le, 3, c3) == 1 { inv = sj_atoi_span(buf, c3[0], c3[1]) }
          if sj_col(buf, i, le, 4, c4) == 1 { base = sj_atoi_span(buf, c4[0], c4[1]) }
          if sj_col(buf, i, le, 5, c5) == 1 { aft = sj_atoi_span(buf, c5[0], c5[1]) }
          if sj_col(buf, i, le, 6, c6) == 1 { uses = sj_atoi_span(buf, c6[0], c6[1]) }
          var red: i64 = base - aft
          if red < 0 { red = 0 }
          let daily: i64 = red * uses
          var payback: i64 = 0 - 1
          if red > 0 { payback = inv / red }
          var isproj: i64 = 0
          if sj_lit_eq(buf, c2[0], c2[1], "PROJECTED" as *u8) == 1 { isproj = 1 }
          if isproj == 1 { pj_daily = pj_daily + daily; pj_inv = pj_inv + inv; pj_lev = pj_lev + 1 } else { rz_daily = rz_daily + daily; rz_inv = rz_inv + inv; rz_lev = rz_lev + 1 }
          if shown > 0 { o = sj_cat(out, o, "," as *u8) }
          o = sj_cat(out, o, "{\"id\":\"" as *u8)
          o = sj_cat_esc(out, o, buf, c0[0], c0[1], 20)
          o = sj_cat(out, o, "\",\"lever\":\"" as *u8)
          o = sj_cat_esc(out, o, buf, c1[0], c1[1], 40)
          o = sj_cat(out, o, "\",\"status\":\"" as *u8)
          o = sj_cat_esc(out, o, buf, c2[0], c2[1], 12)
          o = sj_cat(out, o, "\",\"investment\":" as *u8)
          o = sj_catn(out, o, inv)
          o = sj_cat(out, o, ",\"baseline\":" as *u8)
          o = sj_catn(out, o, base)
          o = sj_cat(out, o, ",\"after\":" as *u8)
          o = sj_catn(out, o, aft)
          o = sj_cat(out, o, ",\"reduction_per_use\":" as *u8)
          o = sj_catn(out, o, red)
          o = sj_cat(out, o, ",\"uses_per_day\":" as *u8)
          o = sj_catn(out, o, uses)
          o = sj_cat(out, o, ",\"daily_reduction\":" as *u8)
          o = sj_catn(out, o, daily)
          o = sj_cat(out, o, ",\"payback_uses\":" as *u8)
          o = sj_catn(out, o, payback)
          o = sj_cat(out, o, ",\"evidence\":\"" as *u8)
          if sj_col(buf, i, le, 7, c7) == 1 { o = sj_cat_esc(out, o, buf, c7[0], c7[1], TR_ESC) }
          o = sj_cat(out, o, "\"}" as *u8)
          shown = shown + 1
      } } }
      i = le + 1
  }
  o = sj_cat(out, o, "],\"realized\":{\"daily_reduction\":" as *u8)
  o = sj_catn(out, o, rz_daily)
  o = sj_cat(out, o, ",\"investment\":" as *u8)
  o = sj_catn(out, o, rz_inv)
  o = sj_cat(out, o, ",\"levers\":" as *u8)
  o = sj_catn(out, o, rz_lev)
  o = sj_cat(out, o, "},\"projected\":{\"daily_reduction\":" as *u8)
  o = sj_catn(out, o, pj_daily)
  o = sj_cat(out, o, ",\"investment\":" as *u8)
  o = sj_catn(out, o, pj_inv)
  o = sj_cat(out, o, ",\"levers\":" as *u8)
  o = sj_catn(out, o, pj_lev)
  o = sj_cat(out, o, "},\"rows\":" as *u8)
  o = sj_catn(out, o, shown)
  o = sj_cat(out, o, ",\"note\":\"reduction_per_use=baseline-after MEASURED(byte/tok evidence); daily=reduction*uses_per_day(uses=DECLARED assumption); payback=investment/reduction; investment=one-off build cost ESTIMATE; REALIZED=live+measured, PROJECTED=built-not-wired kept SEPARATE\"}" as *u8)
  out[o] = 10 as u8
  o = o + 1
  return o
107}
108func tr_selftest(base: *u8) -> i64 {
  let ctr: *i64 = gv_ctr()
  gv_head("nx_tokroi selftest -- investment->reduction ledger, realized/projected split" as *u8)
  let now: i64 = sys_now_realtime_sec()
  let fp: *u8 = sys_mmap(256)
  var fo: i64 = sj_cat(fp, 0, base)
  fo = sj_catn(fp, fo, now)
  fo = sj_cat(fp, fo, "tokroi-" as *u8)
  fp[fo] = 0 as u8
  let seed: *u8 = sys_mmap(TR_CAP)
  var so: i64 = 0
  so = sj_cat(seed, so, "R1	boot-digest	REALIZED	150000	40000	300	16	seat-S0
120" as *u8)
  so = sj_cat(seed, so, "R2	fs-lines	REALIZED	30000	70847	869	4	fslines
122" as *u8)
  so = sj_cat(seed, so, "P1	split-brain	PROJECTED	250000	85172	0	30	clawf
124" as *u8)
  sts_seed(fp, seed, so)
  let out: *u8 = sys_mmap(TR_OUT)
  let l: i64 = tr_report(fp, out)
  var t1: i64 = 0
  if sj_span_has(out, 0, l, "\"reduction_per_use\":39700" as *u8) == 1 { if sj_span_has(out, 0, l, "\"payback_uses\":3" as *u8) == 1 { t1 = 1 } }
  gv_check("T1 per-lever reduction+payback exact (40000-300=39700, 150000/39700=3)" as *u8, t1, ctr)
  gv_check("T2 daily = reduction*uses (39700*16=635200)" as *u8, sj_span_has(out, 0, l, "\"daily_reduction\":635200" as *u8), ctr)
  gv_check("T3 realized totals exact + separate" as *u8, sj_span_has(out, 0, l, "\"realized\":{\"daily_reduction\":915112,\"investment\":180000,\"levers\":2}" as *u8), ctr)
  gv_check("T4 projected kept SEPARATE (no fake realized)" as *u8, sj_span_has(out, 0, l, "\"projected\":{\"daily_reduction\":2555160,\"investment\":250000,\"levers\":1}" as *u8), ctr)
  gv_check("T5 methodology declared in-band" as *u8, sj_span_has(out, 0, l, "reduction_per_use=baseline-after MEASURED" as *u8), ctr)
  let rc: i64 = gv_verdict("TOKROI-GATE" as *u8, ctr, "investment->reduction ledger: measured reductions, declared assumptions, realized/projected split" as *u8)
  return rc
137}
138func main(argc: i64, argv: *i64) -> i64 {
  if argc < 2 {
      sj_werr("usage: nx_tokroi {report [roiprefix] | selftest [tmpprefix]}
141" as *u8)
      sys_exit(TR_USAGE)
      return TR_USAGE
  }
  let verb: *u8 = argv[1] as *u8
  if sj_lit_eq(verb, 0, sj_vlen(verb), "report" as *u8) == 1 {
      var pfx: *u8 = "knowledge/store/tokroi-" as *u8
      if argc > 2 { pfx = argv[2] as *u8 }
      let out: *u8 = sys_mmap(TR_OUT)
      let n: i64 = tr_report(pfx, out)
      sys_write(1, out, n)
      sys_exit(0)
      return 0
  }
  if sj_lit_eq(verb, 0, sj_vlen(verb), "selftest" as *u8) == 1 {
      var b: *u8 = "/tmp/nxtroi_st" as *u8
      if argc > 2 { b = argv[2] as *u8 }
      let rc: i64 = tr_selftest(b)
      sys_exit(rc)
      return rc
  }
  sj_werr("TOKROI-FAIL unknown verb
163" as *u8)
  sys_exit(TR_USAGE)
  return TR_USAGE
166}
nx_tokroi.nx source

`nx_tokroi.nx` source
