F.5:5.2 - Local System-Role Kind and Its Description

Under Plant-A-Maintenance-Scheme, PumpInspectorSystemRole designates one exact local kind; it is not that kind. PumpInspectorSystemRoleKindDescription-v3 is a separate C.2.1 episteme whose EntityOfConcern is the kind. Its ClaimGraph states which systems are candidates, the reading-and-judgment condition that distinguishes members, useful member and non-member probes, the continuity rule, current KindSignature, and effective scheme. Plant-A maintenance provenance locates that definition; it does not identify the kind. The Tech designation is PumpInspectorSystemRole; the Plain designation is “pump inspector”.

This worked slice needs an assignment identity, so Robot7-PumpInspector-Assignment-2026Q3 is one occurrence of the directly declared PlantAPumpInspectionAssignment species under U.SystemRoleAssignment. The species’ holder slot admits a U.System; its declaration-local assigned-kind slot uses the exact PlantAMaintenanceSystemRoleKindDomain; and its predicate applies within the Plant A maintenance scheme and obtains while the fixed holder is assigned under PumpInspectorSystemRole to supply the pump-inspection contribution. The occurrence identifies Robot-7 as holder and PumpInspectorSystemRole as assigned kind, and spans the maximal uninterrupted interval over which that predicate obtains for those values. This simple species declares no additional identity-bearing participant; a commission, position, or installation locus would become one only in a species whose predicate and identity actually require it.

This naming example does not identify Robot-7’s inspection of Pump 14 as a dated Work occurrence. Pump14InspectionFinding_2026-07-14T11-18Z is a separate claim-bearing result episteme, and Pump14InspectionTrace_2026-07-14 is the exact provenance record; G.6 and A.10 represent its independently established source and provenance relations in a descriptive path.

The kind label helps readers recover the kind; the description episteme describes it. Neither says Robot-7 satisfies the kind, has an assignment, performed the inspection, produced the finding, or supplied its provenance. A suffix, NameCard, row, pattern section, or citation identifies none of those objects or relations.