code wiki / _hdl_build / nx_clean_market_gate.nx
nx_clean_market_gate.nx source
↩ module page · 126 lines · 7995 B
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"
12import "nx_gate_verdict.nx"
13
14const CM_FOOD: *u8 = "knowledge/store/food-"
15const CM_Q: *u8 = "knowledge/publish/market-queue.tsv"
16const CM_LED: *u8 = "knowledge/publish/market-ledger.tsv"
17const CM_STG: *u8 = "knowledge/publish/market-stage"
18const CM_LIVE: *u8 = "knowledge/publish/market-live"
19const CM_STAGE_FILE: *u8 = "knowledge/staging/market/clean-market.html"
20const CM_LIVE_FILE: *u8 = "knowledge/publish/market-live/clean-market.html"
21
22func 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 }
23func g_i(v: i64) -> i64 {
24 let bb: *u8 = sys_mmap(28); var m: i64 = v
25 if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m }
26 let t: *u8 = sys_mmap(28); var k: i64 = 0
27 if m == 0 { t[0] = 48 as u8; k = 1 }
28 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 }
29 var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, bb, k); return 0
30}
31func g_exists(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 }
32
33func main() -> i64 {
34 g_p("=== nx_clean_market_gate (R-IMPACT-4: the full clean market, two honest tiers) ===\n" as *u8)
35 fd_seed(CM_FOOD)
36 pd_seed(CM_FOOD) // the original 8 Dirty-Dozen records
37 let sw: i64 = cm_seed(CM_FOOD) // +4 dirty, +5 clean15, +2 tier indices
38 g_p("market records authored this run=" as *u8); g_i(sw); g_p("\n" as *u8)
39
40 var pass: i64 = 0
41 var tot: i64 = 0
42
43 // T1 catalog sizes
44 let dids: *i64 = sys_mmap(8 * 64) as *i64
45 let cids: *i64 = sys_mmap(8 * 64) as *i64
46 let nd: i64 = cm_list(CM_FOOD, "food:tier:dirty" as *u8, dids)
47 let nc: i64 = cm_list(CM_FOOD, "food:tier:clean15" as *u8, cids)
48 g_p("dirty tier=" as *u8); g_i(nd); g_p(" clean15 tier=" as *u8); g_i(nc); g_p("\n" as *u8)
49 tot = tot + 1
50 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) }
51
52 // T2 every item in both tiers triple-wins
53 let td: *i64 = sys_mmap(16) as *i64
54 let tc: *i64 = sys_mmap(16) as *i64
55 let wd: i64 = cm_tier_triple_wins(CM_FOOD, "food:tier:dirty" as *u8, td)
56 let wc: i64 = cm_tier_triple_wins(CM_FOOD, "food:tier:clean15" as *u8, tc)
57 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)
58 tot = tot + 1
59 var ok2: i64 = 1
60 if wd != td[0] { ok2 = 0 }
61 if wc != tc[0] { ok2 = 0 }
62 if td[0] != 12 { ok2 = 0 }
63 if tc[0] != 5 { ok2 = 0 }
64 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) }
65
66 // T3 THE HONEST CONTRAST: dirty gap large, clean15 gap small, dirty >> clean15
67 let gd: i64 = cm_tier_avg_gap(CM_FOOD, "food:tier:dirty" as *u8)
68 let gc: i64 = cm_tier_avg_gap(CM_FOOD, "food:tier:clean15" as *u8)
69 g_p("avg clean gap: dirty=" as *u8); g_i(gd); g_p(" clean15=" as *u8); g_i(gc); g_p("\n" as *u8)
70 tot = tot + 1
71 var ok3: i64 = 1
72 if gd < 50 { ok3 = 0 } // Dirty Dozen: a big jump (>= 50 points cleaner)
73 if gc > 20 { ok3 = 0 } // Clean Fifteen: honestly small (<= 20)
74 if gd <= gc * 3 { ok3 = 0 } // and the dirty contrast far outweighs the clean one
75 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) }
76
77 // T4 anti-cherry-pick on avocado: admit it's clean conventionally, yet ours still wins
78 let acc: i64 = im_clean(CM_FOOD, "avocado" as *u8, "conv" as *u8)
79 let acn: i64 = im_clean(CM_FOOD, "avocado" as *u8, "nishi" as *u8)
80 g_p("avocado clean: conv=" as *u8); g_i(acc); g_p(" nishi=" as *u8); g_i(acn); g_p("\n" as *u8)
81 tot = tot + 1
82 var ok4: i64 = 1
83 if acc < 85 { ok4 = 0 } // we ADMIT conv avocado is clean
84 if acn < acc { ok4 = 0 } // ours is still at least as clean
85 if im_price(CM_FOOD, "avocado" as *u8, "nishi" as *u8) >= im_price(CM_FOOD, "avocado" as *u8, "conv" as *u8) { ok4 = 0 } // cheaper
86 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
87 if im_greener(CM_FOOD, "avocado" as *u8, "nishi" as *u8, "conv" as *u8) != 1 { ok4 = 0 } // greener
88 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) }
89
90 // T5 the two-tier market renders sovereign
91 let page: *u8 = sys_mmap(65536)
92 let np: i64 = cm_render_market(CM_FOOD, page)
93 g_p("rendered market = " as *u8); g_i(np); g_p(" bytes\n" as *u8)
94 tot = tot + 1
95 var ok5: i64 = 1
96 if as_has_thirdparty_js(page, np) != 0 { ok5 = 0 }
97 if as_contains(page, np, "Dirty Dozen" as *u8) != 1 { ok5 = 0 }
98 if as_contains(page, np, "Clean Fifteen" as *u8) != 1 { ok5 = 0 }
99 if as_contains(page, np, "even here" as *u8) != 1 { ok5 = 0 }
100 if as_contains(page, np, "Nishi avocados" as *u8) != 1 { ok5 = 0 }
101 if as_contains(page, np, "Nishi strawberries" as *u8) != 1 { ok5 = 0 }
102 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) }
103
104 // T6 ship via the Nishi Publisher
105 sys_mkdir("knowledge/staging" as *u8, 0x1ed)
106 sys_mkdir("knowledge/staging/market" as *u8, 0x1ed)
107 let sfd: i64 = sys_openat_wr(CM_STAGE_FILE, 420); if sfd >= 0 { sys_write(sfd, page, np); sys_close(sfd) }
108 pub_init()
109 sys_mkdir(CM_STG, 0x1ed)
110 sys_mkdir(CM_LIVE, 0x1ed)
111 pub_submit_to(CM_Q, CM_STAGE_FILE, "clean-market.html" as *u8, "nishifoodfamily" as *u8, "nishi-market" as *u8, "internal" as *u8)
112 pub_run_full(CM_Q, CM_LED, CM_STG, CM_LIVE, "publish:market" as *u8)
113 tot = tot + 1
114 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) }
115
116 g_p("nx_clean_market_gate pass=" as *u8); g_i(pass); g_p("/" as *u8); g_i(tot)
117 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check
118 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled
119 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify.
120 let ctr__dry: *i64 = gv_ctr()
121 ctr__dry[0] = pass
122 ctr__dry[1] = tot
123 let rc__dry: i64 = gv_verdict("CLEAN-MARKET-GATE" as *u8, ctr__dry, "full clean market, two honest tiers: we win everywhere, and we measure honestly)" as *u8)
124 sys_exit(rc__dry)
125 return rc__dry
126}