54-复现实验清单 Template v1.0 | 第6章 权重、参数与新鲜度（版本/签名）

目录 ／ 文档-技术白皮书 ／ 54-复现实验清单 Template v1.0

第6章 权重、参数与新鲜度（版本/签名）

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

• 冻结并核验模型权重（Weights）、运行参数/标定参数（Parameters）与新鲜度策略（Freshness/Validity），输出可审计的版本与签名清单，确保任意环境可等价复现、可追溯回滚。
• 凡涉及路径量（到达时/相位），正文显式路径 gamma(ell) 与测度 d ell，数据侧记录 delta_form ∈ {general, factored}；所有表达括号化；发布要求 p_dim = 1.0 并随附 check_dim_report.json。

II. 输入与依赖（Inputs & Dependencies）

• 对齐：《数据集卡》Ch.3/Ch.4/Ch.6/Ch.7、《模型卡》Ch.5/Ch.6/Ch.7/Ch.10、《误差预算卡》Ch.8/Ch.9、《管线卡》Ch.12、《参数注册卡》Ch.4/Ch.6/Ch.8/Ch.9。
• 引用统一“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%；对外仅 v1.*。

III. 权重与来源（Weights & Provenance）

• 权重标识：文件名、semver、git commit、训练时间窗与数据切分引用（指向 split_manifest.json）。
• 签名与校验：为每个权重文件生成 sha256 与 SIGNATURE.asc，记录签名者标识与时间戳。
• 权重血缘：在 lineage_graph.json 标注从 train_job 到 best.ckpt/last.ckpt 的产生路径与 transform（蒸馏/剪枝/量化应明示）。

IV. 参数与口径（Parameters & Conventions）

• 参数来源：参数注册卡中的 param_id/symbol/unit/dim、cov_group 与 freshness.policy；训练/推理用到的全部参数须在清单中可追溯。
• 单位/量纲：参数与控制式匹配，保证量纲闭合（发布前 I70-dim_check 通过，p_dim = 1.0）。
• 覆盖与协方差：若参数带不确定度，按照《误差预算卡》记录 uncertainty{type,estimate,distribution,coverage} 与 Σ 或核参数。

V. 新鲜度与有效期（Freshness / Validity）

• 字段：freshness{ valid_from, valid_to, policy{ tau_calib_s_max, clock_state } }。
• 判定：|ts_start − calib.timestamp| ≤ tau_calib_s_max 且 clock_state="locked" 视为新鲜；否则隔离或标注 [Restricted]。
• 回滚与锁版：上一稳定版本以 *-lock 标签固定，签名与校验和一致；回滚不改变 I/O 契约与覆盖口径。

VI. 到达时/相位规范（Normative Path Forms）

• 到达时（两式等价）：
  T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )；T_arr = ( ∫ ( n_eff / c_ref ) d ell )。
• 相位累计：
  Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell )。

执行核验前按“时间→路径→相位”顺序对齐；数组满足 len(gamma_ell)=len(d_ell)=len(n_eff)≥2；数据侧记录 delta_form。

VII. 机读制品（Machine-Readable Artifacts）
A. weights_manifest.yaml

version: "1.0.0"

weights:

- file: "weights/best.ckpt"

semver: "1.2.0"

git: "3f1c9ab"

train_window: "2025-08-01..2025-08-15Z"

split_ref: "DS_EXPORT/splits/split_manifest.json"

checksum: "sha256:..."

signature: "SIGNATURE.asc"

- file: "weights/last.ckpt"

semver: "1.2.0"

git: "3f1c9ab"

checksum: "sha256:..."

lock_tag: "v1.2.0-lock"

see:

- "Model Card v1.0:Ch.6"

- "Dataset Card v1.0:Ch.6"

B. param_lock.yaml

version: "1.0.0"

params:

- param_id: "CAL-01-τ_sys"

symbol: "τ_sys"

unit: "s"

dim: "T"

value: 1.0e-6

cov_group: "timing"

freshness:

valid_from: "2025-08-01T00:00:00Z"

valid_to: "2025-11-01T00:00:00Z"

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

checksum: "sha256:..."

see:

- "Parameter Card v1.0:Ch.4"

- "Error Budget Card v1.0:Ch.8"

C. sign_index.json（节选）

{
  "artifacts": [
    {
      "path": "weights/best.ckpt",
      "sha256": "…",
      "sig": "SIGNATURE.asc",
      "ts": "2025-08-16T08:00:00Z"
    },
    {
      "path": "model/model_manifest.yaml",
      "sha256": "…",
      "sig": "SIGNATURE.asc",
      "ts": "2025-08-16T08:00:01Z"
    }
  ]
}

VIII. 预发布核验（Pre-Release Validation）

• Schema（G1）：weights_manifest/param_lock 字段齐备；
• 引用（G2）：锚点直指率 ≥ 90%；
• 路径（G3）：涉及路径的参数/控制式齐备 gamma/measure/delta_form；
• 量纲（G4）：check_dim_report.json 通过，p_dim = 1.0；
• 新鲜度（G5）：clock_state="locked"，τ_calib 合规；
• 覆盖（G6）：coverage.mode ∈ {k, alpha, quantile} 与跨卷一致；
• 协方差（G7）：Σ PD；
• 唯一性（G8）：文件校验和唯一，锁版与 lineage 无环。

IX. 反例与修正（Anti-Patterns & Fixes）

• 反例：权重无签名或 sha256 → 修正：生成并登记于 weights_manifest.yaml 与 report_manifest.yaml。
• 反例：使用 T_arr = ∫ n_eff / c_ref d ell（缺括号） → 修正：括号化为统一口径。
• 反例：clock_state!="locked" 仍使用标定参数 → 修正：隔离或再标定，必要时标注 [Restricted]。
• 反例：参数单位/量纲缺失或与控制式不一致 → 修正：补全 unit/dim 并通过 I70-dim_check。
• 反例：跨卷覆盖口径不一致 → 修正：统一为单一 coverage.mode 并在清单与图注声明。

X. 交叉引用（Cross-References）

• 《模型卡》：Ch.5（训练数据与血缘）、Ch.6（训练协议）、Ch.10（部署接口）。
• 《数据集卡》：Ch.6（Splits/Versioning）、Ch.7（QC）、Ch.11（Bench/Score）。
• 《误差预算卡》：Ch.8（UQ & Cov）、Ch.9（阈值映射）。
• 《管线卡》：Ch.12（产出与发布）。
• 《参数注册卡》：Ch.4/Ch.6/Ch.8/Ch.9（单位/新鲜度/协方差组/接口）。

XI. 勾选清单（Checklist）

• weights_manifest.yaml / param_lock.yaml / sign_index.json 完整、入库并在 report_manifest.yaml 登记。
• sha256 + SIGNATURE.asc 校验通过；锁版标签 *-lock 有效；回滚版本可用。
• 路径块显式 gamma/measure/delta_form；I70-dim_check 通过、p_dim = 1.0。
• coverage.mode 与跨卷一致；Σ PD；clock_state="locked"、τ_calib 合规。
• /validate 通过 G1–G8；不合规项按 [Restricted] 标注与处置；引用锚点直指率 ≥ 90%。