code wiki / _hdl_build / nx_meet_curate_gate.nx

nx_meet_curate_gate.nx

buildroot/runtime/_hdl_build/nx_meet_curate_gate.nx

3826 B41 linesdepth 5pulls 5 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 4 imports · 0 importers

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

imports: nx_syscalls.nxnx_meet_lib.nxnx_meet_trust.nxnx_meet_curate.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 trust_lc trust_has mlen ↻ trust_has_digit curate_valid_transition mnum sys_write ↻ sys_mmap ↻ sys_exit

structs

none

consts

none

functions

10func main() -> i64
calls 5: mputscurate_screen_postingcurate_valid_transitionmnumsys_exit