FPF Reference

    G.9:4.3 — Execution protocol (run‑time / selector‑adjacent)

    Preface node heading:g-9-4-3-execution-protocol-run-time-selector-adjacent:105639

    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

    Execution is one run under the pinned plan:

    1. Validate CSLC references and pins. Validate the cited CSLC comparability and admissibility references, active pins, and witnesses; run eligibility or acceptance checks under the plan’s TaskSignature (S2) and refuse or abstain on non-admissible operations (record trace; no “fourth status”). If a live A.21 gate consumes this check, cite its GateDecisionRef/DecisionLogRef; do not create a G.9-local CSLC gate.

    2. Invoke selection/dispatch. Apply G.5 under the plan’s pinned refs and emit selector outputs in a form consistent with G.5’s PortfolioMode and selected-set semantics.

      When parity is comparing bounded specialization, the report should echo the active specialization profiles or equivalent pins so readers can recover the work-measure threshold target, prior exposure, budget-to-threshold, post-threshold efficiency when relevant, transfer, retention, downside field, and any corridor-entry baseline or evidence note from the parity object itself rather than from later narrative explanation.

    3. Record the comparability mapping when used. If UNM_id?, NormalizationMethodId[]?, or NormalizationMethodInstanceId[]? was declared, echo it in ParityReport or its explicit pins delta. Record the ids and any scoped notes required by the cited specification in the audit pins and SCR; cite the applicable PathId values.

    4. Publish trace. Emit ParityReport with the exact ParityPlanRef, its BaselineBindingRef, EvidenceGraph citations, and all active edition and policy-id pins, so the run can be checked and run again.

    5. Emit telemetry hooks (optional, report‑only). When telemetry is produced, it is emitted as telemetry pins/events for refresh wiring (not as a silent change in dominance interpretation).

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