FPF Reference

    G.12:4 — Solution — Compute and publish DHC series admissibly, with RSCR-ready telemetry

    Preface node heading:g-12-4-solution-compute-and-publish-dhc-series-admissibly-with-rscr-ready-telemetry:81884

    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.12:4.0 — G.Core linkage (normative)

    This pattern is core‑invariant‑bearing and therefore binds to G.Core by declaration (not by restating invariants here).

    GCoreLinkageManifest (G.12) (normative; expands per G.Core:4.2) Effective obligations/pins/triggers are computed as union(expand(sets), explicit deltas) under Nil‑elision.

    • CoreConformanceProfileIds := { GCoreConformanceProfileId.PartG.AuthoringBase, GCoreConformanceProfileId.PartG.TriStateGuard, GCoreConformanceProfileId.PartG.UTSWhenPublicIdsMinted, GCoreConformanceProfileId.PartG.ShippingBoundary }

    • RSCRTriggerSetIds := { GCoreTriggerSetId.BridgeCalibrationKit }

    • RSCRTriggerKindIds := { RSCRTriggerKindId.LegalitySurfaceEdit } (Any additional causes required by optional dashboard panels MUST be introduced only by the corresponding GPatternExtension blocks in G.12:4.9.)

    • DefaultsConsumed := ∅ (Default-citation discipline for DefaultId.PortfolioMode and DefaultId.DominanceRegime is only relevant when selection outputs with PortfolioMode are consumed; see G.12:Ext.PortfolioTelemetry.)

    • CorePinSetIds := { GCorePinSetId.PartG.AuthoringMinimal, GCorePinSetId.PartG.CrossingVisibilityPins }

    • CorePinsRequired (pattern delta; pin names only; all are id‑valued unless noted) := { DHCSeriesId, TargetSlice (USM tuple; varies only by Γ_time across rows; no implicit “latest”), Γ_time (time selector / freshness window; required per row; series MAY additionally declare a window‑family spec), DHCSlotId[] (typed DHC slots governed by C.21; each resolves to CharacteristicId + scale/unit/polarity + reference plane binding + lane discipline), DHCMethodSpecRef.edition, DHCMethodRef.edition, PathSliceId[] } (Nil‑elision applies. All other definition pins are conditional: they MUST appear only when actually used and when their governing pattern/extension is present (e.g., UNM/normalization pins, QD/OEE telemetry pins, transfer rules pins, pack inclusion pins).)

    • TriggerAliasMapRef := ∅

    G.12:4.1 — Objects (LEX heads; twin‑register discipline)

    All objects below are notation‑independent; serialisations (if any) live under shipping or interop governance, not here.

    (1) DHCSeries@Context (UTS‑published dashboard series; C.21‑grounded) A time‑indexed publication of computed DHC readings for a Discipline × ContextSlice, aligned with U.DHCSeries semantics from C.21 and pinned to method/governing spec refs.

    Minimal fields (conceptual; ids/pins only):

    DHCSeries@Context := ⟨ DHCSeriesId, CG-FrameContext, entityOfConcern := ⟨GroundingHolon, ReferencePlane⟩, TargetSlice, // USM tuple; time series varies Γ_time across rows (explicit, no implicit “latest”) DHCSlotId[], // slot set selected from C.21 (typed DHC slots; not “just Characteristic ids”) DHCPackRef.edition?, DHCMethodSpecRef.edition, WindowSpec?, // optional window-family spec used to generate per-row Γ_time CNSpecRef.edition, CGSpecRef.edition, EvidenceGraphId?, // if resolvable; else row-level Path pins suffice DashboardSliceId[]?, // published view slices (optional) TelemetryPinSetId? // wiring to refresh (conceptual) ⟩

    (2) DHCRow@Context (one timepoint / window reading; Work/Audit‑citable) A single computed row of the series.

    DHCRow@Context := ⟨ DHCRowId, DHCSeriesId, Γ_time, DesignRunTag = run, DHCSlotId, value, units/scaleRef?, compareOnly?, stance ∈ {pass|degrade|abstain}, DHCMethodRef.edition, DHCMethodSpecRef.edition, PathSliceId[], PathId[]?, EvidenceGraphId?, evidenceLaneTags? := {TA|VA|LA}, crossingPins? := ⟨BridgeId[], PlaneMapRef.edition?, CL/CL^k/CL^plane?, Φ/Ψ/Φ_plane policy‑ids…⟩ ⟩

    (3) DashboardSlice@Context (view; non‑semantic) A view‑friendly grouping over one or more series/rows. It MUST NOT introduce new aggregation/legality semantics; it is a projection over already computed, pinned, citable rows.

    DashboardSlice@Context := ⟨ DashboardSliceId(UTS), DHCSeriesId(UTS)[], SliceAnnotations?, // labels, grouping metadata, explanatory text ViewSpecId?, // view template id (policy‑bound; no semantics implied) IncludedRowIds? ⟩

    (4) DHCTelemetryPin (refresh wiring pin; id‑based causes) A conceptual telemetry pin emitted to refresh/orchestration (governed by G.11) with canonical trigger kind ids.

    DHCTelemetryPin := ⟨ triggerKindId: RSCRTriggerKindId, scope: PathSliceId[] | PatternScopeId, payloadPins: { …ids… } // editions, policy‑ids, UTS row ids, window ids, etc. ⟩

    Ref discipline. .edition SHALL appear only on …Ref (per E.10). Dashboard artefacts that mint public ids publish Tech/Plain twins (UTS discipline).

    G.12:4.2 — Method‑of‑Obtaining Output (generation‑first; design‑time → run‑time)

    Stage A — Author & bind (design‑time)

    A1. Select the DHC slot set (governed by C.21). Choose DHCSlotId[] from C.21 (typed DHC slots), and declare the series scope explicitly as TargetSlice (USM tuple) plus an explicit time selector (Γ_time per row; optionally a WindowSpec that generates the row windows). Do not restate slot semantics in the dashboard kit; cite the C.21 governing definitions.

    A2. Bind governance card and legality gate (governing definitions: A.19, G.0). Pin CNSpecRef.edition and CGSpecRef.edition. Any normalization or numeric comparability assumptions are expressed by explicit CN‑Spec artefacts (ids/refs) and any numeric legality requirements cite CG‑Spec artefacts (SCP / MinimalEvidence / Γ‑fold pins as applicable). The dashboard does not introduce local “shadow specs”. If the dashboard series/slice actually uses cross‑Context or cross‑plane routing, it MUST additionally pin the relevant crossing and penalty‑policy surfaces as ids (Bridge/CL/plane ids, Φ/Ψ/Φ_plane policy‑ids, PlaneMapRef.edition?) and cite their governing patterns (typically G.7 for bridge calibration/CL kits, pinned through G.Core). The dashboard MUST NOT encode a dashboard‑local “penalty regime”.

    A3. Pin computation methods (governed by C.21). For each slot/method used to compute a time series value, record DHCMethodSpecRef.edition and DHCMethodRef.edition (table‑backed, per C.21). The dashboard series is edition‑aware: if a method spec changes, the dashboard either forks the series edition or emits telemetry and refreshes under explicit pins.

    A4. Declare optional panels via Extensions only. If the dashboard depends on (i) selector set-result outputs, (ii) QD illumination / archive telemetry, (iii) open‑endedness telemetry, (iv) maturity ladder views, or (v) pack inclusion, then the relevant GPatternExtension block(s) in G.12:4.9 MUST be present and their pins MUST be satisfied.

    Stage B — Compute rows (run‑time; Work/Audit)

    B1. Resolve evidence by Path (governed by G.6). Compute rows from evidence cited as PathSliceId[] (and PathId[] when needed), under the declared window/freshness regime. Preserve lane discipline and handle missingness using tri‑state stances governed by G.Core.

    B2. Compute slot values using pinned methods (governed by C.21). Compute each slot value by applying the pinned DHCMethodRef.edition/DHCMethodSpecRef.edition under the pinned governance card and legality gate. Enforce “no illicit arithmetic” for ordinals/categoricals as a dashboard‑kit obligation (see CC‑G12.*). Any cross-Context or cross-plane use is expressed only via explicit crossing pins (Bridge/Plane routing) and policy ids governed by G.Core.

    B3. Emit RSCR‑actionable telemetry pins (governing definition: G.11). When any of the declared pins/editions/policies/windows/evidence slices change, emit DHCTelemetryPin events with canonical RSCRTriggerKindId and payload pins sufficient for slice‑scoped refresh planning.

    Stage C — Publish series & slices (run‑time; publication)

    C1. Publish DHCRow@Context and DHCSeries@Context as UTS publication units. Mint/publish UTS rows with Tech/Plain twins and include the required pins (window, reference plane, method editions, evidence paths).

    C2. Publish DashboardSlice@Context as a view‑only projection. Slices are groupings/annotations over already computed rows; they must not redefine legality, acceptance, or scalarization.

    C3. Wire refresh via telemetry pins (no orchestration governance). Dashboards emit pins; refresh orchestration remains governed by G.11.

    G.12:4.9 — Extensions (pattern‑scoped; non‑core)

    Extension rule (Phase‑2). Anything method‑, generator‑, or view‑family‑specific belongs here, as GPatternExtension modules. These modules may add mode‑specific definition pins and additional RSCR trigger kinds, but MUST NOT redefine Part‑G‑wide invariants or defaults.

    G.12:Ext.SoTAPalette — SoTA palette & DHC alignment hooks (optional)

    PatternScopeId: G.12:Ext.SoTAPalette GPatternExtensionId: SoTAPalette GPatternExtensionKind: InteropSpecific GoverningPatternId: G.2 (SoTA palette + DHC alignment hooks semantics are governed by G.2; G.12 only wires them) Uses: {G.2} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • SoTA_PackRef.edition?
    • DHC-SenseCellId[]? (when series pins to DHC alignment hooks / sense‑cell inventories)
    • DHCAlignmentHookId[]?

    RSCRTriggerKindIds (delta): ∅

    G.12:Ext.PortfolioTelemetry — selector set-result integration panel

    PatternScopeId: G.12:Ext.PortfolioTelemetry GPatternExtensionId: PortfolioTelemetry GPatternExtensionKind: MethodSpecific GoverningPatternId: G.5 (PortfolioMode citation plus selected-set semantics and set‑return discipline) Uses: {G.5, G.6} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • TaskSignatureRef? (when PortfolioMode semantics depend on TaskSignature traits)
    • DominanceRegime (cite the governing definition for DefaultId.DominanceRegime; publish the resolved regime, do not invent a local default)
    • PortfolioMode (cite the governing definition for DefaultId.PortfolioMode; publish the resolved mode)
    • SCRId/DRRId (or equivalent selector evidence pins, when dashboard row depends on selector outcomes)

    DefaultsConsumed: {DefaultId.DominanceRegime, DefaultId.PortfolioMode} (cite governing definitions through G.Core.DefaultGoverningDefinitionIndex; no local defaults)

    RSCRTriggerKindIds (delta): ∅ (base triggers suffice; any extra triggers must be explicit)

    Notes (wiring‑only):

    • The dashboard may visualise selected-set / Archive telemetry, but MUST keep set‑returning semantics; any scalar “headline number” is a view projection, not a legality‑bearing decision.

    G.12:Ext.QDTelemetry — illumination / archive telemetry panel

    PatternScopeId: G.12:Ext.QDTelemetry GPatternExtensionId: QDTelemetry GPatternExtensionKind: MethodSpecific GoverningPatternId: C.18 (QD / NQD‑CAL semantics; descriptor/distance/insertion policy) Uses: {C.18, G.5, G.11} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • DescriptorMapRef.edition
    • DistanceDefRef.edition
    • CharacteristicSpaceSpecRef.edition? (iff the descriptor or characteristic space is editioned as a published surface; required for view reproducibility)
    • InsertionPolicyRef
    • EmitterPolicyRef?
    • ArchiveSnapshotRef? (id/pin for the published archive snapshot, if any)
    • PathSliceId[] (scope for refresh; slice‑keyed)

    RSCRTriggerKindIds (delta): ∅ (base trigger set already includes RSCRTriggerKindId.TelemetryDelta; add only genuinely additional kinds here)

    Notes (wiring‑only):

    • Illumination/coverage signals are treated as telemetry. Any promotion of telemetry into selection dominance is governed elsewhere (typically CAL policy; pinned through G.Core).
    • If descriptor characteristics are surfaced as published identifiers (not just local UI text), they MUST follow the Tech/Plain twin-label discipline (UTS Name Cards); otherwise they remain non-normative view annotations.

    G.12:Ext.OpenEndedTelemetry — open‑endedness / transfer telemetry panel

    PatternScopeId: G.12:Ext.OpenEndedTelemetry GPatternExtensionId: OpenEndedTelemetry GPatternExtensionKind: GeneratorSpecific GoverningPatternId: C.19 (E/E‑LOG & exploration accounting; generator/transfer telemetry wiring) Uses: {C.19, G.5, G.11} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • TransferRulesRef.edition (when transfer rules are part of the telemetry interpretation)
    • EnvironmentValidityRegionId?
    • ProbeBudgetPolicyId?
    • PathSliceId[]

    RSCRTriggerKindIds (delta): ∅ (base trigger set already includes RSCRTriggerKindId.TelemetryDelta; add only genuinely additional kinds here)

    Notes (wiring‑only):

    • Open‑endedness metrics are telemetry‑level artefacts; dashboards must not silently convert them into “dominance objectives”.

    G.12:Ext.MaturityLadderPanel — maturity ladder view (optional)

    PatternScopeId: G.12:Ext.MaturityLadderPanel GPatternExtensionId: MaturityLadderPanel GPatternExtensionKind: DisciplineSpecific GoverningPatternId: G.8 (maturity ladder semantics in SoS‑LOG bundle/maturity cards) Uses: {G.8, G.6, G.11} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • MaturityCardRef
    • MaturityRungId?
    • PathId/PathSliceId (evidence citations for rung claims)

    RSCRTriggerKindIds (delta): {RSCRTriggerKindId.MaturityRungChange}

    G.12:Ext.PackInclusion — shipping inclusion stub (optional)

    PatternScopeId: G.12:Ext.PackInclusion GPatternExtensionId: PackInclusion GPatternExtensionKind: InteropSpecific GoverningPatternId: G.10 (shipping semantics are governed by G.10) Uses: {G.10} ⊑/⊑⁺: ∅

    RequiredPins/EditionPins/PolicyPins (minimum):

    • SoTA‑PackId
    • DashboardSliceId(UTS) (or DHCSeriesId(UTS) when shipping series directly)
    • CNSpecRef.edition, CGSpecRef.edition (as shipped pins, per G.10 wiring)

    RSCRTriggerKindIds (delta): ∅

    Notes (wiring‑only):

    • This module is a wiring stub: it does not define shipping behaviour; it only states which dashboard artefacts may be cited by SoTA‑Pack(Core).

    G.12:Ext.ViewFamilySeed — advanced view families (Phase‑3 seed; governing pattern TBD)

    PatternScopeId: G.12:Ext.ViewFamilySeed GPatternExtensionId: ViewFamilySeed GPatternExtensionKind: Phase3Seed GoverningPatternId: governing pattern not yet selected Uses: {} ⊑/⊑⁺: ∅

    Notes (Phase‑3 seed; non‑normative):

    • Placeholder for advanced dashboard view families (e.g., embedding‑based similarity panels, predictive drift detectors, change‑point overlays). Any such module must remain policy‑bound and must not introduce new Part‑G‑wide norms.

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