Record independent U3 semantic findings and retests

Why: The first r0.3 code review found three unsafe inference paths despite green mechanism tests.

Evidence: Reviewer's read-only replay, Backend RED→GREEN counterexamples, isolated PostgreSQL and task-owned HTTP browser receipts are identified separately.

Impact: Keep the old review failure and new fix candidate traceable; real-model quality stays NOT_RUN.

Refs: Dev task feature/fast-slow-u2-u3-plan; Documents PR #95
This commit is contained in:
2026-10-13 17:24:00 +00:00
parent 21fbc9de34
commit 53b1abdec8
@@ -118,3 +118,7 @@ Documents `4a70ba8` 固定后,Dev `1fa58cb` 又完成一轮 `make test && make
零付费 RED→GREEN 覆盖 r0.2 A01 错误归属、12−8=4仅为推算、原文明确关系、0–3 的未定交集、预算条目误作需求、旁路状态字段、同批原子提交、幂等与任务输入版本。Core `b474394`、Backend `62ad895`、Frontend `9d7681c`、UI `ac5b617`、Documents `f64fe11` 固定的 Dev `f7e55c3` 上,`make test && make build` exit0;完整 SELF 收据 `/tmp/fast-slow-u3-r03-20261013/combo-fixed-receipt.json` 已由 Dev `make evidence` 导入任务卡。此前 Dev `6734665` 的组合 exit2,因生成 TS helper 被导出使 Frontend knip 53 超过基线52;失败收据同样保留,修复后 Frontend knip 51≤52、UI 61≤61。任务自有 PostgreSQL 上 Backend runmgr/cardsvc/store 三包通过并已停止,SELF 收据 `/tmp/fast-slow-u3-r03-20261013/postgres-receipt.json`;材料工具说明及 schema 总增量为 877 UTF-8 字节,token 只是离线粗估,须以将来真实返回 Usage 判断预算。
为验证默认阅读,Backend `756679d` 的零付费机制夹具在第二批同时给出原文记录和无依据的接口分期肯定句,并附三个真实数量前提;浏览器断言先在旧夹具失败,再在 Dev `b10a218`/Frontend `006c815` 的全新任务自有 HTTP 实例两项 PASS:待确认问题可见、刷新与来源跳转/变更版本提示可用、后台重放不抢当前文件和输入焦点。SELF 收据 `/tmp/fast-slow-u3-r03-20261013/browser-c-receipt.json` 已导入 Dev 任务卡;测试实例和预览进程按记录 PID 停止,截图与 trace 保留。此项是**假流机制验证**,不等于付费真实模型 A01 的阶段、最终正文或 Usage 质量通过。新精确 Dev HEAD 的组合、独立代码复审和平台 GATE 仍待核验;六个 PR 保持草稿,未合入。r0.2 的真实语义 FAIL 不追溯改变,r0.3 新模型样本 `NOT_RUN`,资源仍须单独批准。
请求代码复审前 `make task-sync` 将权威 main `415f9ac` 纳入任务分支;Dev `1ce3c68` 的 `make test && make build` exit0,原始 SELF 收据 `/tmp/fast-slow-u3-r03-20261013/review-combo-receipt.json` 已导入任务卡。但独立只读审阅者 `/root/u3_r03_final_review` 找到三项 P1,**该版代码语义安全复审未通过**:只引“已批准”可截去原文“不等于”,A项目总数与B项目首期数字可被相减,无数字的“接口依赖工作均安排在后续批次”可从自由字段或任务状态原样展示。代码绿色、来源字面匹配和浏览器通过都不能放行这些错误。
Backend `9019f90` 为三项分别加入失败用例后作零付费修复:恢复短引所属完整可见句子并在否定/重复/过长语境保守处理;显式项目范围不一致时转待确认,未明确共同范围的差额改用条件句;无结构依据的普通分析只保留审慎表达,未知状态文案替换为中性进度。额外覆盖句尾标点后的相邻句不能混入直接关系。Backend 全量 Go 与 live-tag 假流停止测试通过;全新任务自有 PostgreSQL runmgr/cardsvc/store 三包 PASS(SELF `/tmp/fast-slow-u3-r03-20261013/postgres-review-receipt.json`),Dev `884dcd8` 的全新 HTTP 机制实例两项 Playwright PASS(SELF `/tmp/fast-slow-u3-r03-20261013/browser-d-receipt.json`);测试进程已停止。**修复版的独立复审、最终精确HEAD组合和GATE仍待核验,真实模型质量仍 NOT_RUN;旧 r0.2 FAIL 不变。**