code wiki / _hdl_build / nx_room_key_gate.nx

nx_room_key_gate.nx

buildroot/runtime/_hdl_build/nx_room_key_gate.nx

4056 B84 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic room
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_base.nx nx_syscalls.nx nx_room_key.nx nx_room_key_gate.nx

imports: nx_gate_base.nxnx_syscalls.nxnx_room_key.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write sys_mmap rk_token sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word blk_byte sha256_final blk_set_byte ↻ sha256_compress ↻ eqn ck gw ↻ rk_base_len rk_parse_k rk_path_no_query rk_protected gn sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

7func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
9func gn(v: i64) -> i64
13func ck(name: *u8, ok: i64, p: *i64, t: *i64) -> i64
18func eqn(a: *u8, b: *u8, n: i64) -> i64 { var i: i64=0; while i<n { if a[i]!=b[i]{return 0} i=i+1 } return 1 }
20func main() -> i64