A.2.5:4.5 - Work-Admission Use

A.2.5 supplies the state relation and exact assertion form. Use the direct subject patterns when Method selection, a gate decision, authority, or a claim that Work occurred is needed.

For a consequence-bearing admission use, the system performing the consumer’s evaluation or decision Work applies that consumer’s direct pattern and checks:

1. the exact U.SystemRoleAssignment obtains throughout the receiving decision or Work window;
2. the consumer selects one exact SystemRoleAssignmentStatePredicate, whose truth condition may be an explicit conjunction;
3. each relevant assignment has an obtaining SystemRoleAssignmentStateRelation whose actual extent covers the receiving-use window;
4. the assertion has the evidence relation and currentness that this consumer requires; and
5. every other admission condition is separately established under its subject pattern.

The consumer’s direct pattern defines any admit, deny, defer, or unresolved outcome. A.2.5 contributes only the exact state relation on which that decision Work may rely.