50-参数注册卡 Template v1.0 | 第10章 质量门与校验规则（参数级）

目录 ／ 文档-技术白皮书（V5.05） ／ 50-参数注册卡 Template v1.0

第10章 质量门与校验规则（参数级）

I. 目的与范围（Purpose & Scope）

• 定义参数级质量门（Gates）与校验规则（Validation Rules），覆盖量纲闭合、引用合规、新鲜度、唯一性、路径规范与协方差一致性，确保参数在注册、更新与发布中的可审计与可追溯。
• 涉及路径量（到达时/相位）时，正文显式 gamma(ell) 与测度 d ell，并在卡片数据侧记录 delta_form ∈ {general, factored}；对外发布要求 p_dim = 1.0。

II. 前置条件与输入（Prerequisites & Inputs）

• 模式与字段：param_card.yaml/json 按第 9 章 Schema 完整，最小字段齐备。
• 量纲与引用：I70-dim_check 已通过并生成 check_dim_report.json；see[]/references[] 采用“卷名 + 版本 + 锚点（P/S/M/I）”。
• 新鲜度与版本：freshness{valid_from,valid_to,policy} 完整；version 符合 SemVer；status ∈ {draft, stable, deprecated}。

III. 质量门（Gates G1–G8，参数级口径）

• G1｜Schema 完整：必填字段存在且类型正确；domain{type, unit}、status、version、see[] 不可缺失。
• G2｜引用合规：锚点直指率 ≥ 90%，无外链/别名；跨卡引用通过 see[] 指向具体锚点。
• G3｜路径规范（若适用）：path{ gamma, measure, delta_form } 齐备；len(gamma_ell)=len(d_ell)=len(n_eff)≥2，Δell 满足采样约束。
• G4｜量纲闭合：constraints.derived 与控制式通过 I70-dim_check；发布时 p_dim = 1.0。
• G5｜新鲜度：valid_to 未过期且 clock_state="locked"；|ts_now − calib.timestamp| ≤ tau_calib_s_max。
• G6｜不确定度与覆盖：uncertainty{type, estimate, distribution, coverage} 完整；覆盖口径与发布（U = k·u_c 或分位带）一致。
• G7｜协方差一致：cov_group 与（若有）cov_model 的核与参数与误差预算卡第 5 章配置一致；协方差矩阵正定（必要时加抖动）。
• G8｜唯一性：param_id 唯一；注册表 checksum 不重复；血缘图无环（DAG）。

IV. 停止与回退（Stop & Fallback，S1–S5）

• S1｜量纲不闭合：p_dim < 1 或 dim_check 失败 → 立刻停止写入与发布。
• S2｜新鲜度失效：valid_to 过期或 clock_state != locked → 拒绝发布或触发再标定。
• S3｜路径缺失：gamma/measure/delta_form 任一缺失 → 校验失败并拒绝持久化。
• S4｜协方差失配：Σ 非正定或与组配置不一致 → 退回修正或切换稳健代理。
• S5｜引用不合规：锚点直指率不足/存在外链别名 → 阻断发布。

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 响应示例（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）

• 单位合法性：domain.unit 必须为 SI/国际符号或可映射别名；自定义单位需给出换算规则。
• 表达式书写：constraints.derived 一律括号化；含除号/积分/复合算符必须加括号，日志/指数/卷积统一 ln/exp/conv。
• 依赖完整：constraints.depends_on[] 的上游参数已注册且单位/域兼容；跨卡依赖通过 see[] 标明版本与锚点。
• 覆盖口径透明：coverage 中明确 k、alpha 或 quantile；与发布表中 U = k·u_c 或分位带保持一致。
• 协方差一致性：cov_group 与误差预算卡发布配置一致；跨组相关需在两侧同步声明。
• 审计要求：audit.jsonl 记录 created|updated|validated|locked 等事件、输入哈希与签名。

VII. 规范与反例（Normative / Anti-Patterns）

# 规范：路径块齐备、量纲闭合、覆盖与协方差一致

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"]

# 反例：缺少 delta_form 与量纲未校核（应触发 S1/S3）

param_id: "PHY-XX-bad"

symbol: "n_eff(ell)"

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

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

constraints: { derived: "T_arr = ∫ n_eff / c_ref d ell" } # 缺括号且未 dim_check

VIII. 发布与限制模式（Release & Restricted）

• 发布条件：G1–G8 全部通过且未触发 S1–S5；否则阻断发布。
• 限制模式：当核心假设（近轴/相干窗/量纲闭合/新鲜度）部分失效而需呈现趋势时，仅可发布定性信息，并在图表与清单中统一追加 [Restricted] 标签。

IX. 交叉引用（Cross-References）

• 章节对齐：分类与命名（第 3 章）、域与单位（第 4 章）、来源与血缘（第 5 章）、版本与新鲜度（第 6 章）、约束与派生（第 7 章）、不确定度与协方差（第 8 章）、数据契约与接口（第 9 章）。
• 误差预算卡：协方差与传播（Ch.5/Ch.6）、质量门映射（Ch.9）。

X. 执行勾选清单（Checklist）

• G1 Schema 完整；G2 引用合规（锚点直指率 ≥ 90%）。
• 路径量按 G3 要求：gamma/measure/delta_form 齐备；len(path) ≥ 2，Δell 合规。
• G4 量纲闭合：I70-dim_check 通过，p_dim = 1.0；check_dim_report.json 已附。
• G5 新鲜度：valid_to 未过期、clock_state="locked"；必要时触发再标定。
• G6 覆盖口径与发布对齐；G7 协方差正定且与组配置一致。
• G8 唯一性与无环通过；audit.jsonl 事件记录完整，版本锁定已执行（如适用）。