A.2.9:2 — Problem
How can FPF represent communicative enactments so that:
- Agency is explicit: §4.1 and SA-C0/SA-C1 require the A.13 performer core, independent A.15.1 Work admission, and F.6 afterward only for a needed precise assignment-bound claim through the same obtaining assignment.
- The act is locatable in time: the act has an explicit Window (and thus freshness can be evaluated).
- The act is locatable in meaning: the act satisfies a type defined by an exact recognition-taxonomy episteme under an effective reference scheme; no generic bounded-context participant or Work judgement-context field substitutes for that basis, and
U.ClaimScoperemains only a claim-applicability object when a receiving claim needs one. - The act is auditable: it has at least one declared utterance description, evidence carrier, or both when used for gate checks or governance.
- Institutional effects are linkable: the act can institute or update commitments, system-role assignments, statuses, and other exact relations by reference only after each effect’s direct obtaining conditions hold.
- Ambiguity is handled pragmatically: the model supports multi-function and multi-party communication without requiring full linguistic pragmatics.
- Receiving use stays affordable: a practitioner can name who should understand or do what, judge the available evidence, and repair the smallest blocker or stop without first constructing a complete occurrence record.