A.2.5:2 - Problem
Without a direct assignment-state relation ontology, six recurring failures appear.
- Assignment becomes readiness. Holding an assignment is treated as satisfying every state precondition of every method that names its system-role kind.
- State label hides the predicate.
Ready,Approved, orActivetravels between domains although its truth conditions differ. - Evidence becomes the state. An evidence or display episteme is treated as the world-side relation.
- Missing evidence becomes falsehood. An unrecovered or stale evidence path is taken as proof that the predicate does not obtain.
- Capability becomes admission. A system’s ability to perform an operation is overread as current admission of this concrete method or Work claim.
- State notation becomes method order. A transition arrow is treated as the Work that changes the state, although Method, Work, transformation, and state-change claim have different ontics.