A.13:4.1 - The Core Definition: Agential participation through an exact system-role assignment

An ordinary-language “agent” is not a fundamental FPF type. When a precise agency claim is needed, name four things:

1. the acting holder recognized as a U.System;
2. the exact local agential system-role kind whose membership criterion the holder satisfies;
3. an occurrence of a directly declared U.SystemRoleAssignment species that assigns that kind to the holder and actually obtains; and
4. any claim scope, working situation, and time window needed by the intended use, kept separate from the assignment’s identity.

This keeps a useful ordinary word without creating a universal Agent or AgentialRole kind. Classification by the local kind does not establish an assignment or performed Work. An episteme cannot be this assignment’s holder because the holder must be a U.System. Evidence supports the core facts independently of any profile; a characteristic-only claim about an admitted System need not add an assignment.