F.4:11 - Relations

Builds on. A.2, C.3, C.3.2, A.6.5, A.6.RSIR, A.7, C.2.1, E.10.ROLE, E.10.D2, and E.24.

Coordinates with. A.2.1, A.2.2, A.2.5, A.2.7, A.15, A.15.1, A.15.2, F.5, F.9, F.10, F.14, F.15, F.18, and direct evidence, status, source, publication, requirement, permission, responsibility, and assurance relations.

Constrains.

• F.5 names a SystemRoleKindDescription only after the described local kind, current criterion, effective scheme, and local sense are recovered.
• Use F.8 to decide durable name minting or reuse without turning status or episteme use into a system-role-kind description.
• F.14 keeps bundles and separation-of-duties relations separate from kind descriptions.
• Use F.15 to check the single-kind and non-inference boundaries.