This paper defines a typed classification of intelligibility grounded in constraint structure. A claim is intelligible relative to an agent only if it occupies a position in constraint space that supports modal evaluation. A claim receives a type judgment when three conditions are satisfied: it is situated within a nontrivial, consistent norm set that partially determines a law space; this norm set admits a unique, well-posed MaxEnt projection under the symmetry-fixed base measure it entails; an…
Read moreThis paper defines a typed classification of intelligibility grounded in constraint structure. A claim is intelligible relative to an agent only if it occupies a position in constraint space that supports modal evaluation. A claim receives a type judgment when three conditions are satisfied: it is situated within a nontrivial, consistent norm set that partially determines a law space; this norm set admits a unique, well-posed MaxEnt projection under the symmetry-fixed base measure it entails; and the KL residual to the generating law can be reduced below a task threshold within the shell space constructible by the agent—or else a residual floor persists. This yields three ceilings: first, finite agents construct only finitely many shells, and thus have finite intelligibility images; second, even within intelligibility, finite norm sets generically imply nonzero residuals unless the generating law lies within the family, imposing a structural limit on knowability; third, fragmentation is destructive to constraint closure and can strictly downgrade a claim’s type, eliminating residual control and collapsing knowability under the same epistemic threshold.