code wiki / (root) / nx_media_index_gate.nx

nx_media_index_gate.nx

buildroot/runtime/nx_media_index_gate.nx

3990 B94 linesdepth 10pulls 35 transitivereach 0 importersview sourcekind gate/prooftopic media
docsdependenciesstructsconstsfunctions

about

nx_media_index_gate.nx -- REFEREE for EXPOSURE rung X1 (nx_media_index). Calls nx_mindex_tag_path on three REAL inputs and asserts the pipeline: - a real 1024x768 gallery PNG -> status OK, width 1024, height 768 (proves decode + presence run INSIDE the indexer on a real file). - a written non-PNG file -> status NOTPNG. - a nonexistent path -> status NOFILE. The presence VERDICT on the real photo is reported (real, honest) but not asserted to a fixed value -- the content is unknown; the presence MATH is already gated by nx_presence_gate and the real-file path by nx_media_run_gate. Every measured value PRINTED. stdout + knowledge/status/media_index_gate.log. Exit 0 GREEN / 1 RED. Sovereign: syscalls + nx_media_index (+ its deps). license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_media_index.nx nx_media_index_gate.nx

imports: nx_syscalls.nxnx_media_index.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp sys_write sys_openat_wr sys_write ↻ sys_close sys_mmap nx_mindex_tag_path sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻ nx_png_decode sys_mmap ↻ _png_check_signature _png_read_u32_be nx_crc32 nx_crc32_update nx_crc32_init nx_crc32_table_at _png_n_channels _png_bytes_per_pixel _png_n_channels ↻ _png_a7_expected _png_a7_col0 _png_a7_coli _png_a7_row0 _png_a7_rowi nx_zlib_inflate sys_mmap ↻ nx_deflate_inflate sys_mmap ↻ nx_bitstream_alloc sys_mmap ↻ _deflate_inflate_block nx_bitstream_read_lsb

structs

none

consts

none

functions

18func gp(logfd: i64, s: *u8) -> i64
called by 2: reportmain calls 1: sys_write
25func gn(logfd: i64, v: i64) -> i64
called by 1: report calls 2: sys_mmapsys_write
40func report(logfd: i64, label: *u8, o: *i64) -> i64
called by 1: main calls 2: gpgn
49func main() -> i64