ThearchyHelios 0acf9fb3a8 叫法消毒做到不再变化、截到第一个分句标点、不许夹带判断词（复核 R12、R18）：clean_label 反复去引用标记、数字、符号、空括号直到不变（「销售额[ [v:Q1.r0.gmv] ]」去完数字拼出的「[[v:Q.r.gmv]]」接着去掉），再去掉剩下的方括号、截到第一个分句标点（，。；：！？、,.;:!?）之前、去掉截完没配上对的左括号，整个过程再做到不变，消过的再消一遍不变——复算拿记下的叫法再消，判定语逐字相同。消完的叫法里有说法表的判断词（engine/analysis_claims.scan，在函数里导入）就整个不要，退回下一个来源；目录叫法、当叫法用的列名同一个函数，同样处理

2026-10-21 15:37:48 +08:00

..

__init__.py

算子的叫法只留契约一份：contract.OP_LABELS / MODE_LABELS 是唯一来源，趋势定为「趋势判断」；engine/labels 的 ANALYSIS_OP_LABEL 直接引用 OP_LABELS、ANALYSIS_MODE_LABEL 按 MODES 从 MODE_LABELS 分到各算子（分析卡校验、应用说明、前端表单照它），phrases 去掉 OP_NAMES，「{叫法}没有做成」的判定语和算子的调用错误都用契约的叫法

2026-10-21 14:08:56 +08:00

common.py

分析结论的结果表带上列类型：ResultTable 加可选的 column_types（{列 id: 类型}，写法同查询快照）。维度列照输入快照里那一列查询时记下的类型（文本型的码值 "1203" 不会被渲染成「1,203」，没记类型的不写），数值列 number，说明、叫法这类文字列 text；差异检验和「其余各组合计」比时对照组那一列写 text；可比性检查表全是 text。契约里 InputSnapshot.column_types 的标注改成实际形状 dict[str, str] | list[str | None]（to_payload 给的是 {列: 类型}，按列序的列表也认）。复算逐字段相同照旧成立

2026-10-21 13:19:27 +08:00

comparable.py

周号按 SQL 里的格式串算真实起止（复核 R3）：「YYYY-Www」不再一律当 ISO 周。periods.week_scheme 看期次列在最外层 SELECT 里的写法（从 CTE、子查询里原样取出的往里找），认格式化函数里配套的年份和周号——SQLite strftime 的 %Y-%W / %Y-%U / %G-%V、MySQL DATE_FORMAT 的 %Y-%U / %Y-%u / %X-%V / %x-%v、PostgreSQL / Oracle to_char 的 YYYY-WW / IYYY-IW；week_span 按算法算一周的起止（W00、W53 按各自的算法，不走 fromisocalendar），先后按算法排（跨年切开的两期也连着）。认不出算法（方言不知道、只取了现成的字符串、年份和周号不配套）的起止置空，本期齐不齐一律核对不了、附说明，绝不判齐，先后按周号排。按年截断的算法里跨年切开的那两期不到整周：当本期判 partial_target，当比较期判 target_gap 并说清只有几天，不算进波动基线的历史（附 partial_periods 说明，只在证据面板），趋势取最后连着的整周。可比性检查按期次分组时也走这套：有一期不到整周的按实际天数比窗口、照算星期构成。period_unreadable 的原因里举认不出的那几个值（写法认不出、写法混着的少数、算法里没有的那一周、对不上给的粒度分开说）；比较期那一格为空时照实说为空，不再说成缺期（趋势往前断开的原因同样分开说）。期次是序号、周号认不出算法时也附一句核对不了。契约 CAVEATS 加 partial_periods

2026-10-21 15:35:00 +08:00

contract.py

周号按 SQL 里的格式串算真实起止（复核 R3）：「YYYY-Www」不再一律当 ISO 周。periods.week_scheme 看期次列在最外层 SELECT 里的写法（从 CTE、子查询里原样取出的往里找），认格式化函数里配套的年份和周号——SQLite strftime 的 %Y-%W / %Y-%U / %G-%V、MySQL DATE_FORMAT 的 %Y-%U / %Y-%u / %X-%V / %x-%v、PostgreSQL / Oracle to_char 的 YYYY-WW / IYYY-IW；week_span 按算法算一周的起止（W00、W53 按各自的算法，不走 fromisocalendar），先后按算法排（跨年切开的两期也连着）。认不出算法（方言不知道、只取了现成的字符串、年份和周号不配套）的起止置空，本期齐不齐一律核对不了、附说明，绝不判齐，先后按周号排。按年截断的算法里跨年切开的那两期不到整周：当本期判 partial_target，当比较期判 target_gap 并说清只有几天，不算进波动基线的历史（附 partial_periods 说明，只在证据面板），趋势取最后连着的整周。可比性检查按期次分组时也走这套：有一期不到整周的按实际天数比窗口、照算星期构成。period_unreadable 的原因里举认不出的那几个值（写法认不出、写法混着的少数、算法里没有的那一周、对不上给的粒度分开说）；比较期那一格为空时照实说为空，不再说成缺期（趋势往前断开的原因同样分开说）。期次是序号、周号认不出算法时也附一句核对不了。契约 CAVEATS 加 partial_periods

2026-10-21 15:35:00 +08:00

decompose.py

分析结论的结果表带上列类型：ResultTable 加可选的 column_types（{列 id: 类型}，写法同查询快照）。维度列照输入快照里那一列查询时记下的类型（文本型的码值 "1203" 不会被渲染成「1,203」，没记类型的不写），数值列 number，说明、叫法这类文字列 text；差异检验和「其余各组合计」比时对照组那一列写 text；可比性检查表全是 text。契约里 InputSnapshot.column_types 的标注改成实际形状 dict[str, str] | list[str | None]（to_payload 给的是 {列: 类型}，按列序的列表也认）。复算逐字段相同照旧成立

2026-10-21 13:19:27 +08:00

differ.py

分析结论的结果表带上列类型：ResultTable 加可选的 column_types（{列 id: 类型}，写法同查询快照）。维度列照输入快照里那一列查询时记下的类型（文本型的码值 "1203" 不会被渲染成「1,203」，没记类型的不写），数值列 number，说明、叫法这类文字列 text；差异检验和「其余各组合计」比时对照组那一列写 text；可比性检查表全是 text。契约里 InputSnapshot.column_types 的标注改成实际形状 dict[str, str] | list[str | None]（to_payload 给的是 {列: 类型}，按列序的列表也认）。复算逐字段相同照旧成立

2026-10-21 13:19:27 +08:00

facts.py

分析算子的输入、目录事实、期次与现查：inputs.py（按名字取快照、拆「名字.r行.列」、列名不分大小写、遮罩列与非数值是调用错误）；facts.py（按 SQL 认结果列取自哪张表的哪一列，读目录的度量类型、叫法、业务日期，只有确认过的度量类型才拿来判调用错误；查过的记进 params，复算不读目录）；periods.py（日期、YYYY-MM、YYYY-Www、YYYY-Qn、整数序号，粒度按值推断）；probe.py（make_prober 走 data/coverage 的只读探查：遮罩列不探、总时限、5 分钟缓存、退回剖析事实，另在库里算按运行当天现算的界；Book 先登记、查完再算，结论只记真用到的）；data/coverage.py 加几个公开的小函数（parse_sql、as_day、literal_bound、window_of、column_range、bound_values、facts_range），_fallback 的读法抽成 _facts_range、行为不变；契约补几项可选字段（InputSnapshot 的 dialect / checks / no_data / mask_columns / masked_at_query，AnalysisInput 的 dialect，Probe 的 expr / value）

2026-10-21 13:03:35 +08:00

inputs.py

五个分析算子与 run / recompute（细案 01 §1–§8）：decompose（additive 按维度算贡献、headline 与下钻闭合、抵消、新出现 / 消失；ratio 中点对称拆结构与自身效应、辛普森、分母小；factor LMDI-I；两份快照先做可比性，口径结构不同不拆）、baseline（中位数与 MAD 的稳健 z、σ̂ = 0、日数据 lag 7、新高新低）、trend（Theil–Sen + Mann–Kendall、末尾连续期数）、differ（rate 的 z 检验 / Fisher、mean 与 rows 的 Welch、Holm、rows 的敏感性）、comparable（同口径、窗口长度、整期、星期构成、数据问题，现查记进 probes）；run 先登记现查、查完再算，运行当天和目录事实记进 params，recompute 只用记下的、不现查；判定码、原因码、附带说明码都在契约里；输入记下方言和遮罩列名，复算逐字段相同；测试用虚构零售库，每个用例都核对复算

2026-10-21 13:04:58 +08:00

numbers.py

分析结论的数与判定语：numbers.py（快照里的数换成精确的 Fraction，写成规范的十进制字符串：不带指数、去尾零、没有 -0，除不尽的和浮点留 12 位有效数字，同输入逐字节同输出）；phrases.py 一处定义判定语模板（细案 01 §7.2）、数的写法（百分比一位小数带正负号、量千分位最多两位小数、百分点，ROUND_HALF_UP 同 render_cell）、label 消毒（去引用标记、出具校验认的数字写法、单位符号，≤ 20 字，空了退回目录叫法和列名）、附带说明的一句话（判定语后最多接两条）、照实际阈值写的判定标准

2026-10-21 13:03:23 +08:00

periods.py

周号按 SQL 里的格式串算真实起止（复核 R3）：「YYYY-Www」不再一律当 ISO 周。periods.week_scheme 看期次列在最外层 SELECT 里的写法（从 CTE、子查询里原样取出的往里找），认格式化函数里配套的年份和周号——SQLite strftime 的 %Y-%W / %Y-%U / %G-%V、MySQL DATE_FORMAT 的 %Y-%U / %Y-%u / %X-%V / %x-%v、PostgreSQL / Oracle to_char 的 YYYY-WW / IYYY-IW；week_span 按算法算一周的起止（W00、W53 按各自的算法，不走 fromisocalendar），先后按算法排（跨年切开的两期也连着）。认不出算法（方言不知道、只取了现成的字符串、年份和周号不配套）的起止置空，本期齐不齐一律核对不了、附说明，绝不判齐，先后按周号排。按年截断的算法里跨年切开的那两期不到整周：当本期判 partial_target，当比较期判 target_gap 并说清只有几天，不算进波动基线的历史（附 partial_periods 说明，只在证据面板），趋势取最后连着的整周。可比性检查按期次分组时也走这套：有一期不到整周的按实际天数比窗口、照算星期构成。period_unreadable 的原因里举认不出的那几个值（写法认不出、写法混着的少数、算法里没有的那一周、对不上给的粒度分开说）；比较期那一格为空时照实说为空，不再说成缺期（趋势往前断开的原因同样分开说）。期次是序号、周号认不出算法时也附一句核对不了。契约 CAVEATS 加 partial_periods

2026-10-21 15:35:00 +08:00

phrases.py

叫法消毒做到不再变化、截到第一个分句标点、不许夹带判断词（复核 R12、R18）：clean_label 反复去引用标记、数字、符号、空括号直到不变（「销售额[ [v:Q1.r0.gmv] ]」去完数字拼出的「[[v:Q.r.gmv]]」接着去掉），再去掉剩下的方括号、截到第一个分句标点（，。；：！？、,.;:!?）之前、去掉截完没配上对的左括号，整个过程再做到不变，消过的再消一遍不变——复算拿记下的叫法再消，判定语逐字相同。消完的叫法里有说法表的判断词（engine/analysis_claims.scan，在函数里导入）就整个不要，退回下一个来源；目录叫法、当叫法用的列名同一个函数，同样处理

2026-10-21 15:37:48 +08:00

probe.py

分析算子的输入、目录事实、期次与现查：inputs.py（按名字取快照、拆「名字.r行.列」、列名不分大小写、遮罩列与非数值是调用错误）；facts.py（按 SQL 认结果列取自哪张表的哪一列，读目录的度量类型、叫法、业务日期，只有确认过的度量类型才拿来判调用错误；查过的记进 params，复算不读目录）；periods.py（日期、YYYY-MM、YYYY-Www、YYYY-Qn、整数序号，粒度按值推断）；probe.py（make_prober 走 data/coverage 的只读探查：遮罩列不探、总时限、5 分钟缓存、退回剖析事实，另在库里算按运行当天现算的界；Book 先登记、查完再算，结论只记真用到的）；data/coverage.py 加几个公开的小函数（parse_sql、as_day、literal_bound、window_of、column_range、bound_values、facts_range），_fallback 的读法抽成 _facts_range、行为不变；契约补几项可选字段（InputSnapshot 的 dialect / checks / no_data / mask_columns / masked_at_query，AnalysisInput 的 dialect，Probe 的 expr / value）

2026-10-21 13:03:35 +08:00

series.py

周号按 SQL 里的格式串算真实起止（复核 R3）：「YYYY-Www」不再一律当 ISO 周。periods.week_scheme 看期次列在最外层 SELECT 里的写法（从 CTE、子查询里原样取出的往里找），认格式化函数里配套的年份和周号——SQLite strftime 的 %Y-%W / %Y-%U / %G-%V、MySQL DATE_FORMAT 的 %Y-%U / %Y-%u / %X-%V / %x-%v、PostgreSQL / Oracle to_char 的 YYYY-WW / IYYY-IW；week_span 按算法算一周的起止（W00、W53 按各自的算法，不走 fromisocalendar），先后按算法排（跨年切开的两期也连着）。认不出算法（方言不知道、只取了现成的字符串、年份和周号不配套）的起止置空，本期齐不齐一律核对不了、附说明，绝不判齐，先后按周号排。按年截断的算法里跨年切开的那两期不到整周：当本期判 partial_target，当比较期判 target_gap 并说清只有几天，不算进波动基线的历史（附 partial_periods 说明，只在证据面板），趋势取最后连着的整周。可比性检查按期次分组时也走这套：有一期不到整周的按实际天数比窗口、照算星期构成。period_unreadable 的原因里举认不出的那几个值（写法认不出、写法混着的少数、算法里没有的那一周、对不上给的粒度分开说）；比较期那一格为空时照实说为空，不再说成缺期（趋势往前断开的原因同样分开说）。期次是序号、周号认不出算法时也附一句核对不了。契约 CAVEATS 加 partial_periods

2026-10-21 15:35:00 +08:00

stats.py

分析算子的统计函数（app/analysis/stats.py，纯 Python、不加依赖）：正态分布函数（math.erfc）与分位数（Acklam 逼近 + Halley 修正）、t 分布（正则化不完全 β 的连分式，自由度很大时按正态）与分位数（二分）、Wilson（从 eval/stats 移过来，评测改为引用、行为不变）、Newcombe 区间、合并比例 z 检验、Fisher 精确检验（lgamma）、Welch t 检验与区间、Holm 校正、Mann–Kendall（n ≤ 10 且无并列用逆序数递推的精确分布，否则正态近似带并列修正和连续性校正）、Theil–Sen（精确的数在公分母上按整数比，只对浮点相等的那几个精确比）、中位数 / MAD / 名次；测试用公认表值钉住（正态 0.975 分位、t(10) 临界值、品茶表、Newcombe 例子、小样本精确分布对照暴力枚举）

2026-10-21 13:03:12 +08:00

testing.py

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

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