code wiki / _hdl_build / nx_nv1_gate.nx
nx_nv1_gate.nx
buildroot/runtime/_hdl_build/nx_nv1_gate.nx
about
nx_nv1_gate.nx -- ENGINEER gate for the NishiLossless v1 container.
Evidence-driven, re-runnable, no network: writes a synthetic container
(3 PCM chunks of a known ramp + 5 JPEG-stand-in frames), validates it,
asserts every count/byte round-trips, then proves the validator REJECTS
each malformation class (truncation, bad magic, bad version, bad kind,
nonzero-len terminator, trailing bytes, overrun chunk).
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_nv1.nxnx_g_check_lib.nxnx_g_puts_lib.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
| 13 | func main() -> i64 |