fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 113046–113074

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:05:20 UTC

G.Core:4.4 - Default Governing Definition Index

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 - Default governing definitions
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.4Model-qualified support composition under B.3/C.2.2; no universal numeric fold. Keep separate support when no common model is justified.

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).