Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- The documentation states that 'deny always wins' and that evaluation is ordered by rule position, but the pseudocode instead sorts all rules globally by specificity and returns on the first match. In a governance system, this can let a more specific child allow override a broader parent deny, undermining security boundaries and causing policy authors to believe protections exist when the implementation would permit blocked actions.
