A.6.RCD:5.2 - System-role assignment and performed Work: recover A.13 and A.15.1 first, then use F.6 directly when attribution is current

Situation. A work record needs the readable claim that one actual system performed one exact Work occurrence under one exact assignment to a system role.

Base and direct result. Recover S : U.System as the exact actual performer through A.13 and let A.15.1 independently admit exact W : U.Work. When the work record expressly needs the under-assignment claim, reuse the same obtaining A.13 assignment RA, apply F.6 to the direct predicate performedUnderAssignment(W, RA), and compare RA.HolderSystemSlot with the already recovered S. F.6 identifies neither assignment nor performer. A C.2.1 episteme may assert that result for the receiving use. The system performs the Work; the assignment supplies its holder and assigned-kind projection but neither acts nor creates another participation relation. If F.6 is missing or fails, retain the Work and remove only the under-assignment claim.

Positive case. A.13 has already recovered S through the same obtaining RA, A.15.1 has independently admitted W, RA covers W, RA.HolderSystemSlot = S, and F.6’s direct Work-attribution predicate holds for the exact pair. The readable result is “S performed W under RA.” No generic enactment object is needed.

Discriminating failure. The assignment obtains, but another system performs the Work, or S performs Work outside the assignment’s extent. Assignment plus nearby Work is insufficient; capability, responsibility, authority, and a result also remain separate claims.

Disposition and stop. Stop at disposition 1 under A.2.1 and F.6. Admit no RoleEnactment kind, compound relation, occurrence, or RelationSignature. If a later use needs another participation or functioning relation in addition to Work attribution, name its direct predicate or return that exact missing governor instead of generalizing from enacted.