③ precedence と“不可侵性”:開発者が外せない理由
Managed が最上位で CLI 引数すら上書きできません。さらに肝は“配列マージ”:開発者は managed の deny に追加はできても、削除はできません。
- 有効な deny = 和集合:
managed.deny(IT が配布・不可侵)∪user / project deny(開発者が追加)- ✓ 開発者は deny を“追加”できる
- ✗ managed の deny は“削除”できない
- 不可侵性の肝
permissions.allow/denyは全ソースをマージ- managed は CLI 引数でも上書き不可
- 評価は deny → ask → allow の先勝ち
managed 側に置いた deny は、現場では絶対に外せない。
