code wiki / _hdl_build / nx_poolgov_gate.nx

nx_poolgov_gate.nx

buildroot/runtime/_hdl_build/nx_poolgov_gate.nx

6806 B112 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_poolgov_gate.nx -- proves runtime/nx_poolgov.nx, the copy that is ACTUALLY WIRED INTO PRODUCTION. WHY THIS EXISTS SEPARATELY FROM nx_poolwidth_gate: the pw_* twin is 18/18 GREEN, but nx_torrent_get imports the pg_* copy, which differs in exactly two places that were NEVER gated -- the INLINED dirent64 accessors (nx_proc_ctl lives only in _hdl_build, unreachable from the primitive layer) and the INLINED loadavg parse. Promoting a live BitTorrent client on 'the other copy passed' is the deploy-blind rule. T17/T18 are the whole reason this file exists: they cover exactly the deltas. license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).

dependencies 2 imports · 0 importers

nx_poolgov.nx nx_gate_verdict.nx nx_poolgov_gate.nx

imports: nx_poolgov.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 gv_head gv_puts sys_write gv_check gv_puts ↻ pgg_eq pg_width pg_aggregate gv_bite gv_puts ↻ nx_hw_cpu_count sys_mmap ↻ sys_munmap pgg_ge pg_budget_from_hw nx_hw_cpu_count ↻ pg_dreclen pg_dname pg_load_centi sys_mmap ↻ sys_openat_rd sys_munmap ↻ sys_read sys_close pg_count_procs sys_mmap ↻ sys_openat_rd ↻ sys_getdents64 pg_dreclen ↻ pg_dname ↻ sys_read ↻ sys_close ↻ sys_munmap ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻

structs

none

consts

12const PGG_BUDGET: i64 = 32
13const PGG_INSTANCES: i64 = 9
14const PGG_TODAY: i64 = 32
15const PGG_TODAY_AGG: i64 = 288
16const PGG_QUIET: i64 = 400
17const PGG_MEASURED: i64 = 1172
18const PGG_2X: i64 = 1600
19const PGG_CEIL: i64 = 800
20const PGG_WMIN: i64 = 2
21const PGG_WMAX: i64 = 32
22const PGG_DBUF: i64 = 128
23const PGG_SANE_LOAD: i64 = 100000

functions

25func pgg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
called by 1: main
26func pgg_ge(a: i64, b: i64) -> i64 { if a >= b { return 1 } return 0 }
called by 1: main
28func main() -> i64