#A.2.9:4.2 — Minimal occurrence-description record (normative)

Preface node heading:a-2-9-4-2-minimal-occurrence-description-record-normative:6369

#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

Use the following declaration schema only when a receiving use needs a persistent claim about an actual or candidate speech-act occurrence. The record fields state claims about the referenced occurrence; they are not fields stored in the Work individual and do not make it occur.

U.SpeechAct <: U.Work

SpeechActRef ::= U.EntityRef
  // resolves to one actual Work individual admitted as SA : U.SpeechAct

SpeechActRecord <: U.Episteme

SpeechActRecord ::=
    {
      speechActOccurrenceRef: SpeechActRef,
      performedBy: U.EntityRef,                     // resolves to the admitted U.System that acts
      performedUnderAssignment: RoleAssignmentRef,  // exact covering role/authority ground
      enactsMethodRef: optional<U.EntityRef>,        // resolves to the exact U.Method when recovered
      methodDescriptionRef: optional<U.EpistemeRef>, // separate description, only when the use needs it
      unresolvedEnactsMethodClaimRef: optional<ClaimIdRef>,
      methodRelationGapProvenanceRef: optional<U.EpistemeRef>,
      reliancePosture: observationOnly | relianceReady,
      executedWithin: U.EntityRef,                   // claim about the containing U.System
      window: [start, end | open],                   // claim about the occurrence's actual extent
      judgementContextRef: U.BoundedContextRef,
      utteranceSubjectRefs: optional<set<U.EntityRef>>,
      institutionalTargetRefs: optional<set<U.EntityRef>>,
      actTypes: set<SpeechActTypeRef>,               // ≥1 act types (supports multi-function)
      addressedTo: optional<set<AddresseeRef>>,      // optional: who is addressed / audience
      utteranceRefs: optional<set<DescriptionRef>>,  // where the utterance description is stated or recorded (A.7: Description)
      carrierRefs: optional<set<CarrierRef>>,        // evidence carriers/traces (A.7: Carrier; use A.10 when evidentiary)
      institutes: optional<InstitutedEffects>,       // references to objects/claims instituted/updated by this act
      notes: optional<InformativeText>               // explicitly informative
    }

DescriptionRef ::=
  ClaimIdRef | EpistemeRef
  // Pointer to an utterance description (e.g., spec clause claim ID, a policy episteme, a message-content episteme).

SpeechActTypeRef ::=
  ContextLocalTokenRef
  // Must be defined/recognized in the Work’s judgement context (bounded context).

AddresseeRef ::=
  PartyRef | RoleRef | RoleAssignmentRef

GrantedPermissionRelationRef@Context ::= U.EntityRef
  // resolves only to one exact GrantedPermissionRelation@Context occurrence

EpistemePublicationRelationRef ::= U.EntityRef
  // resolves only to one exact E.24.PUB EpistemePublicationRelation occurrence

InstitutedEffects ::=
  {
    commitments: optional<set<CommitmentIdRef>>,
    permissions: optional<set<GrantedPermissionRelationRef@Context>>,
    roleAssignments: optional<set<RoleAssignmentRef>>,
    publicationRelations: optional<set<EpistemePublicationRelationRef>>
  }

Occurrence-side constraints:

• (SA‑C0) Actual Work conformance. The individual referenced by speechActOccurrenceRef MUST independently satisfy U.Work conformance (A.15.1), including the actual performer system, covering assignment, enacted method, containing system, temporal extent, and judgement-context anchoring. A complete record neither creates those facts nor substitutes for them.
• (SA‑C1) The accountable system performs; the assignment grounds. The occurrence's actual performer MUST be an admitted U.System. The exact obtaining U.RoleAssignment under which it acts MUST have that system in HolderSystemSlot and cover the act. The assignment supplies role, authority, and attribution ground; it does not perform the act.
• (SA‑C2) Act types are occurrence classifications and context-local. The occurrence MUST instantiate at least one SpeechActTypeRef recognized in its judgement context. A token written into a record does not establish that classification unless the context's predicate is satisfied.
• (SA‑C3) Time honesty. The occurrence MUST have an actual temporal extent so freshness can be evaluated; a recorded timestamp is a claim about that extent, not the extent itself.

Keep three questions separate. utteranceSubjectRefs answers what the utterance or claim is about. institutionalTargetRefs answers which object or relation the act is intended to institute or update under the named policy. Actual change or institutional effect is a third world-side fact and is stated only through its exact direct change/effect relation and the matching typed institutes.* reference when the record needs it. An informative notice or assertion may have a subject without any institutional target or changed entity. Shared reference values do not collapse these relation meanings.

Record- and reliance-side constraints:

• (SA‑C4) A relied-on occurrence must be observable. When a gate, checklist, commitment, or grant relies on a SpeechActRef, the SpeechActRecord SHALL identify that same occurrence and cite at least one applicable utteranceRef, carrierRef, or separately governed evidence relation. Evidence-critical uses SHOULD cite at least one carrier through A.10. Record completeness alone does not prove occurrence or institutional force.
• (SA‑C5) Institutional-effect claims are typed references to world-side effects. institutes.* may reference only the exact commitment or relation occurrence through its declared RefKind. Each institutes.permissions value MUST be a GrantedPermissionRelationRef@Context whose context matches the speech-act occurrence's judgement context or is connected by the explicit Bridge used by the receiving claim. Each institutes.publicationRelations value MUST resolve to an obtaining EpistemePublicationRelation under E.24.PUB. A status claim is an episteme about an effect, not an instituted effect; keep it and its A.10 evidence relation outside institutes.*. The cited policy and direct world-side obtaining conditions still decide whether any effect exists.
• (SA‑C6) Cross-context use is Bridge-only. If a SpeechActRef or SpeechActRecord is interpreted for checking, gate evidence, or provenance in a different bounded context than the occurrence's judgement context, the receiving claim MUST cite the Bridge/policy that licenses that interpretation rather than assuming equivalent force from the same label.

Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)