FPF Reference

    A.2.9:4.4 — Separation rules with U.Commitment, GrantedPermissionRelation@Context, and U.PromiseContent (normative)

    Preface node heading:a-2-9-4-4-separation-rules-with-u-commitment-grantedpermissionrelation-context-and-u-promisecontent-normative:7542

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    1. Instituting an enduring deontic relation. A speech-act occurrence may be the actual instituting basis for one U.Commitment or GrantedPermissionRelation@Context only under an exact current constitutive policy or rule and the effect pattern's satisfied direct predicate. The enduring relation is separately identified. Do not encode obligations or permissions as prose inside SpeechActRecord; cite only the exact already obtaining relation occurrences in institutes.commitments or institutes.permissions.

    2. Promise content and the act of offering it. U.PromiseContent is the promised-outcome statement; a speech act may be the act of offering or issuing that promise, but the promise content lives in the promise-content object and is referenced from the resulting commitments.

    3. The act and its evidence carrier. A “signed approval PDF”, ticket, message, or API log is a carrier; it may carry an utterance-description episteme or a SpeechActRecord. The speech act is the Work occurrence described or evidenced.

    4. Conditions for publication and institutional effects. Default interpretation rule (normative). A conformant model/interpreter MUST NOT infer a U.Commitment, GrantedPermissionRelation@Context, publication occurrence, or subject-specific status relation solely from a Publish/Approve speech-act occurrence or its record. Publication work may establish an EpistemePublicationRelation only when E.24.PUB's selected edition, audience, bounded use, form, carrier, and availability conditions obtain. A constitutive policy may let an act institute a subject-specific Approved, Published, or similar status relation; then cite that exact relation occurrence through the subject pattern and separately cite any C.2.1 status claim and A.10 evidence. The claim represents the status; judge whether that status obtains under the cited status rule.

    Last Updated: 2026-09-03 — upstream FPF commit b999972c (github.com/ailev/FPF)