code wiki / _hdl_build / nx_emu_exceed_gate.nx

nx_emu_exceed_gate.nx

buildroot/runtime/_hdl_build/nx_emu_exceed_gate.nx

8321 B142 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic emu
docsdependenciesstructsconstsfunctions

about

nx_emu_exceed_gate.nx -- R0.5 gate: proves the emulator exceed census is MEASURED + HONEST, not self-scored. Measures the real wasm size, verifies no EXCEED row lacks evidence, confirms the panel is honest (carries PARITY + BEHIND rows), and a NEG-CONTROL proves the liar-kill catches a fabricated unevidenced EXCEED. Operator directive (2026-06-20): "stop using tsv, nishi ecosystem only." The exceed census panel now lives on the NATIVE content-addressed seg_store (via nx_native_config), authored BY THIS GATE into a fresh /tmp store each run (self-contained -- the panel is read only here), then read back through ncfg and rebuilt into the TAB/newline buffer that the (unchanged) nx_emu_audit consumes. No TSV, no SQL.

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_emu_exceed.nx nx_native_config.nx nx_emu_exceed_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_emu_exceed.nxnx_native_config.nx

imported by: nobody (leaf or entry point)

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

main g_puts sys_write sys_mmap emu_fresh_prefix sys_now_ms sys_mmap ↻ sys_clock_gettime_mono sys_mmap ↻ emu_panel_seed ncfg_begin ss_begin ss_begin_cap sys_mmap ↻ emu_row sys_mmap ↻ ncfg_add_row sys_mmap ↻ canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap ncfg_key ss_add ss_add2 ss_w32 ss_len ncfg_set_count sys_mmap ↻ ncfg_count_key ncfg_itoa sys_mmap ↻ ss_add ↻ ncfg_commit ss_commit ss_segid_ok sys_mmap ↻ ss_cat

structs

none

consts

none

functions

14func cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
22func emu_fresh_prefix(out: *u8, base: *u8) -> i64
called by 1: main calls 2: sys_now_mssys_mmap
38func emu_row(w: *i64, idx: i64, axis: *u8, verdict: *u8, nishi: *u8, incumbent: *u8, evidence: *u8) -> i64
called by 1: emu_panel_seed calls 2: sys_mmapncfg_add_row
49func emu_panel_seed(prefix: *u8) -> i64
called by 1: main calls 4: ncfg_beginemu_rowncfg_set_countncfg_commit
62func emu_putfield(dst: *u8, off: i64, s: *u8) -> i64
called by 1: emu_panel_native
71func emu_panel_native(h: *i64, out: *u8) -> i64
called by 1: main calls 5: ncfg_countsys_mmapncfg_rowemu_putfieldncfg_field
92func main() -> i64
calls 13: g_putssys_mmapemu_fresh_prefixemu_panel_seedsys_exitncfg_open+7