26-EFT.WP.STG.Lensing v1.0 | 第15章 发布与清单（manifest）

目录 ／ 文档-技术白皮书（V5.05） ／ 26-EFT.WP.STG.Lensing v1.0

第15章 发布与清单（manifest）

一句话目标：定义透镜系统从验证到发布的清单化交付口径，给出可复现的 manifest.lens 结构、签名与契约校核，使谱/变分两口径与不确定度共同受控上线。

I. 范围与对象

1. 输入
   • 图与测度：G=(V,E,w), L_* ∈ {L, L^vis, L_ani}, M, 边界 B。
   • 透镜栈：K_eff = compose({K_i})，核族 g_i(·; θ_i)，order_i，λ_max 估计。
   • 验证产物：x_spec, x_var, delta_form, T_trans, ρ(K_eff), 运行指标与不确定度 u(·)。
   • 运行参数：window, stride, cache.ttl, passthrough_on_fail，RefCond（版本/设备/资源）。
2. 输出
   • 清单对象：manifest.lens（版本、依赖、参数、指标、契约校核、不确定度、签名）。
   • 发布工件：可加载的 spec/var 配置与权重、面板与审计记录。
3. 适用边界
   离线/流式均适用；默认无源（T_trans ≤ 1+ε），有源需显式标注与白名单。

II. 名词与变量

• 清单主键：TraceID, ts, version_semver, signature。
• 结构域：graph, kernel, compose, run, metrics, uncertainty, contracts, artifacts, audit。
• 关键量与单位：
  unit(T_trans)=1, dim(T_trans) = "[]"；unit(ρ)=1; unit(delta_form)=unit(x)；unit(λ_max)=1；unit(lat)= "[T]"。
• 不确定度：u(z), u_c, U = k * u_c, nu_eff, method ∈ {GUM, MC}。

III. 公设 P715-*

• P715-1（完整性）：发布前必须具备 graph/kernel/compose/run/metrics/uncertainty/contracts/audit 八域，缺一不发布。
• P715-2（两口径并存）：spec 与 var 两实现必须同时落盘，delta_form 与阈值/guardband 同时记录。
• P715-3（量纲一致）：check_dim 通过后方可签名。
• P715-4（可复现与不可变）：签名针对规范化的内容生成；任何字段改动均导致新 signature 与 version_semver。
• P715-5（最小可见原则）：清单不得包含原始个人数据或机密样本，仅保留哈希与数据引用。

IV. 最小方程 S715-*

• S715-1（两口径差与阈值）
  delta_form = || x_spec - x_var ||_2；上线条件：delta_form + k * u(delta_form) ≤ tol_form。
• S715-2（能量透过率与谱半径）
  T_trans = E(x_out; M) / E(x_in; M)，E(x;M) = (1/2) x^T M x；ρ(K_eff) ≤ ∏_i sup_λ |g_i(λ)|。
• S715-3（不确定度汇总）
  u_c^2(z) = J V_ξ J^T + u^2(ε_approx) + u^2(ε_spec)；发布覆盖区间 U = k * u_c 与 nu_eff。
• S715-4（签名与指纹）
  sig = H( canonicalize( manifest.lens.core ) )，其中 core = {graph, kernel, compose, run, contracts}；H 为抗碰撞哈希。

V. 计量流程 M71-15（组装→校核→签名→发布→回滚）

• 组装：收集 graph/L_*/M/B、核与参数、K_eff 组合、运行配置，导入验证与不确定度结果。
• 校核：执行契约集合 C71-15x，通过 check_dim、unit(·)，并对 spec/var 差异做最终审计。
• 签名：对规范化内容计算 signature；写入 version_semver 与 RefCond/method/seed。
• 发布：入库 registry://lens，生成面板卡与告警阈值；写入变更说明与影响面。
• 回滚预案：在清单中绑定上一个稳定版本 rollback_to 与回退序列（降阶→阻尼→旁路）。

VI. 契约与断言 C71-15x（发布门槛）

• C71-1501：delta_form_p99 ≤ 1e-3 * ||x_in||_2（非平滑近端可放宽至 3e-3）。
• C71-1502：T_trans_p95 ≤ 1.01（无源）；若 has_source=true 则 E_balance_p95 ≤ 1e-6。
• C71-1503：ρ(K_eff) ≤ 1.02 且 U_ρ ≤ 1.03。
• C71-1504：运行时 lat_p95 ≤ 0.5 * window；cpu_p95 ≤ 80%；mem_p95 ≤ cap-10%。
• C71-1505：uncertainty.coverage ≥ 95%（k≈2 或分位）；nu_eff 报告齐全。
• C71-1506：RefCond/method/seed 落盘完整率 =100%；signature 验证通过。

VII. 实现绑定 I71-15*（接口原型、输入输出、不变量）

• build_manifest(K_eff, graph, run, results, u_report, contracts) -> manifest.lens
• canonicalize_manifest(manifest) -> bytes
• sign_manifest(bytes, keyref) -> signature
• validate_manifest(manifest, rules) -> {pass, violations}
• publish_manifest(manifest, registry) -> uri
• plan_rollback(manifest, telemetry) -> actions
  不变量：non_null(core fields)；V_ξ ⪰ 0；two_forms_present == true；signature == H(canonicalize(core))。

VIII. 交叉引用

• 透镜核与谱实现：见本卷第5章；多层与门控：第8章；学习型透镜：第9章。
• 物理一致与守恒：第10章；运行时流式：第11章；契约与指标：第12章；不确定度：第13章；用例落地：第14章。
• 动力学系统的运行面板与回退：见《EFT.WP.STG.Dynamics v1.0》第14章。

IX. 质量与风控

• SLO/SLI：delta_form_p99, T_trans_p95, ρ_p95, lat_p95, error_rate, fallback_rate, drift_u_ratio。
• 审计轨：签名、审批、灰度/回滚记录、阈值变更、异常样本索引哈希。
• 留存策略：清单与面板快照 ≥ 180 天；权重与参数二进制按版本留存。

清单模板（可直接落盘为 JSON）

{

"manifest": "lens",

"TraceID": "uuid-v4",

"ts": "2025-09-02T12:00:00Z",

"version_semver": "1.0.0",

"RefCond": {

"env": "prod",

"device": "gpu-a100",

"os": "linux-5.15",

"method": "spec+var",

"seed": 123456

},

"graph": {

"V": 1024,

"E": 4096,

"L_type": "L_ani",

"lambda_max": { "value": 2.0, "u": 0.02 },

"M": "energy-metric",

"B": "dirichlet"

},

"kernel": [

{ "name": "K_focus", "family": "chebyshev", "order": 12, "theta": {...} },

{ "name": "K_ani", "family": "anisotropic", "order": 8, "theta": {...} },

{ "name": "K_deblur", "family": "rational", "order": 4, "theta": {...} }

],

"compose": {

"topology": "serial",

"expr": "K_deblur ∘ K_ani ∘ K_focus"

},

"run": {

"window": 256,

"stride": 64,

"cache": { "ttl": 512, "policy": "lru" },

"passthrough_on_fail": true

},

"metrics": {

"delta_form": { "value": 0.0007, "tol": 0.001, "k": 2.0 },

"T_trans_p95": 1.006,

"rho_bound": 1.012,

"lat_p95_ms": 18.4,

"cpu_p95": 0.63,

"mem_p95": 0.72

},

"uncertainty": {

"method": "MC",

"coverage": 0.95,

"k": 2.0,

"nu_eff": 120,

"U": {

"delta_form": 0.0002,

"T_trans": 0.004,

"rho": 0.008

}

},

"contracts": {

"C71-1501": "pass",

"C71-1502": "pass",

"C71-1503": "pass",

"C71-1504": "pass",

"C71-1505": "pass",

"C71-1506": "pass"

},

"artifacts": {

"spec_impl": "uri://lens/spec/v1",

"var_impl": "uri://lens/var/v1",

"panel": "uri://panel/lens/v1"

},

"units": {

"delta_form": "unit(x)",

"T_trans": "1",

"rho": "1",

"lat_p95_ms": "ms"

},

"audit": {

"parents": ["signature-prev"],

"rollback_to": "signature-stable",

"change_log": "lower order for K_deblur; tightened T_trans tol"

},

"signature": "H(canonical-core-bytes)"

}

小结

• 本章给出 manifest.lens 的强制字段、签名与契约门槛，将两口径结果与不确定度一并纳管；
• 通过 M71-15 流程与 I71-15* 接口，确保每次发布可复现、可审计、可回退；
• 清单模板可直接用于生产落盘与注册中心发布，支撑跨场景透镜的稳定上线。