7 Commits

Author	SHA1	Message	Date
ThearchyHelios	bcad199e0f	双盲复算前端复核修正（第 3 轮）：同一次裁决里几个指标落到数据目录的同一项上时，卡上按其余指标当前的选择说——说法不同的改说都不记，有效记录条件说合成一句 ... 问题：服务端写目录前把同一次裁决里落到同一张表同一项上的说法归拢（dual_check_facts._merged）：业务日期、去重规则只要说法不同就一项都不写，有效记录条件用 AND 合成一句写。审批卡上的预告是每个指标单独算的，卡上不看别的指标选了什么：一个指标采用原流程（paid_at）、另一个采用盲算（created_at），两块里各自加粗说「记为……」，服务端一项都不写；两个指标都采用去重的一边、去重的列不同，也是这样。结尾只说按发起审批时的数据目录预告，看不出选择的组合也会让写入作废。审核人可能为了不让同一张表出现两个业务日期，把本该分开的选择改成一致。 审批卡（run/DualCheckApproval.tsx） - 按其余指标当前的选择，给每个指标的两种选择各找出落到同一数据源、同一张表、同一项上的指标（peersOf）。只看预告会写的一边：选「两边都不对」、还没选的，服务端不会并进来。说法照服务端的 _same_fact 比：业务日期只看哪一列，其余压掉多余的空白比。 - 业务日期、去重规则说法不同时，那一句改说「……与「退款率」的选择说法不同，都不记」，不再算作会写。有效记录条件在「记为……」后面补一句「与「退款率」采用的条件用 AND 合成一句」。 - 选择一变，各块的说法跟着变。没选中的那几句也按别的指标当前的选择说，审核人改选之前就看得出这一选会不会让整项作废。 - 结尾改成「写入的项记为人工确认的事实；以上按发起审批时的数据目录和各指标当前的选择预告……」。原来是「两边都不对时不记。记为人工确认的事实」，读起来像在说不记的那一项。 - 没有预告时的结尾同样改。时间列、去重两句补上「同一次裁决里几个指标给同一张表记的业务日期（去重规则）不同时都不记」。 夹具与检查 - 夹具加 peers 和 merges。peers 换掉「退款率」对不上的那个输入，和「销售额」落到 orders 的业务日期、去重规则、有效记录条件上。merges 是四种组合：业务日期分开选、选同一列、去重的列不同、有效记录条件不同。 - peers 的差异说明和预告是服务端的真实输出。merges 的 written 是 record_choices 在空目录上真写一遍的结果。 - test_dual_check_fixture.py 新增两项。一项不依赖服务端，查每种组合真的落到同一项上。另一项在服务端合入后建临时数据源真写一遍，逐项比对。 - 在 vs/f1a 的 f7d1a2e 和 233afd1 上都跑过：8 项全过，regenerate 逐字节不变。 - 预览用例 dual-check-approval 认 peer 参数。 - check-verify 新增一节： - 分开选时，两边加粗的那一句都说都不记，写明哪张表的哪一项、和哪个指标说法不同。 - 没选中的那一句按别的指标当前的选择说；一个指标改选两边都不对后，另一个回到「记为」。 - 选同一列照常记；去重的列不同都不记；有效记录条件说合成一句。 - 390px 下深浅色都不横向溢出。 - check-verify 没有预告的一节补两项：「人工确认」说的是写入的项；说法不同时都不记。 - 变红验证：去掉实现（peersOf 返回空），check-verify 变红 6 项；把有效记录条件也当成说法不同，变红 1 项；把还没选、两边都不对也当成采用了一边，变红 2 项。 - 改动后 297 项全部通过（原来 274 项）。check-all 里 check-verify 的耗时估计按实测改成 71 秒。	2026-10-05 17:47:21 +08:00
ThearchyHelios	b206665856	双盲复算前端复核修正（第 2 轮）：「记入数据目录」不再说得比服务端宽——有服务端预告时照预告说，没有时只说必要条件、不写的几种照实说 ... 问题：审批卡上那句「记入数据目录」的提示是照 vs/f1a 早先的规则写的。F1a 在 1491b5c 把写目录的规则收紧以后，有三种常见情况卡上说会记入，服务端却都不写： - 只有一边按时间筛：卡上写「两边只差在按哪一列筛时间」，和正上方那条差异「盲算没有按时间筛选」自相矛盾 - 只多一个指标自己范围的条件（channel = 'web'）：服务端只把排除退款、作废、测试这类无效记录的条件记成有效记录条件 - 只差去不去重，而审核人采用的是不去重的一边：服务端不写 审核人可能为了不让目录被写错，避开本来正确的原流程，结果出具降档；节点设为「判为失败」时运行还会终止。 审批卡（run/DualCheckApproval.tsx） - 服务端在摘要里另带预告（payload.summary[].catalog，F1a 在 f7d1a2e 加的，约定之外另带）时照它说：三个选择各说一句，会写的写明哪张表的哪一项记成什么，不写的写「不记」。两边都不写就不提数据目录。审核人当前选中的那一句加重，选完一眼就能看出这一选会写什么。预告跟着摘要一起来，完整对照还没到或取不到时也照样能说。预告的形状认不出时整份不用，回到有条件的说法。 - 没有预告时（老服务端、升级前挂起的审批），三句改成只说必要条件（「仅当……才」），并把不写的几种照实写出来：只有一边按时间筛时不记；多出的条件得只在一边、并且是在排除无效记录，只看某个地区、某个渠道这类条件不记；采用不去重的一边时不记。 - payload 带了实际生效的「未采用原流程时」（同样是 f7d1a2e 加的）就照它说，不再去取图快照。子工作流里的节点在图快照里找不到，有了它也能说准；值认不出时仍回到图快照。 夹具与检查 - 夹具新增两个变体：只有一边按时间筛、只多一个渠道条件，差异说明都是 explain_sql_diff 的真实输出。每个指标、每个变体都附上服务端预告的真实输出（catalog_preview、variants[].catalog）。backend/tests/test_dual_check_fixture.py 有两项检查：一项不依赖服务端，查预告的形状和写目录的门槛；另一项在服务端模块合入后，逐项比对夹具和 dual_check_facts.preview。regenerate 也会一并重新生成预告。 - 预览用例 dual-check-approval 认地址参数 variant / catalog / on_reject，不带参数时 payload 只有约定里的几项。 - check-verify 按服务端的预告核对两种说法：没有预告的一节，在三种情况下都要以「仅当」开头，并照实说出不写；只差去不去重时，两种选择各断言一次。有预告的一节，核对两边写什么或不记、两边都不写时不提、选中那一句加重（去重的两种选择分别看）、认不出时回到有条件的说法、取不到完整对照时照样说，以及 390px 下深浅色的对比度。payload 的 on_reject 那一节核对：照它说、不取图快照、子工作流也说准、认不出时回到图快照。 - 去掉实现以后，检查脚本在这三种情况、预告和 on_reject 上共有 13 项变红。改动后为 274 项全部通过（原来 218 项）。check-all 里 check-verify 的耗时估计按实测改成 65 秒。	2026-10-05 16:56:05 +08:00
ThearchyHelios	52baa0d65c	双盲复算前端复核修正（第 1 轮）：高亮按服务端真实的差异输出做，「记入数据目录」只在服务端真会写时有条件地说，后果和提示按节点的处置说 ... 审批卡 - 对照两条 SQL：text_diff 是规范化之后的行（列名带表名、条件并成一行），和原文逐行对不上，原来按「两边逐行相等」高亮在真实输出上一处都标不出。改成两段原文按行做一次 LCS（不看空白、大小写和行尾逗号分号）高亮不同的行，一行都对不上时不乱标；text_diff 分原流程、盲算两栏，每行高亮（窄栏上下排）。 - 「只差一个方面、会记入数据目录」：照服务端 dual_check_facts 的门槛收紧——不等价、没用兜底、差异恰好一条（几个输入都对不上时合并后至少两条，所以也就是只有一个输入对不上），且是时间列、筛选条件或聚合；按这三种分别有条件地说会记成哪一项，选「两边都不对」不记、已有人工确认的不覆盖、以时间线为准。时间范围、两条筛选、关联、解析失败、多个输入合并都不再说。 - 后果和提交后的提示：payload 不带 on_reject，从这次运行的图快照里按节点 id 读「未采用原流程时」；判为失败时写明采用盲算或都不对会终止运行、提示也照实说，缺省时不再挂那句，读不到时有条件地说、提示不下结论。 - 只有解析失败时和摘要阶段一样按兜底说（固定那句 + 解析的原话），默认展开对照；兜底的原话另有原因（比较超时）时附在下面，一边没有 SQL 时不说「两条 SQL 的写法不同」。 - 认不出任何指标时留一个「驳回并终止」（approved 为假），运行不再一直挂着。 时间线 - dual_check_catalog 的 item 是目录项的键（business_date 等），按数据目录的叫法写成「「orders」（shop）的业务日期」，认不出的键不显示。 - dual_check_limit 的 metric 是指标 ID，不再当名字加引号。 - challenge_skipped 的 no_report 是报告文档读不出来（报告节点找不到时节点直接报错），说法和下一步改成去查报告节点有没有执行成功、在不在执行到的分支上。 检查器 - 字段名和服务端校验报错的叫法（schema.py 的 DUAL_CHECK_FIELD_LABEL）对齐，处置选项以服务端的短说法开头；check-verify 在服务端合入后逐项比对。 - 盲算模型移出高级选项：时间线「模型相同」的定位要找得到它。 - 上游有几张口径卡时写明必须选（服务端校验会挡住发起运行），不再说「建议指定」。 - 「跟随设置」的当前值每次打开检查器都重取，改了设置回到画布不再是旧值。 测试 - 夹具里的差异说明换成 explain_sql_diff 对同一对 SQL 的真实输出，新增几对 SQL 的变体；backend/tests/test_dual_check_fixture.py 核对夹具和真实输出一致，并可重新生成。 - check-verify 补真实形状下的高亮、各种差异下「记入数据目录」说不说、只有解析失败和兜底原因、按处置说后果和提示、认不出指标时的驳回、叫法比对、多张口径卡、设置重取；check-decode 改用服务端真实的日志形状。check-verify 的耗时估计按实测改成 45 秒。	2026-10-05 16:10:55 +08:00
ThearchyHelios	5093e98c49	双盲复算前端（四）：设置页「核查」一节 ... - pages/VerifySettings.tsx（新）：核查模型（照证据裁判的写法：两项都空时醒目提示将使用证据裁判的模型，只填模型时写明 按模型名用哪个接入）；双盲复算（启用、允许的相对误差、每项最多查询次数、时长上限）；反方审稿（启用、每份报告最多 审几句、每句最多查询次数、时长上限）；审批质询（启用、每次最多查询次数、时长上限）；每日金额上限（可不限）和今日 核查花费（GET /api/settings/verify/spend）。上限照 LimitField 的写法：勾「不限」框变灰、写明还受什么约束，勾掉填回 原来的数；只校验改过的项；字段名就是服务端 VERIFY_SETTING_LABEL 的叫法，422 的报错对得上 - SettingsPage：PrefsTab 另持一份核查草稿，和其余设置共用保存条（改动计数、项名、放弃、校验都算上），保存时整组写 verify（不限存 null），存完再取一次今日花费；老服务端没有 verify 一组时不显示 - check-verify 加设置页读回各项、叫法逐项比对、整组写的请求体、错了不让存、422 照实说、老服务端不显示、 390px 不溢出、对比度	2026-10-05 14:31:16 +08:00
ThearchyHelios	7a9dc93dde	双盲复算前端（三）：检查器字段、节点卡片摘要，以及检查器与节点卡片的钩子 ... - nodeDefs：照约定一字不差地加 FieldDef.render 与 FieldRenderProps；NodeDef 加可选的 summary(ctx) 钩子 （ctx：id、config、画布上的 nodes 与 edges，只返回字符串）；dual_check 换成真字段：要复算的口径卡、复算的指标、 口径说明、启用、审核人不采用原流程的结果时（基本），盲算模型的接入与模型、允许的相对误差（高级） - Inspector：照约定一字不差地在 FieldInput 的 switch 前交给 field.render - canvas/DualCheckFields.tsx（新）：口径卡下拉分上游、其余两组，不在上游或不在画布上照实提醒；指标逐个勾， 全勾回到缺省不写、最后一个不让取消；口径说明逐个指标写，被取消的指标上已写的说明列出来可删；盲算模型照「结论句 裁判」的写法（只填模型时写明按模型名用哪个接入）；相对误差的占位写出设置里的值；启用三态，跟随设置不留 null。 每个控件只写自己的键，留空写回 undefined - NodeCard：用只返回字符串的 studio 选择器调摘要钩子，有就用、没有照旧 summarize；摘要写「复算「卡名」 · N 个指标」， 关闭时标出；去掉 dual_check 的占位 case - 预览用例加检查器（小画布用真的节点卡片 + 360px 检查器），check-verify 加检查器写配置、摘要跟着变、窄屏和对比度 - 去掉 nodeDefs 里已经不成立的「下面两种还是占位」注释	2026-10-05 14:23:17 +08:00
ThearchyHelios	cac34c90dd	双盲复算前端（二）：两路对不上时的审批卡，三选一裁决 ... - run/DualCheckApproval.tsx：期 0 的空插槽换成真组件。先按 payload.summary 画两个值、相差比例、摘要里的差异， 完整对照（card_artifact）到了再补盲算模型、全部具体差异和「对照两条 SQL」；只有兜底说明时写明未能归纳成具体差异 并默认展开对照；对照区先列每个输入两边各取到多少，只对照不同的输入，两条 SQL 按卡片宽度左右并排或上下排， text_diff 里有的行在原文中高亮，规范化后对不上原文的不乱标、另列规范化后不同的行；只差一个方面时说明选择会记入 数据目录；每个指标三选一（原生单选，键盘可操作），缺一个都不能提交，回复走审批接口，value 为 {choices, note}； 后果按运行类别说，写明「采用盲算」不替换报告里的数，探索运行不提出具；完整对照取不到时按摘要照样能裁决 - RunPanel：payload.kind 为 dual_check 时不画通用的输入框、备注和「提交 / 驳回并终止」，署名那行保留， onResolved 交给 DualCheckApproval；其他审批卡不变 - 预览用例 dev/fixtures/dual_check.tsx（夹具 dual_check.json 与检查脚本共用，数据虚构） - check-verify：期 0 的占位换成真检查——核查设置的叫法和服务端逐项比对，审批卡的摘要与补全、具体差异、只有兜底、 并排与高亮、不选全不能提交、请求体、取不到完整对照、探索运行、390px 与右栏不溢出、深浅色对比度	2026-10-05 14:07:57 +08:00
ThearchyHelios	6041073ef2	检查脚本骨架：check-all 另起的后端带 AGENTLAB_SCHEDULER=0，拷来的数据目录不会替原库到点发起运行、发出 webhook。新加 check-schedules、compare、verify、inquiry、bundle、whatif 六个占位检查（只打一行通过，输出格式和别的检查一样），登记进 ORDER 和 ESTIMATE，各工作包换成真检查	2026-10-04 23:40:20 +08:00