The specific question we most want pressure-tested is the Axiom’s exception clause — “unless necessary to prevent a greater imposition.” The clause does real load-bearing work throughout the Tenet derivation, particularly in T3-8 (Necessity and Proportionality) and the T6 existential prohibitions, but we do not have a formal calculus for comparing heterogeneous impositions across categories and persons. We have considered whether one is constructible without smuggling utilitarian aggregation into a framework that structurally refuses it and do not see how. If you do, that is the thread we most want opened. The second most productive thread is probably the collective action gap — GWP08 names it as the framework’s most honest boundary condition — which the LW community will recognize immediately as the Moloch problem applied to a liberty-grounding derivation.
The specific question we most want pressure-tested is the Axiom’s exception clause — “unless necessary to prevent a greater imposition.” The clause does real load-bearing work throughout the Tenet derivation, particularly in T3-8 (Necessity and Proportionality) and the T6 existential prohibitions, but we do not have a formal calculus for comparing heterogeneous impositions across categories and persons. We have considered whether one is constructible without smuggling utilitarian aggregation into a framework that structurally refuses it and do not see how. If you do, that is the thread we most want opened. The second most productive thread is probably the collective action gap — GWP08 names it as the framework’s most honest boundary condition — which the LW community will recognize immediately as the Moloch problem applied to a liberty-grounding derivation.