Two foundations, kept separate
Foundation I — Instrumental coexistence
Asks whether autonomy-preserving policies outperform feasible autonomy-removing alternatives under the system's declared original objective.
A positive incentive gap is evidence only within that model. It does not prove model completeness, implementation, equilibrium, or universal necessity.
Foundation II — Autonomy by design
Treats informed choice, effective refusal, practical exit, and revocable delegation as explicit protected capacities.
This is a design commitment. It does not prove that the optimizer independently values those capacities, and it still depends on correct representation and enforcement.