code wiki / _hdl_build / nx_meet_curate_gate.nx

nx_meet_curate_gate.nx

buildroot/runtime/_hdl_build/nx_meet_curate_gate.nx

4210 B49 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic meet
docsdependenciesstructsconstsfunctions

about

nx_meet_curate_gate.nx -- liar-kill gate for R7 (curation/membership). Proves the club gate composes R6 (a clean applicant is SCREENED through; an AI-slop resume, a ghost posting, or a honeypot-tripping bot is auto-FLAGGED) AND that the vetting state machine cannot be skipped (PENDING->MEMBER, SCREENED->MEMBER, MEMBER->* are all refused). expect_exit: 0

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_meet_lib.nx nx_meet_trust.nx nx_meet_curate.nx nx_gate_verdict.nx nx_meet_curate_gate.nx

imports: nx_syscalls.nxnx_meet_lib.nxnx_meet_trust.nxnx_meet_curate.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 mputs sys_write mlen curate_screen_posting mlen ↻ trust_is_ghost_posting trust_posting_score mlen ↻ 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 nxa_dump_sizes trust_lc trust_has mlen ↻ trust_has_digit curate_valid_transition mnum sys_write ↻ sys_mmap ↻ gv_ctr sys_mmap ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts sys_write ↻

structs

none

consts

none

functions

11func main() -> i64