SoS-LOG Bundles & Maturity Ladders
About this pattern
This is a generated FPF pattern page projected from the published FPF source. It is canonical FPF content for this ID; it is not a FPF Reference product feature page.
How to use this pattern
Read the ID, status, type, and normativity first. Use the content for exact wording, the relations for adjacent concepts, and citations to keep active work grounded without pasting the whole specification.
Tag. Architectural pattern (packaging kit).
Stage. Design‑time packaging (authoring & publication) with a run‑time consumption facade for G.5 (selector/registry).
Primary hooks: G.Core (Part‑G invariants), C.23 (SoS‑LOG semantics), C.22 (TaskSignature), G.4 (Acceptance & EvidenceProfiles), G.6 (EvidenceGraph & PathId/PathSliceId), G.5 (registry/selector), G.11 (refresh orchestration), G.10 (shipping boundary), F.9 (cross-semantic relations and bounded-use claims), F.17 (UTS), E.17 (publication faces), G.7 (bridge calibration & Φ/Ψ/Φ_plane), F.8 (Policy pins: PolicySpecRef/MintDecisionRef resolvability), A.10 (anchors), E.10 (LEX twin registers), E.5.2 (notational independence), E.18 (crossing visibility when a selected transformation-flow structure is in use), A.21 (gate decisions under an applicable profile).
Part‑G linkage. This pattern defines kit-governed packaging surfaces for SoS‑LOG bundles and maturity ladders. Part‑G‑wide invariants are governed by G.Core; the linkage manifest in §4.1 names the applicable obligations.
Modularity note (policy‑id pins are reference‑only). This kit may pin/cite policy ids (e.g., Φ/Ψ/Φ_plane policies, FailureBehaviorPolicyId, illumination‑promotion policy ids, and E/E‑LOG policy ids) as references only. Conformance relies on the policy‑pin resolvability discipline of F.8:8.1 (i.e., policy ids are not “inlined”; and when newly minted, they are backed by resolvable PolicySpecRef + MintDecisionRef). G.8 does not define policy semantics and MUST NOT silently mint policy ids.
Method families compete within a CG‑Frame, but dispatch is only lawful if (i) admissibility decisions remain tri‑state and auditable, (ii) evidence and crossings are explicitly citable (by ids, not prose), and (iii) selection preserves set-return semantics under partial orders. In practice, SoS‑LOG rules (C.23) and “maturity stories” are often distributed across prose, dashboards, and ad‑hoc checklists, with thresholds embedded where they do not belong and with missing pins for evidence paths, crossings, and editions.
Keywords
- SoS-LOG
- rule ids
- admissibility ledger
- tri-state {pass|degrade|abstain}
- maturity ladder (poset/ordinal)
- selector-facing bundle
- evidence path pins (PathId/PathSliceId)
- Bridge/CL/Φ policy pins
- set-result/archive telemetry
- RSCRTriggerKindId.
Relations
Content
Problem frame
Method families compete within a CG‑Frame, but dispatch is only lawful if (i) admissibility decisions remain tri‑state and auditable, (ii) evidence and crossings are explicitly citable (by ids, not prose), and (iii) selection preserves set-return semantics under partial orders. In practice, SoS‑LOG rules (C.23) and “maturity stories” are often distributed across prose, dashboards, and ad‑hoc checklists, with thresholds embedded where they do not belong and with missing pins for evidence paths, crossings, and editions.
This pattern provides the missing packaging kit: a selector‑facing, UTS‑citable bundle that binds (a) rule ids (semantics governed by C.23), (b) an ordinal/poset maturity ladder (published as a citable card), and (c) explicit wiring to Acceptance (G.4), EvidenceGraph (G.6), selection/registry (G.5), and refresh (G.11)—without creating any shadow governing spec refs.
Problem
- Selector needs a stable input artefact.
G.5cannot consume “maturity narratives” and scattered SoS‑LOG snippets without re‑authoring semantics or inventing implicit defaults. - Thresholds leak into LOG. Numeric gates are often embedded directly into rule text or ladder rungs, blurring the boundary between LOG decisions (
C.23) and Acceptance thresholds (G.4). - Auditability is brittle. Decisions (
pass/degrade/abstain) lack stable, citable links to evidence paths (G.6) and crossing pins (Bridge/CL/Φ policy ids as required for the stated use), so later re‑checks and RSCR become ad‑hoc. - Telemetry contaminates decision semantics. QD/OEE/illumination signals are frequently treated as dominance inputs without explicit policy pins; edition drift then silently changes outcomes.
- Refresh is under‑specified. Bundle evolution (rules, ladders, pins, policies, editions) must be RSCR‑addressable via typed trigger kinds, not by free‑text “reasons”.
Forces
Solution — Publish SoS‑LOG bundles and maturity cards as UTS‑citable kit
G.Core linkage (normative)
Builds on: G.Core (Part‑G core invariants; citation/delegation hub)
GCoreLinkageManifest (normative; size‑controlled).
(Canonical shape, Nil‑elision, and Expansion rule are per G.Core:4.2.)
Separation rule. Method‑/generator‑specific pins are normatively specified only inside Extensions as GPatternExtension modules (see G.8:5.*). The bundle/ledger schema may mention such fields only as extension‑gated optionals, with the authoritative pin/edition/policy requirements stated in the corresponding extension block. The core linkage manifest lists only base‑kit pins and Part‑G‑wide linkage.
`GCoreLinkageManifest := ⟨ CoreConformanceProfileIds := { GCoreConformanceProfileId.PartG.AuthoringBase, GCoreConformanceProfileId.PartG.TriStateGuard, GCoreConformanceProfileId.PartG.UTSWhenPublicIdsMinted, GCoreConformanceProfileId.PartG.ShippingBoundary },
RSCRTriggerSetIds := { GCoreTriggerSetId.EvidenceGraphKit },
CorePinSetIds := { GCorePinSetId.PartG.AuthoringMinimal, },
CorePinsRequired := { // Public ids governed by this pattern (strengthen conditional pins where G.8 publishes UTS publication units) UTSRowId[], // bundle/ledger/card rows + any referenced UTS rows SoS‑LOGBundleRef, SoSLogRuleId[], MethodFamilyId, RegistrationContext,
// Closed value sets (ids only; UTS-registered) DegradeModeEnum, MaturityRungs,
// Maturity ladder pins MaturityCardRef, // required; recommended: published as separate UTS artefact MaturityRungId?, // iff a specific rung is asserted at packaging/run-time
// Evidence / provenance pins A10EvidenceGraphRef?[], // packaging-time A.10 carriers (when PathId/PathSliceId not yet available) EvidenceGraphId?, // iff resolvable to G.6 EvidenceGraph PathId[]/PathSliceId[]?, // run-time ledgers typically have them
// Authoring traceability (SoTA-of-description) AuthoringMethodDescriptionRefs?[], // edition-pinned method-description refs },
DefaultsConsumed := { DefaultId.PortfolioMode, DefaultId.DominanceRegime, DefaultId.GammaFoldForR_eff }, ⟩`
(RSCR payload pins typically include: SoS‑LOGBundleRef, SoSLogRuleId[], MaturityRungId?, and EvidenceGraphId/PathId/PathSliceId?.
Crossing payload pins (Bridge/CL/Φ/Ψ/Φ_plane) are introduced only when reuse is asserted, via G.8:Ext.BridgeReuseWiring. CL and loss-policy pins are required only by the actual calibration or separate named assurance use.
Method-/generator‑specific payload pins are listed only inside the relevant GPatternExtension blocks in G.8:5.)
(Conditionality note for defaults.) Include DefaultId.GammaFoldForR_eff in DefaultsConsumed only if the bundle/ledger exports aggregated R_eff summaries (otherwise Nil‑elide it).
Kit: objects and naming discipline (LEX heads; twin‑register safe)
Objects / surfaces (pattern-governed).
-
SoS‑LOG.RuleAn executable tri‑state decision schema{pass | degrade(mode) | abstain}for(TaskSignature, MethodFamily), cited by a rule id. (“pass” may be described as “admit” in prose, but the normative tri‑state vocabulary isG.Core’s{pass|degrade|abstain}.) Semantics are governed byC.23.G.8only packages rule ids and binding pins. -
SoS‑LOGBundle@ContextA selector‑facing, notation‑independent packaging object published to UTS. -
AdmissibilityLedger@ContextA run‑time ledger view that records admissibility outcomes, cited evidence paths, branch tokens, and the pins required for audit/refresh. -
MethodFamily.MaturityCardDescription@ContextA maturity ladder description published as a citable artefact: ordinal/poset, closed rungs,ReferencePlanedeclared; no thresholds inside.
Naming discipline (E.10 + “Spaces ≠ Maps”).
-
Technical heads are normative; Plain twins are didactic only and MUST NOT cross kinds.
-
Do not alias
CharacteristicSpaceandDescriptorMap.DescriptorMapRefis a map‑reference (typically used with QD archives).CharacteristicSpaceRefis a space‑reference (grid/cell semantics, if used).
-
Editions are pinned on
…Ref.editionfields (not on informal names).
SoS‑LOGBundle@Context schema (conceptual; notation‑independent)
A conforming bundle is a UTS‑published object whose internal representation is free, but whose field meanings are stable:
Bundle discipline (normative intent; semantics delegated):
SoS‑LOGBundle@Contextdoes not introduce new legality or normalization rules; it cites the pinned references above.- Thresholds and numeric gates are cited by id from
[G.4](/generated/patterns/G.4)Acceptance (no embedding inside the bundle). - If cross-context or cross-plane reuse is asserted, crossing pins are made explicit (Bridge/CL/Φ policy ids as required for that use by
G.8:Ext.BridgeReuseWiring), and evidence paths are citable when available.
Binding obligations B1–B5 (packaging‑only; wiring‑only; semantics delegated):
- B1 — Evidence wiring. At packaging time the bundle SHOULD provide resolvable evidence refs (typically
A10EvidenceGraphRef?[]and/orEvidenceGraphId?). At run time, admissibility outcomes SHOULD citePathId/PathSliceIdwhen available ([G.6](/generated/patterns/G.6)), so rung transitions anddegrade/abstaintraces are audit‑stable. - B2 — CL/plane routing pins. When reuse across Context or plane is asserted, the bundle/ledger MUST cite the obtaining relation and its separate bounded-use claim and reliance basis. It MUST pin the relevant Bridge/CL/Φ/Ψ/Φ_plane policy ids required for that use by
G.8:Ext.BridgeReuseWiring(reference‑only; resolvable perF.8:8.1). CL and loss-policy pins are mandatory only when required by the actual calibration or separate named assurance account. Any supported penalty MUST follow that assurance policy's declared rule and respect the core penalty routing (penalties affectR_effonly;F/Ginvariance viaG.Core). - B3 —
PortfolioMode/QD fields. If the bundle/ledger exposesPortfolioMode/QD fields (e.g.,PortfolioMode=Archive), it MUST pin the descriptor/distance/insertion/emitter artefacts (editions/policies as applicable). Illumination remains report‑only unless explicitly promoted by a[G.4](/generated/patterns/G.4)governing-pattern policy id that is pinned and recorded in the run‑time trace. - B4 — Open‑ended fields. If the bundle binds an open‑ended generator family, it MUST pin
GeneratorFamilyIdandTransferRulesRef.edition(and any validity region/coupler policy ids when used). Unknown transfer validity MUST be recorded asdegrade/branching, not as an ad‑hoc fourth status. - B5 — Telemetry hooks. On any material telemetry event (illumination increase, archive insertion, probe accounting update, open‑ended coverage/regret proxy update), the emitted telemetry pins SHOULD include the controlling policy ids plus the relevant edition pins (e.g.,
DescriptorMapRef.edition,DistanceDefRef.edition,TransferRulesRef.edition) and, when available,PathSliceIdto keep RSCR planning auditable.
AdmissibilityLedger@Context (run‑time view; selector‑facing)
A conforming ledger is a UTS‑published view (or a view‑projection of a Work/Audit artefact) with rows of the form:
⟨ MethodFamilyId, SoSLogRuleId, GuardDecision ∈ {pass|degrade|abstain}, DegradeMode?/SoSLogBranchId[]?, MaturityRungId?, AcceptanceClauseId[]?, EvidencePathRefs?, CrossingPins?, PortfolioMode?, DominanceRegime?, Edition ⟩
Where EvidencePathRefs are typically PathId[]/PathSliceId[] when G.6 is in use (or resolvable), and “CrossingPins” are the explicit Bridge/CL/Φ policy pins required for the stated reuse by G.8:Ext.BridgeReuseWiring, together with citable references to its separate bounded-use claim and reliance basis.
Maturity ladder as a citable poset (published card)
MethodFamily.MaturityCardDescription@Context is published with:
- closed rungs (UTS‑registered identifiers),
Scale kind = ordinaland a declaredReferencePlane,- (optional) explicit poset edges / precedence constraints,
- rung transition justifications that cite evidence paths (typically
G.6paths).
This card is a description suitable for dispatch/audit and refresh; it is not a competing governing spec ref.
Interfaces (minimal I/O standard; conceptual)
Extensions (pattern‑scoped; non‑core)
G.8 keeps method/generator specificity out of the core kit. Any such specificity appears as GPatternExtension blocks with stable PatternScopeIds.
G.8:Ext.SoSLOGWiring
PatternScopeId: G.8:Ext.SoSLOGWiring
GPatternExtensionId: SoSLOGWiring
GPatternExtensionKind: MethodSpecific
GoverningPatternId: C.23
Uses: {C.23}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
SoSLogRuleId[]SoSLogBranchId[]?FailureBehaviorPolicyId?(when degrade behaviour is policy‑bound)
RSCRTriggerSetIds / RSCRTriggerKindIds: ∅ (covered by G.8:4.1)
Notes (wiring‑only):
- Rule meaning, branch taxonomy, and “probe/sandbox” semantics are governed by
C.23; this module only binds ids and pins.
G.8:Ext.AcceptanceWiring
PatternScopeId: G.8:Ext.AcceptanceWiring
GPatternExtensionId: AcceptanceWiring
GPatternExtensionKind: MethodSpecific
GoverningPatternId: G.4
Uses: {G.4}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
AcceptanceClauseId[]EvidenceProfileId[]?(if the ledger/bundle cites evidence profile ids rather than only paths)PromotionPolicyId?(only if telemetry may be promoted into dominance by explicit CAL policy)
RSCRTriggerKindIds (optional delta): {RSCRTriggerKindId.PolicyPinChange} (only if acceptance policies are pinned as ids in the bundle/ledger)
Notes (wiring‑only):
- Thresholds remain governed by
G.4Acceptance; this module carries only clause ids and policy pins.
G.8:Ext.BridgeReuseWiring
PatternScopeId: G.8:Ext.BridgeReuseWiring
GPatternExtensionId: BridgeReuseWiring
GPatternExtensionKind: InteropSpecific
GoverningPatternId: G.7
Uses: {G.7, F.9, A.10, B.3}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum; conditional on the stated use):
BridgeId/BridgeCardId(the obtaining Bridge actually used; aBridgeCardIdis needed only when that Card is relied on)CL/CL^k/CL^plane(when cited; the applicable values are mandatory when required by theG.7calibration or namedB.3assurance account)Φ/Ψ/Φ_plane policy-ids(only the policy ids and editions required by the actualG.7calibration or namedB.3assurance account; reference‑only and resolvable perF.8:8.1)BridgeCalibrationTableId?,RegressionSetId?(both required when calibration evidence is cited, together with the row locator and active policy pins required byG.7CC‑G7‑SCRLinkage‑1)
RSCRTriggerSetIds: {GCoreTriggerSetId.BridgeCalibrationKit} (only if the bundle/ledger explicitly binds calibration records by id)
Notes (wiring‑only):
- Present only when
SoS‑LOGBundle@Contextasserts cross-Context or cross-plane reuse. No additional crossing semantics are defined here. - The wiring MUST keep the obtaining Bridge reference, the separate bounded-use claim (use, direction, rule, and tolerated loss), and the
A.10reliance basis citable. A separate named assurance use also cites its exact target claim, receiving use, andB.3assurance basis/result. Required CL values, policy editions, and evidence remain mandatory for that account; a supported loss penalty is applied only under the assurance policy's declared rule, toR_effonly. Ordinary supported reuse does not require a CL shorthand, calibration record, loss-policy id, or assurance claim merely to fill the package.
G.8:Ext.QDArchiveTelemetry
PatternScopeId: G.8:Ext.QDArchiveTelemetry
GPatternExtensionId: QDArchiveTelemetry
GPatternExtensionKind: MethodSpecific
GoverningPatternId: C.18
Uses: {C.18, G.5}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
DescriptorMapRef.editionDistanceDefRef.editionEmitterPolicyRefInsertionPolicyRefCharacteristicSpaceRef.edition?(required iff cell boundaries / de‑dup / parity depend on the space definition)
RSCRTriggerKindIds: {RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange}
Notes (wiring‑only):
- Archive/illumination signals are telemetry; promotion into dominance is only via explicit
G.4policy pins.
G.8:Ext.ExploreExploitTelemetry
PatternScopeId: G.8:Ext.ExploreExploitTelemetry
GPatternExtensionId: ExploreExploitTelemetry
GPatternExtensionKind: MethodSpecific
GoverningPatternId: C.19
Uses: {C.19}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
ExploreExploitBudgetPolicyId?ProbeAccountingId?
RSCRTriggerKindIds: {RSCRTriggerKindId.TelemetryDelta, RSCRTriggerKindId.PolicyPinChange}
Notes (wiring‑only):
- When “probe/sandbox” is used, the controlling policy ids are pinned and recorded in the ledger/bundle trace.
G.8:Ext.OpenEndedWiring
PatternScopeId: G.8:Ext.OpenEndedWiring
GPatternExtensionId: OpenEndedWiring
GPatternExtensionKind: GeneratorSpecific
GoverningPatternId: G.5 (generator family registry surface; algorithm semantics remain external to Part‑G core)
Uses: {G.5}
⊑/⊑⁺: ∅
RequiredPins/EditionPins/PolicyPins (minimum):
GeneratorFamilyIdTransferRulesRef.editionEnvironmentValidityRegionId?CouplerPolicyId?
RSCRTriggerKindIds: {RSCRTriggerKindId.EditionPinChange, RSCRTriggerKindId.PolicyPinChange, RSCRTriggerKindId.TelemetryDelta}
Notes (wiring‑only):
- Open‑ended coverage/regret (or similar) remains telemetry unless explicitly promoted by a governing-pattern policy.
Archetypal Grounding (System / Episteme)
Show‑A — Tri‑state admissibility with set‑valued selection (multi‑criteria).
A CG‑Frame carries multiple offline/robust decision families (e.g., conservative offline RL and transformer‑based policy models post‑2020). The bundle cites SoSLogRuleId[] (SoS‑LOG semantics in C.23) and cites AcceptanceClauseId[] for any floors (governed by G.4). The run‑time AdmissibilityLedger cites PathSliceId (when available) for each pass/degrade/abstain. G.5 consumes the ledger and returns a selected set under the declared partial order—no scalar “winner”.
Show‑B — QD archive dispatch with edition‑pinned descriptors (post‑2015 QD families).
A method family uses a modern QD line (e.g., CMA‑ES‑driven archives, differentiable QD variants, and large‑scale JAX‑style QD toolchains). The bundle pins DescriptorMapRef.edition and DistanceDefRef.edition, plus insertion/emitter policies. Illumination metrics are logged as telemetry; any promotion into dominance is only via explicit CAL policy pins (recorded in the admissibility trace).
Show‑C — Open‑ended environment–method co‑evolution (post‑2018 open‑ended families).
A generator family operates in an open‑ended setting (e.g., POET‑style and PAIRED‑style regimes). The bundle carries TransferRulesRef.edition and validity region pins; unknown transfer validity triggers a degrade branch rather than an ad‑hoc fourth status. Telemetry (coverage/regret proxies) is emitted for refresh planning, not silently turned into dominance.
Bias‑Annotation
Scope: packaging kit only. Rule semantics remain governed by C.23; thresholds remain governed by G.4; evidence path semantics remain governed by G.6; selection semantics remain governed by G.5.
Conformance Checklist (CC‑G8)
-
CC‑G8‑CoreRef (G.Core conformance bridge). A conforming
G.8SHALL satisfy the effective set ofCC‑GCORE‑*obligations implied byG.8:4.1(expanded perG.Core:4.2), including required pins, trigger sets, and Default Governing Definition Index citation. -
CC‑G8‑1 (No thresholds in LOG). Any numeric gate, maturity floor, or threshold SHALL be authored as a
G.4Acceptance artefact and cited by id; the LOG bundle/ladder SHALL NOT embed thresholds. -
CC‑G8‑2 (Tri‑state discipline; delegated). Guard outcomes SHALL obey the tri‑state domain and unknown handling defined in
G.Core(delegation toCC‑GCORE‑GUARD‑1). Any sandbox/probe‑only behaviour SHALL be represented as an explicitC.23branch and MUST pin (and record) the controlling policy id (typically an E/E‑LOG policy id viaC.19), rather than inventing a fourth status or silently coercing unknowns. -
CC‑G8‑3 (Path citation when evidence is path‑addressable). When
G.6is in use (or resolvable), every recordedpass/degrade/abstainoutcome in theAdmissibilityLedgerMUST citePathId/PathSliceId(run‑time). At packaging time, the bundle/ledger SHALL at minimum provide resolvable evidence refs (e.g.,EvidenceGraphId?+ anchor refs). -
CC‑G8‑4 (Crossing visibility and penalty routing; delegated). Any cross-Context or cross-plane reuse asserted by the bundle/ledger SHALL satisfy the core crossing visibility and penalty routing invariants (delegation to
CC‑GCORE‑CROSS‑1andCC‑GCORE‑PEN‑1). -
CC‑G8‑5 (PortfolioMode/dominance hygiene; delegated). The bundle/ledger SHALL treat
PortfolioModeand dominance fields as pinned inputs and SHALL cite the governing definition for each omitted default throughG.Core.DefaultGoverningDefinitionIndex(delegation toCC‑GCORE‑DEF‑1andCC‑GCORE‑SET‑1; governing definitions includeCC‑G5.23forDefaultId.PortfolioModeandCC‑G5.28forDefaultId.DominanceRegime). It MUST NOT restate default values locally. If the bundle/ledger records telemetry that could influence dispatch (e.g., illumination/QD/OEE/open‑ended proxies), such telemetry SHALL remain report‑only unless explicitly promoted by aG.4governing-pattern policy id that is pinned and recorded in the run‑time trace. -
CC‑G8‑6 (QD/OEE edition discipline). When QD/OEE surfaces are declared, the bundle/ledger MUST pin the relevant editions and policies (
DescriptorMapRef.edition,DistanceDefRef.edition, insertion/emitter policies, andTransferRulesRef.editionwhen applicable).CharacteristicSpaceRef.editionis required iff cell boundaries / de‑dup rules / parity depend on the space definition, and MUST NOT be used as a substitute forDescriptorMapRef.edition. -
CC‑G8‑7 (Maturity is ordinal/poset). Maturity ladders SHALL be authored as ordinal/poset descriptions with closed rung ids (
MaturityRungs, UTS‑registered) and a declaredReferencePlane, and SHALL be published as a citable UTS artefact (editioned; twin‑register safe). Rung transitions, when asserted, MUST be justifiable by citable evidence paths (when available). -
CC‑G8‑8 (Spaces ≠ Maps).
CharacteristicSpaceandDescriptorMapSHALL remain strictly distinct kinds; naming and twin‑register discipline must be respected. -
CC‑G8‑9 (Notational independence). The bundle, ledger, and maturity card SHALL remain notation‑independent (per
E.5.2); any serialization choice is non‑normative and belongs outside Part‑G core. -
CC‑G8‑10 (MOO cross‑reference). When a LOG bundle is used to drive or justify a produced selected-set outcome, the record of the producing Work, or the audit artefact, SHOULD cite the controlling mechanism ids (e.g., parity/shipping/refresh artefact ids) and relevant policy pins; no “black box” provenance.
-
CC‑G8‑11 (SoTA‑of‑description trace). If authoring methods (e.g., discovery, clustering, summarisation) materially shaped rule text or rung definitions, the bundle/card SHOULD cite their method description refs (edition‑pinned) to support cross‑stance traceability.
Common Anti‑Patterns and How to Avoid Them
-
Anti‑pattern: Embedding thresholds inside SoS‑LOG rules or ladder rungs. Avoid: thresholds live in
G.4Acceptance; bundle only cites clause ids. -
Anti‑pattern: Treating illumination/QD telemetry as a hidden scalar score that changes dominance. Avoid: keep telemetry report‑only unless explicitly promoted by a governing-pattern policy pin.
-
Anti‑pattern: Publishing a bundle that “implies” cross‑context reuse without its required relation/use/reliance pins, or omits CL/Φ pins required by the actual calibration or named assurance use. Avoid: if reuse is asserted, publish the crossing pins required by
G.8:Ext.BridgeReuseWiringfor that use; otherwise downstream must abstain from reuse. -
Anti‑pattern: Re‑defining
PortfolioMode/DominanceRegimedefaults in the bundle text. Avoid: cite each default's governing definition throughG.Core.DefaultGoverningDefinitionIndex. -
Anti‑pattern: Recording RSCR “reasons” as prose labels only. Avoid: emit canonical
RSCRTriggerKindIdvalues perG.Core.
Consequences
- Positive:
G.5receives a stable, citable, selector‑facing artefact without importing rule semantics or threshold logic. - Positive: Audit and refresh become tractable: pins, crossings, evidence paths, and trigger kinds are explicit.
- Positive: Maturity remains non‑scalar, reducing illegitimate aggregation and “readiness theater”.
- Negative: Requires stricter authoring discipline (UTS publication, pin completeness, explicit wiring).
- Negative: If evidence paths are not maintained (
G.6absent), auditability degrades and downstream must rely on references with lower evidence-support class, or abstain.
Rationale
C.23 governs rule semantics, G.4 governs thresholding/acceptance, G.6 governs path‑addressable provenance, and G.5 governs selection/registry semantics. A dedicated packaging kit lets projects cite those sources in one auditable dispatch surface instead of duplicating semantics inside ad‑hoc “decision bundles” (creating shadow specs). G.8 keeps these boundaries strict while providing a single, consumable surface.
SoTA‑Echoing (informative; post‑2015 practice alignment)
This pattern’s separation of decision rules, acceptance thresholds, provenance paths, and set‑valued outputs echoes post‑2015 practice in:
- Set‑valued / set-returning selection (multi‑objective and uncertainty‑aware regimes; avoiding forced scalar winners).
- Quality‑Diversity and archive‑based evaluation (post‑2015 QD variants emphasize edition‑pinned descriptors/distances and telemetry‑driven refresh).
- Open‑endedness / curriculum generation (post‑2018 lines emphasize explicit transfer rules, safe degrade branches, and telemetry‑driven orchestration rather than hidden gates).
- Reproducibility‑aware publishing (explicit identifiers, pinned editions/policies, citable traces rather than prose‑only decision rationales).
(Examples are illustrative; they do not introduce new Part‑G‑wide norms.)
Relations
Builds on: G.Core, C.23, G.4, G.6, G.5, C.22
Uses: A.10 (anchors), F.8 (policy-id resolvability), F.9 (cross-semantic relation and bounded-use claims), F.17/E.17 (crossing publication surfaces), G.7 (when calibration is used), B.3 (when a separate named assurance use is made), G.11 (refresh planning/trigger consumption), G.10 (shipping boundary; if bundled artefacts are shipped), E.10 (LEX twin registers), E.5.2 (notation independence), E.18 (crossing visibility when a selected transformation-flow structure is in use), A.21 (gate decisions under an applicable profile); optional C.18 (QD) / C.19 (E/E‑LOG) when those surfaces are declared.
Publishes to: UTS (bundle/ledger/card), G.5 (selector/registry consumption), G.11 (refresh via typed triggers and pinned telemetry)
Constrains: any SoS‑LOG packaging that claims FPF conformance for selector‑facing dispatch across method families.
Author’s quick checklist (informative)
-
SoSLogRuleId[]are ids only; rule semantics are governed byC.23(no re-definition in this bundle). - Any numeric gates/thresholds are
G.4Acceptance artefacts cited by id (no thresholds embedded in LOG or rungs). - Evidence is citable: at run time use
PathId/PathSliceIdwhen available; at packaging time provide resolvableA10EvidenceGraphRef?[]/EvidenceGraphId?. - Any cross-Context or cross-plane reuse is explicit:
BridgeId/BridgeCardIdand the separate bounded-use claim and reliance basis are citable.CL/CL^k/CL^planeandΦ/Ψ/Φ_planepolicy ids and editions are pinned when required by the actual calibration or named assurance account, perG.8:Ext.BridgeReuseWiring(policy ids resolvable perF.8:8.1). -
PortfolioModeand dominance defaults are not restated: cite each default's governing definition throughG.Core.DefaultGoverningDefinitionIndex(governing definitions live outsideG.8, typicallyG.5). - QD pins are edition/policy pinned (
DescriptorMapRef.edition,DistanceDefRef.edition, insertion/emitter policies);CharacteristicSpaceRef.editionis pinned iff cell boundaries/de‑dup/parity depend on it; Spaces ≠ Maps. - If open‑ended surfaces are declared, pin
GeneratorFamilyId,TransferRulesRef.edition, and any validity/coupler policy ids; unknown transfer validity is recorded asdegrade/branching (no “fourth status”). -
MaturityRungsis a closed, UTS‑registered set; the maturity ladder is ordinal/poset with a declaredReferencePlane; rung transitions cite evidence. - RSCR triggers are emitted as canonical
RSCRTriggerKindIdvalues (no prose-only “reasons”). - Notation independence (
E.5.2) and twin‑register discipline (E.10) are respected for all published heads/ids. - If authoring tools materially shaped rule/rung content, cite
AuthoringMethodDescriptionRefs?[](edition‑pinned) for cross‑stance traceability.
G.8:End
Last Updated: 2026-09-10 — upstream FPF commit a87d0ef4 (github.com/ailev/FPF)