CC-A2.8.PER-1 | The current result is exactly NonProhibitionFinding@Context, GrantedPermissionRelation@Context, PermissionExerciseRelation@Context, NonViolationFinding@Context, or PermissionNormConflictFinding@Context. |
CC-A2.8.PER-2 | Beneficiary selects exactly one of beneficiarySystemRoleKindRef : U.KindRef, beneficiarySystemRoleAssignmentRef : U.RelationRef constrained to U.SystemRoleAssignment, or beneficiaryPartyRef : PartyRef, with its branch-specific eligibility test. The branch record is not a new beneficiary U-kind. |
CC-A2.8.PER-3 | A strong grant names the admitted U.System that performs the instituting act, the exact grantor system-role assignment whose HolderSystemSlot resolves to that system, participants, policy edition, ClaimScope and validity window, currentness, and occurrence identity. Any required authority relation obtains independently. |
CC-A2.8.PER-4 | Weak findings require a current frame explicitly complete enough for the intended use; incompleteness returns unresolved. |
CC-A2.8.PER-5 | Exercise names dated work, the admitted U.System that performed it, the one current grant occurrence through a U.RelationRef constrained to GrantedPermissionRelation@Context, scope, and interval; it answers action match and beneficiary eligibility from those objects and the exact covering assignment or on-behalf-of relation. |
CC-A2.8.PER-6 | Neither exercise nor non-exercise establishes NonViolationFinding@Context; non-exercise is not violation, and exercise is not obligation satisfaction and does not consume a grant without an explicit policy. |
CC-A2.8.PER-7 | A same-scope conflict is settled only by an applicable policy rule that selects the outcome or by a current resolution result produced by dated Work of an admitted system under a covering system-role assignment and independently obtaining decision-authority relation. Naming a policy, office, system-role kind, assignment, or “owner” alone leaves only the affected Work or reliance use unresolved. |
CC-A2.8.PER-8 | Permit episteme, carrier, evidence, admissibility, readiness, gate, capability, Work, and result remain distinct and are handled under their respective subject patterns. |