code wiki / _hdl_build / _dfl_specgate_test.nx

_dfl_specgate_test.nx

buildroot/runtime/_hdl_build/_dfl_specgate_test.nx

252 B8 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic dfl
docsdependenciesstructsconstsfunctions

about

AUTHORED BY THE NISHI BUILDER (GATE_HARNESS test) -- asserts the round-trip+tamper gate is GREEN

dependencies 2 imports · 0 importers

_dfl_specgate.nx nx_syscalls.nx _dfl_specgate_test.nx

imports: _dfl_specgate.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main _dfl_specgate_check sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ dfl_encode sys_mmap ↻ dfl_putbit dfl_match dfl_matchlen dfl_lensym dfl_putcode dfl_putbit ↻ dfl_putbits_lsb dfl_putbit ↻ dfl_distsym dfl_decode inflate sys_mmap ↻ ibr ihb sys_mmap ↻ icodes ihd ibr ↻ ibr ↻ ihd ↻ sys_exit ↻

structs

none

consts

none

functions

4func main() -> i64
calls 2: _dfl_specgate_checksys_exit