26-EFT.WP.STG.Lensing v1.0 | 附录C 清单模板与样例（lens manifest）

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

附录C 清单模板与样例（lens manifest）

一句话目标：给出学习/物理/谱域/运行时一体化的透镜清单最小键集、量纲与校核流程，使任一 K（核/透镜）在发布与重放时可追溯、可验证、可回退。

I. 范围与对象

• 对象：graph, K（单层核）, K_eff（组合透镜）, vis（可见性/遮挡）, y_spec/y_var（两口径输出）, contracts, uncertainty, signature。
• 输入：第5–9章的核与学习参数、两口径比对（见第7章）、物理一致度量（见第10章）、运行时遥测（见第11章）。
• 输出：manifest.lens（JSON/CBOR），用于发布、审计与回放。

II. 版本与命名

• manifest.kind = "EFT.Lensing.Manifest"；semver = "1.0.0"；schema_uri 指向本卷附录版本。
• 标识：TraceID（全局追踪）、BuildID（工件构建）、graph.hash、kernel.hash、compose.hash。

III. 最小键集与量纲约束

• 必备键：{TraceID, ts, graph, visibility, kernel[], compose, physical, two_form, contracts, uncertainty, runtime, provenance, signature}。
• 量纲与单位：任意数值字段必须具备 unit(field) 与 dim(field)；示例：unit(T_trans) = "-", dim(T_trans) = "1"；unit(latency) = "ms", dim(latency) = "[T]"。
• 两口径表达需落盘 delta_form 与阈值 tol_form，并给出计算口径：delta_form = ( || y_spec - y_var ||_2 / || y_spec ||_2 )。

IV. 两口径与谱域落盘（与第7、11章一致）

1. 落盘字段：
   • two_form.{y_spec_uri, y_var_uri}（只存储指针/摘要）；
   • two_form.delta_form, two_form.tol_form, two_form.latency.{spec,var}；
   • kernel[i].spectral.{sup_gain, passband, stopband, ripple, leakage}；
   • compose.stability.rho_bound（谱半径上界）。
2. 断言：delta_form ≤ tol_form（违约策略见附录B C71-31）。

V. 物理一致与边界（与第10章一致）

• 度量键：physical.{T_trans, boundary_residual, conservation_residual, RefCond}。
• 口径：T_trans = ( E(y; M) / E(x; M) )；unit(T_trans) = "-"。boundary_residual = || B y ||_2，其中 B 为边界算子。
• 参考条件 RefCond：记录传感/场景条件（如 illum, noise_level, sensor_gain），用于 corr_env(x; RefCond) 的重放。

VI. 运行时与面板映射（与第11章一致）

• runtime.{latency_p50,p90,p99}, cpu_pct, mem_pct, cache_hit, err_rate, drift_score。
• 面板映射键：panel.uri，panel.snapshot_hash（便于审计回放）。

VII. 不确定度与校准（与第13章一致）

• uncertainty.model = {type ∈ {GUM, MC}, k, coverage}；uncertainty.fields 列出 u(x) 与合成 U = k * u_c。
• 学习型透镜：calibration.{ece, reliability_uri, calib_date}；unit(ece) = "-"。

VIII. 清单样例（精简）

{

"manifest": {

"kind": "EFT.Lensing.Manifest",

"semver": "1.0.0",

"schema_uri": "urn:eft:lensing:schema:1.0.0"

},

"TraceID": "2f9c0b13-4b6e-4f7e-9a1a-6f4a1b2c9e55",

"ts": "2025-09-02T10:21:33Z",

"graph": {

"hash": "sha256:6a1f…",

"|V|": 12874,

"|E|": 56321,

"metric": "combinatorial_laplacian",

"unit(edge_weight)": "-",

"dim(edge_weight)": "1"

},

"visibility": {

"mean": 0.82,

"los_ratio": 0.76,

"mask_uri": "s3://…/vis_mask.zst",

"unit(mean)": "-",

"dim(mean)": "1"

},

"kernel": [

{

"id": "K1",

"type": "anisotropic_spectral",

"order": 8,

"theta": {"alpha": 0.9, "beta": 0.1},

"spectral": {

"sup_gain": 1.04,

"passband": [0.0, 0.35],

"stopband": [0.55, 2.0],

"ripple": 0.03,

"leakage": 0.01

},

"hash": "sha256:1d2e…"

}

],

"compose": {

"expr": "y = K1( gate(vis) * x ) + res_skip(x)",

"rho_bound": 0.98,

"gate_policy": "threshold@0.4"

},

"physical": {

"T_trans": 0.97,

"boundary_residual": 0.004,

"conservation_residual": 0.012,

"RefCond": {

"illum": "std_A",

"noise_level": 0.02,

"sensor_gain": 1.0

},

"unit(T_trans)": "-",

"dim(T_trans)": "1"

},

"two_form": {

"y_spec_uri": "s3://…/y_spec.parq",

"y_var_uri": "s3://…/y_var.parq",

"delta_form": 0.008,

"tol_form": 0.02,

"latency": {"spec": 4.2, "var": 3.6},

"unit(latency)": "ms",

"dim(latency)": "[T]"

},

"contracts": {

"rules": [

{"rule_id": "C71-21", "pass": true, "evidence_uri": "s3://…/spectral.json"},

{"rule_id": "C71-31", "pass": true, "delta": 0.008}

],

"thresholds_uri": "s3://…/thresholds.toml"

},

"uncertainty": {

"model": {"type": "GUM", "k": 2.0, "coverage": 0.95},

"u": {"T_trans": 0.005, "delta_form": 0.002},

"U": {"T_trans": 0.010}

},

"runtime": {

"latency_p99": 7.9,

"cpu_pct": 62.0,

"mem_pct": 48.3,

"cache_hit": 0.88,

"err_rate": 2.0e-4

},

"provenance": {

"code_rev": "git:ab12cd3",

"container": "ghcr.io/eft/lensing:1.0.0",

"hardware": "AVX2/24c/128G",

"rng_seed": 1337

},

"signature": {

"algo": "ed25519",

"public_key_id": "k-2025-07",

"digest": "sha256:9f3a…",

"sig": "base64:MEQCIF…"

}

}

IX. 生成→校核→签名流程（M71-15 对应第15章）

• 就绪：收集 graph/kernel/compose 工件与评测证据，计算 spectral 指标与 two_form.delta_form。
• 校核：执行契约集 C71-*（见附录B），包含 TransmissionBalance、SpectralGainBound、TwoFormDelta 等；落盘 contracts.rules 与证据 evidence_uri。
• 合成：写入 uncertainty（GUM 或 MC）与 runtime SLI；保证每个数值字段具备 unit(·)/dim(·)。
• 签名：生成 compose.hash 与全清单 digest，使用 ed25519 产生 signature.sig；校验通过后发布。
• 回放：读取 schema_uri，重建 K_eff 与门控；重算 delta_form 与 T_trans 并比对（容差 tol_form、tol_energy）。

X. 字段校验与拒绝准则

• 缺失键：凡缺 TraceID/graph.hash/kernel[].hash/compose.hash/contracts/signature → 直接拒绝。
• 量纲不合：check_dim(y - f(x)) 非零 → 拒绝（见“数学表达歧义规避规则”）。
• 两口径违约：delta_form > tol_form → 离线 fail，运行时 degrade（策略卡 card.form_degrade）。
• 签名无效：signature 验证失败 → 拒绝并告警。

XI. 交叉引用

• 谱域与核参数：见第5章。
• 视域与遮挡：见第4章。
• 学习与反演：见第7/9章。
• 物理一致与守恒：见第10章。
• 运行时面板与 SLO：见第11章。
• 契约库：见附录B（C71-*）。
• 接口：见附录A（I71-*，如 emit_lens_manifest(results, policy) -> manifest.lens）。

小结

• manifest.lens 固化了透镜从谱核到物理、从两口径到运行时与不确定度的全链路证据；
• 每个字段具备 unit/dim 与契约证据，支持发布、回放、审计与回退的全流程闭环。