code wiki / (root) / nx_zimage_qknorm_verify.nx

nx_zimage_qknorm_verify.nx

buildroot/runtime/nx_zimage_qknorm_verify.nx

4838 B125 linesdepth 5pulls 10 transitivereach 0 importersview sourcekind tooltopic zimage

docs dependencies structs consts functions

about

nx_zimage_qknorm_verify.nx -- SOVEREIGN Z-Image attention sub-piece 2b: QK-RMSNorm + RoPE, verified. Isolates norm+rope from SDPA: takes dumped qkv, norms+ropes Q,K, verifies vs oracle q_roped/k_roped. license_tier: ORIGINAL

dependencies 6 imports · 0 importers

imports: nx_syscalls.nxnx_le.nxnx_f32.nxnx_f32_div.nxnx_f32_cvt.nxnx_strconv.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

10	const K_MAGIC_3840: i64 = 3840
11	const K_MAGIC_11520: i64 = 11520
12	const K_MAGIC_100000: i64 = 100000

functions

14	func zqk_load(name: u8, nl: i64, n_floats: i64) -> u8 called by 1: main calls 4: sys_mmap sys_openat_rd sys_read sys_close
38	func zqk_norm_rope(qkv: i64, off: i64, w: u8, cosr: u8, sinr: u8, t: i64, eps: i64) -> i64 called by 1: main calls 7: nx_f32_add nx_f32_mul nx_f32_sqrt nx_f32_div nx_i32_to_f32 nx_le_read_u32+1
58	func main() -> i64 calls 11: zqk_load nx_f32_div nx_i32_to_f32 sys_mmap nx_le_read_u32 zqk_norm_rope+5