code wiki / (root) / nx_paged_fwd_gate.nx

nx_paged_fwd_gate.nx

buildroot/runtime/nx_paged_fwd_gate.nx

10974 B266 linesdepth 14pulls 65 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_paged_fwd_gate.nx -- MEASURED gate for the PAGED forward chain (nx_f32_llama_v4p) on the REAL model, and the payoff it exists for: PREFIX-SHARED sampling (prefill once, fork N). EQUIV-G paged forward == contiguous forward: chunked prefill + 6 greedy tokens IDENTICAL (end-to-end: embed/rope/attn-paged/ COW/lm_head) FORK-SC self-consistency N=3 (T=0.8, top-k 40, fixed seeds): prefill ONCE on seq0 -> fork per sample vs the baseline reset+re-prefill loop on the contiguous cache -- generated BYTES BIT-IDENTICAL per sample SPEED both loops timed: the fork path skips N-1 chunked prefills HYGIENE freeing forks + root returns the pool to all-free license_tier: ORIGINAL expect_exit: 0

dependencies 25 imports · 0 importers

nx_syscalls.nx nx_tier.nx nx_le.nx nx_bpe.nx nx_gguf.nx nx_gguf_load.nx nx_gguf_meta.nx nx_f32.nx nx_f32_kv_cache.nx nx_f32_lazy_weight.nx nx_paged_fwd_gate.nx

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

imports: nx_syscalls.nxnx_tier.nxnx_le.nxnx_bpe.nxnx_gguf.nxnx_gguf_load.nxnx_gguf_meta.nxnx_f32.nxnx_f32_kv_cache.nxnx_f32_lazy_weight.nxnx_f32_llama_block.nxnx_f32_llama_block_v4.nxnx_f32_llama_stack_v4.nxnx_f32_llama_layer_lazy_load.nxnx_f32_llm.nxnx_f32_llm_v4.nxnx_f32_llm_read_dims.nxnx_f32_bpe_load.nxnx_f32_llm_special_tokens.nxnx_f32_sampler.nxnx_prng.nxnx_reasoning.nxnx_kvcache.nxnx_f32_attn_paged.nxnx_f32_llama_v4p.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

43func fg_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 2: fg_wnmain calls 1: sys_write
44func fg_wn(v: i64) -> i64
called by 1: main calls 3: fg_wsys_mmapsys_write
57func fg_beq(a: *u8, b: *u8, n: i64) -> i64
called by 1: main
64func fg_step(mode: i64, h: i64, model: *NxF32LlamaModel, one: *i64,
called by 2: fg_sample_loopmain calls 2: nx_f32_llm_forward_v4nx_f32_llm_forward_v4p
76func fg_sample_loop(mode: i64, h: i64, rc: *NxReasonCfg, logits: *i64,
called by 1: main calls 5: sys_mmapnx_prng_initnx_f32_sampler_sample_top_knx_bpe_decode_bytelevelfg_step
106func main() -> i64
calls 26: sys_mmapsys_read_filenx_gguf_parsenx_f32_llama_model_allocnx_f32_llm_read_dims_from_ggufnx_f32_llm_load_weights_v4_from_gguf+20