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

↩ module page · 168 lines · 8032 B
1// nx_supp_ingredient_test.nx -- the gate this catalog never had.
2//
3// FOUND BY nx_gatescan, AND THE TOOL UNDERSTATED IT IN ONE WAY AND
4// OVERSTATED IT IN ANOTHER, which is worth recording precisely.
5//
6// The scan reported nx_supp_ingredient as UNGATED-LOAD-BEARING with 6
7// consumers.  Reading it showed the picture is more specific: a sibling's
8// gate (nx_supp_formula_test) does import this file and exercises FOUR of
9// its twelve functions -- so "ungated" was too strong, because name-based
10// attribution cannot see a shared gate.
11//
12// But the four it exercises are si_name, si_density_mg_per_ml,
13// si_capsule_fill_mg and si_cost_is_indicative -- the packaging and cost
14// helpers.  ★THE FUNCTIONS THAT DECIDE WHETHER A SUBSTANCE MAY LAWFULLY BE
15// SOLD AT ALL -- si_class and si_is_lawful_dietary -- WERE EXERCISED BY
16// NOTHING.  Wave 5 of this lane called that legal gate "the product
17// decision".  The most consequential logic in the file was the least
18// checked, which is the general shape of this defect class: coverage
19// accumulates around whatever a sibling happened to need.
20//
21// So this gate deliberately does NOT re-test the four already covered. It
22// tests the eight that nothing was checking, starting with the legal ones.
23// expect_exit: 0   license_tier: ORIGINAL
24import "nx_syscalls.nx"
25import "nx_supp_ingredient.nx"
26
27func tw(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
28func tn(v: i64) -> i64 { let b: *u8 = sys_mmap(24); var m: i64 = v; if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m } let t: *u8 = sys_mmap(24); 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 { b[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, b, k); return 0 }
29
30func main() -> i64 {
  var pass: i64 = 0
  var total: i64 = 0
33
  // --- T1  ***THE PRODUCT DECISION, AND IT MUST DISCRIMINATE.***  An
  //         approved drug is precluded from the supplement route by
  //         21 USC 321(ff)(3)(B); a synthetic signalling peptide is not a
  //         dietary ingredient under DSHEA's closed list at all.  These are
  //         different refusals for different reasons and the catalog must
  //         not collapse them -- a blanket "no" would be right by accident
  //         and would mislead anyone asking why. ---
  total = total + 1
  var ok1: i64 = 1
  if si_class(SI_OXYTOCIN) != SI_CLASS_DRUG { ok1 = 0 }
  if si_class(SI_BREMELANOTIDE) != SI_CLASS_DRUG { ok1 = 0 }
  if si_class(SI_KISSPEPTIN10) != SI_CLASS_NOT_DIETARY { ok1 = 0 }
  if si_class(SI_BPC157) != SI_CLASS_NOT_DIETARY { ok1 = 0 }
  tw("T1 drug-precluded (oxytocin, bremelanotide) vs not-a-dietary-ingredient (kisspeptin-10, BPC-157), kept DISTINCT: " as *u8)
  if ok1 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
49
  // --- T2  NON-VACUITY.  If si_class refused everything the catalog would
  //         be useless and T1 would still pass.  The nine botanicals and
  //         amino acids ARE lawful and must classify as such. ---
  total = total + 1
  var ok2: i64 = 1
  var i: i64 = 0
  var lawful: i64 = 0
  while i < SI_N {
      if si_is_lawful_dietary(i) == 1 { lawful = lawful + 1 }
      i = i + 1
  }
  if lawful != 9 { ok2 = 0 }
  tw("T2 exactly " as *u8); tn(lawful)
  tw(" of " as *u8); tn(SI_N)
  tw(" catalogued substances are lawful dietary ingredients (want 9 -- refusal is specific, not blanket): " as *u8)
  if ok2 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
66
  // --- T3  THE TWO VIEWS AGREE.  si_is_lawful_dietary must be exactly the
  //         ODI/NDI classes and nothing else, for every id -- checked
  //         across the whole catalog rather than at a sampled point, so a
  //         single mis-tagged row cannot slip through. ---
  total = total + 1
  var ok3: i64 = 1
  var j: i64 = 0
  while j < SI_N {
      let c: i64 = si_class(j)
      var expect: i64 = 0
      if c == SI_CLASS_ODI { expect = 1 }
      if c == SI_CLASS_NDI { expect = 1 }
      if si_is_lawful_dietary(j) != expect { ok3 = 0 }
      j = j + 1
  }
  tw("T3 si_is_lawful_dietary agrees with si_class on all " as *u8); tn(SI_N)
  tw(" rows: " as *u8)
  if ok3 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
85
  // --- T4  ***FAIL-CLOSED, AND IT IS THE WHOLE SAFETY PROPERTY.***  An
  //         uncatalogued substance must read as UNKNOWN and NOT lawful.  If
  //         an out-of-range id returned a lawful class, a formulation
  //         engine would happily build a product around a substance nobody
  //         has ever assessed. ---
  total = total + 1
  var ok4: i64 = 1
  if si_valid_id(SI_N) != 0 { ok4 = 0 }
  if si_valid_id(0 - 1) != 0 { ok4 = 0 }
  if si_class(SI_N) != SI_CLASS_UNKNOWN { ok4 = 0 }
  if si_class(0 - 1) != SI_CLASS_UNKNOWN { ok4 = 0 }
  if si_is_lawful_dietary(SI_N) != 0 { ok4 = 0 }
  if si_is_lawful_dietary(999) != 0 { ok4 = 0 }
  tw("T4 an uncatalogued id is UNKNOWN and NOT lawful (never a default yes): " as *u8)
  if ok4 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
101
  // --- T5  Clinical doses are present and positive for every LAWFUL
  //         ingredient.  A zero dose would silently produce a formulation
  //         containing none of an active while still reporting success. ---
  total = total + 1
  var ok5: i64 = 1
  var k: i64 = 0
  while k < SI_N {
      if si_is_lawful_dietary(k) == 1 {
          if si_clinical_dose_mg(k) <= 0 { ok5 = 0 }
          if si_density_mg_per_ml(k) <= 0 { ok5 = 0 }
      }
      k = k + 1
  }
  tw("T5 every lawful ingredient has a positive clinical dose AND density: " as *u8)
  if ok5 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
117
  // --- T6  COSTS ARE FLAGGED INDICATIVE FOR EVERY ROW.  This function
  //         exists so no downstream model can present a bulk range as a
  //         purchase price; if it were ever true for some rows and false
  //         for others, a consumer could reasonably read the false ones as
  //         quotes.  It must be uniform. ---
  total = total + 1
  var ok6: i64 = 1
  var m: i64 = 0
  while m < SI_N {
      if si_cost_is_indicative(m) != 1 { ok6 = 0 }
      if si_is_lawful_dietary(m) == 1 {
          if si_cost_cents_per_kg(m) <= 0 { ok6 = 0 }
      }
      m = m + 1
  }
  tw("T6 every row's cost is marked INDICATIVE, and lawful rows carry a positive cost: " as *u8)
  if ok6 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
135
  // --- T7  Names are present and distinct.  A duplicated or empty name in
  //         a catalog keyed by integer id is how the wrong substance ends
  //         up in a formulation with everything else looking correct. ---
  total = total + 1
  var ok7: i64 = 1
  var a: i64 = 0
  while a < SI_N {
      let na: *u8 = si_name(a)
      if na[0] == (0 as u8) { ok7 = 0 }
      var b: i64 = a + 1
      while b < SI_N {
          let nb: *u8 = si_name(b)
          var same: i64 = 1
          var q: i64 = 0
          while q < 64 {
              if same == 1 {
                  if na[q] != nb[q] { same = 0 }
                  if na[q] == (0 as u8) { q = 64 }
              }
              q = q + 1
          }
          if same == 1 { ok7 = 0 }
          b = b + 1
      }
      a = a + 1
  }
  tw("T7 all " as *u8); tn(SI_N); tw(" catalog names are non-empty and pairwise distinct: " as *u8)
  if ok7 == 1 { pass = pass + 1; tw("PASS\n" as *u8) } else { tw("FAIL\n" as *u8) }
164
  tw("SUPP-INGREDIENT-GATE passed " as *u8); tn(pass); tw("/" as *u8); tn(total)
  if pass == total { tw(" verdict=GREEN\n" as *u8); sys_exit(0); return 0 }
  tw(" verdict=RED\n" as *u8); sys_exit(1); return 1
168}
nx_supp_ingredient_test.nx source

`nx_supp_ingredient_test.nx` source
