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

↩ module page · 258 lines · 15390 B
1// nx_sitegen_exceed_gate.nx -- MEASURED head-to-head EXCEED for the auto-builder vs Wix/Webflow/WordPress,
2// run through the no-overclaim referee (nx_cms_exceed). NO WAVE: our side is RUN for real over a real corpus;
3// the verdict is COMPUTED by xcd_verdict (cannot be hand-set); the referee rejects any overclaim; and the
4// gate self-tests that it CANNOT false-green. The incumbent oracle is the DOCUMENTED behavior of the
5// incumbents (we cannot run real Wix here -- sovereignty, no cloud), labeled as such and anchored to real,
6// citable facts, NOT fabricated numbers:
7//   AXIS A  publish-time UX gate: WYSIWYG builders (Wix/WP/Webflow) impose NO publish-time UX/accessibility
8//           gate -- the "anything-goes canvas" (documented; cf. WebAIM Million: most CMS-built pages ship
9//           detectable WCAG failures). OURS refuses a non-compliant blueprint by construction.
10//   AXIS B  no-vendor-lock: Wix does not let you export/rebuild your site off-platform (documented "you
11//           cannot export your Wix site"); Webflow exports a FROZEN static snapshot with no editable data
12//           model. OURS: the blueprint IS the site -> edit a field + rebuild off-platform, deterministically.
13// HONESTY: AXIS C is an axis where we are BEHIND (Wix's mature drag-drop visual editor) -- the gate COMPUTES
14// BEHIND and refuses to log it as a win, proving the harness reports losses too. license_tier: ORIGINAL
15import "nx_sitegen.nx"
16import "nx_cms_exceed.nx"
17import "nx_syscalls.nx"
18
19func xe_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
20func xe_num(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; 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 }
21func xe_cat(dst: *u8, off: i64, s: *u8) -> i64 { var o: i64=off; var k: i64=0; while s[k]!=(0 as u8){dst[o]=s[k];o=o+1;k=k+1} return o }
22func xe_catnum(dst: *u8, off: i64, v: i64) -> i64 { var o: i64=off; let t: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m}; 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{dst[o]=t[k-1-i];o=o+1;i=i+1} return o }
23
24func xe_row(id: i64, ok: i64, what: *u8) -> i64 {
  xe_w("XEROW " as *u8); xe_num(id); xe_w(" " as *u8)
  if ok==1 { xe_w("PASS " as *u8) } else { xe_w("FAIL " as *u8) }
  xe_w(what); xe_w("\n" as *u8)
  return ok
29}
30
31func xe_slurp(path: *u8, buf: *u8, cap: i64) -> i64 {
  let fd: i64 = sys_openat_rd(path)
  if fd < 0 { return 0 - 1 }
  var total: i64 = 0
  var go: i64 = 1
  while go == 1 {
      let r: i64 = sys_read(fd, buf + total, cap - total)
      if r <= 0 { go = 0 }
      if r > 0 { total = total + r }
      if total >= cap { go = 0 }
  }
  sys_close(fd)
  return total
44}
45
46func xe_contains(hay: *u8, hn: i64, needle: *u8) -> i64 {
  var nl: i64 = 0
  while needle[nl] != (0 as u8) { nl = nl + 1 }
  if nl == 0 { return 1 }
  if nl > hn { return 0 }
  let last: i64 = hn - nl
  var i: i64 = 0
  while i <= last {
      var j: i64 = 0
      var hit: i64 = 1
      while j < nl {
          if (hay[i+j] as i64) != (needle[j] as i64) { hit = 0; j = nl }
          if hit == 1 { j = j + 1 }
      }
      if hit == 1 { return 1 }
      i = i + 1
  }
  return 0
64}
65
66func xe_bytes_eq(a: *u8, an: i64, b: *u8, bn: i64) -> i64 {
  if an != bn { return 0 }
  var i: i64 = 0
  while i < an { if (a[i] as i64) != (b[i] as i64) { return 0 } i = i + 1 }
  return 1
71}
72
73// OUR builder's publish decision for a synthetic blueprint with the given UX signals (does it ship?).
74func xe_our_pub(header_cta: i64, hero_cta: i64, search: i64, trust_n: i64, steps_n: i64) -> i64 {
  let kind: *i64 = sys_mmap(8*8) as *i64
  let b: *i64 = sys_mmap(8*8) as *i64
  let c: *i64 = sys_mmap(8*8) as *i64
  let lc: *i64 = sys_mmap(8*8) as *i64
  kind[0]=SG_HEADER; if header_cta==1 { b[0]="x" as *u8 as i64 }
  kind[1]=SG_HERO;   if hero_cta==1   { c[1]="x" as *u8 as i64 }
  if search==1 { kind[2]=SG_SEARCH }
  kind[3]=SG_TRUST; lc[3]=trust_n
  kind[4]=SG_STEPS; lc[4]=steps_n
  return sg_compliant(kind, b, c, lc, 5)
85}
86
87// build the given blueprint to path, slurp it into buf, return length.
88func xe_build(path: *u8, title: *u8, kind: *i64, a: *i64, b: *i64, c: *i64, d: *i64, list: *i64, lcount: *i64, nblk: i64, buf: *u8, cap: i64) -> i64 {
  let fd: i64 = sys_openat_wr(path, 0x1a4)
  if fd >= 0 { sg_build_page(fd, title, kind, a, b, c, d, list, lcount, nblk); sys_close(fd) }
  return xe_slurp(path, buf, cap)
92}
93
94func main() -> i64 {
  // ================= AXIS A: publish-time UX gate (run both sides over the same corpus) =================
  // corpus rows: header_cta, hero_cta, search, trust_n, steps_n, truth_publishable(by the cited UX research)
  let hc: *i64 = sys_mmap(8*8) as *i64
  let oc: *i64 = sys_mmap(8*8) as *i64
  let se: *i64 = sys_mmap(8*8) as *i64
  let tn: *i64 = sys_mmap(8*8) as *i64
  let st: *i64 = sys_mmap(8*8) as *i64
  let tr: *i64 = sys_mmap(8*8) as *i64
  // 0 good (full)        1 good (minimal valid)  2 bad: >3 steps
  hc[0]=1;oc[0]=1;se[0]=1;tn[0]=2;st[0]=3;tr[0]=1
  hc[1]=1;oc[1]=0;se[1]=1;tn[1]=1;st[1]=1;tr[1]=1
  hc[2]=1;oc[2]=1;se[2]=1;tn[2]=2;st[2]=4;tr[2]=0
  // 3 bad: no cta+no search 4 bad: no trust        5 bad: no steps
  hc[3]=0;oc[3]=0;se[3]=0;tn[3]=2;st[3]=3;tr[3]=0
  hc[4]=1;oc[4]=1;se[4]=1;tn[4]=0;st[4]=3;tr[4]=0
  hc[5]=1;oc[5]=1;se[5]=1;tn[5]=2;st[5]=0;tr[5]=0
  let nA: i64 = 6
  var oursA: i64 = 0
  var incA: i64 = 0
  var brk_ours: i64 = 0
  var brk_inc: i64 = 0
  var i: i64 = 0
  while i < nA {
      let pub: i64 = xe_our_pub(hc[i], oc[i], se[i], tn[i], st[i])   // ours: gates on the standard
      let inc: i64 = 1                                              // incumbent: publishes anything (no gate)
      if pub == tr[i] { oursA = oursA + 1 }
      if inc == tr[i] { incA = incA + 1 }
      if tr[i] == 0 { if pub == 1 { brk_ours = brk_ours + 1 } }
      if tr[i] == 0 { if inc == 1 { brk_inc = brk_inc + 1 } }
      i = i + 1
  }
  let vA: i64 = xcd_verdict(oursA, incA)
  let refA: i64 = xcd_referee_ok(vA, oursA, nA)
128
  // ================= AXIS B: no-vendor-lock (edit a field + rebuild off-platform, from portable data) ===
  // the andelinwest legal blueprint (pure data) -- the "design you own"
  let kind:   *i64 = sys_mmap(8*16) as *i64
  let a:      *i64 = sys_mmap(8*16) as *i64
  let b:      *i64 = sys_mmap(8*16) as *i64
  let c:      *i64 = sys_mmap(8*16) as *i64
  let d:      *i64 = sys_mmap(8*16) as *i64
  let list:   *i64 = sys_mmap(8*16) as *i64
  let lcount: *i64 = sys_mmap(8*16) as *i64
  kind[0]=SG_HEADER; a[0]="Andelin West" as *u8 as i64; b[0]="Free consultation" as *u8 as i64; c[0]="#consult" as *u8 as i64
  kind[1]=SG_HERO; a[1]="Straightforward legal help for Utah families and businesses." as *u8 as i64
  b[1]="Talk to a licensed Utah attorney." as *u8 as i64; c[1]="Start your free consultation" as *u8 as i64; d[1]="#consult" as *u8 as i64
  kind[2]=SG_SEARCH; a[2]="/search" as *u8 as i64; b[2]="Search..." as *u8 as i64
  kind[3]=SG_CARDS; a[3]="How we help" as *u8 as i64; lcount[3]=2
  let cards: *i64 = sys_mmap(8*8) as *i64
  cards[0]="Family Law" as *u8 as i64; cards[1]="Divorce, custody, support." as *u8 as i64
  cards[2]="Estate Planning" as *u8 as i64; cards[3]="Wills, trusts, probate." as *u8 as i64
  list[3]=cards as i64
  kind[4]=SG_STEPS; a[4]="3 steps" as *u8 as i64; lcount[4]=3
  let steps: *i64 = sys_mmap(8*8) as *i64
  steps[0]="Tell us." as *u8 as i64; steps[1]="We review." as *u8 as i64; steps[2]="We handle it." as *u8 as i64
  list[4]=steps as i64
  kind[5]=SG_TRUST; lcount[5]=2
  let trust: *i64 = sys_mmap(8*8) as *i64
  trust[0]="Utah State Bar" as *u8 as i64; trust[1]="Free consultation" as *u8 as i64
  list[5]=trust as i64
  kind[6]=SG_FOOTER; a[6]="Andelin West, PLLC" as *u8 as i64
  let nblk: i64 = 7
  let ttl: *u8 = "AW" as *u8
158
  let bufB: *u8 = sys_mmap(262144)
  let lenB: i64 = xe_build("/tmp/xe_base.html" as *u8, ttl, kind,a,b,c,d,list,lcount,nblk, bufB, 262143)
  let bufS: *u8 = sys_mmap(262144)
  // (B0) reproduce from the portable blueprint -> byte-identical (you can rebuild it, no platform needed)
  let lenR: i64 = xe_build("/tmp/xe_repro.html" as *u8, ttl, kind,a,b,c,d,list,lcount,nblk, bufS, 262143)
  let repro: i64 = xe_bytes_eq(bufB, lenB, bufS, lenR)
  // (B1) edit the footer, rebuild -> change reflected, hero stable, differs from baseline
  let sf: i64 = a[6]; a[6]="NEWFOOT-ZZ" as *u8 as i64
  let l0: i64 = xe_build("/tmp/xe_op0.html" as *u8, ttl, kind,a,b,c,d,list,lcount,nblk, bufS, 262143); a[6]=sf
  var ok0: i64 = 0
  if xe_contains(bufS,l0,"NEWFOOT-ZZ" as *u8)==1 { if xe_contains(bufS,l0,"Straightforward legal help" as *u8)==1 { if xe_bytes_eq(bufB,lenB,bufS,l0)==0 { ok0=1 } } }
  // (B2) edit a card title, rebuild -> change reflected, footer stable
  let sc: i64 = cards[0]; cards[0]="NEWCARD-ZZ" as *u8 as i64
  let l1: i64 = xe_build("/tmp/xe_op1.html" as *u8, ttl, kind,a,b,c,d,list,lcount,nblk, bufS, 262143); cards[0]=sc
  var ok1: i64 = 0
  if xe_contains(bufS,l1,"NEWCARD-ZZ" as *u8)==1 { if xe_contains(bufS,l1,"Andelin West, PLLC" as *u8)==1 { if xe_bytes_eq(bufB,lenB,bufS,l1)==0 { ok1=1 } } }
  // (B3) edit the hero headline, rebuild -> change reflected, a card stable
  let sh: i64 = a[1]; a[1]="NEWHERO-ZZ" as *u8 as i64
  let l2: i64 = xe_build("/tmp/xe_op2.html" as *u8, ttl, kind,a,b,c,d,list,lcount,nblk, bufS, 262143); a[1]=sh
  var ok2: i64 = 0
  if xe_contains(bufS,l2,"NEWHERO-ZZ" as *u8)==1 { if xe_contains(bufS,l2,"Family Law" as *u8)==1 { if xe_bytes_eq(bufB,lenB,bufS,l2)==0 { ok2=1 } } }
  let oursB: i64 = ok0 + ok1 + ok2
  let incB: i64 = 0    // documented: Wix no-export / Webflow frozen-static -> no edit-rebuild from portable data
  let nB: i64 = 3
  let vB: i64 = xcd_verdict(oursB, incB)
  let refB: i64 = xcd_referee_ok(vB, oursB, nB)
185
  // ================= AXIS C: an axis where WE ARE BEHIND (honesty) =================
  // Wix's mature drag-drop visual editor: ours has none yet (blueprint/field only) -> COMPUTE BEHIND, do not claim.
  let vC: i64 = xcd_verdict(0, 1)
189
  // print the raw measurements (no overclaim -- the numbers, then the verdicts)
  xe_w("AXIS-A publish-time-ux-gate: ours=" as *u8); xe_num(oursA); xe_w("/" as *u8); xe_num(nA)
  xe_w(" incumbent=" as *u8); xe_num(incA); xe_w("/" as *u8); xe_num(nA)
  xe_w("  broken_shipped ours=" as *u8); xe_num(brk_ours); xe_w(" incumbent=" as *u8); xe_num(brk_inc)
  xe_w("  verdict=" as *u8); xe_w(xcd_vname(vA)); xe_w("\n" as *u8)
  xe_w("AXIS-B no-vendor-lock(edit-rebuild): ours=" as *u8); xe_num(oursB); xe_w("/" as *u8); xe_num(nB)
  xe_w(" incumbent=" as *u8); xe_num(incB); xe_w("/" as *u8); xe_num(nB)
  xe_w("  verdict=" as *u8); xe_w(xcd_vname(vB)); xe_w("\n" as *u8)
  xe_w("AXIS-C visual-editor-maturity (HONEST): ours=0 incumbent=1 verdict=" as *u8); xe_w(xcd_vname(vC))
  xe_w("  -- NOT claimed as a win (Wix leads here)\n" as *u8)
200
  var pass: i64 = 0
  var rows: i64 = 0
  var ok: i64 = 0
204
  // R0: AXIS A measured AHEAD, referee-honest, exact counts
  ok = 0; if vA==XCD_AHEAD { if refA==1 { if oursA==6 { if incA==2 { if brk_ours==0 { if brk_inc==4 { ok=1 } } } } } }
  rows=rows+1; pass=pass+xe_row(0, ok, "AXIS A AHEAD: ours gates 6/6, incumbent ships 4 broken pages (measured+referee)" as *u8)
208
  // R1: AXIS B measured AHEAD, referee-honest
  ok = 0; if vB==XCD_AHEAD { if refB==1 { if oursB==3 { if incB==0 { ok=1 } } } }
  rows=rows+1; pass=pass+xe_row(1, ok, "AXIS B AHEAD: ours edit-rebuilds 3/3 from portable data, incumbent 0 (measured+referee)" as *u8)
212
  // R2: AXIS B reproducibility (you can rebuild your design off-platform, byte-faithful)
  ok = repro
  rows=rows+1; pass=pass+xe_row(2, ok, "design rebuilds byte-identical from the portable blueprint (no platform needed)" as *u8)
216
  // R3: HONESTY -- AXIS C computed BEHIND and NOT claimed as a win
  ok = 0; if vC==XCD_BEHIND { ok=1 }
  rows=rows+1; pass=pass+xe_row(3, ok, "HONEST: visual-editor axis computes BEHIND (Wix leads); harness reports losses" as *u8)
220
  // R4: harness self-test -- equal scores -> PARITY (cannot false-green)
  ok = 0; if xcd_verdict(3,3)==XCD_PARITY { ok=1 }
  rows=rows+1; pass=pass+xe_row(4, ok, "self-test: equal scores -> PARITY (no false AHEAD)" as *u8)
224
  // R5: harness self-test -- worse -> BEHIND
  ok = 0; if xcd_verdict(1,3)==XCD_BEHIND { ok=1 }
  rows=rows+1; pass=pass+xe_row(5, ok, "self-test: worse score -> BEHIND" as *u8)
228
  // R6: referee REJECTS an overclaim (AHEAD while still failing cases)
  ok = 0; if xcd_referee_ok(XCD_AHEAD, 5, 6)==0 { ok=1 }
  rows=rows+1; pass=pass+xe_row(6, ok, "self-test: referee rejects overclaim (AHEAD but ours not fully correct)" as *u8)
232
  // R7: referee accepts an honest AHEAD and rejects a no-measurement claim
  ok = 0; if xcd_referee_ok(XCD_AHEAD, 6, 6)==1 { if xcd_referee_ok(XCD_AHEAD, 6, 0)==0 { ok=1 } }
  rows=rows+1; pass=pass+xe_row(7, ok, "self-test: referee accepts honest AHEAD, rejects no-measurement claim" as *u8)
236
  xe_w("NX-SITEGEN-EXCEED-GATE rows=" as *u8); xe_num(rows); xe_w(" pass=" as *u8); xe_num(pass); xe_w("\n" as *u8)
  if pass == rows {
      let line: *u8 = sys_mmap(512)
      var off: i64 = xe_cat(line, 0, "CMSEXCEED feature=site-builder-ux-guardrails axis=publish-time-ux-gate ours=" as *u8)
      off = xe_catnum(line, off, oursA); off = xe_cat(line, off, "/" as *u8); off = xe_catnum(line, off, nA)
      off = xe_cat(line, off, " incumbent=" as *u8); off = xe_catnum(line, off, incA); off = xe_cat(line, off, "/" as *u8); off = xe_catnum(line, off, nA)
      off = xe_cat(line, off, " broken_shipped_ours=" as *u8); off = xe_catnum(line, off, brk_ours)
      off = xe_cat(line, off, " broken_shipped_incumbent=" as *u8); off = xe_catnum(line, off, brk_inc)
      off = xe_cat(line, off, " verdict=AHEAD (incumbent=documented WYSIWYG anything-goes, no publish-time UX/a11y gate)\n" as *u8)
      let line2: *u8 = sys_mmap(512)
      var o2: i64 = xe_cat(line2, 0, "CMSEXCEED feature=site-builder-portability axis=no-vendor-lock-edit-rebuild ours=" as *u8)
      o2 = xe_catnum(line2, o2, oursB); o2 = xe_cat(line2, o2, "/" as *u8); o2 = xe_catnum(line2, o2, nB)
      o2 = xe_cat(line2, o2, " incumbent=" as *u8); o2 = xe_catnum(line2, o2, incB); o2 = xe_cat(line2, o2, "/" as *u8); o2 = xe_catnum(line2, o2, nB)
      o2 = xe_cat(line2, o2, " verdict=AHEAD (incumbent=documented Wix no-export / Webflow frozen-static, no editable portable data)\n" as *u8)
      let gf: i64 = sys_openat_append("knowledge/status/cms_exceed.log" as *u8, 0x1a4)
      if gf >= 0 { sys_write(gf, line, off); sys_write(gf, line2, o2); sys_close(gf) }
      xe_w("NX-SITEGEN-EXCEED-GATE verdict=PASS -- 2 measured AHEAD axes recorded in cms_exceed.log (1 honest BEHIND not claimed)\n" as *u8)
      sys_exit(0); return 0
  }
  xe_w("NX-SITEGEN-EXCEED-GATE verdict=FAIL -- NOT recorded (no fake-green)\n" as *u8)
  sys_exit(1); return 1
258}
nx_sitegen_exceed_gate.nx source

`nx_sitegen_exceed_gate.nx` source
