nx_freeform_exceed_gate.nx source

1// nx_freeform_exceed_gate.nx -- RE-MEASURE of AXIS D (free-form canvas) after building the free-form tier, through 2// the no-overclaim referee (nx_cms_exceed). Earlier (nx_studio_exceed_gate) AXIS D was an HONEST BEHIND: ours had 3// no free-form canvas (0 vs 1). Now the free-form tier exists (engine nx_sitegen_freeform + canvas UI + wiring), 4// so we re-measure -- HONESTLY, not as a wave: 5// D1 free-form placement EXISTS : ours now = 1 (MEASURED: a canvas doc positions elements at x/y/w), Wix = 1 6// -> PARITY (we CLOSED the prior BEHIND; we do NOT claim to beat Wix here). 7// D2 governed+portable free-form: ours = 1 (MEASURED: escaped + byte-identical rebuild), Wix = 0 (its free-form 8// is not portable/sovereign) -> AHEAD (refereed). 9// D3 free-form editor MATURITY : snapping / alignment guides / responsive variants / huge widget library -- 10// ours = 0, Wix = 1 -> still BEHIND (honest, NOT claimed). 11// So AXIS D flips from BEHIND to {PARITY on capability, AHEAD on governed+portable} while maturity stays BEHIND. 12// license_tier: ORIGINAL 13import "nx_studio_tiers.nx" 14import "nx_cms_exceed.nx" 15import "nx_syscalls.nx" 16 17func rxw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 18func rxn(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 } 19func rxcat(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 } 20func rxcatn(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 } 21func rxrow(id: i64, ok: i64, what: *u8) -> i64 { rxw("RXROW " as *u8); rxn(id); rxw(" " as *u8); if ok==1 { rxw("PASS " as *u8) } else { rxw("FAIL " as *u8) } rxw(what); rxw("\n" as *u8); return ok } 22func rxlen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 23func rxhas(hay: *u8, hn: i64, needle: *u8) -> i64 { 24 var nl: i64=0; while needle[nl]!=(0 as u8){nl=nl+1} 25 if nl==0 { return 1 } if nl>hn { return 0 } 26 let last: i64=hn-nl; var i: i64=0 27 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 } 28 return 0 29} 30func rxeq(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 } 31 32func main() -> i64 { 33 let out: *u8 = sys_mmap(262144) 34 let out2: *u8 = sys_mmap(262144) 35 36 // ---- D1: free-form placement EXISTS (MEASURED via the daemon path se_build_tier) ---- 37 let doc: *u8 = "tier|freeform\ntitle|X\nel|heading|50|40|400|Heading Here|\n" as *u8 38 let l1: i64 = se_build_tier(doc, rxlen(doc), out, 262143) 39 var ours_exist: i64 = 0 40 if l1 > 0 { if rxhas(out, l1, "left:50px;top:40px;width:400px" as *u8)==1 { ours_exist = 1 } } 41 let incD1: i64 = 1 42 let vD1: i64 = xcd_verdict(ours_exist, incD1) 43 44 // ---- D2: governed + portable free-form (MEASURED: escaped AND byte-identical rebuild) ---- 45 let mdoc: *u8 = "tier|freeform\nel|heading|0|0|100|<script>alert(1)</script>|\n" as *u8 46 let lm: i64 = se_build_tier(mdoc, rxlen(mdoc), out2, 262143) 47 var escaped: i64 = 0 48 if lm > 0 { if rxhas(out2, lm, "<script>alert(1)" as *u8)==0 { if rxhas(out2, lm, "&lt;script&gt;alert(1)" as *u8)==1 { escaped = 1 } } } 49 let l1b: i64 = se_build_tier(doc, rxlen(doc), out2, 262143) 50 var det: i64 = 0 51 if rxeq(out, l1, out2, l1b)==1 { det = 1 } 52 var ours_gov: i64 = 0 53 if escaped==1 { if det==1 { ours_gov = 1 } } 54 let incD2: i64 = 0 55 let vD2: i64 = xcd_verdict(ours_gov, incD2) 56 let refD2: i64 = xcd_referee_ok(vD2, ours_gov, 1) 57 58 // ---- D3: free-form editor MATURITY (snapping / guides / widget breadth) -- HONEST BEHIND ---- 59 let vD3: i64 = xcd_verdict(0, 1) 60 61 // raw measurements first (no overclaim) 62 rxw("AXIS-D1 free-form-placement-EXISTS: ours=" as *u8); rxn(ours_exist); rxw(" incumbent=1 verdict=" as *u8); rxw(xcd_vname(vD1)); rxw(" (was BEHIND 0/1 -> gap closed)\n" as *u8) 63 rxw("AXIS-D2 governed+portable-free-form: ours=" as *u8); rxn(ours_gov); rxw("/1 incumbent=0/1 verdict=" as *u8); rxw(xcd_vname(vD2)); rxw("\n" as *u8) 64 rxw("AXIS-D3 free-form-editor-MATURITY (HONEST): ours=0 incumbent=1 verdict=" as *u8); rxw(xcd_vname(vD3)); rxw(" -- NOT claimed (Wix leads: snapping/guides/widgets)\n" as *u8) 65 66 var rows: i64 = 0 67 var pass: i64 = 0 68 var ok: i64 = 0 69 70 // R0: D1 placement now EXISTS -> PARITY (prior BEHIND closed) 71 ok = 0; if ours_exist==1 { if vD1==XCD_PARITY { ok=1 } } 72 rows=rows+1; pass=pass+rxrow(0, ok, "AXIS D1: free-form placement now EXISTS -> PARITY vs Wix (prior BEHIND closed)" as *u8) 73 74 // R1: D2 governed+portable free-form -> AHEAD + referee 75 ok = 0; if vD2==XCD_AHEAD { if refD2==1 { if ours_gov==1 { ok=1 } } } 76 rows=rows+1; pass=pass+rxrow(1, ok, "AXIS D2: governed+portable free-form AHEAD (escaped+portable; Wix neither) [measured+referee]" as *u8) 77 78 // R2: D3 maturity honest BEHIND, not claimed 79 ok = 0; if vD3==XCD_BEHIND { ok=1 } 80 rows=rows+1; pass=pass+rxrow(2, ok, "HONEST: free-form editor maturity (snapping/guides/widgets) still BEHIND" as *u8) 81 82 // R3: self-test referee rejects overclaim (AHEAD with no real measurement) 83 ok = 0; if xcd_referee_ok(XCD_AHEAD, 0, 1)==0 { ok=1 } 84 rows=rows+1; pass=pass+rxrow(3, ok, "self-test: referee rejects overclaim (AHEAD but ours not correct)" as *u8) 85 86 // R4: self-test verdict math cannot false-green 87 ok = 0; if xcd_verdict(1,1)==XCD_PARITY { if xcd_verdict(0,1)==XCD_BEHIND { ok=1 } } 88 rows=rows+1; pass=pass+rxrow(4, ok, "self-test: equal->PARITY, worse->BEHIND (no false AHEAD)" as *u8) 89 90 rxw("NX-FREEFORM-EXCEED-GATE rows=" as *u8); rxn(rows); rxw(" pass=" as *u8); rxn(pass); rxw("\n" as *u8) 91 if pass == rows { 92 let line: *u8 = sys_mmap(512) 93 var off: i64 = rxcat(line, 0, "CMSEXCEED feature=wysiwyg-editor axis=free-form-canvas ours_exists=" as *u8) 94 off = rxcatn(line, off, ours_exist); off = rxcat(line, off, " verdict=PARITY (placement now exists; prior BEHIND closed)\n" as *u8) 95 let line2: *u8 = sys_mmap(512) 96 var o2: i64 = rxcat(line2, 0, "CMSEXCEED feature=wysiwyg-editor axis=governed-portable-free-form ours=" as *u8) 97 o2 = rxcatn(line2, o2, ours_gov); o2 = rxcat(line2, o2, "/1 incumbent=0/1 verdict=AHEAD (escaped+portable; Wix free-form neither) -- editor maturity still BEHIND (honest)\n" as *u8) 98 let gf: i64 = sys_openat_append("knowledge/status/cms_exceed.log" as *u8, 0x1a4) 99 if gf >= 0 { sys_write(gf, line, off); sys_write(gf, line2, o2); sys_close(gf) } 100 rxw("NX-FREEFORM-EXCEED-GATE verdict=PASS -- AXIS D re-measured: PARITY on capability, AHEAD governed+portable, maturity honest BEHIND\n" as *u8) 101 sys_exit(0); return 0 102 } 103 rxw("NX-FREEFORM-EXCEED-GATE verdict=FAIL -- NOT recorded (no fake-green)\n" as *u8) 104 sys_exit(1); return 1 105}