24-EFT.WP.Particle.TopologyAtlas v1.0 | 附录B 契约库与策略卡（C90 全集）

目录 ／ 文档-技术白皮书 ／ 24-EFT.WP.Particle.TopologyAtlas v1.0

附录B 契约库与策略卡（C90 全集）

一句话目标：给出本卷可执行的契约库 C90-* 与策略卡，保障从数据→复形→图谱→检索→运行时的一致性、稳定性、可复现与可审计。

I. 说明与范围

• 覆盖对象：Field/θ/n, q(x), Γ（世界线）、K(τ), D, λ_D, Atlas={U_a, φ_a, ψ_a, T_ab}, 不变量 Q/Lk/Tw/Wr，运行态面板与清单 manifest.topo.*。
• 契约层级：通用（00x）→ 章节别（04x–15x）→ 运行时（14x）→ 用例（15x）。
• 动作空间：block / warn / degrade / recompute / postpone；所有动作与证据落盘。

II. 名词与字段（契约通用）

• unit(x), dim(x), check_dim, RefCond = {τ_policy, σ, p, window, norm}。
• non_decreasing(τ)；d_B（bottleneck）、W_p（Wasserstein）、||·||_p；
• Σ_a ψ_a ≡ 1；循环误差 Δ_cyc；双口径差 delta_form、流式差 delta_form_rt。
• 清单最小键：TraceID, data_hash, code.ver, deps, seed, RefCond, thresholds, decision, evidence, signature。

III. 通用契约 C90-00x（跨章节）

• C90-001（单位与量纲）：任一进入方程的字段必须声明 unit(field) 与 dim(field)，并通过 check_dim( y - f(x) )。
  违反：block 并提示 E_UNIT/E_DIM。
• C90-002（RefCond 完整）：RefCond 必填并入清单；缺失 block。
• C90-003（可复现元数据）：{data_hash, code.ver, deps, seed} 必存；缺任一 block。
• C90-004（两口径并行）：凡存在 formA/B 或 stream/offline，必须记录 delta_form，并断言 delta_form ≤ tol_form。
• C90-005（证据充分）：拓扑对象必须具备≥2 类证据（几何/持久/局部切片）；不足 warn→degrade。
• C90-006（输入合法域）：θ ∈ (-pi,pi] 或已解缠；||n||=1±ε_norm；越界 degrade→project。

IV. 章节别契约

A. 第4章 场→拓扑密度（C90-04x）

• C90-041（相位解缠残差）：mean(|wrap(∇×∇θ)|) ≤ tol_curl。
• C90-042（取向归一化）：mean(| ||n|| - 1 |) ≤ tol_norm；否则投影并记录修正能量 E_proj。
• C90-043（密度积分守恒）：Q = ( ∫ q dA ) 落近整数，|Q - round(Q)| ≤ tol_Qfrac。
• C90-044（雅可比稳定）：quantile(|det(J)|, p_hi) ≤ J_max，异常处标注 mask_J 并降权。

B. 第3/5章 缺陷与世界线（C90-05x / C90-06x）

• C90-051（最小间距）：缺陷点最小距离 d_min ≥ d_guard，违反合并/抑制。
• C90-052（电荷守恒）：在无边界流出条件下 ΔQ_window ≤ tol_Q。
• C90-061（轨迹连续性）：相邻帧配对代价 cost_track ≤ tol_track，超限触发重连检查。
• C90-062（链接守恒）：非重联区段 Lk 不变，|ΔLk| ≤ 0；若阶跃仅在 E_reconn 窗内允许。

C. 第7/8章 复形与持久（C90-07x / 08x）

• C90-071（滤过单调）：non_decreasing(τ)；任何逆序直接 block。
• C90-072（采样覆盖）：κ_cover = |K(τ_max)| / |S| ≥ κ_min；不足 degrade→coarsen_τ。
• C90-081（稳定性门）：d_B(D, D') ≤ ε + α * scale_τ（扰动 ε 已知时）。
• C90-082（寿命门）：lifespan ≥ τ_pers_min 的对保留，其余入噪声池。

D. 第9–11章 图谱与坐标过渡（C90-09x–11x）

• C90-091（权重归一）：sup_x | Σ_a ψ_a(x) - 1 | ≤ 1e-6。
• C90-092（过渡循环误差）：Δ_cyc ≤ tol_cyc；超限需重估 T_ab 或调整覆盖。
• C90-093（畸变界）：cond(∂φ) ≤ κ_max；超过标记为低可信区并限用。
• C90-111（增量一致）：merge(Atlas, patch) 后不变量单调，|Inv_after - Inv_before| ≤ tol_patch（除事件解释外）。

E. 第10章 不变量计量与校准（C90-10x）

• C90-101（整数不变量取整门）：Q/Lk/Tw/Wr 的小数部分 ≤ tol_int 方可取整发布。
• C90-102（偏置回归残差）：||Inv_cal - Inv_ref||_p ≤ tol_bias；超限不发布。
• C90-103（不确定度覆盖）：coverage ≥ γ_min（如 95%），否则扩大 U = k * u_c 并置 warn。

F. 第12章 噪声、清洗与稳健（C90-12x）

• C90-121（型类不变）：清洗前后拓扑类型不变，d_B(D_before, D_after) ≤ tol_clean。
• C90-122（能量预算）：E_denoise ≤ E_budget；过度平滑回退弱化方案。

G. 第13章 图谱对比与检索（C90-13x）

• C90-131（索引召回）：Recall@K ≥ R_min 在标定集上成立。
• C90-132（重排一致）：d_exact(Q, A_topK) ≤ tol_rank；否则扩大候选集或改距。
• C90-133（三角不等式约束）：若启用度量嵌入，需满足 d(x,z) ≤ d(x,y)+d(y,z) 误差上界 ε_tri。

H. 第14章 运行时（C90-14x）

• C90-141（水位线门）：lag_wm_p95 ≤ tol_wm；否则 postpone 封窗。
• C90-142（流批一致）：delta_form_rt_p95 ≤ tol_rt，越界 recompute_subset。
• C90-143（缓存门）：H_cache ≥ H_min；不足触发 manage_cache(policy)。
• C90-144（背压门）：β = r_in/r_proc ≤ β_max；超限按降级阶梯执行。
• C90-145（回放一致）：replay(trace) 与在线结果差异 ≤ tol_replay。

I. 第15章 用例（C90-15x）

• C90-151（相位奇点电荷守恒）：|Q_out - Q_in| ≤ 0.5。
• C90-152（斯格明密度积分）：每图块 |Q - round(Q)| ≤ 0.2，全局加权后 ≤ 0.1。
• C90-153（重联事件证据）：必须同时满足 ΔLk ≠ 0、局域能量/曲率峰值与拓扑对象连续性证据。

V. 策略卡（Playbooks）

SC90-01 高噪声/解缠失败

• 触发：C90-041/121 失败；var(wrap(Δθ)) > v_max。
• 诊断：局部质量图、残差旋度、断相位密度。
• 动作：mode=quality-guided 解缠 → 增强 σ → 局部修补 → 失败则降维仅做 H0。
• 回退与证据：保存残差图、参数与区域掩膜。

SC90-02 稀疏采样/覆盖不足

• 触发：κ_cover < κ_min。
• 动作：coarsen_τ、选择 Alpha 代替 Rips、增广样本或插值。

SC90-03 图谱循环误差超限

• 触发：Δ_cyc > tol_cyc。
• 动作：重估 T_ab（刚性→仿射→非线性）→ 调整重叠 → 局部重建。

SC90-04 流式/离线漂移

• 触发：delta_form_rt > tol_rt。
• 动作：recompute_subset(scope) → 同步 RefCond → 锁版本并回放。

SC90-05 重联歧义

• 触发：ΔLk 阶跃但能量证据不足。
• 动作：扩大 Δt 窗 → 提升轨迹配对阈 → 要求第三证据（曲率/拓扑密度峰）。

SC90-06 背压与掉算

• 触发：β > β_max 或 drop_late 增长。
• 动作：thin 采样 → coarsen_τ → postpone → 最后 drop_late；每步记录影响范围。

SC90-07 检索召回不足

• 触发：Recall@K < R_min。
• 动作：增维嵌入、改距度、增大 K、启用 rerank_with_exact。

SC90-08 不变量偏置异常

• 触发：||Inv_cal - Inv_ref||_p > tol_bias。
• 动作：重估回归、剔除离群、扩大 U 或不发布。

SC90-09 取向畸变过大

• 触发：cond(∂φ) > κ_max。
• 动作：局部重网格或限制该图块参与全局比较。

SC90-10 清洗过度

• 触发：d_B(D_before, D_after) > tol_clean。
• 动作：降低光滑强度、改用鲁棒滤波、启用保拓扑投影。

VI. 契约组合与优先级

• 硬门：C90-001/002/071/091/141（单位、RefCond、单调、归一、水位线）。
• 一致性门：C90-004/092/142。
• 稳定性门：C90-081/103/131。
• 性能门：C90-143/144。
  失败按优先级最先处理，低优先级门暂停评估直到高优先级门通过/处置。

VII. 落盘与审计（contracts.* 结构建议）

• contracts[n] = { id, scope, inputs_hash, metrics, thresholds, status, decision, action, evidence.uri, ts, signature }。
• 所有策略卡执行生成 playbook[n] = { sc_id, trigger, steps[], outcome } 并入 manifest.topo.*。

VIII. 阈值建议（可随域/设备标定）

• tol_curl = 1e-3；tol_norm = 5e-3；tol_Qfrac = 0.1；J_max = p95(J)*3。
• κ_min = 0.6；τ_pers_min = 0.02 * scale_τ；tol_cyc = 1e-3。
• tol_int = 0.15；tol_bias = 0.05 * scale_inv；γ_min = 0.95。
• tol_wm = 2 * τ_window；tol_rt = 0.03 * scale_τ；H_min = 0.8；β_max = 0.9；tol_replay = 1e-6。
  （所有建议阈值须在标定集上复核，并写入 RefCond。）

IX. 小结

• 本附录给出 C90-* 的完整契约库与策略卡，与 I90-* 接口及第7–15章实现闭环。
• 通过硬门→一致性门→稳定性门→性能门的分层守护，加上可审计的策略卡执行记录，拓扑图谱从构建到服务的每一步都可验证、可追溯、可回放。