I. 目标与范围（Purpose & Scope）
- 给出从环境拉起到结果核对的端到端可执行流程：预检→数据核验→训练→推理→对齐→评测与区间→对比与放行→打包与签名，确保一次运行可复现、产物可校验、决策可审计。
- 凡涉及路径量（到达时/相位），正文显式 gamma(ell) 与测度 d ell；数据侧记录 delta_form ∈ {general, factored}；所有表达括号化；发布要求 p_dim = 1.0 并随附 check_dim_report.json。
II. 输入与依赖（Prerequisites & Inputs）
- 依赖：第4章（环境锁定）、第5章（数据快照与血缘）、第6章（权重/参数/新鲜度）、第7章（脚本与命令）、第8章（种子/随机性/确定性）、第9章（指标/区间/门）。
- 引用口径统一“卷名 + 版本 + 锚点（P/S/M/I）”，锚点直指率 ≥ 90%；跨卷 coverage.mode ∈ {k, alpha, quantile} 一致。
III. 流程总览（E2E Flow）
- Preflight：校验 env_lock.json / container_spec.yaml / seed_policy.yaml，输出 preflight_report.json。
- Data Verify：核对 data_refs.yaml / split_manifest.json / lineage_graph.json / checksums.txt，输出 data_verify.json。
- Train：按 train_config.yaml 执行，产出 weights/best.ckpt 与日志；记录 rng_state.json。
- Infer：按 binding_spec.md / inference_openapi.yaml / inference.proto 执行推理，产出 outputs/preds.json。
- Align（时间→路径→相位）：校齐 gamma_ell/d_ell/n_eff，回显 delta_form 元数据。
- Eval & UQ：执行 bench_plan.yaml，计算指标点+区间，产出 scorecard.json / uq_summary.json。
- Compare & Validate：依据 compare_spec.yaml 生成 validate_report.json，对照门阈与容忍判定放行。
- Pack & Sign：更新 report_manifest.yaml，生成 checksums.txt / SIGNATURE.asc，归档到 PTN_EXPORT/。
IV. 关键对齐（时间→路径→相位）
- 时间对齐：窗口/水位与 clock_state="locked"；|ts_start − calib.timestamp| ≤ τ_calib。
- 路径对齐：数组同长 len(gamma_ell)=len(d_ell)=len(n_eff)≥2，步长 Δell ≤ ( c_ref / f_s ) / max(n_eff)。
- 相位对齐：在参考窗内评估相位与相关/一致性指标。
- 统一口径（两式等价）：
T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )
T_arr = ( ∫ ( n_eff / c_ref ) d ell )
相位：Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell )。
V. 执行细则（Executable Steps）
- 预检命令：make preflight 或 ./reproduce.sh preflight；失败即停止并写 audit.jsonl。
- 数据核验：make data_verify；校验 Schema/切分/血缘/校验和。
- 训练：make train IDK=<idempotency_key>；保存 best.ckpt/last.ckpt 和 reports/train.log。
- 推理：make infer IDK=<idempotency_key>；产出 outputs/preds.json 与路径元数据。
- 评测与区间：make eval；写 eval/scorecard.json、区间与收敛曲线。
- 对比与放行：make compare；生成 reports/validate_report.json 与最终决策 pass|fail|[Restricted]。
- 打包签名：make pack；更新 report_manifest.yaml、写入 checksums.txt / SIGNATURE.asc。
VI. 产物与日志（Artifacts & Logs）
- 必出：preflight_report.json / data_verify.json / best.ckpt / preds.json / scorecard.json / uq_summary.json / validate_report.json / report_manifest.yaml / checksums.txt / SIGNATURE.asc / audit.jsonl。
- 图表：figs/metric_curves.{pdf,png}、figs/interval_bands.{svg,png}、figs/path_profile.pdf（双份导出，图注含单位与覆盖模式）。
VII. 放行判定（Release Decision）
- 通过：/validate 核验 G1–G8 全部通过，且关键指标（点+区间）满足 compare_spec.yaml 阈值与容忍。
- 限制发布：任一核心门失败或区间不重叠 → [Restricted]：仅发布定性图表与诊断说明。
- 阻断：维度闭合失败（p_dim < 1.0）或时间锁定违例，立即停止并回退。
VIII. 质量门映射（Gates Mapping）
- G1 Schema 完整｜G2 引用合规｜G3 路径规范｜G4 量纲闭合｜G5 新鲜度｜G6 覆盖一致｜G7 协方差一致｜G8 唯一性与无环。
- 触发 S1–S5（量纲/新鲜度/路径/协方差/引用）即停止后续阶段并记录审计。
IX. 机读配置（Machine-Readable Configs）
A. eval/compare_spec.yaml（节选）
version: "1.0.0"
coverage: { mode: "k", k: 2 } # k|alpha|quantile
metrics:
mae: { tolerance: 1.0e-4 }
auc: { tolerance: 2.0e-3 }
r_phi: { lb95_min: 0.60 }
delta_t_arr_s: { guard: "tau_T_s" }
epsilon_flux_p95: { guard: 0.02 }
latency_p95_s: { guard: 0.200 }
rules:
interval_overlap_required: true
same_coverage_band_required: true
B. tools/compare.py 输出（示例）
{
"decision": "pass",
"deltas": { "MAE": 1.0e-5, "Latency_P95_s": 0.006 },
"intervals": { "r_phi_ref":[0.61,0.80], "r_phi_repro":[0.62,0.79], "overlap": true },
"gates": { "G1": true, "G2": 0.94, "G3": true, "G4": true, "G5": true, "G6": true, "G7": true, "G8": true }
}
X. 反例与修正（Anti-Patterns & Fixes）
- 反例：仅报均值不报区间 → 修正：补充 U = k·u_c 或分位带与收敛诊断。
- 反例：T_arr = ∫ n_eff / c_ref d ell（无括号） → 修正：括号化为统一口径。
- 反例：未回显 delta_form 或路径数组不同长 → 修正：对齐环节补齐并校齐长度。
- 反例：跨卷覆盖模式不一致 → 修正：统一为单一 coverage.mode 并在清单与图注声明。
- 反例：恢复训练后产物 sha256 改变 → 修正：恢复 RNG/优化器/AMP 状态并重算校验。
XI. 交叉引用（Cross-References）
- 第3章（目录与制品）、第4章（环境锁定）、第5章（数据快照）、第6章（权重/参数）、第7章（脚本与命令）、第8章（种子与确定性）、第9章（指标与门）。
- 《模型卡》Ch.6/Ch.7/Ch.8/Ch.10/Ch.12；《误差预算卡》Ch.8/Ch.9；《数据集卡》Ch.11；《管线卡》Ch.12。
XII. 勾选清单（Checklist）
- preflight → data_verify → train → infer → align → eval → compare → pack 全流程一次跑通，所有产物 sha256 记录完备。
- 路径对齐显式 gamma/measure/delta_form；len(path) ≥ 2、Δell 合规；相位在参考窗内评估；p_dim = 1.0。
- 指标点+区间满足 compare_spec.yaml 容忍/阈值；收敛诊断完备；跨平台仍处于同一覆盖区间。
- /validate 通过 G1–G8；report_manifest.yaml / checksums.txt / SIGNATURE.asc 已更新；audit.jsonl 记录完整。
- 不合规项按 [Restricted] 标注与处置，出具诊断与修复路径。