code wiki / (root) / nx_swarm_admit_gate.nx

nx_swarm_admit_gate.nx

buildroot/runtime/nx_swarm_admit_gate.nx

3603 B51 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic swarm
docsdependenciesstructsconstsfunctions

about

nx_swarm_admit_gate.nx -- gate for the general swarm admission capability. T1 PURE verdict table (deterministic, the SOTA-honest core): idle->GRANT, load>=ncpu->DENY-LOAD (the anti-load-105 tooth), low-RAM->DENY-RAM, at-concurrency-cap->QUEUE, headroom-ok->GRANT. T2 precedence: DENY-LOAD beats DENY-RAM beats QUEUE (a saturated box denies before queuing). T3 live smoke: sa_admit_live reads real telemetry and returns a VALID verdict (0..3); a tiny est with a huge concurrency cap on a non-saturated box must not spuriously DENY-RAM. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_swarm_admit.nx nx_gate_verdict.nx nx_swarm_admit_gate.nx

imports: nx_swarm_admit.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 std_putln std_puts std_slen sys_write sa_verdict sa_admit_live ml_load1 sys_mmap sys_openat_rd sys_read sys_close ml_ncores sys_mmap ↻ sys_openat_rd ↻ sys_read ↻ sys_close ↻ ml_meminfo_avail_mb sys_mmap ↻ sys_openat_rd ↻ sys_read ↻ sys_close ↻ std_slen ↻ sa_verdict ↻ std_puts ↻ std_pdec sys_mmap ↻ std_itoa sys_mmap ↻ sys_write ↻ std_putln ↻ sa_verdict_name std_puts ↻ std_pdec ↻ gv_ctr sys_mmap ↻ gv_verdict gv_puts sys_write ↻ gv_num

structs

none

consts

none

functions

11func main(argc: i64, argv: *i64) -> i64