code wiki / (root) / nx_urf_test.nx

nx_urf_test.nx

buildroot/runtime/nx_urf_test.nx

6789 B129 linesdepth 2pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_urf_test.nx -- gate for the sovereign URF/PWG raster encoder (R-RASTER-0). Unique exit codes per invariant: 1x decode the EXACT CUPS-spec worked example line -> documented pixel sequence (decoder == spec) 2x encode a known 6x3 gray bitmap -> EXACT expected RLE bytes (byte-level KAT), then decode -> bit-exact 3x URF file header ("UNIRAST\0" + page count BE) byte-exact 4x URF 32-byte page header byte-exact (bpp/cs/duplex/quality + width/height/dpi BE) 5x full nx_urf_encode_gray_page: size = 12+32+rle, magic 'U', embedded RLE round-trips 6x liar-kill: truncated RLE stream -> decode returns -1 (no_silent_failure) expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_pwg_rle.nx nx_urf.nx nx_urf_test.nx

imports: nx_syscalls.nxnx_pwg_rle.nxnx_urf.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_rle_decode nx_rle_encode_page nx_rle_line_eq nx_rle_encode_line nx_rle_px_eq nx_urf_file_header nx_urf_be32 nx_urf_page_header nx_urf_be32 ↻ nx_urf_encode_gray_page nx_urf_file_header ↻ nx_urf_page_header ↻ nx_rle_encode_page ↻ t_puts sys_write

structs

none

consts

none

functions

15func 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
17func main() -> i64
calls 7: sys_mmapnx_rle_decodenx_rle_encode_pagenx_urf_file_headernx_urf_page_headernx_urf_encode_gray_page+1