E.24.CD:5.8 - Mathematical inconsistency under a declared formal substrate
Two specification epistemes state constraints that cannot both hold under one declared FormalSubstrate and applicability. Identify the exact claims or epistemes, name that formal substrate, and state the exact inconsistency or consequence relation under its direct formal governor. Use C.29 only when the formalism is also being used as a mathematical lens for another declared use.
The formal relation may guide a later decision or repair-work occurrence, but it establishes no project-world event, work, transformation, causal relation, adverse episode, actual Problem, or situation entity. Formal consequence is not causation. Inconsistent descriptions do not make their world-side subjects inconsistent without a separately governed bridge claim. If the exact relation or substrate cannot be named, leave the formal claim unresolved rather than letting the word inconsistency stand for it.