G.8:14 - 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
GeneratorFamilyRowRef,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.