code wiki / _hdl_build / nx_uiq_console_gate.nx

nx_uiq_console_gate.nx

buildroot/runtime/_hdl_build/nx_uiq_console_gate.nx

2896 B67 linesdepth 7pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic uiq
docsdependenciesstructsconstsfunctions

about

nx_uiq_console_gate.nx -- D001 gate for the F106a console/error-capture organ (gv-verdict anchored). Proves BEFORE any page is judged: every error class is exact-counted on a known fixture, a clean page yields zero (no false positives), one injected defect flips 0->1 (liar-kill / non-vacuity), and script bodies are masked (HTML-in-JS-strings cannot miscount structure). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_uiq_console_lib.nx nx_gate_verdict.nx nx_uiq_console_gate.nx

imports: nx_uiq_console_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap gv_head gv_puts sys_write cs_len cs_audit_buf cs_mask_scripts cs_find_from cs_scan_vars cs_find_from ↻ cs_namec cs_has_def cs_find_from ↻ cs_namec ↻ cs_span_eq cs_detail cs_scan_ids cs_find_from ↻ cs_span_eq ↻ cs_detail ↻ cs_scan_frags cs_find_from ↻ cs_span_eq ↻ cs_detail ↻ cs_scan_imgs cs_find_from ↻ cs_detail ↻ cs_scan_mixed cs_find_from ↻ cs_detail ↻ cs_tagpair cs_count_pat cs_find_from ↻ cs_namec ↻ uiq_w sys_write ↻ uiq_pn sys_mmap ↻

structs

none

consts

none

functions

9func main() -> i64