code wiki / _hdl_build / nx_acceptview_gate.nx

nx_acceptview_gate.nx

buildroot/runtime/_hdl_build/nx_acceptview_gate.nx

6490 B92 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_acceptview_gate.nx -- teeth for the ACCEPTANCE QUEUE's JOIN KEY. WHY IT EXISTS (2026-09-03). nx_acceptview renders, for each subject, the operator's own rejection words beside the referee capture the panel actually graded. Its first cut joined those two by searching the accept- plane row for the SUBJECT NAME as a bare substring -- and "face" matched the SKIN row, because skin's targets carry graphics:gpe_skin_microsurface and "microsurface" contains "face". The served page put one subject's words underneath another subject's image. That defect is invisible to every check that asks "did the page render" or "is there an image": the page was well-formed, the image was real, the words were real, and only the PAIRING was wrong. ★★★★★★A WRONG JOIN PRODUCES A PAGE THAT LOOKS ENTIRELY CORRECT, SO ONLY A TOOTH THAT ASSERTS THE PAIRING CAN SEE IT -- and this is the surface an operator signs acceptance from, so a wrong pairing here does not merely mislead a reader, it corrupts a signature. SUBJECT: av_needle and av_key_hit, the two pure functions that ARE the join. Being pure, these teeth drive them in-process -- no fork, no plane read, no page written, nothing published by this gate. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_acceptview.nx nx_gate_verdict.nx nx_acceptview_gate.nx

imports: nx_acceptview.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 gv_ctr 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 ↻ agl_len av_needle gv_check_eq gv_check gv_puts sys_write ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_check ↻ av_key_hit av_is_term av_cat gv_values_head gv_puts ↻ gv_kv gv_puts ↻ gv_num ↻ gv_verdict gv_note_bare_rate gv_bare_rate

structs

none

consts

none

functions

21func agl_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
23func main(argc: i64, argv: *i64) -> i64