A reusable condition for assignments to one exact local system-role kind
A.2.5 SystemRoleAssignmentStatePredicate, by value.
One exact assignment satisfies that condition during the relevant interval
The world-side A.2.5 SystemRoleAssignmentStateRelation occurrence.
An affirmative or negative claim about the assignment or an established relation occurrence
A.2.5 SystemRoleAssignmentStateAssertion : U.Episteme; the assertion is not its EntityOfConcern.
Evidence, currentness, reliance, or an evaluation concerning that assertion episteme
A.2.4, A.10, or the direct evaluation pattern. Keep the assertion episteme distinct from the assignment and world-side relation.
Whether intended Work may enter now
A.15.5 or the direct receiving pattern. A.2.5 may supply an assignment-state input; it does not publish the admission result, gate decision, or Work occurrence.