nx_printer_exceed_gate.nx
buildroot/runtime/nx_printer_exceed_gate.nx
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
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
structs
| none |
consts
| none |
functions
| 19 | func 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 } |
| 21 | func main() -> i64 |