C.3.1:11 - Consequences

Benefits. Local typed compatibility remains small while its consequences for actual candidate judgments are testable.

Costs. A declaration change that matters to later classification needs an explicit edition and a separate continuity decision.

Risks avoided. False hierarchy, silent redefinition, retrospective reinterpretation, table-created membership, and kind/individual substitution are blocked.