code wiki / _hdl_build / nx_uiq_console_gate.nx
nx_uiq_console_gate.nx source
↩ module page · 67 lines · 2896 B
1// nx_uiq_console_gate.nx -- D001 gate for the F106a console/error-capture organ (gv-verdict anchored).
2// Proves BEFORE any page is judged: every error class is exact-counted on a known fixture, a clean page
3// yields zero (no false positives), one injected defect flips 0->1 (liar-kill / non-vacuity), and
4// script bodies are masked (HTML-in-JS-strings cannot miscount structure).
5// license_tier: ORIGINAL expect_exit: 0
6import "nx_uiq_console_lib.nx"
7import "nx_gate_verdict.nx"
8
9func main() -> i64 {
10 let ctr: *i64 = gv_ctr()
11 gv_head("nx_uiq_console_gate -- console-analog error capture (F106a): exact counts, liar-killed" as *u8)
12 let ff: *u8 = CS_FIX_FAIL
13 let fl: i64 = cs_len(ff)
14 let er: i64 = cs_audit_buf(ff, fl, 0)
15 let g: *i64 = g_cls
16 var t1: i64=0
17 if er==6 { t1=1 }
18 gv_check("T1 fail-fixture total errors exact (6)" as *u8, t1, ctr)
19 var t2: i64=0
20 if g[0]==1 { if g[1]==1 { t2=1 } }
21 gv_check("T2 var_undef error vs fallback-saved warn split" as *u8, t2, ctr)
22 var t3: i64=0
23 if g[2]==1 { t3=1 }
24 gv_check("T3 duplicate id caught" as *u8, t3, ctr)
25 var t4: i64=0
26 if g[3]==1 { t4=1 }
27 gv_check("T4 dead fragment href caught, live fragment not flagged" as *u8, t4, ctr)
28 var t5: i64=0
29 if g[4]==1 { t5=1 }
30 gv_check("T5 img-noalt warn exact, alt'd imgs not flagged" as *u8, t5, ctr)
31 var t6: i64=0
32 if g[5]==1 { t6=1 }
33 gv_check("T6 mixed-content src=http:// caught" as *u8, t6, ctr)
34 var t7: i64=0
35 if g[6]==1 { if g[7]==1 { t7=1 } }
36 gv_check("T7 empty src error + empty href warn" as *u8, t7, ctr)
37 var t8: i64=0
38 if g[8]==1 { t8=1 }
39 gv_check("T8 container tag imbalance caught" as *u8, t8, ctr)
40 let fp: *u8 = CS_FIX_PASS
41 let pl2: i64 = cs_len(fp)
42 let ep: i64 = cs_audit_buf(fp, pl2, 0)
43 let g2: *i64 = g_cls
44 var t9: i64=0
45 if ep==0 { let w9: i64=g2[1]+g2[4]+g2[7]; if w9==0 { t9=1 } }
46 gv_check("T9 clean page 0 errors 0 warnings (no false positives)" as *u8, t9, ctr)
47 let lr: *u8 = CS_FIX_LIAR
48 let ll: i64 = cs_len(lr)
49 let el: i64 = cs_audit_buf(lr, ll, 0)
50 let g3: *i64 = g_cls
51 var t10: i64=0
52 if el==1 { if g3[0]==1 { t10=1 } }
53 gv_check("T10 liar-kill: one injected undefined var flips 0->1 (non-vacuous)" as *u8, t10, ctr)
54 let mk2: *u8 = CS_FIX_MASK
55 let ml: i64 = cs_len(mk2)
56 let em: i64 = cs_audit_buf(mk2, ml, 0)
57 var t11: i64=0
58 if em==0 { t11=1 }
59 gv_check("T11 script bodies masked: html-in-JS-string not miscounted" as *u8, t11, ctr)
60 let sf: i64 = cs_selftest()
61 var t12: i64=0
62 if sf==0 { t12=1 }
63 gv_check("T12 embedded selftest (the CLI --kat contract) 0 fails" as *u8, t12, ctr)
64 let rc: i64 = gv_verdict("UIQ-CONSOLE-GATE" as *u8, ctr, "F106a console-analog capture: 9 classes exact-counted, clean-pass, liar-killed, script-mask tooth" as *u8)
65 sys_exit(rc)
66 return rc
67}