A.2.5:9 - Common Failure Modes and Repairs

Failure	Observable symptom	Repair
Assignment-as-readiness	A Work claim proceeds because a holder is assigned.	Name the state predicate and establish the corresponding relation for the Work window.
State-label transport	Two domains use `Ready` as if it were one predicate.	Compare full predicate identities; use an explicit bridge only when cross-context preservation is claimed.
Evidence-as-state	A certificate or dashboard display is entered as the state.	Keep the world-side relation separate and target its assertion with an evidence-use relation.
Evidence-gap-as-false	A missing current report closes a state episode.	Record unresolved reliance; close the occurrence only when a truth-condition clause is demonstrated not to hold.
Capability-as-admission	Tool exposure or measured ability admits a concrete action.	Keep capability in A.2.2 and evaluate current state and action-specific conditions separately.
Method-order drift	Transition arrows are used as the procedure.	Name the Work, transformation, decision, or event occurrences that change predicate truth and put order in the Method description.
Product-state explosion	A multi-assignment Work claim enumerates every combination of labels.	Use separate state occurrences and only the conjunction needed by the current claim; create no compound system-role kind or assignment by form.