code wiki / _hdl_build / nx_site_archetype_gate.nx
`nx_site_archetype_gate.nx` source

↩ module page · 135 lines · 7904 B
1import "nx_gate_gn.nx"
2import "nx_gate_base.nx"
3// nx_site_archetype_gate.nx -- referee for R5 (nx_site_archetype). Populates a corpus (ti_run over the seed
4// templates), composes the showcase (sa_run), and PROVES: the gallery links every corpus archetype; each composed
5// page is s-class + ADA + responsive BY CONSTRUCTION (skip-link, lang, <main, viewport, --nx- tokens); layouts are
6// VARIED across archetypes (distinct section ids, not one template); + a negative control (no non-corpus archetype
7// is emitted). GREEN iff 7/7. Wrapper pre-creates /tmp/tplcorpus_r5 + /tmp/factory_gate.
8// license_tier: ORIGINAL  expect_exit: 0
9import "nx_gate.nx"
10import "nx_site_archetype.nx"
11
12func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw("  PASS " as *u8) } else { gw("  FAIL " as *u8) } gw(name); gw("
13" as *u8); return ok }
14func g_has(hay: *u8, hn: i64, needle: *u8) -> i64 {
  if (hay as i64)==0 { return 0 }
  let nl: i64 = g_slen(needle)
  if nl==0 { return 1 }
  var i: i64=0
  while i+nl<=hn { var j: i64=0; var ok: i64=1; while j<nl { if (hay[i+j] as i64)!=(needle[j] as i64) { ok=0; j=nl } else { j=j+1 } } if ok==1 { return 1 } i=i+1 }
  return 0
21}
22// the genuine semantic ADA floor (design-system-agnostic; kit1 --nx- tokens are NOT an a11y criterion,
23// and the alternate design systems ship their own palettes while still meeting these markers).
24func g_ada(hay: *u8, hn: i64) -> i64 {
  if g_has(hay, hn, "class=\"skip-link\"" as *u8)==0 { return 0 }
  if g_has(hay, hn, "lang=\"en\"" as *u8)==0 { return 0 }
  if g_has(hay, hn, "<main id=\"main\"" as *u8)==0 { return 0 }
  if g_has(hay, hn, "name=\"viewport\"" as *u8)==0 { return 0 }
  return 1
30}
31func g_row(name: *u8, ok: i64) -> i64 { gw("  " as *u8); gw(name); if ok==1 { gw(" PASS\n" as *u8) } else { gw(" FAIL\n" as *u8) } return 0 }
32// first offset of needle in hay[0..hn), or -1
33func g_find(hay: *u8, hn: i64, needle: *u8) -> i64 {
  if (hay as i64)==0 { return 0-1 }
  let nl: i64 = g_slen(needle)
  if nl==0 { return 0 }
  var i: i64=0
  while i+nl<=hn { var j: i64=0; var ok: i64=1; while j<nl { if (hay[i+j] as i64)!=(needle[j] as i64) { ok=0; j=nl } else { j=j+1 } } if ok==1 { return i } i=i+1 }
  return 0-1
40}
41
42func main() -> i64 {
  // 1) populate the corpus from the seed templates
  let counts: *i64 = sys_mmap(64) as *i64
  ti_run("web_assets/_tpl_seed" as *u8, "/tmp/tplcorpus_r5/" as *u8, 5000, 67108864, counts)
  // 2) compose the showcase from the corpus
  let n: i64 = sa_run("web_assets/_tpl_seed" as *u8, "/tmp/tplcorpus_r5/" as *u8, "/tmp/factory_gate" as *u8, "nishifamily.com" as *u8)
  // 3) read back the emitted pages
  let szp: *i64 = sys_mmap(16) as *i64
  let idx: *u8 = sys_read_file("/tmp/factory_gate/index.html" as *u8, szp); let iln: i64 = szp[0]
  let land: *u8 = sys_read_file("/tmp/factory_gate/landing.html" as *u8, szp); let lln: i64 = szp[0]
  let ecom: *u8 = sys_read_file("/tmp/factory_gate/ecommerce.html" as *u8, szp); let eln: i64 = szp[0]
  let res: *u8 = sys_read_file("/tmp/factory_gate/resume.html" as *u8, szp); let rln: i64 = szp[0]
  let soc: *u8 = sys_read_file("/tmp/factory_gate/social.html" as *u8, szp)
55
  // T1: gallery lists every corpus archetype (3) with resolvable /factory links
  var t1: i64=0
  if n==3 { if (idx as i64)!=0 {
      if g_has(idx, iln, "href=\"/factory/landing.html\"" as *u8)==1 {
          if g_has(idx, iln, "href=\"/factory/ecommerce.html\"" as *u8)==1 {
              if g_has(idx, iln, "href=\"/factory/resume.html\"" as *u8)==1 { t1=1 } } } } }
  // T2: composed landing page is s-class + ADA + responsive BY CONSTRUCTION
  var t2: i64=0; if g_ada(land, lln)==1 { t2=1 }
  // T3: landing carries its archetype sections (hero + pricing + faq)
  var t3: i64=0
  if g_has(land, lln, "class=\"hero\"" as *u8)==1 { if g_has(land, lln, "id=\"pricing\"" as *u8)==1 { if g_has(land, lln, "id=\"faq\"" as *u8)==1 { t3=1 } } }
  // T4: ecommerce is a DIFFERENT layout (has products grid, NO pricing/faq section)
  var t4: i64=0
  if g_has(ecom, eln, "id=\"products\"" as *u8)==1 { if g_has(ecom, eln, "id=\"pricing\"" as *u8)==0 { t4=1 } }
  // T5: resume is a DIFFERENT layout (portfolio grid + Experience tag, NO products)
  var t5: i64=0
  if g_has(res, rln, "id=\"work\"" as *u8)==1 { if g_has(res, rln, "Experience" as *u8)==1 { if g_has(res, rln, "id=\"products\"" as *u8)==0 { t5=1 } } }
  // T6 (NEG CONTROL): only corpus archetypes are emitted -> no social.html (no social template in the seed)
  var t6: i64=0; if (soc as i64)==0 { t6=1 }
  // N7: EVERY composed page is ADA by construction (fleet-wide, not just one)
  var n7: i64=0; if g_ada(land, lln)==1 { if g_ada(ecom, eln)==1 { if g_ada(res, rln)==1 { n7=1 } } }
  // T8: PER-PATTERN variation pages emitted (seq-driven) -- reconstruct the landing pattern's v-name from
  // the SOURCE template exactly as the organ does, read the emitted variation, assert exists + ADA shell.
  let lsrc: *u8 = sys_read_file("web_assets/_tpl_seed/landing.html" as *u8, szp); let lsn: i64 = szp[0]
  let vseq: *u8 = sys_mmap(256)
  let vkey: *u8 = sys_mmap(64)
  let vnam: *u8 = sys_mmap(64)
  let vpath: *u8 = sys_mmap(256)
  let la: i64 = ti_classify(lsrc, lsn)
  ti_seq(lsrc, lsn, vseq)
  ti_mkkey(la, vseq, vkey)
  sa_vname(la, vkey, vnam)
  var vo2: i64 = 0
  var vpo: i64 = 0
  vpo = 0
  let vpre: *u8 = "/tmp/factory_gate/" as *u8
  while vpre[vpo] != (0 as u8) { vpath[vpo] = vpre[vpo]; vpo = vpo + 1 }
  var vni: i64 = 0
  while vnam[vni] != (0 as u8) { vpath[vpo] = vnam[vni]; vpo = vpo + 1; vni = vni + 1 }
  let vsuf: *u8 = ".html" as *u8
  var vsi: i64 = 0
  while vsuf[vsi] != (0 as u8) { vpath[vpo] = vsuf[vsi]; vpo = vpo + 1; vsi = vsi + 1 }
  vpath[vpo] = 0 as u8
  let vhtml: *u8 = sys_read_file(vpath, szp); let vhn: i64 = szp[0]
  var t8: i64=0; if (vhtml as i64)!=0 { if g_ada(vhtml, vhn)==1 { if SA_NVAR>=3 { t8=1 } } }
  // T9: the variation's SECTION ORDER follows the consumed seq (landing: feat < price < faq offsets)
  var t9: i64=0
  let o_f: i64 = g_find(vhtml, vhn, "id=\"features\"" as *u8)
  let o_p: i64 = g_find(vhtml, vhn, "id=\"price\"" as *u8)
  let o_q: i64 = g_find(vhtml, vhn, "id=\"faq\"" as *u8)
  if o_f>=0 { if o_p>o_f { if o_q>o_p { t9=1 } } }
107
  var passes: i64=0
  if t1==1 { passes=passes+1 } if t2==1 { passes=passes+1 } if t3==1 { passes=passes+1 } if t4==1 { passes=passes+1 }
  if t5==1 { passes=passes+1 } if t6==1 { passes=passes+1 } if n7==1 { passes=passes+1 }
  if t8==1 { passes=passes+1 } if t9==1 { passes=passes+1 }
  var green: i64=0; if passes==9 { green=1 }
113
  gw("=== nx_site_archetype_gate -- R5 corpus->composed-site (award/ADA/responsive) ===\n" as *u8)
  g_row("T1-gallery-lists-corpus-arch   " as *u8, t1)
  g_row("T2-landing-sclass+ada+responsive" as *u8, t2)
  g_row("T3-landing-archetype-sections  " as *u8, t3)
  g_row("T4-ecommerce-distinct-layout   " as *u8, t4)
  g_row("T5-resume-distinct-layout      " as *u8, t5)
  g_row("T6-only-corpus-arch-emit(neg)  " as *u8, t6)
  g_row("N7-fleet-ada-by-construction   " as *u8, n7)
  g_row("T8-per-pattern-variation-emit  " as *u8, t8)
  g_row("T9-seq-order-fidelity          " as *u8, t9)
  gw("verdict=" as *u8); if green==1 { gw("GREEN" as *u8) } else { gw("RED" as *u8) }
  gw(" passes=" as *u8); gn(passes); gw("/9  archetypes=" as *u8); gn(n); gw(" variations=" as *u8); gn(SA_NVAR); gw("\n" as *u8)
126
  let lg: i64 = sys_openat_append("knowledge/status/site_archetype.log" as *u8, 0x1a4)
  if lg >= 0 {
      if green==1 { let m: *u8 = "SITE-ARCHETYPE rows=9 pass=9 verdict=GREEN\n" as *u8; sys_write(lg, m, 43) }
      else { let m2: *u8 = "SITE-ARCHETYPE verdict=RED\n" as *u8; sys_write(lg, m2, 27) }
      sys_close(lg)
  }
  if green==1 { return 0 }
  return 1
135}
nx_site_archetype_gate.nx source

`nx_site_archetype_gate.nx` source
