code wiki / _hdl_build / nx_uiq_wire_gate.nx

nx_uiq_wire_gate.nx

buildroot/runtime/_hdl_build/nx_uiq_wire_gate.nx

3020 B52 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic uiq
docsdependenciesstructsconstsfunctions

about

nx_uiq_wire_gate.nx -- D001 gate for the first-byte-up response-header auditor (gv-verdict anchored). Proves the wire-layer audit DISCRIMINATES on hermetic response fixtures: a bare response (only Content-Type) scores 0/5 = EXPOSED; a fully-hardened response scores 5/5 = HARDENED; a CSP with frame-ancestors counts as the frame guard; header matching is case-insensitive; status parsed from byte 0. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_uiq_wire_lib.nx nx_gate_verdict.nx nx_uiq_wire_gate.nx

imports: nx_uiq_wire_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 uw_write_kat sys_openat_wr sys_write ↻ sys_close uw_slurp sys_openat_rd sys_read sys_close ↻ uw_audit uw_hdr_end uw_status uw_has uw_len uw_lc uw_val_has uw_len ↻ uw_lc ↻ gv_check gv_puts ↻ uw_selftest uw_write_kat ↻ sys_mmap ↻ uw_slurp ↻ uw_audit ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn

structs

none

consts

none

functions

9func main() -> i64
calls 8: gv_ctrgv_headuw_write_katuw_slurpuw_auditgv_check+2