nx_site_build_gate.nx source

1import "nx_gate_gn.nx" 2import "nx_gate_base.nx" 3// nx_site_build_gate.nx -- referee for the R1 WHOLE-SITE emitter (nx_site_build). Reads the emitted 4// andelinwest site fixture (web_assets/sites/andelinwest/, produced by running nx_site_build first) and PROVES 5// the whole-site invariants the factory census named: a SHARED cross-page nav on every page, INTERNAL links that 6// resolve to pages that EXIST, a self-emitted sitemap.xml listing every page, and robots.txt. Positive tests + 7// a negative control (no fabricated links). GREEN iff 8/8. license_tier: ORIGINAL expect_exit: 0 8import "nx_gate.nx" 9 10// substring search: 1 if needle occurs in hay[0..hn). needle is NUL-terminated. 11func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw(" 12" as *u8); return ok } 13func g_has(hay: *u8, hn: i64, needle: *u8) -> i64 { 14 if (hay as i64)==0 { return 0 } 15 let nl: i64 = g_slen(needle) 16 if nl==0 { return 1 } 17 var i: i64=0 18 while i+nl<=hn { 19 var j: i64=0; var ok: i64=1 20 while j<nl { if (hay[i+j] as i64)!=(needle[j] as i64) { ok=0; j=nl } else { j=j+1 } } 21 if ok==1 { return 1 } 22 i=i+1 23 } 24 return 0 25} 26func g_navok(hay: *u8, hn: i64) -> i64 { 27 if g_has(hay, hn, "<nav class=\"top\">" as *u8)==0 { return 0 } 28 if g_has(hay, hn, "href=\"/practice/family-law.html\"" as *u8)==0 { return 0 } 29 if g_has(hay, hn, "href=\"/practice/personal-injury.html\"" as *u8)==0 { return 0 } 30 return 1 31} 32func 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 } 33 34func main() -> i64 { 35 let szp: *i64 = sys_mmap(16) as *i64 36 let idx: *u8 = sys_read_file("web_assets/sites/andelinwest/index.html" as *u8, szp); let iln: i64 = szp[0] 37 let f0: *u8 = sys_read_file("web_assets/sites/andelinwest/practice/family-law.html" as *u8, szp); let l0: i64 = szp[0] 38 let f1: *u8 = sys_read_file("web_assets/sites/andelinwest/practice/estate-planning.html" as *u8, szp); let l1: i64 = szp[0] 39 let f2: *u8 = sys_read_file("web_assets/sites/andelinwest/practice/business-law.html" as *u8, szp); let l2: i64 = szp[0] 40 let f3: *u8 = sys_read_file("web_assets/sites/andelinwest/practice/personal-injury.html" as *u8, szp); let l3: i64 = szp[0] 41 let sm: *u8 = sys_read_file("web_assets/sites/andelinwest/sitemap.xml" as *u8, szp); let sl: i64 = szp[0] 42 let rb: *u8 = sys_read_file("web_assets/sites/andelinwest/robots.txt" as *u8, szp); let rl: i64 = szp[0] 43 44 // T1: index exists + shared cross-page nav (Home + all practice hrefs) 45 var t1: i64=0; if (idx as i64)!=0 { if g_navok(idx, iln)==1 { if g_has(idx, iln, "href=\"/\">Home</a>" as *u8)==1 { t1=1 } } } 46 // T2: index has INTERNAL card links to practice pages (the sk_card_link primitive) 47 var t2: i64=0; if g_has(idx, iln, "<a class=\"card\" href=\"/practice/" as *u8)==1 { t2=1 } 48 // T3: index ships s-class shell markers (skip-link + lang + onsite search + conversion CTA) 49 var t3: i64=0; if g_has(idx, iln, "class=\"skip-link\"" as *u8)==1 { if g_has(idx, iln, "lang=\"en\"" as *u8)==1 { if g_has(idx, iln, "role=\"search\"" as *u8)==1 { if g_has(idx, iln, "btn btn-primary" as *u8)==1 { t3=1 } } } } 50 // T4: ALL 4 practice pages exist and carry the SAME shared nav (cross-page navigation) 51 var np: i64=0 52 if (f0 as i64)!=0 { if g_navok(f0,l0)==1 { np=np+1 } } 53 if (f1 as i64)!=0 { if g_navok(f1,l1)==1 { np=np+1 } } 54 if (f2 as i64)!=0 { if g_navok(f2,l2)==1 { np=np+1 } } 55 if (f3 as i64)!=0 { if g_navok(f3,l3)==1 { np=np+1 } } 56 var t4: i64=0; if np==4 { t4=1 } 57 // T5: practice pages cross-link to SIBLINGS (family-law -> estate-planning) and back home 58 var t5: i64=0; if g_has(f0, l0, "href=\"/practice/estate-planning.html\"" as *u8)==1 { if g_has(f0, l0, "href=\"/\">Back to home</a>" as *u8)==1 { t5=1 } } 59 // T6: sitemap.xml lists home + every practice page (5 urls) 60 var t6: i64=0 61 if g_has(sm, sl, "<loc>https://andelinwest.com/</loc>" as *u8)==1 { 62 if g_has(sm, sl, "/practice/family-law.html</loc>" as *u8)==1 { 63 if g_has(sm, sl, "/practice/business-law.html</loc>" as *u8)==1 { 64 if g_has(sm, sl, "/practice/personal-injury.html</loc>" as *u8)==1 { t6=1 } } } } 65 // T7: robots.txt references the sitemap 66 var t7: i64=0; if g_has(rb, rl, "Sitemap: https://andelinwest.com/sitemap.xml" as *u8)==1 { t7=1 } 67 // N1 (NEG CONTROL): nav is DERIVED from real cards -> a slug that is NOT a card must NOT appear (no fabricated links) 68 var n1: i64=0; if g_has(idx, iln, "/practice/tax-law.html" as *u8)==0 { n1=1 } 69 70 var passes: i64=0 71 if t1==1 { passes=passes+1 } if t2==1 { passes=passes+1 } if t3==1 { passes=passes+1 } if t4==1 { passes=passes+1 } 72 if t5==1 { passes=passes+1 } if t6==1 { passes=passes+1 } if t7==1 { passes=passes+1 } if n1==1 { passes=passes+1 } 73 var green: i64=0; if passes==8 { green=1 } 74 75 gw("=== nx_site_build_gate -- R1 whole-site invariants (andelinwest fixture) ===\n" as *u8) 76 g_row("T1-shared-cross-page-nav " as *u8, t1) 77 g_row("T2-internal-card-links " as *u8, t2) 78 g_row("T3-s-class-shell-markers " as *u8, t3) 79 g_row("T4-all-4-practice-pages+nav " as *u8, t4) 80 g_row("T5-sibling-crosslink+home " as *u8, t5) 81 g_row("T6-sitemap.xml-lists-all " as *u8, t6) 82 g_row("T7-robots.txt-sitemap " as *u8, t7) 83 g_row("N1-no-fabricated-links(neg) " as *u8, n1) 84 gw("verdict=" as *u8); if green==1 { gw("GREEN" as *u8) } else { gw("RED" as *u8) } 85 gw(" passes=" as *u8); gn(passes); gw("/8 practice_pages_with_nav=" as *u8); gn(np); gw("\n" as *u8) 86 // persist the verdict (census-readable; the referee line, not a claim) 87 let lg: i64 = sys_openat_append("knowledge/status/site_build.log" as *u8, 0x1a4) 88 if lg >= 0 { 89 if green==1 { let m: *u8 = "SITE-BUILD rows=8 pass=8 verdict=GREEN\n" as *u8; sys_write(lg, m, 39) } 90 else { let m2: *u8 = "SITE-BUILD verdict=RED\n" as *u8; sys_write(lg, m2, 23) } 91 sys_close(lg) 92 } 93 if green==1 { return 0 } 94 return 1 95}