nx_clean_market_gate.nx source

1// nx_clean_market_gate.nx -- GATE: R-IMPACT-4, the full clean-produce market in two HONEST tiers. T1 catalog 2// (Dirty Dozen = 12, Clean Fifteen = 5). T2 every item in BOTH tiers triple-wins (we win on every axis). T3 THE 3// HONEST CONTRAST: the Dirty-Dozen average clean GAP is large, the Clean-Fifteen average is small, and dirty 4// far exceeds clean -- mechanical proof we MEASURE residue rather than cherry-pick scary produce. T4 anti- 5// cherry-pick on avocado: we ADMIT conventional avocado is clean, yet ours still wins price + margin + green. 6// T5 the two-tier market renders sovereign (no third-party JS). T6 shipped by the Nishi Publisher. license_tier: ORIGINAL 7import "nx_clean_market.nx" 8import "nx_produce.nx" 9import "nx_publisher.nx" 10import "nx_seg_store.nx" 11import "nx_syscalls.nx" 12 13const CM_FOOD: *u8 = "knowledge/store/food-" 14const CM_Q: *u8 = "knowledge/publish/market-queue.tsv" 15const CM_LED: *u8 = "knowledge/publish/market-ledger.tsv" 16const CM_STG: *u8 = "knowledge/publish/market-stage" 17const CM_LIVE: *u8 = "knowledge/publish/market-live" 18const CM_STAGE_FILE: *u8 = "knowledge/staging/market/clean-market.html" 19const CM_LIVE_FILE: *u8 = "knowledge/publish/market-live/clean-market.html" 20 21func g_p(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } 22func g_i(v: i64) -> i64 { 23 let bb: *u8 = sys_mmap(28); var m: i64 = v 24 if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m } 25 let t: *u8 = sys_mmap(28); var k: i64 = 0 26 if m == 0 { t[0] = 48 as u8; k = 1 } 27 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 28 var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, bb, k); return 0 29} 30func g_exists(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 } 31 32func main() -> i64 { 33 g_p("=== nx_clean_market_gate (R-IMPACT-4: the full clean market, two honest tiers) ===\n" as *u8) 34 fd_seed(CM_FOOD) 35 pd_seed(CM_FOOD) // the original 8 Dirty-Dozen records 36 let sw: i64 = cm_seed(CM_FOOD) // +4 dirty, +5 clean15, +2 tier indices 37 g_p("market records authored this run=" as *u8); g_i(sw); g_p("\n" as *u8) 38 39 var pass: i64 = 0 40 var tot: i64 = 0 41 42 // T1 catalog sizes 43 let dids: *i64 = sys_mmap(8 * 64) as *i64 44 let cids: *i64 = sys_mmap(8 * 64) as *i64 45 let nd: i64 = cm_list(CM_FOOD, "food:tier:dirty" as *u8, dids) 46 let nc: i64 = cm_list(CM_FOOD, "food:tier:clean15" as *u8, cids) 47 g_p("dirty tier=" as *u8); g_i(nd); g_p(" clean15 tier=" as *u8); g_i(nc); g_p("\n" as *u8) 48 tot = tot + 1 49 if nd == 12 { if nc == 5 { pass = pass + 1; g_p("PASS T1 catalog: Dirty Dozen=12, Clean Fifteen=5\n" as *u8) } else { g_p("FAIL T1 clean15\n" as *u8) } } else { g_p("FAIL T1 dirty=" as *u8); g_i(nd); g_p("\n" as *u8) } 50 51 // T2 every item in both tiers triple-wins 52 let td: *i64 = sys_mmap(16) as *i64 53 let tc: *i64 = sys_mmap(16) as *i64 54 let wd: i64 = cm_tier_triple_wins(CM_FOOD, "food:tier:dirty" as *u8, td) 55 let wc: i64 = cm_tier_triple_wins(CM_FOOD, "food:tier:clean15" as *u8, tc) 56 g_p("triple-win dirty=" as *u8); g_i(wd); g_p("/" as *u8); g_i(td[0]); g_p(" clean15=" as *u8); g_i(wc); g_p("/" as *u8); g_i(tc[0]); g_p("\n" as *u8) 57 tot = tot + 1 58 var ok2: i64 = 1 59 if wd != td[0] { ok2 = 0 } 60 if wc != tc[0] { ok2 = 0 } 61 if td[0] != 12 { ok2 = 0 } 62 if tc[0] != 5 { ok2 = 0 } 63 if ok2 == 1 { pass = pass + 1; g_p("PASS T2 EVERY item (17/17) is cleaner+greener+cheaper AND higher-margin\n" as *u8) } else { g_p("FAIL T2\n" as *u8) } 64 65 // T3 THE HONEST CONTRAST: dirty gap large, clean15 gap small, dirty >> clean15 66 let gd: i64 = cm_tier_avg_gap(CM_FOOD, "food:tier:dirty" as *u8) 67 let gc: i64 = cm_tier_avg_gap(CM_FOOD, "food:tier:clean15" as *u8) 68 g_p("avg clean gap: dirty=" as *u8); g_i(gd); g_p(" clean15=" as *u8); g_i(gc); g_p("\n" as *u8) 69 tot = tot + 1 70 var ok3: i64 = 1 71 if gd < 50 { ok3 = 0 } // Dirty Dozen: a big jump (>= 50 points cleaner) 72 if gc > 20 { ok3 = 0 } // Clean Fifteen: honestly small (<= 20) 73 if gd <= gc * 3 { ok3 = 0 } // and the dirty contrast far outweighs the clean one 74 if ok3 == 1 { pass = pass + 1; g_p("PASS T3 honest contrast: dirty avg gap >=50, clean15 avg gap <=20, dirty far exceeds clean (no cherry-pick)\n" as *u8) } else { g_p("FAIL T3 gd=" as *u8); g_i(gd); g_p(" gc=" as *u8); g_i(gc); g_p("\n" as *u8) } 75 76 // T4 anti-cherry-pick on avocado: admit it's clean conventionally, yet ours still wins 77 let acc: i64 = im_clean(CM_FOOD, "avocado" as *u8, "conv" as *u8) 78 let acn: i64 = im_clean(CM_FOOD, "avocado" as *u8, "nishi" as *u8) 79 g_p("avocado clean: conv=" as *u8); g_i(acc); g_p(" nishi=" as *u8); g_i(acn); g_p("\n" as *u8) 80 tot = tot + 1 81 var ok4: i64 = 1 82 if acc < 85 { ok4 = 0 } // we ADMIT conv avocado is clean 83 if acn < acc { ok4 = 0 } // ours is still at least as clean 84 if im_price(CM_FOOD, "avocado" as *u8, "nishi" as *u8) >= im_price(CM_FOOD, "avocado" as *u8, "conv" as *u8) { ok4 = 0 } // cheaper 85 if im_margin(CM_FOOD, "avocado" as *u8, "nishi" as *u8) <= im_margin(CM_FOOD, "avocado" as *u8, "conv" as *u8) { ok4 = 0 } // we earn more 86 if im_greener(CM_FOOD, "avocado" as *u8, "nishi" as *u8, "conv" as *u8) != 1 { ok4 = 0 } // greener 87 if ok4 == 1 { pass = pass + 1; g_p("PASS T4 anti-cherry-pick: conventional avocado IS clean (>=85), yet ours is cheaper + higher-margin + greener\n" as *u8) } else { g_p("FAIL T4\n" as *u8) } 88 89 // T5 the two-tier market renders sovereign 90 let page: *u8 = sys_mmap(65536) 91 let np: i64 = cm_render_market(CM_FOOD, page) 92 g_p("rendered market = " as *u8); g_i(np); g_p(" bytes\n" as *u8) 93 tot = tot + 1 94 var ok5: i64 = 1 95 if as_has_thirdparty_js(page, np) != 0 { ok5 = 0 } 96 if as_contains(page, np, "Dirty Dozen" as *u8) != 1 { ok5 = 0 } 97 if as_contains(page, np, "Clean Fifteen" as *u8) != 1 { ok5 = 0 } 98 if as_contains(page, np, "even here" as *u8) != 1 { ok5 = 0 } 99 if as_contains(page, np, "Nishi avocados" as *u8) != 1 { ok5 = 0 } 100 if as_contains(page, np, "Nishi strawberries" as *u8) != 1 { ok5 = 0 } 101 if ok5 == 1 { pass = pass + 1; g_p("PASS T5 two-tier market renders sovereign (no third-party JS), both tiers + honest framing\n" as *u8) } else { g_p("FAIL T5\n" as *u8) } 102 103 // T6 ship via the Nishi Publisher 104 sys_mkdir("knowledge/staging" as *u8, 0x1ed) 105 sys_mkdir("knowledge/staging/market" as *u8, 0x1ed) 106 let sfd: i64 = sys_openat_wr(CM_STAGE_FILE, 420); if sfd >= 0 { sys_write(sfd, page, np); sys_close(sfd) } 107 pub_init() 108 sys_mkdir(CM_STG, 0x1ed) 109 sys_mkdir(CM_LIVE, 0x1ed) 110 pub_submit_to(CM_Q, CM_STAGE_FILE, "clean-market.html" as *u8, "nishifoodfamily" as *u8, "nishi-market" as *u8, "internal" as *u8) 111 pub_run_full(CM_Q, CM_LED, CM_STG, CM_LIVE, "publish:market" as *u8) 112 tot = tot + 1 113 if g_exists(CM_LIVE_FILE) == 1 { pass = pass + 1; g_p("PASS T6 SHIPPED by the Nishi Publisher -> market-live/clean-market.html (sha-verified, ledgered)\n" as *u8) } else { g_p("FAIL T6 not promoted\n" as *u8) } 114 115 g_p("nx_clean_market_gate pass=" as *u8); g_i(pass); g_p("/" as *u8); g_i(tot) 116 if pass == tot { g_p(" verdict=GREEN (full clean market, two honest tiers: we win everywhere, and we measure honestly)\n" as *u8); return 0 } 117 g_p(" verdict=RED\n" as *u8) 118 return 1 119}