A.2.5:3 - Forces · fpf.tools

Force	Tension
Lightweight assertion vs reusable identity	Ordinary Work needs a short state sentence; later admission, history, or comparison may need one individuated relation occurrence.
World-side obtaining vs evidence-backed reliance	A predicate can hold before anyone measures it, while consequence-bearing use needs a current assertion and evidence relation.
Simultaneous predicates vs single-state notation	`Calibrated`, `Synchronized`, and `InRange` may all hold together; a finite-state machine may still help with one narrower exclusive configuration.
Stable assignment vs changing state	One assignment can contain several state episodes without being recreated at each change.
Predicate identity vs permanent interpretation participants	Meaning-bearing signatures, schemes, bridges, or model-use structures may distinguish predicate values; irrelevant editions must not become participants of every assignment or state relation.
Capability vs action admission	Ability is a neighboring claim; current Work admission depends on the exact state predicate and the direct consumer’s rule.