C.2.3:4.4 - Usage obligations

• Every normative episteme shall declare one F value.
• Thresholds that depend on rigor should be written explicitly as F >= Fk conditions.
• Any actual raise or lowering of expression rigor is a content change, not a status-only change. Correcting an erroneous F attribution changes the assessment, not necessarily the assessed episteme.
• F remains declaration and reasoning infrastructure; it is not itself a governance process.