code wiki / (root) / nx_ch_census_race_gate.nx

nx_ch_census_race_gate.nx

buildroot/runtime/nx_ch_census_race_gate.nx

9703 B242 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ch
docsdependenciesstructsconstsfunctions

about

nx_ch_census_race_gate.nx -- the REFEREE for the CH-census autonomy race (Referee=SCORE, no self-grade: this gate is mechanical -- neither lane's permil is asserted by its author). Both lanes get byte-identical staged inputs and the same 12 scoring rows: real block: 5 rows -- SNI/GR/SG/SV/KS body offsets vs the SHIPPED tls13_ext_find oracle (the shipped parser predates both lanes = neutral ground truth) trunc block: 1 row -- EXTN must be -1 (truncation REFUSED; the gate built the cut, so it knows the truth by construction) empty block: 6 rows -- EXTN=0 and all five fields -1 (by construction) Output: RACE row= lines + per-lane permil + verdict (TEAM-EXCEEDS / TEAM-MATCHES / TEAM-BEHIND) -> stdout + knowledge/status/race_ch_census.log (Archivist rule). Run AFTER nx_ch_census_race_stage + both lane ELFs are built. CWD=nxc2/. license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_tls13_hello.nx nx_ch_census_race_gate.nx

imports: nx_syscalls.nxnx_tls13_hello.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append g_puts sys_write g_putn sys_mmap sys_write ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real sys_mmap ↻ sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close tls13_ext_find tls_read_u16_be g_lane sys_mmap ↻ g_stage sys_mmap ↻ sys_read_file ↻ sys_openat_wr sys_write ↻ sys_close ↻ g_run_lane sys_fork sys_openat_wr ↻ sys_dup3 sys_mmap ↻ sys_execve sys_exit sys_wait4 sys_read_file ↻ g_row g_puts ↻ g_putn ↻ g_parse

structs

none

consts

none

functions

16func g_puts(fd: i64, s: *u8) -> i64
called by 2: g_rowmain calls 1: sys_write
23func g_putn(fd: i64, v: i64) -> i64
called by 2: g_rowmain calls 2: sys_mmapsys_write
38func g_stage(src: *u8) -> i64
called by 1: g_lane calls 5: sys_mmapsys_read_filesys_openat_wrsys_writesys_close
50func g_run_lane(elf: *u8) -> i64
called by 1: g_lane calls 7: sys_forksys_openat_wrsys_dup3sys_mmapsys_execvesys_exit+1
68func g_parse(buf: *u8, blen: i64, key: *u8) -> i64
called by 1: g_lane
105func g_row(logfd: i64, rowname: *u8, got: i64, want: i64) -> i64
called by 1: g_lane calls 2: g_putsg_putn
128func g_lane(logfd: i64, elf: *u8, names: *i64, exp: *i64) -> i64
called by 1: main calls 6: sys_mmapg_stageg_run_lanesys_read_fileg_rowg_parse
161func main() -> i64
calls 9: sys_openat_appendg_putsg_putnsys_now_realtime_secsys_mmapsys_read_file+3