From f8191a3bc6716102a7803cfa85a9d3348a3bb629 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Tue, 20 Oct 2026 14:59:04 +0800 Subject: [PATCH] =?UTF-8?q?chore(=E6=89=B9=E5=90=8E=E6=94=B6=E5=B0=BE):=20?= =?UTF-8?q?=E8=BF=AD=E4=BB=A3=2028=20=E5=AE=9E=E7=8E=B0=E6=8A=A5=E5=91=8A?= =?UTF-8?q?=E9=80=80=E5=BD=B9=E2=80=94=E2=80=94=E5=90=B8=E6=94=B6=E5=8D=B3?= =?UTF-8?q?=E6=AD=BB=E5=88=A0=E9=99=A4=EF=BC=88=E5=8F=8D=E5=93=BA=E7=82=B9?= =?UTF-8?q?=E4=B8=89=E6=9D=A1=E5=B7=B2=E8=90=BD=E6=96=87=20architecture=20?= =?UTF-8?q?2026-10-17=20=E7=89=88=E3=80=81=E8=BF=BD=E8=AE=A4=201=E2=80=931?= =?UTF-8?q?3=20=E5=B7=B2=E5=90=8C=E6=84=8F=E3=80=81#14=20=E5=BE=85?= =?UTF-8?q?=E8=A3=81=E5=B7=B2=E8=BF=81=2006=E3=80=81t17=5Fdefer=20?= =?UTF-8?q?=E5=AD=98=E9=87=8F=E7=BA=A2=E5=B7=B2=E6=B6=88=E8=A7=A3--full=20?= =?UTF-8?q?=E7=8E=B0=E7=BB=BF=E3=80=81=E7=9B=AE=E6=A3=80=E5=B7=B2=E7=99=BB?= =?UTF-8?q?=E8=AE=B0=2007=20=E3=89=97=EF=BC=89=EF=BC=9Broadmap=20=E8=BF=AD?= =?UTF-8?q?=E4=BB=A3=2028=20=E8=A1=8C=E5=AE=9E=E7=8E=B0=E6=8A=A5=E5=91=8A?= =?UTF-8?q?=E5=88=97=E6=94=B9=E9=80=80=E5=BD=B9=E4=BF=9D=E7=95=99=E5=AD=97?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- reports/iter28-实现报告-2026-10-15.md | 194 -------------------------- roadmap.md | 2 +- 2 files changed, 1 insertion(+), 195 deletions(-) delete mode 100644 reports/iter28-实现报告-2026-10-15.md diff --git a/reports/iter28-实现报告-2026-10-15.md b/reports/iter28-实现报告-2026-10-15.md deleted file mode 100644 index 3eacf186..00000000 --- a/reports/iter28-实现报告-2026-10-15.md +++ /dev/null @@ -1,194 +0,0 @@ -# 迭代 28 实现报告——启动装配与生命周期验收补全批（六任务全量入库） - -**日期**：2026-10-15　**分支**：iter28-bootlife-20261015（worktree `g-plan2-iter28-bootlife`，基点 39c6544） -**需求卡片**：已退役（git 历史可考）——原「启动装配与生命周期验收补全批」v1.0（零待裁点，用户预批连做全批，不入 git） -**一句话**：把「启动后玩家该看到什么、状态对象何时该活何时该死」从口头约定变成**可执行验收函数**，并逐条用变异实验证明这些函数真能抓住对应缺陷。 - ---- - -## 一、六卡交付 - -| 卡 | 内容 | 提交 | -|---|---|---| -| T0 | worktree + 基线三查 + 运行期树序实采（临时探针两枚，采完即删） | 无产物（定义面已在前置笔 39c6544） | -| T1 | 装配语义合同单点化 + 装配顺序修复 + V2 断言重写 | `6f71509` | -| T2 | boot 链路时序后置条件（`_smoke_boot_chain`） | `a35581e` | -| T3 | 生命周期存活性矩阵（`_smoke_lifecycle_matrix`） | `77075e6` | -| T4 | 渲染面内容断言三件（探针自检 + 墨色判据 + 启动态菜单 golden） | `67342c6` | -| T5 | 变异验证（横切，六次注入；**零提交——注入即还原**） | 无提交（见 §五） | -| T6 | 规范三处落文 + 机械面文档同步闸 | `db1bf42` | -| T1 补 | 类型闸 S9 归零（`main.gd` 合同装配容器注解） | `140e440` | - -### T0 开工基线与事实复核 - -基线冻结：冒烟 **1086/0**（roadmap 与卡片所记 1081 系 iter27 补遗批 `d5eea25` +V8×5 未回写，以实跑为准，**已随本批回写**）、run_all **27 套**全绿、probe_gate --click 全绿残留 0。 - -运行期实采修正了计划书与卡片的三处描述偏差（按「诊断订正」惯例以代码/运行期为准）： - -1. **屏壳是容器、不当「顶层可见层」候选**（卡片诊断订正①，运行期实证）：三屏壳根均 `MOUSE_FILTER_IGNORE` 纯容器，camp 壳 boot 态 `visible=true` 但成员恒隐；裸树遍历自顶向下会先命中透明壳。断言改为遍历合同**内容层**候选集。 -2. **`_row_pacer` 句柄数**（卡片诊断订正②）：计划书称 6 视图句柄，实查 5 + 2 Callable。 -3. **`main.gd:378` 十二模态登记数组**形态与卡片描述有差异——合同常量按运行期实采自行定义为 **16 层自洽表**（含 host 宿住层、shell 屏壳占树位两类特例）。 - -T0 临时探针 `t28_treeorder_probe.gd` / `t28_treeorder_probe2.gd` 采完即删，未提交。 - -### T1 装配语义合同单点化 + 顺序修复 + V2 断言重写 - -- **合同常量 `LAYER_CONTRACT`**（`main.gd`）＝全仓唯一事实源：16 层（屏壳 shell / 模态 modal / 全屏态 state / 非视觉 node），带 `tags`（模态互斥域）、`host`（宿住层：level_screen 宿冒险屏壳）、`shell`（屏壳占树位、成员占登记位：camp_overlay/camp_screen）四类字段。树序＝登记序＝z 序同源派生。 -- **唯一落位口 `_apply_layer_contract()`**：按合同序 `move_child(node, slot)` + `_register_modal(member, tags)`；删除了原先散落在 `_build_ui` 的两处 `move_child`（camp 屏壳插位、curio 对位）。新增 `_layer_node(key)` 查表寻址函数。 -- **装配顺序修复**：`_adventure_screen` 先实例化挂树、`_menu_screen` 后挂——修复坏事实①「菜单屏先挂垫底被冒险屏盖死，F5 见战斗界面」。 -- **V2 断言重写**（坏事实②：旧断言把错误顺序写成期望值，测试在保护 bug）：删除三条裸下标断言（`kids.find(_menu_screen)==0 and kids.find(_adventure_screen)==1` 等），改为 - - **V1a** 启动态顶层可见层＝start_overlay（内容层遍历，屏壳不当候选） - - **V1b** 语义关系：菜单屏壳树序 > 冒险屏壳树序 - - **V1c** 合同树序链逐对保序（运行期树序 == `LAYER_CONTRACT` 序） - - **V1d** 落位单口源码断言（`_apply_layer_contract` 函数体之外 `move_child(` 计数 == 0） - - 场景探针同步：`ui_struct_probe` 新增 `_modal_registry_contract`（登记序==合同模态序逐位点名、直接子层树序==合同序、level_screen 宿主特例、camp 屏壳夹位特例），旧 `_career_registry_contract` 同批退役。 - -### T2 boot 链路时序后置条件 - -新增 `_smoke_boot_chain`，**十断言**（卡片写「六断言」，实施期按可断言面扩为十）：ConfigDB 就绪且表已载 / 音量与减动效引擎态 == settings_store 现值 / start_overlay 可见 / **续玩钮态 == 断点在档态（boot 路径关系判据 + 隔离新档双向三子态：无断点隐、合成断点显、清断点回隐）** / run_scope 闲时会话在树 / 调试浮窗态 == DS_DEBUG 门控。存档隔离走 `attach_path("user://smoke_boot_chain.json")`。 - -### T3 生命周期存活性矩阵 - -新增 `_smoke_lifecycle_matrix`，**九阶段 × 五引用面**：闲时 / 开局停点（地图选路停点态合并）/ 战斗中 / 结算后（胜利停点）/ 选路页 / 终局面 / 回菜单收束 / 各模态开合后（菜单域四模态）/ 两连局 + 续玩。每阶段判 20+ 取数面的存活性：`run_scope` 在树、adventure / runner / settlement 三面活死、四处回调句柄（treasure/bonus/camp/modal_flow）与 `run_scope` 成员同源。活战斗驱动复用现有 `_auto_play_round` 模式（phase/round 守卫 + `AutoPlayer.choose_dig`）。 - -### T4 渲染面内容断言三件（坏事实③） - -1. **`shot_probe.gd` 两自检**：boot 态顶层可见层 == start_overlay；菜单标题/副标题 `is_visible_in_tree` 且 `get_global_rect()` 落视口内。隔离调用改 `ProbeUiUtil.isolate_save(main, "smoke_shot_probe", false, true, true)`（refresh_resume 开——菜单截图/golden 不依赖真实档断点态）。 -2. **`shot_checker.py` 墨色判据 F**：新增 `check_text_presence()`——与中位灰度差 >60 的像素占比落在 [2%, 55%] 带（**极性无关**，不预设字色深浅）。 -3. **启动态菜单 golden**：`golden_baseline_refresh.sh` 新增 `--menu` 模式（含字体与 `button_stone.png` 素材守卫），基线 `game/tests/golden/menu_boot.png` 入库；`render_gate.sh` 补菜单 golden 逐像素对比段（基线缺失=FAIL、截图/素材缺位=SKIP，沿既有 Q5 口径）。帧差前置验证：菜单 **changed=0.0000% / max_diff=0**（光柱是静态贴片），故全屏 golden 安全、无需收窄区。 - -### T6 规范落文 + 机械面文档同步 - -- **新硬规则「验收函数无变异红记录不算验收成立」**三处落文：`CLAUDE.md` 批次工作流第 9 条（原 9–14 顺延 10–15）、`design/dev/code-conventions.md` §3.6 变异验证操作细则（注入→最窄闸见红→`git checkout` 精确还原→记录四步；变异不红的二选一处理；判据强弱分层）、req-card 技能 §7 验证闸（WorkBuddy 与 ZCode 两份副本已同步；CodeBuddy / Qoder CN 无此技能副本，不动）。 -- 机械面文档随批更新：roadmap 迭代 28 行换代＋近期主战场前沿改 29+ M4；06 登记条销号改写＋反哺点三条专条；07 新增 ㉗ 启动态菜单目检节；doc 三闸对基线零新增。 - ---- - -## 二、闸记录 - -| 闸 | 结果 | -|---|---| -| 冒烟全量 | **1125 / 0**（基线 1086/0，+39） | -| 单元测试 run_all | **27 套全绿** | -| probe_gate --click | **全绿**，残留 Godot = 0 | -| probe_gate --full | ⚠️ **t17_defer_probe 红**（存量红，非本批引入——详见 §六），其余五件全绿 | -| render_gate | **全绿**：shot_checker A–D 过（含新增 F 判据 I-OK×2）、棋盘 golden 0.00%×3、**菜单 golden 0.00%** | -| doc 三闸 | 对基线零新增（gdd_lint 三件 / 死链 3 / 术语 5 组，与 master 39c6544 同） | -| static_scan | S1/S2 ok、S4 ok、**S9 归零**、S10 FAIL=文件头存量 125 处（2026-10-15 新立规，清偿批在册待发令，非本批引入） | -| MC 模拟 | **零跑**（本批零数值零行为变更，装配顺序修复除外） | - -**类型闸自纠一笔**：批末 static_scan 报 S9（类型闸）**存量 1 处**——`main.gd:453` `_apply_layer_contract` 内 `var tags: Array` 未带元素类型，系本批新增代码触发（iter27 立闸时 S9 全绿）。随批修为 `Array[Variant]`，S9 归零，冒烟复跑 1125/0 不变。**这笔正是「闸不是摆设」的反面印证**：本批新增的验收函数抓别人的错，既有的类型闸同样抓本批的错。 - -**顺带清理（非本批引入，基线带入）**：`design/gdd/07-体验验证清单.md` v1.0 行处残留 `<<<<<<<` / `=======` / `>>>>>>>` 合并冲突标记（iter27-techdebt-20261014 分支合并进 master 时漏解）。两侧均有效故全留（qa 收尾批人闸核销行 + ㉖ 目检节登记行与正文节），版本号顺延 v1.1，清理注记入 v1.2 行。 - ---- - -## 三、代拍板追认单 - -> **追认结果（2026-10-17 用户令）**：第 1–13 项**全部同意，无修改意见**（含第 9–13 项五条白名单外）。第 14 项本批动作（只补 ZCode 副本、未擅自取齐）照认；其**"两副本是否取齐"仍是待裁问题**，挂在 active.md 未决面，不因本追认自动通过。 - -白名单内八项（卡片 §9）全部按授权执行；以下为实施期实际取定的形态与**白名单外需追认项**： - -| # | 事项 | 取定 | 归属 | -|---|---|---|---| -| 1 | 合同常量数据形态 | 有序 `Array[Dictionary]` + tags/host/shell 特例字段（白名单①） | 白名单 | -| 2 | 特例层断言表达 | 经宿主屏壳 / 成员间接比较（白名单②） | 白名单 | -| 3 | boot 顶层断言候选集 | 显式内容层清单（屏壳不当候选）（白名单③） | 白名单 | -| 4 | 墨色阈值 | 差 >60、占比带 [2%, 55%]，按菜单文字实测定 provisional（白名单④） | 白名单 | -| 5 | 菜单 golden 收窄区 | 不收窄——帧差实证 0.0000%，直接全屏比对（白名单⑤，结论为「无需收窄」） | 白名单 | -| 6 | 变异注入手段 | 改常量序 / 插 `move_child` / 注释 `add_child` / 注释 `queue_free` / `visible=false` / 状态源取反（白名单⑥） | 白名单 | -| 7 | 新冒烟段挂载位置 | `_smoke_scene_split` → `_smoke_boot_chain` → `_smoke_run_lifecycle` → `_smoke_lifecycle_matrix`，挂 `_split_tail`（白名单⑦） | 白名单 | -| 8 | 计划书存档文件名 | `.zcode/plans/启动装配与生命周期验收补全批-loop-plan-2026-10-15.md`（白名单⑧） | 白名单 | -| 9 | **合同表规模 12 → 16 层** | 卡片基于「十二模态登记数组」，实采后扩为覆盖全视觉层的 16 层（屏壳/非视觉节点/全屏态亦入表）——约束「单点化＋同源派生」未破 | **白名单外，请追认** | -| 10 | **T2 断言数 6 → 10** | 卡片写六断言，实施期把续玩钮拆出隔离三子态、补全 ConfigDB/设置/会话/浮窗门控面 | **白名单外，请追认** | -| 11 | **T3 阶段划分调整** | 卡片写「十阶段」，实施期把「地图选路停点态」并入「开局停点」（同一运行期状态，无独立断言面），得九阶段 | **白名单外，请追认** | -| 12 | **变异 2b 形态偏离计划书** | 计划书原文「注释 `_begin_session`／提前 free」；实施期取 2a＝注释 `add_child`（该活不活）、2b＝**注释 `queue_free`（该死不死）** 互补双向。「提前 free」改为 `free()` 会与 V3f 断言同向（仍绿），不构成有效变异，故未取 | **白名单外，请追认** | -| 13 | **07 冲突标记清理** | 基线带入的未解合并标记，本批因需同文件登记 ㉗ 而顺手解开（两侧全留，零内容发明） | **白名单外，请追认** | -| 14 | **req-card 技能双副本** | ZCode 副本与 WorkBuddy 副本已各自演进（ZCode 多两条自有条目），本批只把变异验证一条补进 ZCode 副本，**未擅自取齐**两副本差异 | 知会项；是否取齐请裁 | - ---- - -## 四、GDD 反哺点（三条，已登记 06，待用户逐点裁决另批落文） - -| # | 文档 | 反哺点 | -|---|---|---| -| 1 | `design/dev/architecture/architecture.md` | **视觉层装配合同**＝`main.gd` 的 `LAYER_CONTRACT` 常量（16 层），树序＝登记序＝z 序同源派生，全仓唯一落位口 `_apply_layer_contract`；现行架构文档无此条款（仅 :124 提「组合根 main.gd」、:173 提「主场景装配视图单元」）——是否立条款、合同表是否随架构文档摘录待裁 | -| 2 | `design/dev/architecture/architecture.md` | **boot 链路后置条件**已由 `_smoke_boot_chain` 十断言成文；架构文档启动流程（:173）只有装配动作无后置条件——是否入册待裁 | -| 3 | `design/dev/architecture/architecture.md` | **RunScope 生命周期存活性矩阵**（九阶段×五引用面）已可执行化；架构文档 :124 只登记了 RunScope 的存在——矩阵是否入册、阶段划分是否认账待裁 | - -**与迭代 27 反哺点①的关系**：iter27 只登记了「场景分层／会话生命周期陈述滞后于实态」的方向性缺口；本批把其中「层序＝谁说了算」「boot 后置条件是什么」「会话引用面何时活何时死」三件做成了代码级事实与可执行断言，本条是其**具体化承接**，落文时可合并处理。 - ---- - -## 五、变异验证记录表（六次注入，全部见红并精确还原） - -判据：**注入 → 跑最窄的那一道闸 → 见红 → `git checkout -- <文件>` 精确还原 → 复跑确认回绿**。还原后统一复跑冒烟得 **1125/0**，六轮全以 `REVERTED-CLEAN` 收尾。 - -| # | 变异点（file:line） | 注入方式 | 缺陷类 | 跑的闸 | 红输出（摘要） | -|---|---|---|---|---|---| -| 变异 1 | `game/presentation/main.gd` `LAYER_CONTRACT` 首两行 | `adventure_screen` / `menu_screen` 对调（翻装配序） | 装配序错 | `python tools/run_smoke.py` | 1125 项 **2 失败**：`V1a`（实测顶层=`@VBoxContainer@648`，菜单被冒险屏盖住）、`V1b`（菜单屏壳树序不在冒险屏壳之上）红；`V1c/V1d` 绿 | -| 变异 1b | `main.gd` `_apply_layer_contract()` 调用后 | 插入散落 `move_child(debug_overlay, 0)` | 层序硬编码（合同外落位） | 同上 | 1125 项 **2 失败**：`V1d`（函数体之外 move_child 调用点=1 应=0）、`V1c`（违例 `@Control@1057(14)≤@Control@1119(0)`）红 | -| 变异 2a | `main.gd:195` `_begin_session` | 注释 `add_child(run_scope)`（会话对象不挂树） | 对象该活不活 | 同上 | 1125 项 **22 失败**：`V2e` 红 + V3 全部 21 个阶段面「run_scope=不在树」 | -| 变异 2b | `main.gd:191-192` `_begin_session` | 注释 `run_scope.queue_free()`（旧会话不销毁） | 对象该死不死 | 同上 | 1125 项 **1 失败**：`V3f`「收束后旧局经 queue_free 消亡（is_instance_valid=false）」红 | -| 变异 3 | `main.gd:218` `_ready` | `_start_overlay.visible = false`（藏菜单层） | 层被盖／不可见 | 冒烟 + 窗口化 `shot_probe` + `golden_compare` + `shot_checker` | 冒烟 **3 失败**（`V1a`/`V2c`/`V3a`）；探针自检 **3 问题**（顶层≠start_overlay、标题/副标题 `is_visible_in_tree=false`）；golden `changed=34.23%` FAIL；`shot_checker` exit=1 | -| 变异 4 | `main.gd:531` `_refresh_resume_button` | `_resume_btn.visible = not has`（状态源倒置） | 状态源／时序倒置 | `python tools/run_smoke.py` | 1125 项 **6 失败**：`V2d` 四条全红（boot 态、无断点态、有断点态、清断点回隐）+ `V3a` + `V3i` | - -### ⚠️ 变异 3 暴露的一条判据边界（重要，如实记录） - -**F 判据（墨色占比）本身没有红**——菜单层被藏后，底层棋盘内容透过标题框仍给出 33.48% 的高反差像素，落在 [2%, 55%] 带内，`I-OK` 照过。真正拦下这个缺陷的是另外两件：探针的 `is_visible_in_tree` 自检，和 golden 逐像素（34.23%）。`shot_checker` 虽 exit=1，但红的是 **C 判据**（背景纹理幅度 79.4 > 18），属间接命中。 - -**结论**：F 判据只能证伪「整框空白／整框糊」，**不证明「框里是菜单标题」**。菜单内容断言的强判据是「可见性自检 + golden 逐像素」，F 判据为补充。这条边界已同步写进 `code-conventions.md` §3.6 的「判据强弱分层」，供后续写卡配判据时援引。 - ---- - -## 六、残留与去向 - -### 6.1 probe_gate --full 的 t17_defer_probe 红（存量红，**非本批引入**，待裁） - -**① 现象**：`tools/probe_gate.sh --full` 中 `t17_defer_probe` 失败——`[t17_defer] FAIL — 关卡画面未出现`（exit=2；首次运行时表现为 exit=124 超时挂死，同一根因的两种表现）。`--full` 的其余五件（ui_input / ui_struct / ui_contrast / ui_probe / ui_tune / fx）**全绿**，`--click` 亦全绿。 - -**② 证据链（三条，均指向「非本批引入」）**： - -| 证据 | 结果 | -|---|---| -| 主区 master 39c6544（**不含本批任何改动**）跑同一探针 | **同样 FAIL 4/4**，失败行与本批完全一致 | -| 把真实档 `user://save.json` 临时改名移开后跑同一探针 | **PASS**（exit=0，15s，`胜利同帧挂起+排播完开窗 两断言全过`） | -| 探针自身行为 | 首次跑绿、跑完即把真实档写成带断点状态，其后必红——**探针会污染它本应隔离的真实档** | - -**③ 机理**：`_start_adventure_from_menu()`（`main.gd:498`）在 `save_manager.has_breakpoint()` 为真时不开冒险，改弹「已有未完冒险」确认框。真实 `user://save.json` 当前存在未完冒险断点时，探针的隔离（`main.save_manager = iso_c`）没能覆盖到这条路径，于是 60 帧内等不到 `level_screen.visible` → FAIL。 - -**④ 补充事实（须告知）**：`user://` 目录（`%APPDATA%/Godot/app_userdata/DungeonSweeperVerticalSlice/`）由**全部 worktree 共享**（同 project name），所以主区与任何 worktree 的探针／冒烟都在读写同一份存档。本机这份真实档现在带有一个未完冒险断点。**本批验证过程中曾为定位根因临时改名移开该档，已按原样还原并通过逐字节 `cmp` 校验一致**（备份留 `/d/tmp_save_backup_20261015.json`）。 - -**⑤ 历史沿革**：iter26 台账记「probe click/full 全绿」，**iter27 台账只记了 `probe click` 未记 `--full`** —— 该红大概率自 iter27（row_pacer 排播泵迁出 + ModalFlow 抽取）起就存在而未被跑到。probe_gate 头注亦有预言：「超时多半＝探针未适配新停点层，归 probe 适配批」。 - -**⑥ 待裁（不擅自处理）**：本红属**探针适配存量债**，修它＝改探针隔离方式，是卡片外的新需求。三个选项请裁： - -- **甲**：认可存量红、照常合并——红与本批无关，master 现状同红，合并不会使任何东西变差； -- **乙**：先修探针隔离（补真实档隔离／跑前清断点）再合并——属新需求，需用户批后另起小批； -- **丙**：用户先自行处置本机真实档断点（游戏内开新冒险覆盖或删档），我再复跑 `--full` 取绿后合并——但此法只治本机这一次，探针自污染的根因仍在。 - -### 6.2 实机目检（登记不阻塞，2026-10-12 立规） - -已登记 `design/gdd/07-体验验证清单.md` **㉗ 启动态菜单目检**五观测项：启动即见主菜单 / 菜单六钮可点 / 菜单与战斗互不遮挡 / 各覆盖层开合层级正确 / 音量与减动效启动即生效。**登记完毕即批内义务了结**，用户自行安排时间验收。 - -### 6.3 其他 - -- 计划书存档：`.zcode/plans/启动装配与生命周期验收补全批-loop-plan-2026-10-15.md`（不入 git）。 -- 需求卡片按「中间产物吸收即死」惯例不入 git；卡片所记基线 1081 与实测 1086 的差异已随本批回写 roadmap 与 06。 -- req-card 技能两份副本（WorkBuddy / ZCode）本批各补一条后**仍有两条 ZCode 自有条目未取齐**，是否取齐请裁（§三 #14）。 - ---- - -## 七、冒烟断言数增量呈报 - -**1086 → 1125，净 +39**，逐项可溯源： - -| 项 | 条数 | -|---|---| -| 新增 V1（装配合同四断言：V1a/V1b/V1c/V1d） | +4 | -| 新增 V2（boot 链路十断言） | +10 | -| 新增 V3（生命周期矩阵，九阶段面 + 各附加判据） | +28 | -| 退役裸下标断言（`kids.find(...)` 三处——合同链断言已覆盖） | −3 | -| **合计** | **+39** | - -（新增 42 条全部带 `〔装配生命批 Vn〕` 尾缀，可与需求卡片 §7 逐条 grep 对账。） diff --git a/roadmap.md b/roadmap.md index 639fee5b..6504b50b 100644 --- a/roadmap.md +++ b/roadmap.md @@ -61,7 +61,7 @@ | 迭代 25 | 已完成（2026-10-13） | 已退役（git 历史可考） | 2026-10-13 | — | 已退役（git 历史可考） | | 迭代 26 | 已完成（2026-10-14） | 已退役（git 历史可考） | 2026-10-14 | — | 已退役（git 历史可考） | | 迭代 27 | 已完成（2026-10-14） | 已退役（git 历史可考） | 2026-10-14 | — | 已退役（git 历史可考） | -| 迭代 28 | 已完成（2026-10-15） | 已退役（git 历史可考） | 2026-10-15 | — | reports/iter28-实现报告-2026-10-15.md | +| 迭代 28 | 已完成（2026-10-15） | 已退役（git 历史可考） | 2026-10-15 | — | 已退役（git 历史可考） | | 迭代 29 | 已完成（2026-10-16） | 已退役（git 历史可考） | 2026-10-16 | — | reports/iter29-实现报告-2026-10-16.md | | 迭代 30 | 已完成（2026-10-17） | 已退役（git 历史可考） | 2026-10-16 | — | reports/iter30-实现报告-2026-10-17.md | | 迭代 31 | 待开工 | reports/需求卡片-代码术语刷新批-2026-10-18.md、reports/需求卡片-凭证件裁削批-2026-10-18.md | 2026-10-18 | ≈1.5 周 | — |