code wiki / (root) / nx_printer_exceed_gate.nx

nx_printer_exceed_gate.nx

buildroot/runtime/nx_printer_exceed_gate.nx

6393 B92 linesdepth 3pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic printer
docsdependenciesstructsconstsfunctions

about

nx_printer_exceed_gate.nx -- gate for the measured-exceed bakeoffs (nx_printer_exceed). Proves, with unique exit codes per invariant: AXIS A (anti-silent-failure): our parser independently recovers ALL 8 reasons across the corpus (full fault coverage) and beats the documented vendor headline-only count (4) -> beats=1. NEG controls: a SILENT stack (1 headline per response = 4) does NOT beat; a stack tying the baseline does NOT beat. AXIS B (security robustness): ZERO unsafe outcomes over the 5-case adversarial corpus -> beats the documented CVE-2024-47176 RCE class. NEG controls: a NAIVE trusting parser is unsafe on all 5 -> does NOT beat; a reference with no documented vuln cannot be "beaten". INTEGRATION: feeding the computed (has_measure, beats) into nx_census_grade yields MEASURED-EXCEEDS for both axes -- and ONLY because beats was earned (the grader's liar-kill is intact). expect_exit: 0 ; license_tier: ORIGINAL ; genealogy_id: project-printer-management-ipp-sclass-2026-06-20

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_printer_exceed.nx nx_printer_census.nx nx_printer_exceed_gate.nx

imports: nx_syscalls.nxnx_printer_exceed.nxnx_printer_census.nx

imported by: nobody (leaf or entry point)

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

main nx_obs_ours_total sys_mmap nx_obs_case1 nx_obs_head nx_ipp_begin nx_ipp_put_u16 nx_ipp_put_u32 nx_ipp_group nx_ipp_attr_int nx_ipp_put_u16 ↻ nx_ipp_memcpy nx_ipp_put_u32 ↻ nx_ipp_strlen nx_ipp_attr_bool nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_ipp_attr nx_ipp_put_u16 ↻ nx_ipp_memcpy ↻ nx_ipp_strlen ↻ nx_ipp_end nx_printer_diagnose nx_ipp_get_enum nx_ipp_find nx_ipp_strlen ↻ nx_ipp_get_u16 nx_ipp_name_eq nx_ipp_get_u32 nx_ph_worst_reason_severit nx_ipp_get_u16 ↻ nx_ipp_name_eq ↻ nx_ph_reason_severity nx_ipp_name_eq ↻ nx_ph_ends_with nx_ipp_strlen ↻ nx_ipp_name_eq ↻ nx_ph_accepting nx_ipp_find ↻ nx_printer_can_print

structs

none

consts

none

functions

19func t_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
21func main() -> i64