code wiki / _hdl_build / nx_meet_trust_gate.nx

nx_meet_trust_gate.nx

buildroot/runtime/_hdl_build/nx_meet_trust_gate.nx

6324 B90 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic meet
docsdependenciesstructsconstsfunctions

about

nx_meet_trust_gate.nx -- liar-kill, MEASURED gate for R6 (the anti-fake engine). Runs the scorer over a labeled fixture set (4 AI-slop resumes + 4 real, 4 ghost postings + 4 real) and proves a MEASURED exceed over the status-quo "accept-all" baseline (incumbents largely DON'T screen for AI-slop/ghost = accept everything). Teeth: (a) our accuracy must be near-perfect AND catch every fake, (b) the accept-all baseline must do far worse, AND (c) the scorer must NOT trivially flag everything (real samples must pass) -- so neither trivial extreme passes. expect_exit: 0

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_meet_lib.nx nx_meet_trust.nx nx_gate_verdict.nx nx_meet_trust_gate.nx

imports: nx_syscalls.nxnx_meet_lib.nxnx_meet_trust.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 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 ↻

structs

none

consts

none

functions

12func main() -> i64
calls 2: mputssys_mmap