14 Commits

Author	SHA1	Message	Date
ThearchyHelios	7b47ce1724	合入第 2 波复核修复 S1：分析结论的占比、变化率、比率之差按百分数 / 百分点显示——结果表带每列的显示格式、具名的数带格式，证据渲染、整表、写作目录、证据面板、导出、可验证报告都按它；显示规则 4 版，老文档按记下的版本复核；空格写「—」 ... # Conflicts: # backend/tests/test_analysis_pages.py	2026-10-21 16:23:39 +00:00
ThearchyHelios	28e7b0e12b	测试：占比、变化率、权重按百分数显示（第 2 波 S1）——每种实测情况一条断言：正文引用 [[a:A1.top_share]]、[[v:A1.r0.share]]、[[v:A1.r0.pct]] 没写换算时取结论记的格式（61.9%、-14.6%），写了换算的照写作者的；整表按格式展开；写作目录的具名的数与结果表按格式写；证据面板接口的具名的数、结果表的格、整体比率那一格（空格写「—」）；导出页与可验证报告照引用渲染；老文档（3 版）照原样、复核不判对不上，按新规则重渲染才判对不上。另钉住各算子填了哪些列、pct 与 pp 的写法、同输入两次 run 逐字节相同、复算逐字段相同	2026-10-21 15:55:51 +00:00
ThearchyHelios	c54196326f	证据面板的分析结论：结果表的格写列名，总数那一格的值按服务端的写法显示。①「这一处引用的是 结果表第 1 行『share』」原来写的是列 id，现在服务端在 cited 上另给 column_label（结果表记的 labels，如「占变化的比重」），目录条目也带上 labels，证据面板、读屏的出处、导出页、可验证报告都照列名写；② 输入里「总数那一格 … = 159175.18」和同一节的闭合核对「159,175.18」两个写法并排，现在服务端另给 value_rendered（render_cell，千分位、NULL 写「—」，和闭合核对同一个写法），三处界面照原样显示。结果表数的换算（比率、空格）不在这次改动里	2026-10-21 15:53:27 +00:00
ThearchyHelios	9461c03a63	分析结论的「在验证什么」照实说谁写的：分析卡上那一条是模板作者写的，标「分析卡上写的『在验证什么』」；Agent 现场做的照旧「Agent 写的假设」（台账条目带 item 的是分析卡、带 call_id 的是 Agent）。服务端按 origin 给 hypothesis_label、hypothesis_note 两句，证据面板、导出页、可验证报告都照原样显示，不自己拼。测试：证据接口两种都测，分析卡的链、导出页、核对页各加一条断言	2026-10-21 15:52:19 +00:00
ThearchyHelios	41ad3a1c05	合入复核修复（证据接入与入口）：跨段指标不当两期查、证据接口重渲染与组装同一个函数、一次请求同一份结论只复算一次、比率闭合核对、代入式按点名的段、写作目录分析段限额、核对页写方法叫法、运行对比只认做完的执行、读快照进线程、四个工具与合并查询的真算子测试、夹具清源	2026-10-21 16:58:45 +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	9298278fbb	两份页面脚本的测试跟上方法叫法和比率的闭合核对：可验证报告核对页的「方法与版本」写「变化拆解（可加） · decompose.additive@1」「可比性检查 · comparable@1」（服务端带来的叫法加 id）；导出页点开比率拆解的判定语，总数那一格写「整体比率那一格」、闭合核对写「整体比率 x 与各段分子之和 ÷ 分母之和 y 闭合」，不写「各段之和」（比率拆解的那次封存运行抽成 ratio_run，证据接口和页面两处共用）	2026-10-21 16:00:44 +08:00
ThearchyHelios	40918a7fb1	可疑实体找「最接近的名字」时重建的目录（_scope_catalog）不收分析结论：候选只看表和字段，用不到结论的内容，以前每点开一个可疑的名字都把这次运行的分析结论读盘、复验一遍哈希（build_catalog 给 A 条目装整份结论）。查询、表和字段的编号不受影响。测试：台账里有分析结论时重建目录不读任何工件，按报告节点和退回不分范围两条路都是	2026-10-21 15:39:43 +08:00
ThearchyHelios	496dc27419	比率拆解的总数闭合核对：证据面板的输入一步按拆解的模式认 headline 对着哪个数（_HEADLINE_TOTALS 分可加、比率两套：可加对各段之和 base_total / target_total，比率对整体比率即各段分子之和 ÷ 分母之和 r_base_total / r_target_total），closure 带上 mode；比率拆解的两格角色写「基期整体比率」「本期整体比率」。以前只认 base_total / target_total，比率的 headline 在证据面板不显示闭合核对。导出页（report_export/runtime.js）比率的写「整体比率 x 与各段分子之和 ÷ 分母之和 y 闭合 / 对不上」、那一格叫「整体比率那一格」，可加的照旧。测试：可加拆解的 closure 带 mode、角色叫法不变，比率拆解两格各自闭合、复算一致	2026-10-21 15:37:20 +08:00
ThearchyHelios	b6efee81fd	一次请求里同一份分析结论只复算一次：_Sealed 加 rechecks（结论工件 id → 复算的结论，只活在这一次请求里），_analysis_recheck 按工件先查它。导出页里同一份结论被判定语、具名的数、整表展开的每一格、分析范围的编号各引一处，引用键不同、各接一条链，以前每条链各复算一次（1000 段的拆解导出一次复算 33 次、1.66 s，现在 1 次、0.2 s）。分析范围的编号先查导出的 memo：正文已经引了判定语的（同一个引用键）不再建一遍链（_scope_chains 换成按编号建的 _scope_chain，引用键 _scope_cite_key）。测试：判定语、具名的数、整表 12 格、依据、分析范围一起导出只复算一次，各链的复算一步照样是复算一致；下一次请求重新复算	2026-10-21 15:34:37 +08:00
ThearchyHelios	8a62826034	证据接口重新渲染分析结论的引用改用组装、出口复核同一个函数：_analysis_rendered 按封存的结论走 evidence.resolve_ref（resolve_ref 加 display，按文档记下的单元格显示规则），结果表的格照结果表记的列类型、显示规则、标识列渲染，和组装时的 _resolve_cell 一致。以前不看列类型和显示规则，文本码值「1203」重渲染成「1,203」、ISO 日期时间带着 T，render_ok 为假，证据面板和导出页报假的「与按结论渲染的结果不一致」。片段上没记引用的（口径卡指标上的可比性、分析范围的编号）照旧按判定语渲染。测试：门店码、时段两种格在片段接口和导出页数据块里都 render_ok	2026-10-21 15:32:21 +08:00
ThearchyHelios	a286792e13	分析范围的「检验」照方案写明校正过没有：W1-d 在 ScopeBlock 里记了 corrected，导出页（report_export/build.render_scope）和可验证报告的核对页（verifier.js renderScope）只写了次数；只做了一次的接「（一次里比了几对的已按次数校正）」，不止一次的接「，几次检验之间没有按次数校正」，两处同一种说法；测试补上 corrected	2026-10-21 14:49:02 +08:00
ThearchyHelios	cb2fdd860f	证据接入按 W1-a、W1-c 的实际接口对齐：复算就是真的 app.analysis.recompute——load 交查询快照工件的原内容、load_result 交上一层结论（只认封存范围内交回过的查询、台账记过的结论，取不回照实说取不回哪一份），方法升没升版按结论里的 method 和现在的 contract.METHODS 比（升了版、复算成立的写结果同不同，现在的方法复算不了的写明原因），去掉为算子没落地准备的那一套；关键数的代入式按真的具名的数写（乘积拆解补上，波动基线按变化率比的按百分比写，负数加括号）。口径卡指标上的可比性结论（不进台账、只从卡上引用）点得开：证据面板的指标步骤带它整条出处链（判定 → 方法 → 计算 → 输入 → 复算 → 封存，封存按卡上记的 sha256 认），报告导出收在一个可展开的块里，可验证报告随附带的卡一起附上、④ 按已核对的卡认它、数字详情里展示各项检查和服务端复算；裁判的指标摘录、写作目录照卡上记的判定语写。现查结果分清按运行当天现算的界、一列一个值都没有、表的范围；可验证报告里分析工具的 tool.end、分析卡的 analysis.end 和结论同一个认法才带内容，输入的角色写叫法。测试改用真算的结论（run 交的输入照分析入口的写法，复算交工件原内容），下钻、总数闭合、方法升版、可比性端到端都过真的复算	2026-10-21 13:49:09 +08:00
ThearchyHelios	7474fa5030	证据接口认分析结论：封存范围按台账记下分析结论；证据图的 A 条目带算子、判定、谁做的，连「派生自」的边到它的输入（Q…）和下钻的上一层（A…）；片段接口的出处链为判定 → 方法 → 计算 → 输入（每份输入落到哪个 Q、用了哪些列和行、headline 闭合、下钻的上一层，接输入快照的查询步骤并照常遮罩）→ 复算（按 sha256 取回封存的输入、在线程里复算并逐字段比，算子没落地、出意外照实写复算失败，不让接口出错）→ 封存，结论哈希不符的只给判定和封存两步并写明原因；Agent 写的假设标成 Agent 写的假设；片段说明分判定语、具名的数、结果表的格三种。指标步骤展示口径卡记的两期可比性（点得开那份可比性结论）。审计：分析判定、分析结论的叫法，结果表的格按台账认封存，分析说法核对的三种违规单列一行，违规码补上判断词未挂分析结论、判断与分析结论不符、因果说法没有依据，以及原来就缺的依据写在句子中间、缺失断言。报告导出：判定语片段按引用键共用出处链，分析范围里的编号接同一条链。裁判的 loader 把分析结论的输入快照也逐份遮好	2026-10-21 13:07:55 +08:00