code wiki / (root) / nx_commons_capunit_gate.nx

nx_commons_capunit_gate.nx

buildroot/runtime/nx_commons_capunit_gate.nx

5826 B91 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic commons
docsdependenciesstructsconstsfunctions

about

nx_commons_capunit_gate.nx -- proves the trust-flow cap actually BINDS, using the estate's own measured shape rather than a fixture I chose. WHY: the fixed NXC_CAP_PER_PARTNER=100 was measured against the real 2,018-edge import graph on 2026-08-07 and bound for ZERO of 1,233 organs. nx_syscalls: 740 partners, cap 74,000, standing 666. The guard existed, was imported, ran on every call, and could not fire for anybody. ★ A GUARD THAT RUNS AND CANNOT FIRE IS INDISTINGUISHABLE FROM ONE THAT WAS NEVER WIRED, EXCEPT THAT IT LOOKS LIKE IT WORKS. The numbers below are the REAL measured ones for nx_syscalls, not invented: gave=740, took=0, partners=740, witnessed (it has nx_syscalls_gate) -> 900 permil, standing 666. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_gate_verdict.nx nx_commons_lib.nx nx_commons_capunit_gate.nx

imports: nx_gate_verdict.nxnx_commons_lib.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 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 ↻ gv_head gv_puts sys_write ↻ nxc_raw_standing nxc_effective_given nxc_retained nxc_standing_rated nxc_raw_standing ↻ nxc_cap_bound nxc_raw_standing ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_bite gv_puts ↻ gv_check gv_puts ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at

structs

none

consts

16const CU_GAVE: i64 = 740
17const CU_TOOK: i64 = 0
18const CU_PASSED: i64 = 0
19const CU_WITN: i64 = 900
20const CU_PARTNERS: i64 = 740
21const CU_RECENT: i64 = 1000
23const CU_RATE_LEGACY: i64 = 100 // the fixture-born constant
24const CU_RATE_COUNT: i64 = 1 // a rate in the same unit as count-scale standing

functions

26func main() -> i64