C.3.2:15 - Consequences

Benefits. Classification becomes inspectable without ontology growth, evidence-created truth, or coercion among non-applicability, uncertainty, and falsity. Repeated criteria can be reused, and set-consuming uses can receive a bounded representation.

Costs. Reliance-bearing uses must pin a declaration and slice, check candidate/slice applicability, preserve unknown, and recover any criterion-bearing status or relation under its direct pattern.

Risks avoided. Kind/declaration collapse, locality-as-identity, record ontology, not-applicable-as-unknown, false-for-unknown, mathematical-set overread, silent subkind repair, and kind/individual substitution are blocked.