C.2.2:3 - Forces · fpf.tools

Force	Tension
Single number vs multi-tradition evidence	People want one scalar ↔ evidence comes from heterogeneous practices (proofs, tests, telemetry, expert review).
Rigor vs humility	Claims need to be usable in decisions ↔ overconfident scores are dangerous and hard to unwind.
Formal vs empirical warrant	Proof can be decisive in a formal theory ↔ real-world deployment requires empirical adequacy and drift management.
Scope realism vs marketing scope	Restricting a claim can remove an unsupported scope extension ↔ a smaller scope alone creates no new evidence or automatic R increase.
Reuse vs relation-specific loss	Reuse is valuable ↔ a changed scope, kind, plane, notation, local meaning, model-use basis, or evidence basis can introduce a different and separately governed loss.
Toolability vs expressive freedom	A validator needs crisp rules ↔ authors want flexible narratives and domain nuance.