26-EFT.WP.STG.Lensing v1.0 | 前言

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

前言

一句话目标：定义“图透镜（STG Lensing）”的对象、边界与交付物，确立可组合、可反演、可度量的不变口径，用于聚焦/去透镜/可见性编排与多层透镜组合的工程实现。

I. 目的与定位

• 通过透镜算子 Φ_lens 与核 K_lens = g(L; θ)，在 G=(V,E) 上对信号 x 实施聚焦/散焦、可见性选择与多层组合；形成从“构建→应用→反演→度量”的闭环标准。
• 将传统图滤波扩展为“视域几何+遮挡+可见性”的图透镜框架，聚焦运行时与流式（窗口/缓存/面板）可执行落地。
• 输出可审计的 manifest.lens 与可验证的契约 C71-*，与《…STG.Dynamics》《…Particle.TopologyAtlas》《…PathCorrection》互操作。

II. 范围与对象

• 对象：图结构 G、拉普拉斯 L、观测矩阵 H、视域 Ω_view、可见性 vis(v,Ω)、透镜族 Φ_lens、组合代数 ⊕/∘。
• 输入：graph.hash, L.hash, H, RefCond, 透镜参数 θ, 运行时窗 Δt_win/Δt_slide, 模式 mode ∈ {offline, streaming}。
• 输出：x' = Φ_lens(x)、反演估计 x_est、质量度量与不确定度 u_c、卫界 g = k * u_c、两口径差 delta_form_stream、manifest.lens。
• 不含：非图域渲染/光学器件细节；电磁/介质传播的物理时延（见《…PathCorrection》）。

III. 术语与核心概念（预备）

• 视域映射与遮挡：π_view: V→Ω_view，vis: V×Ω_view→{0,1}（也可概率化）。
• 透镜原语：节点透镜（权重）、边透镜（重标定）、路径透镜（代价/最优）、子图透镜（选择/聚合）。
• 透镜核：K_focus=exp(-τL)、K_defocus、各向异性核 K_aniso(∇_G)；切比雪夫近似与谱界。
• 反演：解 y = H Φ_lens x + v 的去透镜问题，正则化与可识别性条件。
• 运行时：窗口化、迟到与水位线 wm(t)、面板与 SLO/SLI。

IV. 读者路径

• 工程快速路径：第1→5→8→11→12→14→15章。
• 算法/学习：第2→3→5→7→8→9→13章。
• 运维/合规：第11→12→13→15章与附录 A/B/C/D/E/F。

V. 交付物与合规模块

• 清单：manifest.lens（TraceID, graph.hash, L.hash, Φ.hash, RefCond, delta_form_*, u/U, contracts.*, signature）。
• 契约报告：assert_lens_contracts 产物（谱稳定、覆盖、残差、延迟）。
• 面板字段：focus_gain, stability_margin, inv_residual, latency_p95, delta_form_stream_p99。
• 可复现性：模型/算子/数据哈希与版本、参数与训练摘要、近似阶与误差上界。

VI. 与配套白皮书的关系

• 图核与动力学：谱实现与稳定界复用《EFT.WP.STG.Dynamics v1.0》第4、9、14章接口与契约。
• 拓扑对象：可见性片段/世界线与子图透镜在《…Particle.TopologyAtlas v1.0》第5、7、8章取材与对齐。
• 路径与介质：LOS/NLOS 与遮挡语义对齐《…Metrology.PathCorrection v1.0》第3、7章；不要混淆 n_eff 与 K_lens 的角色。

VII. 编号与口径（强制）

• 公设 P71x-*、最小方程 S71x-*、计量流程 M71-*、实现绑定 I71-*、契约 C71-*。
• 公式与变量一律用反引号：如 Φ_lens, K_lens, L, H, π_view, vis, u_c, g。
• 任何带除号/积分/复合算符必须括号并显式测度：如 ( ∫_{gamma(ell)} · d ell )、( ∑_{v∈V} · )。
• 两口径并行与差异落盘：离线 vs 流式（或谱精确 vs 多项式近似），记录 delta_form_stream 并置契约阈值。

VIII. 风险、SLO 与回退

• SLO：latency_p95 ≤ B_lens、coverage ≥ 1-α、ρ(K_lens) ≤ 1+ε、inv_residual ≤ r_cap。
• 回退：近似误差/谱界越界→提高近似阶或切换精确谱；反演不稳→增大正则或降阶；流式延迟超限→收紧窗口或降采样。
• 审计：近似误差 ε_approx、数值稳定证据、窗口丢弃率与迟到分布、契约通过率。

IX. 版本与变更

• 采用语义化版本，破坏性变更需提供迁移脚本与契约映射。
• Φ_lens/K_lens 的学习型更新必须伴随漂移审计与对照实验，并保留可回滚签名。

小结

• 本卷将“图滤波”推广为“图透镜”，强调视域/可见性/组合/反演/运行时五要素；
• 以 P71x/S71x/M71/I71/C71 建立可实现、可审计、可复用的工程口径，并通过 manifest.lens 完成发布与合规闭环。