50-Parameter Registration Card Template v1.0 | Chapter 10 — Quality Gates & Validation Rules (Parameter Level)

Home ／ Docs-Technical WhitePaper ／ 50-Parameter Registration Card Template v1.0

Chapter 10 — Quality Gates & Validation Rules (Parameter Level)

I. Purpose & Scope

• Define parameter-level Quality Gates (Gates) and Validation Rules, covering dimensional closure, citation compliance, freshness, uniqueness, path conventions, and covariance consistency to ensure auditability and traceability during registration, update, and release.
• For path quantities (arrival time/phase), explicitly show gamma(ell) and measure d ell in text, and record delta_form ∈ {general, factored} in the card; public releases require p_dim = 1.0.

II. Prerequisites & Inputs

• Schema & fields: param_card.yaml/json complete per Chapter 9, with minimal fields present.
• Dimensions & citations: I70-dim_check passed with check_dim_report.json; see[]/references[] use “volume + version + anchor (P/S/M/I)”.
• Freshness & version: freshness{valid_from,valid_to,policy} complete; version follows SemVer; status ∈ {draft, stable, deprecated}.

III. Gates G1–G8 (parameter-level)

• G1 | Schema completeness: required fields exist and have correct types; domain{type, unit}, status, version, see[] present.
• G2 | Citation compliance: anchor coverage ≥ 90%, no external links/aliases; cross-card citations via see[] with specific anchors.
• G3 | Path conventions (if applicable): path{ gamma, measure, delta_form } present; len(gamma_ell)=len(d_ell)=len(n_eff)≥2, Δell meets sampling constraints.
• G4 | Dimensional closure: constraints.derived and control equations pass I70-dim_check; publication requires p_dim = 1.0.
• G5 | Freshness: valid_to not expired and clock_state="locked"; |ts_now − calib.timestamp| ≤ tau_calib_s_max.
• G6 | Uncertainty & coverage: uncertainty{type, estimate, distribution, coverage} complete; coverage conventions align with publication (U = k·u_c or quantile bands).
• G7 | Covariance consistency: cov_group and (if any) cov_model kernels/params consistent with Error Budget Ch. 5; covariance matrix PD (jitter if needed).
• G8 | Uniqueness: unique param_id; non-duplicated registry checksum; lineage graph acyclic (DAG).

IV. Stops & Fallbacks (S1–S5)

• S1 | Dimensional failure: p_dim < 1 or dim_check fails → stop persistence & release.
• S2 | Freshness failure: valid_to expired or clock_state != locked → reject release or trigger recalibration.
• S3 | Path block missing: any of gamma/measure/delta_form missing → validation failure.
• S4 | Covariance mismatch: Σ not PD or inconsistent with group config → return for fix or switch to robust surrogate.
• S5 | Citation non-compliance: low anchor coverage/external links/aliases → block release.

V. Machine-Readable Rules
A. gate_rules.yaml

version: "1.0.0"

gates:

G1: { schema_required: ["param_id","symbol","domain","status","version","see"] }

G2: { anchor_coverage_min: 0.90, forbid_external_links: true }

G3: { path_required: true, min_samples: 2, delta_form: ["general","factored"] }

G4: { require_dim_check: true, p_dim: 1.0 }

G5: { tau_calib_s_max: 86400, clock_state: "locked" }

G6: { require_uncertainty: true, coverage_allowed: ["k","alpha","quantile"] }

G7: { cov_pd: true, kernel_allowed: ["exp","matern","ar1","const"] }

G8: { unique_param_id: true, unique_checksum: true, lineage_acyclic: true }

stops:

S1: "dim_check_fail or p_dim<1"

S2: "freshness_expired or clock_state!=locked"

S3: "path_block_missing"

S4: "covariance_not_pd or cov_model_mismatch"

S5: "anchor_coverage_below_min or external_link_found"

labels: { restricted: "[Restricted]" }

B. /validate response example (JSON)

{

"param_id": "PHY-03-n_eff_profile",

"version": "1.0.0",

"gates": { "G1": true, "G2": 0.94, "G3": true, "G4": true, "G5": true, "G6": true, "G7": true, "G8": true },

"stops_triggered": [],

"notes": "All checks passed"

}

VI. Validation Details

• Unit legality: domain.unit must be SI/international or mappable alias; custom units include conversion rules.
• Expression style: constraints.derived parenthesized; any division/integral/composite operator uses parentheses; logs/exp/convolution as ln/exp/conv.
• Dependency completeness: constraints.depends_on[] upstream parameters registered and unit/domain-compatible; cross-card dependencies versioned & anchored via see[].
• Transparent coverage: coverage explicitly states k, alpha, or quantile; aligns with publication (U = k·u_c or quantile bands).
• Covariance consistency: cov_group matches Error Budget configuration; inter-group correlations declared in both card and Error Budget.
• Audit: audit.jsonl logs created|updated|validated|locked events, input hashes, and signatures.

VII. Norms & Anti-Patterns

# Norm: path block complete, dimensional closure OK, coverage & covariance aligned

param_id: "PHY-03-n_eff_profile"

symbol: "n_eff(ell)"

domain: { type: "array", unit: "1", shape: ["N"], range: [0.8, 2.5], precision: "float64" }

path: { gamma: "gamma(ell)", measure: "d ell", delta_form: "general" }

uncertainty: { type: "A/B", estimate: 3.0e-3, distribution: "gaussian", coverage: { k: 2 } }

cov_group: "medium"

cov_model: { kernel: "exp", params: { sigma2: 9.0e-6, L_c_m: 25.0 } }

see: ["EFT.WP.Core.Equations v1.1:S20-1","EFT.WP.Core.Metrology v1.0:check_dim"]

# Anti-pattern: missing delta_form & no dim-check (should trigger S1/S3)

param_id: "PHY-XX-bad"

symbol: "n_eff(ell)"

domain: { type: "array", unit: "1" }

path: { gamma: "gamma(ell)", measure: "d ell" } # missing delta_form

constraints: { derived: "T_arr = ∫ n_eff / c_ref d ell" } # not parenthesized, no dim_check

VIII. Release & Restricted Mode

• Release condition: all G1–G8 pass and no S1–S5 triggered; otherwise block release.
• Restricted mode: if core assumptions (paraxial/coherence/dimensions/freshness) partially fail but trends must be shown, publish qualitative info only and append [Restricted] to figures and manifests.

IX. Cross-References

• Chapters aligned: taxonomy & naming (Ch. 3), domains & units (Ch. 4), source & lineage (Ch. 5), versioning & freshness (Ch. 6), constraints & derivations (Ch. 7), uncertainty & covariance (Ch. 8), data contract & interfaces (Ch. 9).
• Error Budget Card: covariance & propagation (Ch. 5/6), gate mapping (Ch. 9).

X. Checklist

• G1 Schema complete; G2 citation-compliant (anchor coverage ≥ 90%).
• For path quantities per G3: gamma/measure/delta_form present; len(path) ≥ 2, Δell compliant.
• G4 dimensional closure: I70-dim_check passed, p_dim = 1.0; check_dim_report.json attached.
• G5 freshness: valid_to unexpired, clock_state="locked"; recalibrate if needed.
• G6 coverage aligned with publication; G7 covariance PD and group-config consistent.
• G8 uniqueness & acyclicity passed; audit.jsonl complete; version locking performed where applicable.