nx_site_wholesale_gate.nx source

1// nx_site_wholesale_gate.nx -- referee for R-SITESHAPE (nx_site_wholesale). Reads the artifacts the wrapper 2// produced by emitting the andelinwest `site:` graph from the LIVE corpus: proves the whole site re-emits 3// wholesale -- same relative page paths (subdir preserved), the SITE'S OWN nav (not the factory default), 4// seq-faithful sections, complete page set + sitemap -- and a bogus key is refused (no fabrication). 5// GREEN iff 7/7. license_tier: ORIGINAL expect_exit: 0 6import "nx_gate.nx" 7 8func wg_slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 9func wg_has(hay: *u8, hn: i64, needle: *u8) -> i64 { 10 if (hay as i64)==0 { return 0 } 11 let nl: i64 = wg_slen(needle) 12 if nl==0 { return 1 } 13 var i: i64=0 14 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 } 15 return 0 16} 17func wg_count(hay: *u8, hn: i64, needle: *u8) -> i64 { 18 if (hay as i64)==0 { return 0 } 19 let nl: i64 = wg_slen(needle) 20 if nl==0 { return 0 } 21 var c: i64=0 22 var i: i64=0 23 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 { c=c+1; i=i+nl } else { i=i+1 } } 24 return c 25} 26func wg_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 } 27 28func main() -> i64 { 29 let szp: *i64 = sys_mmap(16) as *i64 30 let idx: *u8 = sys_read_file("/tmp/wholesale_out/index.html" as *u8, szp); let iln: i64 = szp[0] 31 let p1: *u8 = sys_read_file("/tmp/wholesale_out/practice/family-law.html" as *u8, szp); let p1n: i64 = szp[0] 32 let p2: *u8 = sys_read_file("/tmp/wholesale_out/practice/estate-planning.html" as *u8, szp); let p2n: i64 = szp[0] 33 let p3: *u8 = sys_read_file("/tmp/wholesale_out/practice/business-law.html" as *u8, szp); let p3n: i64 = szp[0] 34 let p4: *u8 = sys_read_file("/tmp/wholesale_out/practice/personal-injury.html" as *u8, szp); let p4n: i64 = szp[0] 35 let sm: *u8 = sys_read_file("/tmp/wholesale_out/sitemap.xml" as *u8, szp); let sml: i64 = szp[0] 36 let rc: *u8 = sys_read_file("/tmp/wholesale_rc_badkey" as *u8, szp) 37 38 // T1: index emitted with the ADA shell 39 var t1: i64=0 40 if (idx as i64)!=0 { if wg_has(idx, iln, "class=\"skip-link\"" as *u8)==1 { if wg_has(idx, iln, "<main id=\"main\"" as *u8)==1 { t1=1 } } } 41 // T2: subdir page re-emitted at the SAME relative path (structure preserved wholesale) 42 var t2: i64=0; if (p1 as i64)!=0 { if p1n > 500 { t2=1 } } 43 // T3: the SITE'S OWN nav (graph edges), NOT the factory default nav 44 var t3: i64=0 45 if wg_has(idx, iln, "href=\"/practice/family-law.html\"" as *u8)==1 { if wg_has(idx, iln, ">Gallery<" as *u8)==0 { t3=1 } } 46 // T4: the COMPLETE page set re-emitted (all 4 practice pages + index) 47 var np: i64=0 48 if (p1 as i64)!=0 { np=np+1 } 49 if (p2 as i64)!=0 { np=np+1 } 50 if (p3 as i64)!=0 { np=np+1 } 51 if (p4 as i64)!=0 { np=np+1 } 52 var t4: i64=0; if np==4 { if (idx as i64)!=0 { t4=1 } } 53 // T5: sitemap lists all 5 pages 54 var t5: i64=0; if wg_count(sm, sml, "<loc>" as *u8)==5 { t5=1 } 55 // T6: seq-faithful -- the source pages carry an on-site search form, so the re-emit must too 56 var t6: i64=0; if wg_has(idx, iln, "role=\"search\"" as *u8)==1 { t6=1 } 57 // T7 (NEG): bogus key refused (exit 3), nothing fabricated 58 var t7: i64=0; if (rc as i64)!=0 { if (rc[0] as i64)==51 { t7=1 } } 59 60 var passes: i64=0 61 if t1==1 { passes=passes+1 } if t2==1 { passes=passes+1 } if t3==1 { passes=passes+1 } 62 if t4==1 { passes=passes+1 } if t5==1 { passes=passes+1 } if t6==1 { passes=passes+1 } if t7==1 { passes=passes+1 } 63 var green: i64=0; if passes==7 { green=1 } 64 65 gw("=== nx_site_wholesale_gate -- R-SITESHAPE site-graph -> whole-site emission ===\n" as *u8) 66 wg_row("T1-index-ada-shell " as *u8, t1) 67 wg_row("T2-subdir-path-preserved " as *u8, t2) 68 wg_row("T3-site-own-nav-not-default " as *u8, t3) 69 wg_row("T4-complete-page-set " as *u8, t4) 70 wg_row("T5-sitemap-all-pages " as *u8, t5) 71 wg_row("T6-seq-faithful-search-form " as *u8, t6) 72 wg_row("T7-bogus-key-refused(neg) " as *u8, t7) 73 gw("verdict=" as *u8); if green==1 { gw("GREEN" as *u8) } else { gw("RED" as *u8) } 74 gw(" passes=" as *u8); gn(passes); gw("/7\n" as *u8) 75 76 let lg: i64 = sys_openat_append("knowledge/status/site_wholesale.log" as *u8, 0x1a4) 77 if lg >= 0 { 78 if green==1 { let m: *u8 = "SITE-WHOLESALE rows=7 pass=7 verdict=GREEN\n" as *u8; sys_write(lg, m, 43) } 79 else { let m2: *u8 = "SITE-WHOLESALE verdict=RED\n" as *u8; sys_write(lg, m2, 27) } 80 sys_close(lg) 81 } 82 if green==1 { return 0 } 83 return 1 84}