code wiki / (root) / nx_f32_llm_live_load_only_test.nx

nx_f32_llm_live_load_only_test.nx

buildroot/runtime/nx_f32_llm_live_load_only_test.nx

3272 B85 linesdepth 13pulls 54 transitivereach 0 importersview sourcekind gate/prooftopic f32
docsdependenciesstructsconstsfunctions

about

nx_f32_llm_live_load_only_test.nx -- LIVE-FIRE structural load proof. Loads the real Qwen2.5-0.5B Q4_K_M model + verifies every top-level + per-layer pointer is non-null + samples a few weight values to confirm dequant produced non-degenerate output. Skips the forward pass (covered by nx_f32_llm_live_load_test). This is the fast structural binding proof: ~1-2 min in qemu.

dependencies 13 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_gguf.nx nx_gguf_load.nx nx_f32.nx nx_f32_kv_cache.nx nx_f32_lazy_weight.nx nx_f32_llama_block.nx nx_f32_llama_block_v4.nx nx_f32_llama_layer_lazy_load.nx nx_f32_llm_live_load_only_test

diagram shows first 10 each side; +3 more imports, +0 more importers in the complete lists below.

imports: nx_syscalls.nxnx_tier.nxnx_gguf.nxnx_gguf_load.nxnx_f32.nxnx_f32_kv_cache.nxnx_f32_lazy_weight.nxnx_f32_llama_block.nxnx_f32_llama_block_v4.nxnx_f32_llama_layer_lazy_load.nxnx_f32_llm.nxnx_f32_llm_v4.nxnx_f32_llm_read_dims.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close nx_gguf_parse nx_le_read_u32 nx_le_read_u64 nx_le_read_u32 ↻ _gguf_skip_value nx_le_read_u64 ↻ nx_le_read_u32 ↻ _gguf_skip_value ↻ sys_mmap ↻ nx_f32_llama_model_alloc sys_mmap ↻ nx_f32_llm_read_dims_from_ sys_mmap ↻ nx_gguf_meta_find nx_le_read_u64 ↻ nx_le_read_u32 ↻ _gmeta_bytes_equal nx_gguf_skip_value _gguf_skip_value ↻ nx_gguf_meta_read_string_l nx_le_read_u64 ↻ nx_gguf_meta_read_string_p _fld_read_arch_u32 sys_mmap ↻ _fld_concat_key nx_gguf_meta_find ↻ nx_gguf_meta_read_u32 nx_le_read_u32 ↻ _fld_read_vocab_size_from_ sys_mmap ↻ nx_gguf_find_tensor nx_gguf_tensor_at

structs

none

consts

none

functions

23func main() -> i64