code wiki / _hdl_build / nx_rebac_gate.nx
nx_rebac_gate.nx
buildroot/runtime/_hdl_build/nx_rebac_gate.nx
about
nx_rebac_gate.nx -- ADVERSARIAL GATE for the sovereign ReBAC plane (nx_rebac). The CRITIC + ADVERSARY: a
legit-access/attack matrix where every escalation, revocation-bypass, cross-scope leak, block-bypass, and
userset-cycle MUST resolve correctly (deny-by-default). Green ONLY if all ~28 checks pass. license_tier: ORIGINAL
expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_rebac.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
structs
| none |
consts
| none |
functions
| 17 | func ck(label: *u8, got: i64, want: i64, ctr: *i64) -> i64 |
| 26 | func main() -> i64 |