Record runtime semantics drift alignment

- Refresh approved sync proposals and apply reports

- Add the runtime semantics supersession index

- Align shutdown pipeline spec details with implementation naming

Author: developerworks

.specify/sync/align-tasks.md

@@ -1,10 +1,207 @@
 # Sync Align Tasks(同步对齐任务)
 
+Generated(生成时间): 2026-05-15T01:30:16+08:00
+Based on(基于): `.specify/sync/proposals.json` (interactive approve, `P001`..`P007`)
+Approved Proposals(已批准提案): `P001`, `P002`, `P003`, `P004`, `P005`, `P006`, `P007` (Option C 见 `M007`)
+
+---
+
+## Task P001: Align 004-3-child-slot-control/FR-001, FR-003, SC-001..SC-004
+
+**Spec Requirement(规格需求)**: `004-3-child-slot-control` — `FR-001`, `FR-003`, `SC-001`..`SC-004`
+
+**Direction(方向)**: ALIGN(规格到代码)
+
+**Current Code(当前代码)**: `ActiveChildAttempt` 仅服务关闭流水线, `current_state` 仅返回子任务数量与是否已关闭.
+
+**Required Change(需要变更)**: 引入运行时私有 `ChildSlot` 模型, 收敛 `active_attempts`, 关闭流水线从槽位读取活动尝试, 扩展 `current_state` 返回每子任务槽位摘要, 为暂停, 恢复, 隔离, 移除与关闭结果增加槽位终态字段.
+
+**Files to Modify(需要修改的文件)**:
+
+- `src/runtime/control_loop.rs`
+- `src/runtime/shutdown_pipeline.rs`
+- `src/runtime/mod.rs`
+- `src/control/command.rs`
+- `src/shutdown/report.rs` (若公开状态形状变化)
+- `src/tests/supervisor_control_test.rs` 或新增 `src/tests/` 下对齐测试
+
+**Estimated Effort(预估工作量)**: LARGE(大)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 每个声明子任务在运行时有唯一槽位视图, 含 `generation`, `attempt`, 活动句柄与预算字段中与规格一致子集.
+- [ ] `ShutdownTree` 关闭路径从槽位读取活动尝试, 不维护第二套并行事实源.
+- [ ] `current_state` 或等价查询返回每子任务摘要, 满足 `FR-003` 可测试子集.
+- [ ] 新增或更新测试证明槽位摘要在暂停, 运行与关闭后一致.
+
+---
+
+## Task P002: Align 004-3-child-slot-control/FR-002
+
+**Spec Requirement(规格需求)**: `004-3-child-slot-control` — `FR-002`
+
+**Direction(方向)**: ALIGN(规格到代码)
+
+**Current Code(当前代码)**: `pause_child`, `remove_child`, `quarantine_child` 主要 `set_child_state`, 未停止真实任务.
+
+**Required Change(需要变更)**: 暂停发取消并等待结束或超时, 隔离停止尝试并禁止自动重启, 移除停止尝试并移除或标记槽位, 重复命令幂等.
+
+**Files to Modify(需要修改的文件)**:
+
+- `src/runtime/control_loop.rs`
+- `src/control/command.rs`
+- `src/tests/supervisor_control_test.rs`
+
+**Estimated Effort(预估工作量)**: LARGE(大)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 三条命令均触发对真实 `CancellationToken` / `AbortHandle` 路径的可观察动作.
+- [ ] 测试断言任务在暂停, 隔离或移除后不再无约束运行.
+- [ ] 重复同一停止类命令返回幂等结果且无双重停止风暴.
+
+---
+
+## Task P003: Align 004-4-generation-fencing/FR-001..FR-003, SC-001..SC-004
+
+**Spec Requirement(规格需求)**: `004-4-generation-fencing` — `FR-001`..`FR-003`, `SC-001`..`SC-004`
+
+**Direction(方向)**: ALIGN(规格到代码)
+
+**Current Code(当前代码)**: `spawn_child_attempt` 立即 `abort` 旧尝试并启动新尝试, `record_child_exit` 未校验代际.
+
+**Required Change(需要变更)**: 统一重启流水线: 取消, 等待, 超时中止, 再升代际, 退出记录校验 `(child_id, generation, attempt)`, 旧代际迟到标 stale, `current_state` 暴露代际.
+
+**Files to Modify(需要修改的文件)**:
+
+- `src/runtime/control_loop.rs`
+- `src/runtime/shutdown_pipeline.rs`
+- `src/tests/` 下代际与重启相关集成测试
+
+**Estimated Effort(预估工作量)**: LARGE(大)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 连续重启仅最后一代可处于运行中语义有测试覆盖.
+- [ ] 旧代际迟到退出不覆盖注册表中当前代际槽位.
+- [ ] `current_state` 或等价结构暴露 `generation` 与冲突诊断字段.
+
+---
+
+## Task P004: Align 004-1-runtime-lifecycle-guard/FR-002, SC-002
+
+**Spec Requirement(规格需求)**: `004-1-runtime-lifecycle-guard` — `FR-002`, `SC-002`
+
+**Direction(方向)**: ALIGN(规格到代码)
+
+**Current Code(当前代码)**: `watchdog` 主要字符串 `broadcast`, 未将 `RuntimeControlLoopFailed` 写入 `ObservabilityPipeline`.
+
+**Required Change(需要变更)**: 启动路径持有观测入口, 失败路径构造类型化事件并经 `ObservabilityPipeline::emit` 落 journal, metrics, audit, 保留字符串广播为兼容旁路.
+
+**Files to Modify(需要修改的文件)**:
+
+- `src/runtime/watchdog.rs`
+- `src/runtime/lifecycle.rs` 或 `Supervisor` 启动绑定
+- `src/event/payload.rs`
+- `src/observe/pipeline.rs`
+- `src/observe/metrics.rs`
+- `src/tests/` 下控制循环失败可观测性测试
+
+**Estimated Effort(预估工作量)**: MEDIUM(中)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 控制循环异常退出时, 测试能断言至少一条类型化监督器事件进入观测测试夹具.
+- [ ] metrics 或 audit 中至少一项出现与失败对应的低基数计数或事实记录.
+
+---
+
+## Task P005: Align 004-2-real-shutdown-pipeline/FR-003
+
+**Spec Requirement(规格需求)**: `004-2-real-shutdown-pipeline` — `FR-003`
+
+**Direction(方向)**: ALIGN(规格到代码)
+
+**Current Code(当前代码)**: `ShutdownReconcileReport` 中 journal, metrics 状态来自 `core_runtime_completed()` 默认常量.
+
+**Required Change(需要变更)**: `execute_shutdown` 各阶段发出类型化关闭事件, 对账状态由 emit 结果或流水线可观测状态推导, 套接字保持 `NotOwned`.
+
+**Files to Modify(需要修改的文件)**:
+
+- `src/runtime/control_loop.rs`
+- `src/shutdown/report.rs`
+- `src/event/payload.rs`
+- `src/observe/pipeline.rs`
+- `src/tests/supervisor_real_shutdown_pipeline_test.rs`
+
+**Estimated Effort(预估工作量)**: MEDIUM(中)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 测试或观测夹具证明关闭完成路径上 journal, metrics 状态非无条件 `Recorded` 盲填.
+- [ ] 契约测试仍通过, 且不引入 compatibility export.
+
+---
+
+## Task P006: Align 003-supervisor-dashboard/SC-003, SC-012
+
+**Spec Requirement(规格需求)**: `003-supervisor-dashboard` — `SC-003`, `SC-012`
+
+**Direction(方向)**: ALIGN(规格到代码, 跨仓)
+
+**Current Code(当前代码)**: `specs/003-supervisor-dashboard/tasks.md` 中 `T066` 等仍未闭合.
+
+**Required Change(需要变更)**: 在相邻 `rust-supervisor-ui` 仓库实现 Playwright 定位验收与 `package.json` / `src` 下无 React 组件体系证明.
+
+**Files to Modify(需要修改的文件)**:
+
+- `../rust-supervisor-ui/` (仓库根与 `tests/` 或 CI 配置, 本任务不强制修改当前主仓)
+- `specs/003-supervisor-dashboard/tasks.md` (闭合勾选与证据链接)
+
+**Estimated Effort(预估工作量)**: LARGE(大)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] `T066` 及相关成功标准在 `tasks.md` 可勾选并附运行命令或 CI 链接.
+- [ ] 自动化脚本证明无 React 运行时依赖与无 `.tsx`/`.jsx` 业务源码.
+
+---
+
+## Task M007: Apply P007 Option C — drift supersession index
+
+**Spec Requirement(规格需求)**: 工作流元任务 — `001-create-supervisor-core` 宽口径条款与 `004` 系列关系
+
+**Direction(方向)**: META(元, 不改 `001` 正文)
+
+**Current Code(当前代码)**: 无代码变更.
+
+**Required Change(需要变更)**: 维护 `.specify/sync/drift-supersession.md`, 并在下次 `speckit.sync.analyze` 人工 triage 或脚本增强时引用该表, 将表中左列需求在已选右列规格活跃时的漂移标为 **SUPERSEDED**.
+
+**Files to Modify(需要修改的文件)**:
+
+- `.specify/sync/drift-supersession.md` (已创建, 后续迭代补行)
+- 可选: 生成 `drift-report` 的脚本或技能说明
+
+**Estimated Effort(预估工作量)**: SMALL(小)
+
+### Acceptance Criteria(验收标准)
+
+- [ ] 评审承认 `001` 正文未改, 但同步工作流有可查 supersession 表.
+- [ ] `apply-report` 与本任务交叉引用一致.
+
+---
+
+以下为历史 apply 产物 (2026-05-08), 其中绝对路径可能指向旧工作区克隆, **保留供审计**, 不作为当前仓库路径规范.
+
+---
+
+## Historical: 2026-05-08 apply(历史应用)
+
 Generated(生成时间): 2026-05-08T01:55:02+08:00
 Based on(基于): `.specify/sync/proposals.json`
 Approved Proposals(已批准提案): `P001`, `P002`
 
-## Task A001: Align 001-create-supervisor-core/FR-063
+### Task A001: Align 001-create-supervisor-core/FR-063
 
 **Spec Requirement(规格需求)**: `FR-063`
 
@@ -70,7 +267,7 @@ Approved Proposals(已批准提案): `P001`, `P002`
 - [X] 003 dashboard(看板) spec(规格), plan(计划), data model(数据模型), task(任务) 和 contract(契约) 文档全部改为 state(状态) 语义.
 - [X] 不新增 compatibility export(兼容导出), 历史别名或旧协议别名.
 
-## Task A002: Align 001-create-supervisor-core/SC-031
+### Task A002: Align 001-create-supervisor-core/SC-031
 
 **Spec Requirement(规格需求)**: `SC-031`
 

.specify/sync/apply-report.json

@@ -1,61 +1,35 @@
 {
-  "applied": "2026-05-08T01:55:02+08:00",
+  "applied": "2026-05-15T01:30:16+08:00",
   "based_on": {
-    "proposals_generated": "2026-05-08T01:38:44+08:00",
-    "path": ".specify/sync/proposals.json"
+    "proposals_path": ".specify/sync/proposals.json",
+    "drift_report_path": ".specify/sync/drift-report.json"
   },
-  "approved_proposals": [
-    "P001",
-    "P002"
-  ],
-  "changes_made": {
-    "specs_updated": [],
-    "new_specs_created": [],
-    "implementation_tasks_generated": [
-      {
-        "file": ".specify/sync/align-tasks.md",
-        "task": "A001",
-        "target": "001-create-supervisor-core/FR-063",
-        "type": "ALIGN"
-      },
-      {
-        "file": ".specify/sync/align-tasks.md",
-        "task": "A002",
-        "target": "001-create-supervisor-core/SC-031",
-        "type": "ALIGN"
-      }
-    ]
-  },
-  "proposal_status_updated": [
+  "specs_updated": [],
+  "new_specs_created": [],
+  "workflow_files_created": [
     {
-      "id": "P001",
-      "approved": true,
-      "action": "applied_align_tasks_generated",
-      "applied": true,
-      "applied_at": "2026-05-08T01:55:02+08:00"
-    },
-    {
-      "id": "P002",
-      "approved": true,
-      "action": "applied_align_tasks_generated",
-      "applied": true,
-      "applied_at": "2026-05-08T01:55:02+08:00"
+      "path": ".specify/sync/drift-supersession.md",
+      "reason": "P007 Option C superseded-by-004 index"
     }
   ],
-  "not_applied": [
-    {
-      "proposal": "P003",
-      "reason": "Rejected. Spec Kit sync extension is local workflow tooling, not a product feature spec."
-    }
+  "implementation_tasks_file": ".specify/sync/align-tasks.md",
+  "align_tasks_generated": [
+    "P001",
+    "P002",
+    "P003",
+    "P004",
+    "P005",
+    "P006",
+    "M007"
+  ],
+  "proposals_marked_applied": [
+    "P001",
+    "P002",
+    "P003",
+    "P004",
+    "P005",
+    "P006",
+    "P007"
   ],
-  "validation": {
-    "status": "passed",
-    "evidence": [
-      "jq parsed .specify/sync/proposals.json before apply.",
-      "rg scanned current repo, relay repo and UI repo to collect align task file targets.",
-      "jq parsed .specify/sync/apply-report.json and .specify/sync/proposals.json after apply.",
-      "git diff --check passed for sync apply artifacts.",
-      "rg found no Chinese punctuation in sync apply artifacts."
-    ]
-  }
+  "not_applied": []
 }

.specify/sync/apply-report.md

@@ -1,40 +1,41 @@
 # Sync Apply Report(同步应用报告)
 
-Applied(应用时间): 2026-05-08T01:55:02+08:00
-Based on(基于): `.specify/sync/proposals.json`
+Applied(应用时间): 2026-05-15T01:30:16+08:00
+Based on(基于): `.specify/sync/proposals.json` (全部 `approved: true` 的 `P001`..`P007`)
 
 ## Changes Made(已做变更)
 
 ### Specs Updated(已更新规格)
 
-None(无). 本轮批准项都是 ALIGN(对齐) proposal(提案), skill(技能) 规则要求生成 implementation tasks(实现任务), 不直接改规格正文.
+None(无). 本轮无 BACKFILL, 且 **P007** 选择 **Option C** 明确要求**不**修改 `specs/001-create-supervisor-core/spec.md` 正文.
 
 ### New Specs Created(已创建新规格)
 
-None(无). `P003` 已拒绝, 因为 Spec Kit sync extension(规格工具同步扩展) 是本地工作流资产, 不属于产品功能.
+None(无).
+
+### Drift Workflow Artifacts(偏差工作流产物)
+
+- 新增 `.specify/sync/drift-supersession.md`, 落实 **P007 Option C** 的 superseded 索引, 供后续 `speckit.sync.analyze` 人工分流或脚本引用.
 
 ### Implementation Tasks Generated(已生成实现任务)
 
-- `.specify/sync/align-tasks.md` 生成 `A001`, 对应 `001-create-supervisor-core/FR-063`.
-- `.specify/sync/align-tasks.md` 生成 `A002`, 对应 `001-create-supervisor-core/SC-031`.
+- 重写 `.specify/sync/align-tasks.md` **顶部**为 `2026-05-15` 批次: `P001`..`P006` 六条 ALIGN 对齐任务与 **M007** 元任务.
+- 保留 **2026-05-08** 历史 `A001`, `A002` 于 **Historical** 小节, 标题降级为 `###`, 避免双一级标题.
 
 ### Proposal Status Updated(已更新提案状态)
 
-- `P001` marked as applied by align task generation(已通过生成对齐任务应用).
-- `P002` marked as applied by align task generation(已通过生成对齐任务应用).
-- `P003` remains rejected(保持拒绝).
+- `P001`..`P007` 均已写入 `applied: true` 与 `applied_at` 于 `.specify/sync/proposals.json`.
 
 ### Not Applied(未应用)
 
-| Proposal(提案) | Reason(原因) |
-|---|---|
-| `P003` | Rejected(已拒绝). 本地 Spec Kit(规格工具) 工作流资产不进入产品功能规格. |
+None(无). 所有已批准提案均已落盘为任务或 supersession 索引.
+
+## Next Steps(下一步)
+
+1. 按 `align-tasks.md` 中 **Task P001** 起顺序实现或再拆任务.
+2. 评审 `.specify/sync/drift-supersession.md`, 必要时补行以覆盖 `drift-report` 中其余 001 条目.
+3. 可选提交: `git add .specify/sync/ && git commit -m "sync: apply drift resolutions (align-tasks, supersession, proposals applied)"`.
 
 ## Validation Evidence(验证证据)
 
-- `jq` parsed `.specify/sync/proposals.json` before apply(应用前解析成功).
-- `rg` scanned current repo, relay(中继) repo and UI(用户界面) repo to collect concrete align task(对齐任务) file targets.
-- Apply(应用) wrote `.specify/sync/align-tasks.md`, `.specify/sync/apply-report.md` and `.specify/sync/apply-report.json`.
-- `jq` parsed `.specify/sync/apply-report.json` and `.specify/sync/proposals.json` after apply(应用后解析成功).
-- `git diff --check` passed for sync apply artifacts(同步应用产物).
-- `rg` found no Chinese punctuation(中文标点) in sync apply artifacts(同步应用产物).
+- `python3 -m json.tool` 或等效解析确认 `proposals.json` 与将写入的 `apply-report.json` 结构合法.