nx_supp_jurisdiction_test.nx source
↩ module page · 137 lines · 7794 B
1// nx_supp_jurisdiction_test.nx -- gate for the market-access rung.
2// T3 is the one that answers the strategic question with arithmetic instead
3// of opinion: for a botanical, the US is the LOWEST-burden market of the six.
4// T5 is the one that closes the offshore idea for peptides: NO modelled
5// market offers them a supplement route, computed across all six.
6// expect_exit: 0 license_tier: ORIGINAL
7import "nx_syscalls.nx"
8import "nx_supp_ingredient.nx"
9import "nx_supp_jurisdiction.nx"
10
11func t_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
12func t_putn(v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64 = v; if m < 0 { m = 0 - m; sys_write(1, "-" as *u8, 1) } let t: *u8 = sys_mmap(28); var k: i64 = 0; if m == 0 { t[0] = 48 as u8; k = 1 } while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, bb, k); return 0 }
13
14func main() -> i64 {
15 var pass: i64 = 0
16 var total: i64 = 0
17
18 // --- T1 a lawful botanical is sellable in every modelled market ---
19 total = total + 1
20 let open_ash: i64 = sj_markets_open(SI_ASHWAGANDHA)
21 let open_cit: i64 = sj_markets_open(SI_L_CITRULLINE)
22 t_puts("T1 markets open: ashwagandha=" as *u8); t_putn(open_ash); t_puts("/6 citrulline=" as *u8); t_putn(open_cit); t_puts("/6: " as *u8)
23 if open_ash == SJ_N { if open_cit == SJ_N { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) } } else { t_puts("FAIL\n" as *u8) }
24
25 // --- T2 BELARUS/EAEU: sellable, but PREMARKET REGISTRATION required ---
26 // This is the structural difference from the US and it drives the plan.
27 total = total + 1
28 let path_eaeu: i64 = sj_pathway(SJ_EAEU, SI_ASHWAGANDHA)
29 let pre_eaeu: i64 = sj_premarket_required(SJ_EAEU, SI_ASHWAGANDHA)
30 let path_us: i64 = sj_pathway(SJ_US, SI_ASHWAGANDHA)
31 let pre_us: i64 = sj_premarket_required(SJ_US, SI_ASHWAGANDHA)
32 t_puts("T2 EAEU pathway=" as *u8); t_putn(path_eaeu); t_puts(" premarket=" as *u8); t_putn(pre_eaeu); t_puts(" ; US pathway=" as *u8); t_putn(path_us); t_puts(" premarket=" as *u8); t_putn(pre_us); t_puts(" want 3/1 vs 1/0: " as *u8)
33 var ok2: i64 = 1
34 if path_eaeu != SJ_PATH_REGISTRATION { ok2 = 0 }
35 if pre_eaeu != 1 { ok2 = 0 }
36 if path_us != SJ_PATH_NO_PREMARKET { ok2 = 0 }
37 if pre_us != 0 { ok2 = 0 }
38 if ok2 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
39
40 // --- T3 THE STRATEGIC ANSWER: the US is the LOWEST-burden market ---
41 total = total + 1
42 let best: i64 = sj_lowest_burden_market(SI_ASHWAGANDHA)
43 let d_us: i64 = sj_review_days(SJ_US)
44 let d_eaeu: i64 = sj_review_days(SJ_EAEU)
45 let d_eu: i64 = sj_review_days(SJ_EU)
46 t_puts("T3 lowest-burden market = " as *u8); t_puts(sj_name(best)); t_puts(" ; review days US=" as *u8); t_putn(d_us); t_puts(" EAEU=" as *u8); t_putn(d_eaeu); t_puts(" EU=" as *u8); t_putn(d_eu); t_puts(": " as *u8)
47 var ok3: i64 = 1
48 if best != SJ_US { ok3 = 0 }
49 if d_us != 0 { ok3 = 0 }
50 if d_eaeu <= d_us { ok3 = 0 }
51 if d_eu <= d_eaeu { ok3 = 0 }
52 if ok3 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
53
54 // --- T4 cost ordering matches burden ordering ---
55 total = total + 1
56 let c_us: i64 = sj_dossier_cost_cents(SJ_US)
57 let c_eaeu: i64 = sj_dossier_cost_cents(SJ_EAEU)
58 let c_eu: i64 = sj_dossier_cost_cents(SJ_EU)
59 t_puts("T4 dossier cost US=" as *u8); t_putn(c_us); t_puts("c EAEU=" as *u8); t_putn(c_eaeu); t_puts("c EU=" as *u8); t_putn(c_eu); t_puts("c: " as *u8)
60 var ok4: i64 = 1
61 if c_us != 0 { ok4 = 0 }
62 if c_eaeu <= c_us { ok4 = 0 }
63 if c_eu <= c_eaeu { ok4 = 0 }
64 if ok4 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
65
66 // --- T5 NO MARKET OFFERS PEPTIDES A SUPPLEMENT ROUTE ---
67 // Computed across all six, not asserted. A government partnership does
68 // not convert a drug into a supplement.
69 total = total + 1
70 let anyp: i64 = sj_any_peptide_supplement_path()
71 let kp_open: i64 = sj_markets_open(SI_KISSPEPTIN10)
72 let ox_open: i64 = sj_markets_open(SI_OXYTOCIN)
73 let bpc_open: i64 = sj_markets_open(SI_BPC157)
74 t_puts("T5 any peptide supplement path anywhere=" as *u8); t_putn(anyp); t_puts(" ; markets open kisspeptin=" as *u8); t_putn(kp_open); t_puts(" oxytocin=" as *u8); t_putn(ox_open); t_puts(" BPC-157=" as *u8); t_putn(bpc_open); t_puts(" want 0/0/0/0: " as *u8)
75 var ok5: i64 = 1
76 if anyp != 0 { ok5 = 0 }
77 if kp_open != 0 { ok5 = 0 }
78 if ox_open != 0 { ok5 = 0 }
79 if bpc_open != 0 { ok5 = 0 }
80 if ok5 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
81
82 // --- T6 a drug is routed to the MEDICINES pathway, not to nothing ---
83 // The distinction matters: oxytocin has a real regulatory route, it is
84 // just not a supplement one.
85 total = total + 1
86 let p_ox_us: i64 = sj_pathway(SJ_US, SI_OXYTOCIN)
87 let p_ox_ea: i64 = sj_pathway(SJ_EAEU, SI_OXYTOCIN)
88 let p_kp: i64 = sj_pathway(SJ_EAEU, SI_KISSPEPTIN10)
89 t_puts("T6 oxytocin US=" as *u8); t_putn(p_ox_us); t_puts(" EAEU=" as *u8); t_putn(p_ox_ea); t_puts(" (5=DRUG_ONLY) ; kisspeptin EAEU=" as *u8); t_putn(p_kp); t_puts(" (0=NONE): " as *u8)
90 var ok6: i64 = 1
91 if p_ox_us != SJ_PATH_DRUG_ONLY { ok6 = 0 }
92 if p_ox_ea != SJ_PATH_DRUG_ONLY { ok6 = 0 }
93 if p_kp != SJ_PATH_NONE { ok6 = 0 }
94 if ok6 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
95
96 // --- T7 a US+EAEU dual launch: parallel clocks, additive dossiers ---
97 total = total + 1
98 let days: i64 = sj_parallel_launch_days(SJ_US, SJ_EAEU)
99 let cost: i64 = sj_combined_dossier_cost_cents(SJ_US, SJ_EAEU)
100 t_puts("T7 US+EAEU dual launch: slowest clock=" as *u8); t_putn(days); t_puts(" days combined dossier=" as *u8); t_putn(cost); t_puts("c: " as *u8)
101 var ok7: i64 = 1
102 if days != 60 { ok7 = 0 }
103 if cost != 800000 { ok7 = 0 }
104 if ok7 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
105
106 // --- T8 fail-closed on an unknown market or ingredient ---
107 total = total + 1
108 let bad_j: i64 = sj_pathway(99, SI_ASHWAGANDHA)
109 let bad_i: i64 = sj_pathway(SJ_US, 99)
110 let bad_d: i64 = sj_review_days(99)
111 let sell_bad: i64 = sj_is_sellable(99, SI_ASHWAGANDHA)
112 t_puts("T8 unknown market=" as *u8); t_putn(bad_j); t_puts(" unknown ingredient=" as *u8); t_putn(bad_i); t_puts(" days=" as *u8); t_putn(bad_d); t_puts(" sellable=" as *u8); t_putn(sell_bad); t_puts(" (never permissive): " as *u8)
113 var ok8: i64 = 1
114 if bad_j != SJ_PATH_NONE { ok8 = 0 }
115 if bad_i != SJ_PATH_NONE { ok8 = 0 }
116 if bad_d != SJ_INVALID { ok8 = 0 }
117 if sell_bad != 0 { ok8 = 0 }
118 if ok8 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
119
120 // --- T9 sanctions/banking are NOT cleared by a green pathway ---
121 // Every market flags a separate review, so a lawful-ingredient verdict
122 // can never be mistaken for a cleared transaction.
123 total = total + 1
124 var j9: i64 = 0
125 var all9: i64 = 1
126 while j9 < SJ_N {
127 let r: i64 = sj_requires_separate_sanctions_review(j9)
128 if r != 1 { all9 = 0 }
129 j9 = j9 + 1
130 }
131 t_puts("T9 every market flags a separate sanctions/banking review: " as *u8)
132 if all9 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
133
134 t_puts("SUPP-JURISDICTION-GATE passed " as *u8); t_putn(pass); t_puts("/" as *u8); t_putn(total)
135 if pass == total { t_puts(" verdict=GREEN\n" as *u8); sys_exit(0); return 0 }
136 t_puts(" verdict=RED\n" as *u8); sys_exit(1); return 1
137}