code wiki / (root) / nx_coder_fidelity_gate.nx

nx_coder_fidelity_gate.nx

buildroot/runtime/nx_coder_fidelity_gate.nx

5976 B150 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic coder
docsdependenciesstructsconstsfunctions

about

nx_coder_fidelity_gate.nx -- L3b: MEASURED coder-weights bring-up (float ref vs 100%-integer tower, same coder GGUF, greedy). The load-bearing L3b claim is NOT "bit-faithful to float" (greedy argmax flips on near-ties and compounds -- expected) but: the coder weights LOAD and GENERATE COHERENT code through the integer tower, the config is sound, and the integer tower is deterministic by construction. Float-match is NOT the forge ground truth -- the compiler is. Both runners wrote knowledge/forge/coder_gen_{f32,nf}.txt (2 lines: "GEN p1 ...text=[..]" /p2). PASS on: both PRODUCED coherent output AND p2 text byte-exact (proves arch+config+tokenizer+ dequant all correct -- if eps/rope differed, p2 would also diverge) AND mutation negctl caught. REPORT (not gated): p1 text exact? + p1 text longest-common-prefix (the honest divergence depth). license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_forge_ctx.nx nx_gate_verdict.nx nx_coder_fidelity_gate.nx

imports: nx_forge_ctx.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main fc_read sys_openat_rd sys_read sys_close std_puts std_slen sys_write cf_text_after std_slen ↻ cf_eq cf_lcp std_pdec sys_mmap std_itoa sys_mmap ↻ sys_write ↻ std_putln std_puts ↻ gv_ctr sys_mmap ↻ gv_verdict gv_puts sys_write ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real gv_cat sys_write ↻ sys_close ↻

structs

none

consts

none

functions

16func cf_text_after(buf: *u8, n: i64, startoff: i64, out: *u8, endoff: *i64) -> i64
called by 1: main calls 1: std_slen
51func cf_eq(a: *u8, an: i64, b: *u8, bn: i64) -> i64
called by 1: main
63func cf_lcp(a: *u8, an: i64, b: *u8, bn: i64) -> i64
called by 1: main
80func main(argc: i64, argv: *i64) -> i64