 ThearchyHelios
|
4c3ba8bc1b
|
期 4 复核修正（第 1 轮，前端）：核查缺口分「核查未通过」「核查未完成」两组并补上证据页、印章的检查，写目录预告推断时算上被挡下的同项指标，反方审稿概况的说法与排布改准
- 出具缺口：双盲复算的「指标无法复算」是没核成，不再和两路不一致、结论被推翻一起叫「核查未通过」——splitIssuanceGaps 分成 failed「核查未通过」、unfinished「核查未完成」两组，时间线那一行、证据页、成果节点印章的悬停说明都按先未通过、再未完成、最后校验不完整排。check-decode 按服务端 GAP_* 和 _refuted_gap 的原话加出具契约的前缀拼出缺口再分组，服务端改了说法先变红；新预览用例 verify-gaps 画真的 EvidencePane 和成果节点卡片，check-verify 断言两组各列各的、横幅的「校验未全部完成」里没有它们、印章说明的先后，以及 390px 深浅色不溢出、可读（以前去掉这两处的实现所有检查照样全绿）
- 时间线：无法复算那一行只说「已记为缺口」，不再一律说「按缺口计入出具」（探索运行不出具，接在侧枝上的缺口进不了出具）；dual_check_catalog 带值的写法补上检查，和审批卡「会记为」用同一个函数、一字不差
- 双盲复算审批卡：工件里没有合并预告时（老工件、组合超上限、还没取到），被目录挡下、带着写到哪的同项指标也算进来——业务日期、去重规则说法不同就说都不记（服务端先归拢、轮不到对目录），有效记录条件同项上有被挡下的只说可能记、也可能不记；推出来的条目标 data-inferred，结尾换成「实际写入以时间线上的记录为准」。check-verify 用新夹具 time_rejected 断言销售额不再说「会记为」
- 反方审稿审批卡：「没能」改「未能」，提示不再说「没有真正查询数据」（触顶的查过），原因补上报告未引用数据库查询，时间线的下一步不再建议调高上限（这一条不含触顶的）；「N 句未能反查」挪到降档说明后面，不再插在「出具会降档」标记和它的说明中间，句数不超过「无法判断」；不在出具路径上的那句写明是反方审稿节点（审批卡上的「本节点」读着像审批节点）。ChallengeSummary 收 runClass，给了就照它、不另取；check-challenge 的夹具改成和服务端约定一致（未能反查 2 句、无法判断 3 句），另断言给了运行类别时另取失败也照样写降档、不发请求
|
2026-10-06 09:31:28 +08:00 |
|
|
ThearchyHelios
|
20c24fcf8c
|
反方审稿审批卡说清「根本没反查」和「到底降不降档」，运行类别取不到时不说出具（前端）
- 服务端给了 unreviewed（核查模型不可用、触顶、数据源不在了等没能反查的句数）就另起一行「N 句没能反查，已记为无法判断」：这几句混在「无法判断」里，分不出是查了数据不够还是一条都没查
- 「出具会降档」只在正式运行、有被推翻的结论、服务端的 degrades 为真时写（老服务端没给时照旧按「不是只标注」算）；按降档处置却不在带出具契约的成果节点上游的，说一句为什么不影响出具档位，不再让审核人以为会降档
- 运行类别取不到时一句和出具有关的话都不说：以前写「暂时无法确认运行类别；如为正式运行……会降档」外加重试，卡顶却按审批自带的运行类别写着正式运行，两处打架。窗口重新拿到焦点时照旧再取，取到正式运行后降档提示才出现
- 理由文档的画法（RationaleDoc）导出给双盲复算的审批卡用：没给跳转时有出处的数字不是按钮，只画实线、挂查询编号、读屏念出处
- 检查器帮助里「结论被推翻时」的选项名照下拉写（出具降档 / 只标注 / 报错并停止运行），和服务端报错里点的名字一致
- 预览用例补没能反查、不在出具路径上两种；check-challenge 补这两段、改写取不到运行类别那一段，并新增一节逐项比对 engine/labels.py 的 CHALLENGE_LABEL、CHALLENGE_ON_REFUTED_LABEL 和检查器的字段名、下拉选项
|
2026-10-06 07:53:47 +08:00 |
|
|
ThearchyHelios
|
12dc47b976
|
期 3 反方审稿（前端）复核修正：要审的报告按服务端的认法定，校验报过的不再重复，补齐降档提示的反例检查和运行类别取不到时的说明，修好显示全部的焦点与去重，处理审稿记录没存上的情况
检查器
- 「要审的报告」留空时，照服务端 schema.challenge_report 的认法：先看直接连着的报告撰写节点，恰好一个就审它；不是一个时，整个上游只有一个才取那一个。以前只认第二步，「初稿 → 终稿 → 反方审稿」这种接法下会误报「上游有 2 个，请选择」，同模型提醒也不出。现在留空项写出实际会审的那份（「未选择：审上游的「终稿」」），同模型提醒也按同一套认法判断。
- 认法写成 nodePickField / upstreamModel 的 rule 选项。缺省是 'upstream'（只看整个上游），和 F1a 的 dual_check_card 一致，双盲复算以后也能直接用。
- 选中的节点在上游、类型却不对（例如输入节点），以前写成「不在上游」，现在照实写「不是报告撰写节点」，提示里说清它是哪类节点。判断顺序和服务端一致：先看存不存在，再看类型，最后看在不在上游。
- 画布校验已经在 report / model 字段上报过问题时，不再画本地那句提示，避免同一件事一琥珀一红说两遍。判断哪些问题属于本字段，用和 Inspector 挂字段时相同的 fieldOfIssue；下拉里照实标出的那一项保留。
- 文案里的设置入口统一写成「设置 → 偏好设置 → 核查」，和设置页的真实标签、双盲复算、证据裁判的写法一致。
审批卡
- 降档的原因改为常显在概况下面，不再只放在悬停提示和读屏文字里。
- 运行类别取不到时，不再悄悄不写降档：照实写「暂时无法确认运行类别；如为正式运行，被推翻的结论会使出具降档」，并给出重试按钮；窗口重新拿到焦点时也会再取一次。
- 「显示全部」补句时按 unit 去重：两边都有 unit 时只比 unit，有一边缺 unit 才比原文。以前原文相同、unit 不同的一句会被吞掉，被吞的可能正是被推翻的那句。条目缺 unit 时不再补假的 #i。
- 键盘按「显示全部」、补句那一行的重试、一句详情里的重试、运行类别的重试之后，焦点都会接到新出现的内容上，不再掉到 body。焦点已经被用户移到别处时不抢。
- 审稿记录没存上（artifact 为 null）时，每句只列判断，不能点开，整块说一句「反方审稿记录未保存，无法查看理由和查询」；「另有 N 句未列出」照常显示，只是不给「显示全部」。
检查（check-challenge 共 153 项）
- 新增预览用例：正式运行且没有被推翻的结论（降档 / 只标注）、探索运行配只标注、运行类别取不到、原文相同而 unit 不同、审稿记录没存上、链式接法的检查器。
- 「只标注、探索运行、没有反方审稿」拆成各自独立的段，一段出错不会遮住其余几段。
- 新增的检查项包括：降档原因常显、取不到运行类别时的说明和重试（含窗口重新拿到焦点后再取）、显示全部和各处重试后的焦点、按 unit 去重、审稿记录没存上、链式接法、类型不对的节点、校验报过就不重复说，以及窄屏和深浅色下新增几行说明的对比度。
- 复核时用来证明检查不够的两个变异，M1（正式运行一律写降档）和 M10（探索运行也写只标注说明），连同本次各项修正的变异，都已逐一确认会被检查发现。
|
2026-10-05 15:35:01 +08:00 |
|
|
ThearchyHelios
|
b58321f6b8
|
期 3 反方审稿（前端）：先写检查——类型、预览用例与 check-challenge
- types.ts 末尾加反方审稿的类型（约定里的审批概况 payload.reports[i].challenge、challenge_artifact 工件），
ApprovalReport 用声明合并补上 challenge 一项，不动前面的定义
- 预览用例 dev/fixtures/challenge.tsx：审批卡七种情形（正式运行默认降档、只标注、探索运行、没有反方审稿、
超过十句、工件取不到、360px 右栏）和检查器（两个上游报告、一个下游报告的虚构图，旁边是节点卡片和实时配置）
- 夹具 challenge.json 与检查脚本共用；理由文档是后端 run_verify_agent + compose_doc 真跑出来的，库、表名、
地名、数字都是虚构的
- check-challenge.mjs：概况计数、被推翻时的降档提示（只标注、探索运行不写）、逐句标签、点开后取工件并显示
理由（数字的出处、裸数字）与查询、工件取不到可重试、超过十句显示全部、检查器字段写进节点配置、卡片摘要、
390px 不横向溢出、深浅色对比度；登记进 check-all
此时还没有实现，检查全部不通过（7 段都超时），下两个提交补上
|
2026-10-05 14:09:45 +08:00 |
|