FPF Reference

    A.6.P:4.0a — Operational repair sequence (how repairs actually proceed)

    Preface node heading:a-6-p-4-0a-operational-repair-sequence-how-repairs-actually-proceed:13190

    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

    The RPR specialisation envelope is presented as lens → slots → change lexicon → guardrails because the stable abstraction is what keeps repairs reusable. In actual editing, repairs often start from a triggering token and proceed through a context-reconstruction step.

    Operationally, authors SHOULD follow this repair sequence when applying an RPR repair:

    1. Restore the head kind if needed. If the triggering phrase uses a generic or over-broad head noun (note, view, guidance, output, record, carrier, and similar placeholders), first state what kind of thing it actually is in source-local terms (publication form, interpretive claim kind or admissible-use boundary, process, authority use, and so on). Do not let a qualifier do this job by implication alone.
    2. Trigger on textual form. Detect umbrella relation predicates, pronominal or umbrella endpoint tokens or metonymic pointers, and generic-head-plus-FPF-governed-qualifier combinations (including domain clusters such as service in A.6.8 and cross-Context “same, equivalent, align, or map” in A.6.9). When endpoint identity (pronoun, deixis, metonymy, or coarse kind) or relation-kind selection is ambiguous, repairs can collapse into “lexicon debates”. A.6.P treats this as an ontology reconstruction step with an explicit, checkable intermediate record.
    3. Choose a stable lens that can represent the reconstructed arity and polarity without ad-hoc role invention.
    4. Refine the ontology under the lens. Turn implied relation positions into SlotSpecs; repair endpoint kind mismatches explicitly through narrowing, KindBridge, or retargetParticipant; separate head kind, relation-bearing use, and qualifier-carried claim; make qualifiers explicit as slots or classified conditions.
    5. Emit canonical rewrites plus L, A, D, and E hooks. Produce Tech-form rewrites such as relationKind(...) or arrow form and state the A.6.B hooks: which parts are L, A, D, or E, and which witnesses, commitments, or work claims are now demanded.
    6. Only then allow later relaxation. If a Plain, didactic, or coarsened restatement is still wanted, derive it from the repaired form and keep the repaired form as the authoritative source for any later use that claims bridge, substitution, or reliance beyond the declared note.

    Decision or publication fail-closed (normative). If an in-scope mention is used to justify an admissibility gate, publication claim, or cross-Context reuse, authors MUST resolve the candidate sets to a selected RelationKind, selected endpoint facets and endpoint kinds, and any required head-kind reconstruction and emit an explicit rewrite. If that cannot be done from available context and witnesses, keep the statement as Plain or informative gloss (or split into multiple explicit alternatives) and do not treat it as admissible input for the gate.

    Informative: referential compression spectrum. Many triggers live on a spectrum from high to low referential precision: pronouns and deictics → overloaded polysemes → coarse domain kinds → facet head phrases → precise domain terms. Metonymy often shifts the candidate EntityOfConcern or endpoint (e.g., a place phrase standing in for an object or a role). The repair sequence explicitly treats this as a candidate-set problem, not as “the dictionary meaning”.

    Metonymy micro-example (informative; endpoint-side trigger beyond anaphora).

    Draft: “Alice is at the table.”

    at the table → candidates {place, meeting, record or carrier, role} → choose explicitly → rewrite into endpoint-refs + qualifiers:

    CandidateSetNote(triggerSpan="at the table", position=endpointFacet(p₂)):
- candidates: {PlaceRef(Table#7), MeetingRef(NegotiationSession#3), RecordRef(AgendaDoc#12), RoleRef(DecisionMakerSeat#2)}
- selected:   MeetingRef(NegotiationSession#3) + RoleRef(DecisionMakerSeat#2)  // metonymy: place → meeting or role
- consequence: require explicit `meetingRef`, `roleRef`, `Γ_time`, `witnesses` (and apply A.6.B separately for decision or admissibility)

participatesInMeetingUnder(
  personRef  = PersonRef(Alice),
  meetingRef = MeetingRef(NegotiationSession#3),
  roleRef    = RoleRef(DecisionMakerSeat#2),
  Γ_time     = snapshot(t),
  witnesses  = {attendanceLogPins}
)

    If the literal location interpretation is intended, select PlaceRef(Table#7) and rewrite as locatedAt(…) with an explicit Γ_time qualifier.

    This step is intentionally not lexicon-only. The lexical rewrite is the output of an ontology- and lens-constrained repair, not the starting point. If you cannot state the candidate referents and facets, the selected head kind where needed, and the selected RelationKind token, the repair is incomplete.

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)