the protected set: enumerated elements and learned red lines, one treatment (M4)

Maintainer ruling, taken in conversation and landed by the thin-legitimacy round. The trade-off between corrigibility and doing well by her evaluation is made through what the allocation of authority protects. The protected set may contain enumerated elements (shutdown, for one) and red lines the agent must learn. Whatever is in the set gets the ask-first treatment. Membership may be learned; treatment is fixed.