code wiki / _hdl_build / nx_emu_exceed_gate.nx

nx_emu_exceed_gate.nx

buildroot/runtime/_hdl_build/nx_emu_exceed_gate.nx

8762 B149 linesdepth 8pulls 12 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 5 imports · 0 importers

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

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_emu_exceed.nxnx_native_config.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 g_puts sys_write sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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

structs

none

consts

none

functions

15func cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
23func emu_fresh_prefix(out: *u8, base: *u8) -> i64
called by 1: main calls 2: sys_now_mssys_mmap
39func 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
50func emu_panel_seed(prefix: *u8) -> i64
called by 1: main calls 4: ncfg_beginemu_rowncfg_set_countncfg_commit
63func emu_putfield(dst: *u8, off: i64, s: *u8) -> i64
called by 1: emu_panel_native
72func emu_panel_native(h: *i64, out: *u8) -> i64
called by 1: main calls 5: ncfg_countsys_mmapncfg_rowemu_putfieldncfg_field
93func main() -> i64
calls 15: g_putssys_mmapemu_fresh_prefixemu_panel_seedsys_exitncfg_open+9