-
GoalTaskPane.vue（GraphConsole 左栏）按 parentTaskId 分层渲染，子任务 只读展示（没有独立 run，不接操作菜单）；TaskTable.vue（TaskBoard，当天 另一个并发 session 重写的表格视图）用一行「↳ 子任务·属于「…」」指回 父任务，不强行画树——它是可排序表格，硬套树形会跟排序打架。 taskView() 已在上一个提交里补上 parentTaskId/acceptanceMode 字段输出。 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U7xYyvv3pzuV9diMVUH5QL
-
## 批 4：解除「一家公司同时只有一个 active root run」 - DROP idx_graph_runs_one_active_root（建表块删掉 + 迁移块显式 DROP， CREATE ... IF NOT EXISTS 对存量库不生效） - max_parallel_tasks 从 company.json 调用时读（不是模块加载时快照， 否则改配置要重启才生效且不报错）；缺省 1、非法回落 1 并留声、硬上限 20 - 准入判据「从活跃集外进入活跃集」按额度计数 **生死线用 8 个真进程并发抢坑实测**（不是纸面论证）：max=1/2/3/5 四组， 每组恰好抢到 max 个、库里活跃数 = max，落选进程各吃 40 次 RunSlotBusyError， 零 other 错误。唯一索引没了之后，准入事务是真守卫。 ## 批 3 对抗复核的四条遗留 - N1 🔴 cancelQueuedRun 的前提被批 3 自己的 requeueBlockedRootRun 改没了： queued 的 run 现在可以是跑过一半的。探针实测取消后子 run 残留 paused/stop_requested=0 —— 那条 running 的子 run 继续调 agent 烧 token。 改为无条件走 engine.stopRun - L1 ⚠️ 恢复路径对 manual 只兑现一半：注释写着「T1 永远回不来这个后果因此 消失」，但调度器故意不碰 manual → 退回队列后没人接。定案：「manual 不自动 出队」约束的是首次起跑的授权，已被人亲手起过的不算新授权。 判据用 attempt>0 而不是 started_at —— 后者会被 requeue 清成 NULL， 恰好在需要它的那一刻是空的（实测踩过） - N2 🟠「退回队列」对用户完全不可见：200 + ok:true + 按钮全灰 + 图消失 + 一句「节点状态一律 pending」的假提示。加 notice 明说 - N3 🟠 isSlotRaceError 把 InvalidTransitionError 当竞态吞掉，而探针证伪了 那条注释：被推走时条件更新返回 0 不抛，真正抛它的只有「调用方声明了非法 转换」。删掉该分支，让它吵起来 四条里三条是同一个模式：注释承诺的前提被本轮自己的改动改没了，注释还留着。 文档 §十三.3 / §十四.4 已就这个模式立过两次案，这是第三、四、五次。 ## 文档 §十五 实施记录，含 §15.4 一次流程事故：87b776c 由第三方会话在对抗复核完成 前误提，提交说明的「1201 用例全绿」压在一份尚未通过复核的代码上。 全量：128 文件 / 1240 测试全绿，web:build 通过。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
-
队列与调度（§五.1）： - 下达任务不再因「公司已有 active root run」吃 409，改为建 queued run + queued task 排队；出队走 updateRunStatus 的 CAS + BEGIN IMMEDIATE 准入事务，触发挂在 transitionRun 这个唯一漏斗上，60s sweep 兜底。 - 依赖已不可能满足的排队任务就地推导成 blocked，且每次 tick 重算不落死，上游重跑 成功后能原路解开。 恢复路径（批 3 复核 F1/F2）：三条恢复转换的 from 全在活跃集之外，撞坑满时退回队列而不是 永远躺在 blocked；退不回去的裸 run 干净拒绝，不留半截状态。 控制台三处可见性修复 —— 症状全是纯视觉、不报错、git status 干净： 1. 顶栏墙钟恒 `now - started_at`，没有终点。一条昨晚就 blocked 的 run 第二天还在涨到 「16h 58min」，而那是页面上唯一的时间信号 —— 「已经停了等人处置」被显示成了 「还在跑再等等」，这两件事需要的动作相反。终点改取 run.updated_at，并标「已停」。 2. 越界日志只报「留下 N 处改动」，文件清单躺在 timeline.ndjson 里翻不到。判罚就是按 这份清单下的，而人要判断「这真是 agent 写的吗」唯一的依据就是路径（并行的开发会话 改宿主仓库会被算到当时在跑的节点头上，那是误判，看一眼就知道）。改为列出 entries。 3. run 收敛成 blocked 时只把 task 写成 blocked、不写原因，任务列表那一行只剩一个橙色 的「挂起」，必须逐层点进 org 图 → work 图 → 节点详情才知道发生了什么。改为把 「卡在哪个节点 + 什么 fail_reason + 判词摘要」写进 tasks.blocked_reason。 原因绝不带 UPSTREAM_BLOCK_PREFIX —— 带了会被调度器当成依赖推导出的 blocked 自动 推回 queued，而这类 blocked 本来就等着人处置（守卫在 task-blocked-reason.test.js）。 测试：126 文件 / 1201 用例全绿。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
-
goal 从「人写一句话」变成「agent 拆成一张 task DAG、人确认后下达」， 收敛时由 org-validator 在 goal 层再验一次。 ## 交付 - task-planning 本体（毕业判据实测通过：agent.md + soul.md 一次写完、 不带 _base 哨兵、路径按 cwd 深度 3 实算核对） - 拆分链路：3 轮 errors 原样回喂 → 不过就降级成 1 条同描述 task， goal 绝不卡在 planning；token 记 goals.planning_tokens - goal 级 org-validator 验收：≥2 条 task 全 completed 才调，单 task 跳过， 有 failed 直接 failed 不调（省一次真花钱的调用） - 控制台四栏 + GoalTaskPane 两级树 + 两步表单（拆分中给逃生口） - 中断恢复：启动时补跑验收与汇报 ## 三条跨进程竞态，全部用真探针实跑复现后才判定修好 1. runGoalSplit 无条件把 goal 写回 draft，抹掉逃生口刚下达的 active —— 而触发它的正是表单自己推荐的那个逃生口。后果是一个正在烧钱的 goal 显示成「草稿」，且从此永不收敛（OKR 不写、上级不唤醒、无日志） 2. CAS 把最终态提前写进库，验收窗口内重启即丢，且 verdict=NULL 与 「单 task 合法跳过」形态相同，查不出来 → 占位判词 + 启动重推 3. 认领语句 SET verdict=RESUMING WHERE verdict IN (PENDING, RESUMING) —— 写进去的值就在 WHERE 里，changes 恒为 1。而函数注释白纸黑字 写着「认领写的是另一个占位值」。注释是对的，代码没兑现。 实测：org-validator 调 2 次 / OKR 写 2 条 / token 双记 → claim 带唯一 token + 时间戳租约，回写条件更新决胜，主路径同闸门 ## 与设计正文的偏离（已记进文档 §十四） 拆分后 goal 落 draft 而非 active（active 的语义已被 markGoalDispatched 钉死为「已下达」）；mode 三级继承对显式 tasks[] 同样生效；占位判词不出 API；新增 planning_error / reported_at 两列，后者迁移带回填（否则升级后 第一次启动会把历史终态 goal 全部重报一遍）。 ## 过程 四轮 26 个 agent，复核报出 22 条缺陷，其中 6 条是修复自己引入的。 第四轮修完挂了 3 条测试，全是测试在钉住缺陷本身 —— 其中一条的注释 写着「模拟进程死后重启」，构造的却是新鲜占位值：注释描述 A 场景、 代码构造 B 场景、断言按 A 场景写。 全量：118 文件 / 1112 测试全绿，web:build 通过。 Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>