FPF Reference

    G.Core:4.4 - Default Governing Definition Index

    Preface node heading:g-core-4-4-default-governing-definition-index:78715

    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

    G.Core provides an index of Part‑G defaults with one governing definition per DefaultId. The index is not a “second spec”; it is a cross-reference table that points to the governing definition reference (a CC item, policy‑id, or TaskSignature rule) and states applicability conditions.

    G.Core:4.4.1 - Definitions

    • DefaultId Stable identifier of a default (a default constant or default rule).

    • DefaultGoverningDefinitionRef A reference to the governing definition of the default (e.g., a CC item id like CC‑G5.23, or a policy id, or a TaskSignature rule definition).

    G.Core:4.4.2 - Rules

    • Exactly one governing definition per DefaultId.
    • Any other mention in G.x MUST be a citation/delegation to the governing definition, not a competing statement.
    • A default may be conditional (default-rule) with explicit applicability conditions.
    • The Default Governing Definition Index SHALL NOT be used to “smuggle” mandatory invariants as defaults. Invariants remain invariants (typically cited through CC‑GCORE‑… and their canonical governing definitions).

    G.Core:4.4.3 - Seed Default Governing-definition assignment entries (Phase‑2 minimum)

    DefaultIdDefaultGoverningDefinitionRefNotes
    DefaultId.PortfolioModeCC‑G5.23Existing governing definition; other mentions delegate to it.
    DefaultId.DominanceRegimeCC‑G5.28Existing governing definition; other mentions delegate to it.
    DefaultId.GammaFoldForR_effCC‑G5.4Default Γ‑fold for R_eff is weakest‑link; overrides require explicit CAL support.

    This table may grow over time; the rule is that the governing definition must already be named (or be intentionally set to G.Core when the default is truly Part‑G‑wide and not governed elsewhere). Any change in a row (add/remove/change governing definition) SHALL be treated as a refresh‑sensitive edit and recorded as RSCRTriggerKindId.DefaultGoverningDefinitionChange (payload: affected DefaultId.*, old governing definition ref, new governing definition ref).

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