A.2.9:4.3 — SpeechActRef discipline (normative)

Preface node heading:a-2-9-4-3-speechactref-discipline-normative:6445

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

A SpeechActRef resolves to one actual Work individual admitted as SA : U.SpeechAct. It never denotes the kind itself or a SpeechActRecord.

  • If another object (for example, U.Commitment.source.speechActRef) cites a SpeechActRef, the referenced occurrence MUST satisfy occurrence-side SA‑C0…SA‑C3. A gate, audit, or provenance use additionally needs the record/evidence basis in SA‑C4 and SA‑C6 when cross-context.
  • A SpeechActRef MUST NOT be replaced by an EpistemeRef (“see the document”) when occurrence provenance is needed. A SpeechActRecord or utterance-description episteme may make claims about the occurrence but is not the act.
  • If a source cannot complete a SpeechActRecord, it may create an observation stub with the candidate speechActOccurrenceRef, known claims, provenance for those claims, and explicit unknowns. When the actual enactsMethod relation is not recoverable, leave enactsMethodRef absent, cite the exact unresolved claim and source-gap provenance, and set reliancePosture=observationOnly. The stub does not make the candidate actual, satisfy occurrence-side conformance, or support gate/deontic provenance. It becomes reliance-ready only after the exact enactsMethod -> U.Method relation is recovered, or after the governing Work architecture explicitly establishes that this occurrence needs no such relation. Never mint an AdHocCommunication or other U.MethodDescription solely to fill the gap; a description neither is the method nor enacts itself.

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