nx_drm_audit_test.nx
buildroot/runtime/nx_drm_audit_test.nx
about
nx_drm_audit_test.nx -- gate for the DRM auditor (nx_drm_audit). Grounded in the researcher's cited cases.
Unique exit codes per invariant:
1-4 Brother (chipless TN-630, says EMPTY but our coverage says 99.91%) -> FAKE_EMPTY + FIRMWARE_BLOCK,
NOT chip; bypass = Continue + refuse-firmware (exactly what we LIVE-PROVED on the real Brother)
10-12 chipped HP fake-empty -> FAKE_EMPTY + FIRMWARE_BLOCK + CHIP; chip bypass = external reset
20-21 NEG control: genuinely empty (coverage also 0) -> NO fake-empty cry (honest), firmware-block only
30 NEG: no vendor-block + chipless + not-empty -> NO DRM
40-44 NEVER-BRICK (#26) proven mechanically: every recommended bypass writes ZERO firmware; the dangerous
firmware-downgrade action is flagged 1 (so the check isn't trivially-always-0) and is NEVER emitted
expect_exit: 0 ; license_tier: ORIGINAL ; genealogy_id: project-printer-management-ipp-sclass-2026-06-20
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_drm_audit.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
| 15 | 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 } |
| 17 | func main() -> i64 |