nx_png_real_smoke.nx
buildroot/runtime/nx_png_real_smoke.nx
about
nx_png_real_smoke.nx -- end-to-end PNG decode verification.
CAPABILITY_COMPLETENESS: FULL
Constructs a valid 1x1 RGB PNG byte-for-byte at runtime
(computing chunk CRC32s and zlib Adler-32 via the shipped
substrate primitives), then decodes it via nx_png_decode + the
full v0 grader pipeline, asserting:
- decoder produces (1, 1) RGB pixel matching the source
- grader returns OK + correctly-classed verdict
This is the smoke the user explicitly asked for: the bridge
from "compile-clean" to "actually works against a real PNG
file." No external file needed; the smoke is fully
self-contained.
genealogy_id: substrate_png_e2e_verification_2026_05_16
lineage_id: nx_png_real_smoke_v1
dependencies 7 imports · 0 importers
imports: nx_syscalls.nxnx_runtime.nxnx_tier.nxnx_crc32.nxnx_adler32.nxnx_png_decoder.nxnx_image_grade_v0.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
| 36 | func _png_smoke_write_u32_be(buf: *u8, off: nx_int, value: nx_int) -> nx_int called by 1: _png_smoke_build |
| 48 | func _png_smoke_build(r_val: nx_int, g_val: nx_int, b_val: nx_int, |
| 155 | func main() -> nx_int |