code wiki / _hdl_build / _rt_addk_gate.nx

_rt_addk_gate.nx

buildroot/runtime/_hdl_build/_rt_addk_gate.nx

947 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_addk.nx nx_syscalls.nx _rt_addk_gate.nx _rt_addk_gate_test.nx

imports: _rt_addk.nxnx_syscalls.nx

imported by: _rt_addk_gate_test.nx

structs

none

consts

none

functions

4func _rt_addk_gate_check() -> i64
called by 1: main calls 3: sys_mmap_rt_addk_encode_rt_addk_decode