F.16:12.2 - System role and RBAC role
Situation and claim. The same System performs Work under a local operator system-role assignment and also has permissions grouped by an RBAC role. The claim is that these are different subjects even when both use the word role.
Recover the local system-role kind under A.2 with C.3 and the exact assignment under A.2.1. For claimed dated Work, recover the performer’s A.13 core and independently admit the Work under A.15.1; add F.6 only for precise attribution through that same obtaining assignment. F.4 supplies a kind description only when one is needed. Use the access-control pattern for the permission grouping, E.10.ROLE and F.0.1 for the trigger word, and the direct rule for any separation-of-duties constraint. A table row or shared spelling establishes neither sameness nor disjointness.