F.11:8 - Invariants

1. Method and description distinction. A MethodDescription is the same episteme recognized by A.3.2, with one admitted Method as its exact EntityOfConcern; it is not the Method, and describes adds no binary relation.
2. Occurrence distinction. Work is an actual dated occurrence, not its plan, report, record, or output.
3. No universal actuation kind. A control or transformation output is typed and related under its direct pattern.
4. Explicit enactment. Work enacts a Method only when the exact relation and basis are stated.
5. Explicit description use. MethodDescription use, following, conformance, deviation, interpretation, and reliance are separate claims under their defining or testing patterns; absent such a rule, return A.6.RCD missing-governor.
6. Exact agency. Each claimed actual performer has the A.13 core, including the obtaining assignment, before independent A.15.1 Work admission. F.6 is required only for precise assignment-bound attribution; no vague System-in-Role substitute.
7. Evidence separation. Approval of a description does not establish Work occurrence or outcome.
8. Source-local wording. Ambiguous expressions are recovered with F.0.1; F.9 is conditional on a real relation between local meanings.