Skip to content

Commit a9e433e

Browse files
tzhouamclaude
andcommitted
Document the live debug prompt in the rebase specs
The previous commit made both debug-agent call sites prefer the adapter's debug_prompt_template_live and fall back to the parent-parity template, but left the rebase_engine and engine/steps/rebase_v3 spec pages unverified, so check_spec_freshness --strict failed CI. Record the selection rule in both pages and re-verify them. Signed-off-by: tzhouam <tzhouam@connect.ust.hk> Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
1 parent 6df74d2 commit a9e433e

2 files changed

Lines changed: 7 additions & 3 deletions

File tree

‎doc/architecture/SPEC/engine/steps/rebase_v3.md‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# engine/steps/rebase_v3.py —— 规范
22

3-
<!-- verified-against: 2026-09-19 -->
3+
<!-- verified-against: 2026-09-29 -->
44

55
`LOC ~2204 · step 库(v3 rebase 装配层) · refactor-status: oversized`
66

@@ -60,6 +60,8 @@ step —— 薄的受治理 wrapper,substate-first、类型化失败、发布
6060
unstaged+untracked 字节+mode+symlink)→ 复跑/本地验证 → patch policy;自动
6161
patch 不得修改 assertion/tolerance,test 文件编辑必须有明确本地 passed。
6262
被拒、验证失败或策略违规的尝试**回滚**。
63+
- debug agent 的 prompt 与 `rebase_module` 同源选择:`debug_prompt_template_live`
64+
优先,缺省回落 `debug_prompt_template`。
6365
- 空/损坏 manifest ⇒ `manifest_empty`(push gate 阻塞,绝不空洞通过);
6466
不可运行的命令归 STRUCTURAL —— 绝不借 bash rc=0 假通过。
6567
- **A5**:一切仓库知识来自 adapter manifest;parity 词汇泄漏上限 14,

‎doc/architecture/SPEC/rebase_engine.md‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# rebase_engine/ —— 规范
22

3-
<!-- verified-against: 2026-09-21 -->
3+
<!-- verified-against: 2026-09-29 -->
44

55
`LOC ~7500(26 个模块) · repo-rebase-v3 的原生 rebase 引擎 · refactor-status: ok`
66

@@ -31,7 +31,7 @@
3131
| `path_sync.py` | 模块路径图同步 + manifest modules 段重写 + L2 决定应用 |
3232
| `phase1_steps.py` | phase-1 组合(归类 + 路径同步),父级报告文件名不变 |
3333
| `plan_review.py` | L4 计划评审后端(注入的 LLM client,父级形状的结果) |
34-
| `prompt_builder.py` | 模块/调试 prompt 渲染 —— 等输入下与父级字节一致(golden 钉住) |
34+
| `prompt_builder.py` | 模块/调试 prompt 渲染 —— 等输入下与父级字节一致(golden 钉住);`*_live` 变体不受 parity 钉 |
3535
| `push_gate.py` | 推送闸裁决:结构性 vs 断言失败的确定性分类(Rev 8 §2.3) |
3636
| `push_to_ci.py` | commit+push-to-CI 编排:preflight、WAL 卫生、C4 双闸、单一传输 |
3737
| `push_wal.py` | 推送 WAL:先落盘的 intent、精确 OID 三分对账、回滚数据 |
@@ -98,6 +98,8 @@ runner/LLM/CI client 全部可注入 —— 每个模块都能离线测试。
9898
坐标随 round 持久化,供恢复和审计使用。
9999
- 自动 debug agent 不能修改 assertion/tolerance oracle;任何 test 文件编辑只有
100100
在对应本地验证明确 passed 时才可进入远端重试。拒绝的尝试由调用方恢复快照。
101+
- 调试 prompt 优先用 adapter 的 `debug_prompt_template_live`,缺省才回落到父级
102+
`debug_prompt_template`;后者保持父级原文,作为 parity golden 的比较基准。
101103
- **A5** —— 全包仓库中立:仓库值经 `WheelSpec`/`PinSpec`/`ManifestSpec`/
102104
`ModulePromptData`/`tool_schemas.json`/hooks 注入;`test_repo_neutral_core` 钉住。
103105

0 commit comments

Comments
 (0)