ThearchyHelios 8137f0cf37 分析契约补两样（只加不改）：算子、模式给人看的叫法（OP_LABELS、MODE_LABELS，method_label 拼成「变化拆解（可加）」），证据面板、写作目录、审计、导出、可验证报告、裁判摘录同一份；按形状认一件工件是不是分析结论（is_result：op 是五个算子之一、method 是文字、inputs 是列表），证据接入取回结论工件、SQL 问题顺着结论的输入往下找、可验证报告认嵌进来的工件都按它认

2026-10-21 13:07:36 +08:00

..

__init__.py

分析能力骨架：app/analysis 契约（结论的工件种类、台账条目、写作目录前缀 A、引用标记 a、分析卡节点类型、五个算子与模式、方法版本、判定码、算不了的原因码、附带说明码、工具名）、设置缺省 / 取值范围 / 叫法与校验、阈值合并（缺省 ← 发起时快照 ← 分析卡覆盖）、复算比较；run / recompute 的签名（第 1 波实现）；测试用的假结论

2026-10-21 11:53:43 +08:00

contract.py

分析契约补两样（只加不改）：算子、模式给人看的叫法（OP_LABELS、MODE_LABELS，method_label 拼成「变化拆解（可加）」），证据面板、写作目录、审计、导出、可验证报告、裁判摘录同一份；按形状认一件工件是不是分析结论（is_result：op 是五个算子之一、method 是文字、inputs 是列表），证据接入取回结论工件、SQL 问题顺着结论的输入往下找、可验证报告认嵌进来的工件都按它认

2026-10-21 13:07:36 +08:00

testing.py

分析能力骨架：app/analysis 契约（结论的工件种类、台账条目、写作目录前缀 A、引用标记 a、分析卡节点类型、五个算子与模式、方法版本、判定码、算不了的原因码、附带说明码、工具名）、设置缺省 / 取值范围 / 叫法与校验、阈值合并（缺省 ← 发起时快照 ← 分析卡覆盖）、复算比较；run / recompute 的签名（第 1 波实现）；测试用的假结论

2026-10-21 11:53:43 +08:00