Skip to content

fix(goal): resolve audit defects GOAL-01..04 (fixed-point loop converged) - #334

Merged
LeXwDeX merged 13 commits into
devfrom
fix/goal-batch
Aug 18, 2026
Merged

fix(goal): resolve audit defects GOAL-01..04 (fixed-point loop converged)#334
LeXwDeX merged 13 commits into
devfrom
fix/goal-batch

Conversation

@LeXwDeX

Copy link
Copy Markdown
Owner

概要

workflows/audit-fix-loop.md 固定点循环(开发切片 → 红绿变异 → 双镜独立审阅 → 收敛)偿付审计文档 GOAL 章节全部 4 项缺陷。验收 primary source:docs/audit-dag-memory-goal-2026-08-18.md

缺陷 → 修复(按审计处置顺序)

ID严重性修复提交
GOAL-01High (P0)边界门从「抑制驱动」改为「只抑制重判」:命中时跳过 judge 与 updateAfterJudge 提交,fall-through 到共享 continuation 派发恢复驱动;evaluatedRevisions 记 drive-restored 防同 revision 双触发;改写钉错断言(continuationCalls 0→1,删除 sleep 反模式)ed7185a
GOAL-02Medium (P2)ESC pause 重试耗尽后保留 turnDriven,使持久行/lease/进程内标记三者一致为 active;最终按最终尝试结果三态分类(成功/真实耗尽/成功 no-op 静默清陈旧标记);新增 payload 损坏故障注入与 no-op 日志静默回归测试551b8f7 / 5dd5a30 / db44487
GOAL-03Low失败 judge 预算中性:parseFailed 不递增 turns_used、不盖 last_judged_msg;consecutive_parse_failures 计数与 MAX 自动暂停不变;改写钉错断言9fc67e8
GOAL-04Low启动扫描 busy skip 记 logInfo + deferred 列表,单次 2s 有界重试,仍 busy 显式 logWarning 收口;scan 各 catchCause 统一 hasInterrupts F1 抑制f0e7278 / db44487

证据

  • 每切片红-绿-变异:先写红测试 → 实现转绿 → 临时回退必翻红 → 恢复(四项均执行并记录于 findings register)。
  • 审阅收敛:7 轮双镜独立审阅(Spec 镜对照审计条目 + Standards 镜对照仓库规约),R1/R3/R4/R5 的 findings 全部修复关闭,R6+R7 连续两轮零 findings。全账目:docs/findings/goal-batch-findings.md
  • 测试:goal 测试簇 108/108 绿;bun typecheck(packages/opencode)绿。
  • 全量套件:4142 tests,除 3 项基线既有 darwin 环境性失败外全绿(project-copy / help-snapshots 在干净基线 detached 复跑同样失败;pty 计时性 flake 隔离复跑通过;三者均不 import goal,本 diff 不触及其依赖闭包;dev 基线 CI 全量 success)。
  • 根 turbo typecheck 中 @opencode-ai/app@opencode-ai/schema/identifier 解析失败同为本地环境既有问题(bun 运行时解析正常,本 diff 未触及 schema/app,dev CI 绿)。

关联

@LeXwDeX
LeXwDeX merged commit 11cfafe into devAug 18, 2026
5 checks passed
@LeXwDeX
LeXwDeX deleted the fix/goal-batch branch August 18, 2026 10:58
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@LeXwDeX