C.2.3:2 - Problem
Without one unified F characteristic:
- Rigor is narrated inconsistently. Different contexts invent local mode/tier language with no shared comparability.
- Status and rigor collapse. Something accepted, published, or approved is mistaken for something precisely expressed.
- Expression changes are hidden. A move from sketch to predicates or from executable model to proof is not recorded as a distinct content change.
- Composition becomes unsound. A composite episteme is treated as highly formal because one segment is highly formal, even when essential support still depends on less formal parts.
- Other characteristics are misused as surrogates. Authors quietly use scope, evidence, or language-state facets as if they were part of one master formality characteristic.