code wiki / _hdl_build / _rt_bad_gate.nx

_rt_bad_gate.nx

buildroot/runtime/_hdl_build/_rt_bad_gate.nx

942 B28 linesdepth 3pulls 3 transitivereach 1 importersview sourcekind gate/prooftopic rt
docsdependenciesstructsconstsfunctions

about

AUTHORED BY THE NISHI BUILDER (pattern: GATE_HARNESS round-trip; declared-scaffold author=tutor) -- composes <uut>_encode/_decode, no Claude logic

dependencies 2 imports · 1 importers

_rt_bad.nx nx_syscalls.nx _rt_bad_gate.nx _rt_bad_gate_test.nx

imports: _rt_bad.nxnx_syscalls.nx

imported by: _rt_bad_gate_test.nx

structs

none

consts

none

functions

4func _rt_bad_gate_check() -> i64
called by 1: main calls 3: sys_mmap_rt_bad_encode_rt_bad_decode