code wiki / _hdl_build / nx_promote_deny_gate.nx
nx_promote_deny_gate.nx
buildroot/runtime/_hdl_build/nx_promote_deny_gate.nx
about
nx_promote_deny_gate.nx -- the safety proof for narrowing md_promote_deny_hard
from a raw SUBSTRING to a TOKEN-BOUNDARY match plus an oracle exemption
(debt 1785511766, 2026-07-31).
This guard is NON-OVERRIDABLE by design: no conf row may make a credential
organ promotable, or the role registry becomes a privilege-escalation surface.
So the burden of proof for touching it is one-directional --
EVERY REAL CREDENTIAL ORGAN MUST STILL DENY (T1-T8).
The false positives it removes (T9-T12) are only worth anything if that holds.
A change to a security guard that only tests the newly-allowed cases is how a
hole ships.
license_tier: ORIGINAL
dependencies 3 imports · 0 importers
imports: nx_mgmt_data.nxnx_gate.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 pd_deny(g: *u8, nm: *u8, want: i64, pass: *i64, tot: *i64) -> i64 |
| 37 | func main() -> i64 |