Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 17:30:10 UTC

G.Core:4.3 - RSCR Trigger Catalogue and docking discipline

G.Core is the single writer for Part‑G‑wide trigger kinds.

G.Core:4.3.1 - Definitions
  • RSCRTriggerKindId Canonical, stable identifier for a trigger kind (a class of “why RSCR/refresh must fire”). Cross-pattern reason code.

  • RSCRTriggerAliasId Pattern-scoped human label/token kept for ergonomics and alias continuity (e.g., G.11:T4, G.6:H3:lane-tag correction).

  • TriggerAliasMap Mapping table: RSCRTriggerAliasId → {RSCRTriggerKindId…} (1..n).

  • RSCRTrigger Minimal conceptual form (notation-independent):

    RSCRTrigger := ⟨
      triggerKindId: RSCRTriggerKindId,
      scope: PathSliceId[] | PathId[] | PatternScopeId,
      payloadPins: { …id pins… }
    ⟩
    

    Where payloadPins contains any edition pins, policy-ids, Bridge ids, evidence pins, regression-set ids, etc., required to make the trigger actionable.

G.Core:4.3.2 - Governing-definition model
  • TriggerGoverningDefinition := G.Core.
  • Any new trigger kind SHALL be added to G.Core first.
  • Other patterns MAY define aliases only (or cite shared alias maps), and MUST map aliases to canonical kinds.
G.Core:4.3.3 - Authoring rules
  • No implicit triggers: Any RSCR/SCR/refresh artefact that records reasons MUST record canonical RSCRTriggerKindId. Aliases may be recorded as labels, but must not be the only reason code.

  • No implicit overloading: A local token string (e.g., T4) SHALL NOT silently change meaning across patterns; namespace is part of the alias (G.11:T4 ≠ A.20:T4).

  • Granularity discipline: If a local cause is narrower than an existing canonical kind, map it to that kind and keep the nuance as a local scope note. If the difference matters for planning/selection, add a new canonical kind.

  • Multi-cause discipline: When an event spans multiple canonical kinds, record multiple triggers (preferred) or map the alias to a set {…} and require emitting the full set.

G.Core:4.3.4 - Canonical trigger catalogue

Use these canonical kinds to classify refresh causes and to interpret the deprecated G.6:H3 and G.11:T0…T7 aliases used across G.0…G.13:

  • RSCRTriggerKindId.LegalitySurfaceEdit
  • RSCRTriggerKindId.PenaltyPolicyEdit
  • RSCRTriggerKindId.CrossingBundleEdit
  • RSCRTriggerKindId.ReferencePlaneEdit
  • RSCRTriggerKindId.EditionPinChange
  • RSCRTriggerKindId.TokenizationOrNameChange
  • RSCRTriggerKindId.PolicyPinChange
  • RSCRTriggerKindId.TelemetryDelta
  • RSCRTriggerKindId.FreshnessOrDecayEvent
  • RSCRTriggerKindId.EvidenceSurfaceEdit
  • RSCRTriggerKindId.MaturityRungChange
  • RSCRTriggerKindId.BaselineBindingEdit
  • RSCRTriggerKindId.DefaultGoverningDefinitionChange
G.Core:4.3.4.1 - Canonical kind definitions (normative, minimal)

Each RSCRTriggerKindId SHALL have a short, stable definition in G.Core (single-writer) to prevent semantic drift.

RSCRTriggerKindIdMinimal meaning (cause class)Typical payload pins (non-exhaustive)
RSCRTriggerKindId.LegalitySurfaceEditA legality surface changed (CG‑Spec: ComparatorSet/SCP/Γ_fold/MinimalEvidence, or equivalent legality inputs).CGSpecRef.edition, ComparatorSetRef.edition, SCPRef.edition, ΓFoldRef.edition
RSCRTriggerKindId.PenaltyPolicyEditA penalty / Φ / Ψ / FailureBehavior / SoS‑LOG branch policy changed.penalty policy ids, Φ/Ψ policy ids, SoS‑LOG branch id pins
RSCRTriggerKindId.CrossingBundleEditA crossing bundle changed (Bridge/CL routing, crossing-bundle registry cards, crossing policy pins), including edition_key changes of crossing‑relevant artefacts (BridgeCards, CrossingBundle registries, UTS rows for crossing artefacts).BridgeId/BridgeCardId, BridgeMatrixId?, CL* ids, crossing policy ids, UTSRowId[], PathId/PathSliceId?
RSCRTriggerKindId.ReferencePlaneEditReferencePlane or plane-routing surface changed.ReferencePlaneId, plane-policy ids
RSCRTriggerKindId.EditionPinChangeAny pinned edition relevant to downstream artifacts changed (including CNSpecRef.edition, CGSpecRef.edition, comparator/method/descriptor/distance/etc.). Crossing‑artefact edition_key changes are additionally classified as CrossingBundleEdit per multi‑cause discipline.changed *.edition pins, affected PathSliceIds
RSCRTriggerKindId.TokenizationOrNameChangeA published tokenization / naming / alias surface changed in a way that can affect docking, citations, or dispatch (e.g., UTS Name Cards, twin labels, alias maps).affected UTSRowId[], NameCardId[], alias ids / maps
RSCRTriggerKindId.PolicyPinChangeA policy-id pin used by characterization changed (selection, insertion, emission, routing, refresh policy, etc.).policy ids (and other non-edition configuration pins when they are explicitly pinned)
RSCRTriggerKindId.TelemetryDeltaTelemetry inputs that influence refresh/selection changed (not merely display-only).telemetry ids/refs, Audit-published pins
RSCRTriggerKindId.FreshnessOrDecayEventTime/freshness/decay conditions affecting validity changed (window shift, decay thresholds, freshness policy edits).freshness window refs/ids, decay/freshness policy ids
RSCRTriggerKindId.EvidenceSurfaceEditEvidence graph / evidence surface changed in ways that affect admissibility/acceptance/comparison.evidence pins, EvidenceGraph refs, affected PathIds
RSCRTriggerKindId.MaturityRungChangeMaturity rung/ladder state changed for relevant artifacts or paths.maturity rung ids, affected scopes
RSCRTriggerKindId.BaselineBindingEditSelected baseline references or applicable typed fillings changed, opening the affected P2W-use question.Exact WorkPlan and baseline locator; declared-position row designators only when typed filling applies; changed pins and relevant variance
RSCRTriggerKindId.DefaultGoverningDefinitionChangeThe governing definition of a DefaultId (as recorded in G.Core.DefaultGoverningDefinitionIndex) changed, or a default row was added/deprecated.affected DefaultId.*, old governing definition ref, new governing definition ref
G.Core:4.3.4.2 - Canonical trigger sets (compression primitive)

GCoreTriggerSetId identifies a named set of RSCRTriggerKindId values. A G.x MAY cite trigger sets in RSCRTriggerSetIds instead of repeating long RSCRTriggerKindIds lists.

GCoreTriggerSetIdRSCRTriggerKindIds (set)Notes
GCoreTriggerSetId.CGSpecGate{RSCRTriggerKindId.LegalitySurfaceEdit, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.FreshnessOrDecayEvent}Covers CG‑Spec legality‑gate kits (e.g., G.0).
GCoreTriggerSetId.SoTAHarvestSynthesis{RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.TokenizationOrNameChange, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.LegalitySurfaceEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent}Covers SoTA harvesting/synthesis packs (e.g., G.2).
GCoreTriggerSetId.EvidenceGraphKit{RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.MaturityRungChange, RSCRTriggerKindId.BaselineBindingEdit}Covers EvidenceGraph/SCR kits (e.g., G.6).
GCoreTriggerSetId.BridgeCalibrationKit{RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.BaselineBindingEdit}Covers bridge calibration/CL kits (e.g., G.7).
GCoreTriggerSetId.RefreshOrchestration{RSCRTriggerKindId.LegalitySurfaceEdit, RSCRTriggerKindId.PenaltyPolicyEdit, RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.ReferencePlaneEdit, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.FreshnessOrDecayEvent, RSCRTriggerKindId.EvidenceSurfaceEdit, RSCRTriggerKindId.MaturityRungChange, RSCRTriggerKindId.BaselineBindingEdit}Covers refresh orchestration (e.g., G.11).
G.Core:4.3.5 - Initial alias maps

These alias maps are normative docking artefacts and preserve deprecated alias labels while moving semantics to canonical ids.

TriggerAliasMap.G11 Based on the existing trigger catalogue in G.11 (T0…T7).

  • G.11:T0 → { RSCRTriggerKindId.PolicyPinChange }
  • G.11:T1 → { RSCRTriggerKindId.TelemetryDelta }
  • G.11:T2 → { RSCRTriggerKindId.EditionPinChange }
  • G.11:T3 → { RSCRTriggerKindId.EditionPinChange }
  • G.11:T4 → { RSCRTriggerKindId.CrossingBundleEdit, RSCRTriggerKindId.PenaltyPolicyEdit }
  • G.11:T5 → { RSCRTriggerKindId.FreshnessOrDecayEvent }
  • G.11:T6 → { RSCRTriggerKindId.MaturityRungChange }
  • G.11:T7 → { RSCRTriggerKindId.PolicyPinChange }

TriggerAliasMap.G0 (reserved). Map any stable deprecated registry-hook labels emitted/recorded by G.0 to the canonical kinds above (typically LegalitySurfaceEdit, PenaltyPolicyEdit, CrossingBundleEdit, ReferencePlaneEdit, TokenizationOrNameChange), preserving the original label text as RSCRTriggerAliasId. If none exist, G.0 SHOULD emit canonical RSCRTriggerKindId values directly.

TriggerAliasMap.G6 EvidenceGraph H3 example causes → canonical kinds:

  • G.6:H3:freshness/decay change → { RSCRTriggerKindId.FreshnessOrDecayEvent }
  • G.6:H3:Bridge CL/CL^k or loss update → { RSCRTriggerKindId.CrossingBundleEdit }
  • G.6:H3:Φ/Ψ policy change → { RSCRTriggerKindId.PenaltyPolicyEdit }
  • G.6:H3:lane tag correction → { RSCRTriggerKindId.EvidenceSurfaceEdit }
  • G.6:H3:ReferencePlane correction → { RSCRTriggerKindId.ReferencePlaneEdit }
  • G.6:H3:QD/OEE artefact updates (U.DescriptorMapRef.edition/DistanceDef, EmitterPolicyRef, InsertionPolicyRef, archive K-capacity) → { RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange }