EACKS S7 Semantic Loss Taxonomy 检查器

配套：eacks-execution（骨架，本 skill 是 S7 槽位实现）。本 skill 族（eacks-execution + 8 个阶段守卫）即 EACKS v1.3 的完整执行形态.

职责：判定综合后的知识体系 K̂ 相对原始知识 S 是否保守——是否存在十类语义损失、损失是否构成硬否决。硬否决优先于软评分。

Guard 接口（与骨架 block-contracts S7 一致）：

• 输入：原始知识 S（Claim/Relation/Evidence 表）、综合体系 K̂（高阶结构 + 图）、重建文本 T̂（round-trip 重述）、重建结构 R̂（从 T̂ 重建的对象表）、Structurality 清单（S5 产物：K̂ 中断言是否晋升 Structural——Condition Loss 升级判定依赖；缺失时按约定：K̂ 论证骨架断言默认视为 Structural）
• 输出：Reconstruction Report（十项检查结果 + round-trip fidelity + 硬否决判定 + 修复要求）

判定约定：同一断言可命中多项损失（如证据升级 + 测量塌缩同时发生）——报告允许重复标记，各项独立判定，不做互斥。

一、十项 Semantic Loss 操作化定义

严重度分级原则（不按类型固定，按可修复性与影响）：FAIL（硬否决） = 结构性破坏或关键断言真值改变，必须回退重做；WARN（软扣分） = 可标注修复，修复前该对象不得晋升 Structural。

二、检测流程

输入：S, K̂, T̂, R̂
  │
  ├─ Step 1  round-trip 保真度评估（工具层）
  │      fidelity = α·structure_f1 + (1−α)·ROUGE-L（预处理后）
  │      fidelity < τ_select → 高风险标记，强制全项检查
  │      fidelity ≥ τ_select → 机械项全查 + 语义项抽检（Structural 级必查）
  │
  ├─ Step 2  机械检查（确定性，先跑）
  │      ① Direction Loss：S.relations vs R̂.relations 方向对照
  │      ② Concept Collapse：合并记录对照（correspondence_type ≠ equivalent 却合并）
  │      ③ Provenance Loss：provenance 链完整性扫描
  │      ④ Conflict Erasure：S Conflict Index vs K̂ 冲突结构对照
  │
  ├─ Step 3  语义检查（LLM 判定，逐项）
  │      ② Condition Loss（条件字段对照 + 重述文本条件子句扫描）
  │      ③ Boundary Loss（boundary 字段 + 外推范围声明）
  │      ⑤ Evidence Upgrade（type/strength 对照 + 用词升级扫描）
  │      ⑧ Level Collapse（level 字段 + 跨层关系标注）
  │      ⑨ Measurement Collapse（measurement 字段 + 指标并置检查）
  │      ⑩ Unsupported Synthesis（depends_on 完整性 + 折中理论检测）
  │
  └─ Step 4  判定与报告
         任一 FAIL → REJECT（回退至对应层 / 升级 S8 / Abstain，按骨架转移规则）
         仅 WARN → 通过，附修复要求清单；修复前相关对象不得晋升 Structural

检查顺序原则：机械项先跑（零成本、确定性），命中 FAIL 直接短路；语义项按"便宜优先"（字段对照先于重述文本分析）。每项检查记录证据定位（对象 ID + 字段 + 原文引用），不可只给结论。

三、round-trip 引擎接线（工具层）

参考实现：tools/eacks_roundtrip.py（纯标准库）。本 guard 的引擎约定：

重述模板（EACKS 对象版）：把 K̂ 的关键结构（Structural 级 Relation 及其 Claim）列表
   → 要求 LLM 用自然语言重述（禁止添加/省略/翻转）
重建模板：把重述文本 → 重建为 (source, relation_type, target, condition, boundary) 列表
保真度：fidelity = α·structure_f1 + (1−α)·ROUGE-L，α=0.7
阈值：τ_select = 0.85（低于即高风险，强制全项检查）

接线状态：✅ 已接线。确定性部分 = eacks_roundtrip.py（位置解析见 eacks-execution 第八节——工作区 tools/ 或本 skill scripts/ 副本；结构比对含方向反转/缺失/新增检出 + ROUGE-L 中文 LCS 实现 + fidelity=α·structure_f1+(1−α)·rouge + τ=0.85；纯标准库；方向反转检出已验证）。LLM 通道（重述 T̂ 生成、重建 R̂）由 agent 充当。若遇 LLM 不可用，可降级为"直接重述-重建单轮"（仅机械项检查）。

四、输出格式（Reconstruction Report）

# Reconstruction Report
- 输入：S（N Claim / M Relation），K̂（H 个高阶结构）
- round-trip：fidelity 0.87 / τ_select 0.85 → PASS（结构级全查）
- 十项检查：
  1. Concept Collapse:   PASS
  2. Condition Loss:    WARN ×2 — R12（缺"仅当X"）、R34（缺条件）→ 修复要求见下
  3. Boundary Loss:     PASS
  4. Direction Loss:    PASS
  5. Evidence Upgrade:  PASS
  6. Provenance Loss:   PASS
  7. Conflict Erasure:  PASS（2 处 Conditional Divergence 已标注）
  8. Level Collapse:    PASS
  9. Measurement Collapse: PASS
  10. Unsupported Synthesis: PASS
- 硬否决：无
- Soft Score：82/100（WARN 扣分）
- 判定：Provisional —— WARN 修复前 R12/R34 不得晋升 Structural
- 修复要求：[R12 补注 condition 字段，引用 S 原文 §…；R34 同上]

五、与其他 guard/工具的关系

• 输入依赖：S2 概念表（Concept Collapse 对照基准）、S4 验证结果（Evidence Upgrade 对照基准）、S5 Conflict Index（Conflict Erasure 对照基准）
• 输出消费：骨架 eacks-execution 按报告判定转移（Accepted/Provisional/回退/S8/Abstain）
• 工具层：round-trip 引擎（重建 + fidelity）；AlignScore/factCC 方法可作语义一致性补充度量（可选）