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（节选）
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%。