code wiki / (root) / nx_prodready_test.nx
`nx_prodready_test.nx` source

↩ module page · 215 lines · 10572 B
1// nx_prodready_test.nx -- gate for the production-readiness engine. Walks the
2// real libido stack from "no product" to "production ready", proving the plan
3// surfaces the RIGHT next gap at each step in kill order -- the whole point of
4// the engine.
5// expect_exit: 0   license_tier: ORIGINAL
6import "nx_syscalls.nx"
7import "nx_supp_ingredient.nx"
8import "nx_supp_formula.nx"
9import "nx_supp_jurisdiction.nx"
10import "nx_prodready.nx"
11
12func 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 }
13func 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 }
14
15// A powder product carrying the two OTC-friendly actives, all attestations
16// done -- the "ready" reference to walk backwards from.
17func ready_product() -> *NxProduct {
  let p: *NxProduct = nx_product_new()
  p.market = SJ_US
  pr_add_ingredient(p, SI_PYCNOGENOL)
  pr_add_ingredient(p, SI_PANAX_GINSENG)
  p.format = SF_FORMAT_POWDER
  p.retail_cents = 3999
  p.target_margin_permil = 700
  p.servings = 30
  p.identity_ready = 1
  p.gmp_qualified = 1
  p.claims_reviewed = 1
  p.coa_on_file = 1
  return p
31}
32
33func main() -> i64 {
  var pass: i64 = 0
  var total: i64 = 0
36
  // --- T1  a fully-prepared product is production ready (gap = READY) ---
  total = total + 1
  let rp: *NxProduct = ready_product()
  let gap: i64 = pr_first_gap(rp)
  let ready: i64 = pr_is_production_ready(rp)
  let score: i64 = pr_readiness_permil(rp)
  t_puts("T1 prepared product: first_gap=" as *u8); t_putn(gap); t_puts(" ready=" as *u8); t_putn(ready); t_puts(" score=" as *u8); t_putn(score); t_puts(" permil want -1/1/1000: " as *u8)
  var ok1: i64 = 1
  if gap != PR_READY { ok1 = 0 }
  if ready != 1 { ok1 = 0 }
  if score != 1000 { ok1 = 0 }
  if ok1 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
49
  // --- T2  LEGAL is the FIRST gap and OVERRIDES everything downstream ---
  // Add oxytocin (a drug): even with every attestation done, the product is
  // blocked at dimension 0, not somewhere later.
  total = total + 1
  let bad: *NxProduct = ready_product()
  pr_add_ingredient(bad, SI_OXYTOCIN)
  let g2: i64 = pr_first_gap(bad)
  let unlawful: i64 = pr_first_unlawful(bad)
  t_puts("T2 + oxytocin: first_gap=" as *u8); t_putn(g2); t_puts(" (LEGAL=0) first_unlawful_id=" as *u8); t_putn(unlawful); t_puts(" want 0/10: " as *u8)
  var ok2: i64 = 1
  if g2 != PR_LEGAL { ok2 = 0 }
  if unlawful != SI_OXYTOCIN { ok2 = 0 }
  if ok2 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
63
  // --- T3  KILL ORDER: a legal-but-oversized capsule product blocks at
  //         FORMAT, not at the (also-open) later attestations ---
  total = total + 1
  let fat: *NxProduct = nx_product_new()
  fat.market = SJ_US
  pr_add_ingredient(fat, SI_L_CITRULLINE)
  pr_add_ingredient(fat, SI_MACA)
  pr_add_ingredient(fat, SI_ASHWAGANDHA)
  fat.format = SF_FORMAT_CAPSULE
  fat.max_units = 2
  fat.retail_cents = 3999
  let g3: i64 = pr_first_gap(fat)
  let legal3: i64 = pr_legal_ok(fat)
  let format3: i64 = pr_format_ok(fat)
  t_puts("T3 3-heavy-ingredient capsule: legal=" as *u8); t_putn(legal3); t_puts(" format_ok=" as *u8); t_putn(format3); t_puts(" first_gap=" as *u8); t_putn(g3); t_puts(" want 1/0/1(FORMAT): " as *u8)
  var ok3: i64 = 1
  if legal3 != 1 { ok3 = 0 }
  if format3 != 0 { ok3 = 0 }
  if g3 != PR_FORMAT { ok3 = 0 }
  if ok3 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
84
  // --- T4  switching that same product to POWDER clears FORMAT and the
  //         gap MOVES DOWNSTREAM (to the first open attestation) ---
  total = total + 1
  fat.format = SF_FORMAT_POWDER
  let g4: i64 = pr_first_gap(fat)
  t_puts("T4 same product as POWDER: first_gap=" as *u8); t_putn(g4); t_puts(" (now IDENTITY=3, format cleared): " as *u8)
  if g4 == PR_IDENTITY { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
92
  // --- T5  ECONOMICS gap: a price too low blocks at dimension 2 ---
  total = total + 1
  let cheap: *NxProduct = ready_product()
  cheap.retail_cents = 300
  let g5: i64 = pr_first_gap(cheap)
  let econ5: i64 = pr_economics_ok(cheap)
  t_puts("T5 $3.00 retail: economics_ok=" as *u8); t_putn(econ5); t_puts(" first_gap=" as *u8); t_putn(g5); t_puts(" want 0/2(ECONOMICS): " as *u8)
  if econ5 == 0 { if g5 == PR_ECONOMICS { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) } } else { t_puts("FAIL\n" as *u8) }
101
  // --- T6  the ATTESTATION ladder: each open flag surfaces in order ---
  total = total + 1
  let att: *NxProduct = ready_product()
  att.identity_ready = 0
  att.gmp_qualified = 0
  att.claims_reviewed = 0
  att.coa_on_file = 0
  let ga: i64 = pr_first_gap(att)
  att.identity_ready = 1
  let gb: i64 = pr_first_gap(att)
  att.gmp_qualified = 1
  let gc: i64 = pr_first_gap(att)
  att.claims_reviewed = 1
  let gd: i64 = pr_first_gap(att)
  att.coa_on_file = 1
  let ge: i64 = pr_first_gap(att)
  t_puts("T6 attestation ladder = " as *u8); t_putn(ga); t_puts("/" as *u8); t_putn(gb); t_puts("/" as *u8); t_putn(gc); t_puts("/" as *u8); t_putn(gd); t_puts("/" as *u8); t_putn(ge); t_puts(" want 3/4/5/6/-1: " as *u8)
  var ok6: i64 = 1
  if ga != PR_IDENTITY { ok6 = 0 }
  if gb != PR_MANUFACTURING { ok6 = 0 }
  if gc != PR_CLAIMS { ok6 = 0 }
  if gd != PR_COA { ok6 = 0 }
  if ge != PR_READY { ok6 = 0 }
  if ok6 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
126
  // --- T7  readiness score tracks dimensions passed ---
  total = total + 1
  let half: *NxProduct = ready_product()
  half.identity_ready = 0
  half.gmp_qualified = 0
  let s7: i64 = pr_readiness_permil(half)
  let passed7: i64 = pr_dims_passed(half)
  t_puts("T7 two attestations open: dims_passed=" as *u8); t_putn(passed7); t_puts("/7 score=" as *u8); t_putn(s7); t_puts(" permil (5/7=714): " as *u8)
  var ok7: i64 = 1
  if passed7 != 5 { ok7 = 0 }
  if s7 != 714 { ok7 = 0 }
  if ok7 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
139
  // --- T8  computed-blocker vs attestation split: is the CONCEPT broken or
  //         just the paperwork? ---
  total = total + 1
  let concept_broken: *NxProduct = ready_product()
  pr_add_ingredient(concept_broken, SI_KISSPEPTIN10)   // not a dietary ingredient
  let cb: i64 = pr_open_computed_blockers(concept_broken)
  let ca: i64 = pr_open_attestations(concept_broken)
  let paperwork: *NxProduct = ready_product()
  paperwork.coa_on_file = 0
  let pcb: i64 = pr_open_computed_blockers(paperwork)
  let pca: i64 = pr_open_attestations(paperwork)
  t_puts("T8 concept-broken: computed=" as *u8); t_putn(cb); t_puts(" attest=" as *u8); t_putn(ca); t_puts(" ; paperwork-only: computed=" as *u8); t_putn(pcb); t_puts(" attest=" as *u8); t_putn(pca); t_puts(": " as *u8)
  var ok8: i64 = 1
  if cb < 1 { ok8 = 0 }
  if pcb != 0 { ok8 = 0 }
  if pca != 1 { ok8 = 0 }
  if ok8 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
157
  // --- T9  the plan lines exist for every dimension (no blank actions) ---
  total = total + 1
  var d9: i64 = 0
  var ok9: i64 = 1
  while d9 < PR_N_DIM {
      let a: *u8 = pr_action(d9)
      let nm: *u8 = pr_dim_name(d9)
      if a[0] == (0 as u8) { ok9 = 0 }
      if nm[0] == (0 as u8) { ok9 = 0 }
      d9 = d9 + 1
  }
  t_puts("T9 every dimension has a name + a next-action plan line: " as *u8)
  if ok9 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
171
  // --- T10  bitmask round-trips: what went in is what is present ---
  total = total + 1
  let bm: *NxProduct = nx_product_new()
  pr_add_ingredient(bm, SI_PYCNOGENOL)
  pr_add_ingredient(bm, SI_GINKGO)
  let has_pyc: i64 = pr_has_ingredient(bm, SI_PYCNOGENOL)
  let has_gko: i64 = pr_has_ingredient(bm, SI_GINKGO)
  let has_maca: i64 = pr_has_ingredient(bm, SI_MACA)
  let bad_add: i64 = pr_add_ingredient(bm, 99)
  t_puts("T10 mask: pycnogenol=" as *u8); t_putn(has_pyc); t_puts(" ginkgo=" as *u8); t_putn(has_gko); t_puts(" maca(absent)=" as *u8); t_putn(has_maca); t_puts(" bad-id-rejected=" as *u8); t_putn(bad_add); t_puts(": " as *u8)
  var ok10: i64 = 1
  if has_pyc != 1 { ok10 = 0 }
  if has_gko != 1 { ok10 = 0 }
  if has_maca != 0 { ok10 = 0 }
  if bad_add != 0 { ok10 = 0 }
  if ok10 == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) }
188
  // --- T11  an empty product is NOT ready (nothing to sell) ---
  total = total + 1
  let empty: *NxProduct = nx_product_new()
  empty.retail_cents = 3999
  empty.identity_ready = 1
  empty.gmp_qualified = 1
  empty.claims_reviewed = 1
  empty.coa_on_file = 1
  let eready: i64 = pr_is_production_ready(empty)
  let elegal: i64 = pr_legal_ok(empty)
  t_puts("T11 empty product: legal=" as *u8); t_putn(elegal); t_puts(" ready=" as *u8); t_putn(eready); t_puts(" want 0/0: " as *u8)
  if elegal == 0 { if eready == 0 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) } } else { t_puts("FAIL\n" as *u8) }
201
  // --- T12  BELARUS/EAEU market: the same lawful stack is sellable but the
  //          concept is not blocked at LEGAL (premarket is a later concern) ---
  total = total + 1
  let eaeu: *NxProduct = ready_product()
  eaeu.market = SJ_EAEU
  let g12: i64 = pr_legal_ok(eaeu)
  let us_legal: i64 = pr_legal_ok(ready_product())
  t_puts("T12 EAEU legal=" as *u8); t_putn(g12); t_puts(" US legal=" as *u8); t_putn(us_legal); t_puts(" (both lawful, botanicals sell in both): " as *u8)
  if g12 == 1 { if us_legal == 1 { pass = pass + 1; t_puts("PASS\n" as *u8) } else { t_puts("FAIL\n" as *u8) } } else { t_puts("FAIL\n" as *u8) }
211
  t_puts("PRODREADY-GATE passed " as *u8); t_putn(pass); t_puts("/" as *u8); t_putn(total)
  if pass == total { t_puts(" verdict=GREEN\n" as *u8); sys_exit(0); return 0 }
  t_puts(" verdict=RED\n" as *u8); sys_exit(1); return 1
215}
nx_prodready_test.nx source

`nx_prodready_test.nx` source
