36 Commits

Author	SHA1	Message	Date
ThearchyHelios	cf30f999f6	验收复核查出的三处：有量纲比率的效应值（结构效应、自身效应、合计影响、变化）照原值显示，不再乘一百说成百分点（客单价影响 -11.12 元 / 单以前显示 -1,112.1 个百分点）；只读一张表、目录还没维护时分析范围照实说目录没维护，不说成对不上目录里的列；写作规则补一条不写重复判定语开头的引言	2026-10-21 18:08:59 +00:00
ThearchyHelios	9219df8190	真实模型验收查出的五条修正：①比率拆解里比率本身是有量纲的比率（客单价，元 / 单）时不套百分数，以前 160.76 显示成 16,076.0%，各段分子都不超过分母（退款率这类占比）照旧按百分数；②写作规则补两条——判定语一句只引用一份结论、不把几份判定语用逗号拼成一句，「核对不了」是系统的核对说明不是结论；③说法核对的来源判断看整个分句（主来源写在判断词后面的「主要由订单量放大带来」也能认），点名的段按去掉结尾量词的词根兜底（订单量 认 订单数）；④数据目录还没维护时候选维度照实说目录没维护、提示怎么补，不说成认不出事实表；⑤评测估不出每题花费时金额照 0 记但记成未计价，账本上看得出；金额上限照旧按累计金额判	2026-10-21 17:33:49 +00:00
ThearchyHelios	7b47ce1724	合入第 2 波复核修复 S1：分析结论的占比、变化率、比率之差按百分数 / 百分点显示——结果表带每列的显示格式、具名的数带格式，证据渲染、整表、写作目录、证据面板、导出、可验证报告都按它；显示规则 4 版，老文档按记下的版本复核；空格写「—」 ... # Conflicts: # backend/tests/test_analysis_pages.py	2026-10-21 16:23:39 +00:00
ThearchyHelios	eade5aab5d	关分析工具那一臂挡分析卡：图里有分析卡、嵌套的子工作流里有分析卡或分析工具都挡回去改；关掉时节点手册里不再出现分析卡、分析工具和分析相关的配置（改写与整段去掉）；问题意图词表版本与自查交回的那句进评测的提示词指纹；问题意图不把「哪个贡献最多」当来源、不把「数据是否正常」当异常；评测「关」那一臂的替身改成照样试着加分析卡、靠真代码挡	2026-10-21 16:19:49 +00:00
ThearchyHelios	3ecc6223df	分析算子给结论里以比率存的列和数记换算：契约加 ResultTable.formats、AnalysisResult.value_formats（换算同 [[m:]] 的后缀，另加 pp 表示百分点），各算子逐个填全——可加、乘积拆解的 pct、share；比率拆解的 w_*、r_* 记 pct，mix、rate、total 是比率之差记 pp；波动基线按变化率比较时的 change，趋势的相对斜率；差异检验比率模式的 a_value、b_value 记 pct，diff、ci_lo、ci_hi 记 pp；values 里的 pct_total、top_share、top_k_share、mix_share、rate_share 等。都为空时整项不写，结论和以前一字不差；run 与 recompute 逐字段相同、同输入两次 run 逐字节相同照旧成立（tests/test_analysis_run 的形状检查认这两项可选）	2026-10-21 15:54:46 +00:00
ThearchyHelios	ab65b6032d	问题意图：「变化大不大」「变化大吗」归到波动一类（问的是这次变化大不大，不是变化从哪来），自查那条问题照「问题问的是波动大不大」说；来源一类只留「怎么变了 / 有什么变化 / 变化在哪」。测试加一个正例	2026-10-21 18:27:05 +08:00
ThearchyHelios	040040d23a	问题意图（app/analysis/intent.py）：确定的词表判一句问题是不是分析类问题（原因、变化从哪来、是否异常、波动、趋势、差异站不站得住六类），带版本 INTENT_VERSION 1，给助手搭问数据的图时自查用。只收明确的问法、宁可漏判：问原因的词要和涨跌、高低的说法在同一句（「为什么报错」不算），「原因」要是变化的原因（「退款原因有哪些」是字段不算），「异常」后面是订单、记录这类名词的是业务状态，「系统正常吗」「表结构有什么变化」问的不是数，「持续」前后要有涨跌；按句子认、逗号不分句；英文只收几种明确问法。和说法核对的说法表不共用词表：意图判用户的问题，不判写作者的句子。测试：43 个正例、26 个反例、分句、引文截短	2026-10-21 18:08:16 +08:00
ThearchyHelios	24b5aebae4	叫法消毒按词认判断词（scan bare）：说法核对修复后 scan 缺省按整句规矩认（没说变化的「主要来自」不算判断），叫法是一个名字不是一句话，「主要来自华东的销售额」这样的叫法要整个不要	2026-10-21 17:12:48 +08:00
ThearchyHelios	2efea2b753	周号超出任何算法（W54 以上）的认不出、算起止超出日期范围的当这一周没有（复核 R3 补）：认不出算法时原来按周号排先后，「2026-W99」也会当一周收下，现在周号大于 53 的不当周号写法，原因里照实举它；按算法算起止时日子超出日期能表示的范围（公元 9999 年末）交回没有这一周，不抛异常	2026-10-21 16:56:48 +08:00
ThearchyHelios	f5e6e77ea9	测试用的假结论按各算子的形状给（复核 R31）：testing.fake_result 不再一律拿可加拆解的结果表——波动基线（期次、value、change、role）、趋势（期次、value、change）、差异检验（a、b、a_value……p_adj、flag）、可比性检查（check、status、base、target、note）各给自己形状的结果表（带列类型）、具名标量、参数和输入（可比性检查是基期、本期两份），数是编的、和判定语对得上；差异检验没写模式时按比率。变化拆解那一份照旧。测试对着真算子核对列和具名标量的键	2026-10-21 16:16:40 +08:00
ThearchyHelios	f7a09eb108	一份快照按期次分组的变化拆解也核本期齐不齐（复核 R20）：可加、比率、乘积三种模式用波动基线同一套完整性检查（comparable.period_complete：不到整周、没过完、数据没到、SQL 截掉一部分），本期不齐算不了（partial_target，「本期数据只到 2026-10-20，还差 5 天，和完整的周比没有意义」），核对不了（查不到表的范围、周号认不出算法、期次不是日期）附一句说明，只在证据面板、不进判定语（两份快照时可比性结论照旧进判定语）；结论的 params 记下运行当天。期次按 periods.parse_compared 认：周号按 SQL 认算法；快照里往往只有比的两期，值都是日期、推断成按周、期次列又是直接取的日期列（原样、date(列)、DATE(列)、CAST 成日期）时按天认——昨天对上周同一天正好隔 7 天，光看值分不出是两天还是两周。可比性检查按期次分组、没给粒度时同样按它认。证据接口的一条测试（tests/test_analysis_evidence_api.py）跟着补上这一句说明的种类	2026-10-21 16:09:21 +08:00
ThearchyHelios	fd8e392f48	维度列、期次列和结果表的固定列重名时报调用错误（复核 R17）：结果表的列 id 是输入的维度列（期次列）加上固定的几列，维度列叫 flag、base、target、delta、share（可加）或 mix、rate、total、w_base……（比率），期次列叫 value、change、role（波动基线、趋势）时列 id 重复，引用结果表的格会认错，下钻还会报「A1 按 0 列拆」。common.reserved_check 不分大小写挡住这些名字，告诉 agent 在 SQL 里换个别名（比如 AS flag_name）；这是结构性的调用错误，分析卡里照旧让卡失败	2026-10-21 16:02:44 +08:00
ThearchyHelios	472f78344d	分析设置要求「集中」的合计占比不小于「主要来源」的占比（复核 R16）：contract.settings_problem 加一条（没写的项按缺省补齐了比），说法用 LABELS 的叫法：「「集中」的合计占比不能小于「主要来源」的占比」——原来「主要来源」0.9 配「集中」0.5 能通过，一段占 60% 时判分散、判定语却说「没有哪一段占到 90%」。设置页写进来的、分析卡上的覆盖都按它挡；api/settings.analysis_values 读存着的一组时这一对对不上同样两项都按缺省（同另外两对）	2026-10-21 16:00:29 +08:00
ThearchyHelios	efff2ac4f8	闭合容差：整数的浮点按个位、下钻对上一层的精确值按精确比（复核 R15）：总数那一格是整数的浮点（SQLite 的 ROUND() 交回 2120.0）时按取到个位算容差（差 0.4 也闭合），最短写法里的「.0」不再当一位小数；下钻时对上一层那一段的值是上一层算出来的精确值、没有取整过，只容浮点算出来的最后几位（相对 1e-9），820.4 对 820、700.3 对 700 不再算闭合。可加、比率两种下钻同一套	2026-10-21 15:59:11 +08:00
ThearchyHelios	fcbcfc9aef	判定语照方向接末尾连续期数、辛普森的结构变化只说一遍（复核 R14、R21）：趋势末尾连续同向的期数和趋势同向时接「，已连续 3 周下降」，反向时接「，但最近已连续 3 周上升」，不再出现「呈下降趋势……已连续 3 周上升」。比率拆解判在结构变化上（mix_driven）时正文已经说了结构变化、点了那一段，辛普森那一句只说「各段的退款率大多在下降，整体却上升」；别的判定照旧带上哪一段占比从多少变到多少	2026-10-21 15:57:51 +08:00
ThearchyHelios	427a6df23c	差异检验拿不到 p 值照实说、敏感性只在真实的各组里找离群值（复核 R8、R9）：一对都拿不到 p 值（比率有一组样本量为 0；均值、逐行有一组不到 2 个样本，或均值、标准差为空）时算不了，契约 REASONS 加 untestable，原因写哪一组怎么了（「华东只有 1 个样本、华南只有 1 个样本，算不了差异」），不再判 ok + 可能只是样本波动；只有一部分拿不到的，那几对不算进比了几对、不参与校正，表里写清哪一组怎么了，判定语后接「另有 n 对算不了（…）」（契约 CAVEATS 加 untested，排在判定语附带说明的前面）。逐行模式比三组以上时，离均值最远的那一笔只在真实的各组里找（原来池子里混着各对的「其余各组合计」，第一组以外的离群值删不到它自己那一组，漏报 outlier_sensitive），去掉以后由各组重建每一对的「其余」合计再检验	2026-10-21 15:56:16 +08:00
ThearchyHelios	460af221f9	同口径先去掉最外层排序、按去掉日期的写法比（复核 R7）：same_query 不再只在规范形式完全相同时才把日期换成占位——两边都去掉最外层的 ORDER BY（同一层有 LIMIT / OFFSET 时不去：排序决定取哪几行），时间条件的界（字面量、按运行当天现算的都算）和像日期的字面量换成同一个占位后规范化再比：一样就通过，只差字面量判「两边除了日期，筛选的还不一样」，还不一样才交给 explain_sql_diff；交给它的也去掉最外层排序、现算的界换成按先后编号的日期字面量（它只认字面量的时间范围），只差时间范围、排序的照旧算同口径。只有一边带 ORDER BY、上周对本周到今天这类现算界写法不同的不再落进兜底判成结构不同，两份快照的变化拆解也不再因此不拆	2026-10-21 15:51:30 +08:00
ThearchyHelios	6e38df4fbf	分析卡里随数据变化的调用错误记成算不了的一项，不让卡失败（复核 R6）：analysis.run 加参数 refuse_data_errors（缺省假），为真时 DATA_ERRORS 里的调用错误——上一层没做成 parent_refused、下钻的段这期没有 parent_key_missing、期次这期没有 period_not_found（变化拆解、波动基线的本期、差异检验按期比、可比性检查）、总数那一格越界或为空 row_out_of_range / headline_empty、要比的组这期没有 unknown_group / too_few_groups、要用的那一格这期为空 empty_cell（乘积拆解的乘积和因子；差异检验的计数为空原来报的是 not_count，改报 empty_cell）——记成 status refused 的结论：契约 REASONS 加 parent_refused、input_unavailable，CallError 加 reason（照实说是哪一项、哪个值，不带改法），判定语「{叫法}没有做成：原因」；params 照调用原样（label 照样消毒），取过还没记用法的快照都记进输入（Inputs.settle，角色照第一次取时的），上一层在核对它做没做成之前就记进输入，复算按它们走到同一处；阈值和判定标准同各算子自己算不了时那一份（各模块的 USED / refusal_basis，算子本身也改用它）。recompute 一律按真复现；结构性的调用错误照旧抛。分析卡运行器传真，agent 工具不传。顺手：段数不够的原因里维度叫法和汉字之间照 say 的规矩补空格	2026-10-21 15:47:30 +08:00
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
ThearchyHelios	cf8ec15831	周号按 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
ThearchyHelios	d529e5f694	算子的叫法只留契约一份：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
ThearchyHelios	a81a0a66ac	合入 W1-d 说法核对：说法表与绑定、check / strict / off、出口独立复核与文档版本、分析范围、血缘口子、G3	2026-10-21 14:00:07 +08:00
ThearchyHelios	28db25631d	合入 W1-b 证据接入：台账 A、写作目录、a / v:A / table:A / see:A 引用、出处链与复算、证据图、审计、导出与可验证报告、裁判摘录、账本跳过	2026-10-21 13:58:18 +08:00
ThearchyHelios	707218a9a4	分析结论的结果表带上列类型：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
ThearchyHelios	9f014560fe	Merge branch 'an1/b' into an1/d	2026-10-21 13:19:10 +08:00
ThearchyHelios	d2b5096e97	合入集成分支 an/w1（W1-a 分析算子库）：证据接入按真的 run / recompute 对齐	2026-10-21 13:14:48 +08:00
ThearchyHelios	fdbf896dd4	Merge branch 'an/w1' into an1/d	2026-10-21 13:13:11 +08:00
ThearchyHelios	a6f7572a9e	报告文档里系统写的「分析范围」（engine/analysis_scope，契约 ScopeBlock）：按写作目录里的 A 条目照实写现象（可比性、基线、趋势）、拆过（按下钻链，上一层在前）、排除（分散的拆解、差异可能只是样本波动的检验）、算不了（带原因）、检验次数；agent 写的假设不进这一段。没拆的候选维度确定地从数据目录算：拆解所用查询 SQL 里的事实表（目录标了 fact / log，没标且只读一张表时就是它）上标成属性、状态、不遮罩（数据源设置和查询当时记下的遮罩列）、取值不多（码值表不超过 50 个取值或已列全）的列，加上关联的维度表（标了 dimension 或多对一）上同样的列；拆解按的列对不上目录、读不到目录、源还没有目录、取不回查询、认不出事实表的，not_decomposed 为 None、note 照实写核对不了。目录经这次运行的目录视图读（data/catalog_view，关掉的当核对不了），出错不挡报告。契约的 ScopeBlock 加一项 corrected（检验之间有没有校正：只做一次为 true、不止一次为 false、没做为 None）	2026-10-21 13:12:05 +08:00
ThearchyHelios	ab98c7430c	分析算子收尾：复算剔除系统字段改用同一个 DERIVED_PARAMS；去掉没用的导入和小函数；测试按仓库的写法从 tests.analysis_samples 导入样例	2026-10-21 13:08:14 +08:00
ThearchyHelios	8137f0cf37	分析契约补两样（只加不改）：算子、模式给人看的叫法（OP_LABELS、MODE_LABELS，method_label 拼成「变化拆解（可加）」），证据面板、写作目录、审计、导出、可验证报告、裁判摘录同一份；按形状认一件工件是不是分析结论（is_result：op 是五个算子之一、method 是文字、inputs 是列表），证据接入取回结论工件、SQL 问题顺着结论的输入往下找、可验证报告认嵌进来的工件都按它认	2026-10-21 13:07:36 +08:00
ThearchyHelios	7d31922d00	五个分析算子与 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
ThearchyHelios	7e6d52004c	分析算子的输入、目录事实、期次与现查：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
ThearchyHelios	654cc23c85	分析结论的数与判定语：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
ThearchyHelios	9af50fb474	分析算子的统计函数（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
ThearchyHelios	38906a92ea	分析能力骨架补跨包约定：写作目录里分析条目的读法（catalog_result：A{n} 条目 kind analysis、result 为整份结论）、口径卡指标上的可比性字段（MetricComparability）、报告文档里系统写的「分析范围」结构（ScopeBlock / ScopeItem）	2026-10-21 11:55:38 +08:00
ThearchyHelios	844f5571f0	分析能力骨架：app/analysis 契约（结论的工件种类、台账条目、写作目录前缀 A、引用标记 a、分析卡节点类型、五个算子与模式、方法版本、判定码、算不了的原因码、附带说明码、工具名）、设置缺省 / 取值范围 / 叫法与校验、阈值合并（缺省 ← 发起时快照 ← 分析卡覆盖）、复算比较；run / recompute 的签名（第 1 波实现）；测试用的假结论	2026-10-21 11:53:43 +08:00