Link to current text
C.2.3:3 - Forces
| Force | Tension |
|---|
| Readability vs precision | Natural language is fast and legible; formal systems are unambiguous and checkable. F needs a gradient, not a cliff. |
| Local freedom vs shared comparability | Contexts need local exemplars and thresholds, but cross-context reasoning requires one stable characteristic. |
| Exploration vs assurance | Early work must be allowed at low F, while high-assurance work needs explicit higher anchors. |
| Notation diversity vs semantic stability | Different symbol systems may express the same rigor level; notation choice alone must not redefine F. |
| Thin characteristic vs rich practice | The core characteristic should stay simple, while still supporting concrete guidance, examples, and review discipline. |