FPF Reference

    G.Core:4.1 - Delegation-first citation for Part‑G‑wide invariants

    Preface node heading:g-core-4-1-delegation-first-citation-for-part-g-wide-invariants:76093

    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 is a citation hub, not a “second spec”. For any Part‑G‑wide invariant that already has a governing definition, G.Core:

    1. standardises naming via SuiteObligations.* (A.6.7:4.2), and
    2. records where the invariant is governed, so downstream patterns cite rather than restate.

    Delegation table (normative index; no semantic duplication).

    Obligation handleCanonical governing definition(s)Part‑G note
    transport_declarative_only + cg_spec_cite_required_for_numeric_opsA.6.7 + A.19 (CN‑Spec) + G.0 (CG‑Spec) + A.19.CHRCN/CG are pins, not copies (“governing spec refs are pins, not copies”). No embedded/shadow governing spec refs.
    bridge_only_crossingsA.6.7 + E.18Any cross-Context or cross-plane/kind move is Bridge‑mediated; no implicit crossings.
    crossing_visibility_requiredE.18 (CrossingBundle) + A.6.7Crossing visibility is a published CrossingBundle. edition_key changes on crossing‑relevant artefacts (Bridge/CL surfaces, BridgeCards, CrossingBundle registries, and UTS rows for crossing artefacts) are treated as crossing-bundle edits. If the required CrossingBundle is missing/non‑conformant, downstream consumers MUST abstain from cross-Context or cross-plane reuse (no silent crossings).
    two_bridge_rule_for_described_entity_changeA.6.7entityOfConcern retargeting requires an explicit KindBridge (CL^k) in addition to any Context/Plane Bridge.
    `guard_decision_tristate(passdegradeabstain)+unknown_never_coerces_to_pass`
    penalties_route_to_r_eff_onlyA.6.7Penalties affect the R lane (R_eff) only; F/G invariants must not be altered by penalties.
    no_silent_scalarisation_of_partial_orders + no_silent_totalisationA.6.7Partial orders stay set‑valued; no silent scalar ranks or “helpful” totalisation.
    planned_slot_filling_in_work_planning_only + finalize_launch_values_in_work_enactment_only + gate_decision_separationA.15.3 + A.19.CHR + A.6.7Planned baselines are WorkPlanning‑only; launch/finalization values are WorkEnactment‑only; planning does not govern GateDecision/DecisionLog semantics.
    DefaultGoverningDefinitionIndex.single_governing_definition_per_DefaultIdthis patternAny default names exactly one governing definition; G.Core.DefaultGoverningDefinitionIndex is an index, not a second spec.

    This pattern also governs four pieces of Part‑G‑wide infrastructure that are not already governed elsewhere:

    • the typed RSCRTriggerKindId catalogue (single writer),
    • the Default Governing Definition Index (one governing definition per DefaultId; index only), and
    • the Δ‑discipline for ID‑stable deduplication (delegation without public‑ID breakage), and
    • the linkage compression catalogues (GCoreConformanceProfileId, GCoreTriggerSetId, GCorePinSetId) used to keep G.x linkage sections small.

    Last Updated: 2026-06-08 — upstream FPF commit 093d30e8 (github.com/ailev/FPF)