A.2.4:3 - Forces · fpf.tools

Force	Tension this pattern resolves
Episteme identity versus episteme use	The same episteme can be used for several claims while retaining its identity.
Compact evidence statement versus full evidence graph	Users need a small evidence-use statement first; `A.10` remains the pattern for full evidence-provenance graph detail.
Formal proof versus empirical evidence	A proof can be stable inside one theory version; empirical evidence usually needs relevance windows, freshness, and provenance constraints.
Status display versus status assertion	A visible badge, cell, or label can cue status but does not by itself create permission, gate passage, assurance, or work evidence.
Local acceptance versus cross-local reuse	Evidence and status use are bounded by their source scheme, ClaimScope, window, and intended use; reuse recovers the changed values and any required F.9, source-currentness, publication-use, reliance, or assurance-use relation.
Causal evidence classes versus ordinary evidence relation	Causal-use evidence classes need `C.28`; A.2.4 keeps the evidence-use relation from being misread as a system-role kind or assignment.