@flyin-ai/alloy 0.1.0

package/openspec/schemas/alloy/instructions/verify.md

@@ -0,0 +1,90 @@
+# verify 制品指令
+
+**定位：** apply 阶段 step 4 产出。实现完成后的结构化验证——不依赖 LLM 自觉，通过具体命令逐项确认。
+与其他制品不同，verify.md 在 apply 阶段实现完成后产出，不在规划期生成。
+
+产出: `verify.md`
+依赖: plan.md 完成 + 代码已提交 + tasks.md checkbox 全部勾选
+
+## PRECHECK（shell 命令，非 LLM 判断）
+
+两条命令都返回 >0 才进入验证。若任一为 0，STOP 并告知用户 apply 阶段尚未产出可审查的变更：
+
+1. 提交证据：
+   ```
+   git log --oneline $(git merge-base HEAD origin/main 2>/dev/null || git merge-base HEAD origin/master 2>/dev/null)..HEAD | wc -l
+   ```
+
+2. 任务进度：
+   ```
+   grep -c '^- \[x\]' openspec/changes/<change-name>/tasks.md
+   ```
+
+## 技能调用
+
+使用 Skill 工具调用 **superpowers:verification-before-completion**（代码层验证在 step 3 完成），然后执行下方七项检查，将结果写入 verify.md。
+
+本步骤调用 `/opsx:verify`（即 openspec-verify-change），若不可用，降级为手动执行七项检查并记录结果。
+
+## 七项检查
+
+### 1. 结构校验
+执行 `openspec validate --all --json`（或等效检查）。确认每一项返回 `"valid": true`。
+若有任何失败项：记录问题 → 修复对应制品 → 重新验证。
+阻塞项。
+
+### 2. 任务完成
+确认 tasks.md 中所有 `- [ ]` 已变为 `- [x]`。统计完成率。
+若存在剩余 `- [ ]`：记录原因（manual / out-of-scope / blocked），并说明是否阻塞归档。
+阻塞项（有未完成的 task 且阻塞归档时）。
+
+### 3. Delta Spec 同步
+对 `openspec/changes/<name>/specs/` 下的每个目录，与 `openspec/specs/<capability>/spec.md` 对比，记录状态：
+- ✓ 已同步
+- ✗ 需要同步（列出 capability 名称）
+- N/A（无 delta spec 产出）
+阻塞项（有未同步的 delta spec 时）。
+
+### 4. Design / Specs 一致性抽查
+抽取 design.md 中的 2-3 个关键决策点，在 specs 中确认有对应的行为需求。
+记录任何偏离作为 WARNING（非阻塞）。
+
+### 5. 实现信号
+确认所有代码变更已提交（worktree 中无未暂存文件）。
+记录提交范围：`<base>..HEAD`。
+阻塞项（无提交记录时）。
+
+### 6. 路由泄漏检测（WARNING，非阻塞）
+执行：
+```
+ls docs/superpowers/specs/*.md 2>/dev/null
+```
+若存在文件，记录 WARNING：
+"Front-door routing leak — design output found at docs/superpowers/specs/...
+这些内容应属于 openspec/changes/<name>/ 下的 draft.md 或 design.md。
+确认内容已捕获到 change 目录后，移动或删除泄漏文件。"
+非阻塞——用户可能在安装 schema 之前就有该目录的合法使用。
+
+### 7. 延期任务 vs 自动化测试等价对照
+若 plan.md 中存在 `[~]` 延期任务（手动冒烟 / dogfood / 线上环境检查等），逐个列出并找出覆盖相同断言的等价自动化测试。
+若某延期任务无等价自动化测试覆盖，该行代表真实覆盖缺口：
+- 记录到 retrospective §2 Misses，附带后续计划
+- 不静默延后
+非阻塞——Overall Decision 即使有缺口也保持 PASS（前提是缺口已记录为后续计划）。
+仅当 §7 为空但 plan.md 中确有 `[~]` 行时才算阻塞（说明 gap analysis 被跳过）。
+
+## 结果判定
+
+- **PASS** — 全部 7 项通过（允许 WARNING）
+- **PASS WITH WARNINGS** — 有非阻塞 WARNING（如 §4 偏离、§6 路由泄漏、§7 覆盖缺口），已全部记录
+- **FAIL** — 有阻塞问题（§1 结构校验失败、§2 有未完成且阻塞归档的 task、§5 无实现信号、§7 gap analysis 被跳过）
+
+FAIL 时列出具体修复项，循环修复直到 PASS 或 PASS WITH WARNINGS。
+
+## 重新运行策略
+
+verify 可多次重新运行——每次运行用当前状态覆盖 verify.md。
+
+## 降级策略
+
+若 `/opsx:verify` 不可用，降级为手动执行上方七项检查并记录结果到 verify.md。

package/openspec/schemas/alloy/schema.yaml

@@ -0,0 +1,100 @@
+name: alloy
+version: 1
+description: >
+  Alloy schema - 融合 OpenSpec 制品治理和 Superpowers 执行技能。
+  Pre-OpenSpec 阶段产出 draft.md，规划阶段依次生成 proposal → design → specs → tasks → plans。
+  执行阶段（apply）编排：worktree 隔离 → SDD(TDD) → 代码验证 → 制品验证 → 复盘。
+  收尾阶段：/alloy-archive（归档），/alloy-finish（合入）。
+
+artifacts:
+  - id: draft
+    description: Pre-OpenSpec 阶段产出——explore + brainstorming 的设计草案
+    generates: draft.md
+    template: draft.md
+    instruction: draft.md
+    requires: []
+
+  - id: proposal
+    description: 变更提案——Why/What/Scope，读 draft.md 产出
+    generates: proposal.md
+    template: proposal.md
+    instruction: proposal.md
+    requires: [draft]
+
+  - id: design
+    description: 技术设计——架构决策和实现方案，依赖 proposal
+    generates: design.md
+    template: design.md
+    instruction: design.md
+    requires: [proposal]
+
+  - id: specs
+    description: 行为规格——Capability 级别的功能契约，只读 proposal 防止被技术细节污染
+    generates: "specs/"
+    template: specs.md
+    instruction: specs.md
+    requires: [proposal]
+
+  - id: tasks
+    description: 任务清单——可追踪的实现任务拆解
+    generates: tasks.md
+    template: tasks.md
+    instruction: tasks.md
+    requires: [specs, design]
+
+  - id: plans
+    description: 执行脚本——给 Agent 执行的微步骤路线图（含代码片段）
+    generates: plans.md
+    template: plans.md
+    instruction: plans.md
+    requires: [tasks]
+
+  - id: verify
+    description: 制品验证——7 项结构化检查，apply 阶段产出
+    generates: verify.md
+    template: verify.md
+    instruction: verify.md
+    requires: [plans]
+
+  - id: retrospective
+    description: 复盘报告——证据驱动的 §0-§6 结构化复盘
+    generates: retrospective.md
+    template: retrospective.md
+    instruction: retrospective.md
+    requires: [verify]
+
+apply:
+  requires: [plans]
+  tracks: tasks.md
+
+  precheck:
+    - superpowers:using-git-worktrees
+    - superpowers:subagent-driven-development
+    - superpowers:executing-plans
+    - superpowers:test-driven-development
+    - superpowers:requesting-code-review
+    - superpowers:verification-before-completion
+
+  steps:
+    - order: 1
+      skill: superpowers:using-git-worktrees
+      description: 创建隔离 workspace
+
+    - order: 2
+      skill: superpowers:subagent-driven-development
+      description: SDD + TDD + code review 执行 tasks
+      transitive: [superpowers:test-driven-development, superpowers:requesting-code-review]
+      fallback: superpowers:executing-plans
+
+    - order: 3
+      skill: superpowers:verification-before-completion
+      description: 代码层验证 — 测试通过、行为正确
+
+    - order: 4
+      skill: opsx:verify
+      description: 制品层验证 — 7 项结构化检查，产出 verify.md
+      produces: verify
+
+    - order: 5
+      description: 证据驱动复盘 — 纯 AI 生成，产出 retrospective.md
+      produces: retrospective

package/openspec/schemas/alloy/templates/design.md

@@ -0,0 +1,15 @@
+## 架构决策
+
+<!-- 整体架构方案 -->
+
+## 技术选型
+
+<!-- 关键技术选择及理由 -->
+
+## 集成点
+
+<!-- 与现有系统的接口和交互方式 -->
+
+## 数据流
+
+<!-- 数据如何流转 -->

package/openspec/schemas/alloy/templates/draft.md

@@ -0,0 +1,17 @@
+# [功能名称]
+
+## Why
+
+<!-- 为什么要做这个功能 -->
+
+## What
+
+<!-- 功能方案概述 -->
+
+## 关键决策
+
+<!-- 关键技术决策及理由 -->
+
+## 范围与边界
+
+<!-- 做什么，不做什么 -->

package/openspec/schemas/alloy/templates/plans.md

@@ -0,0 +1,28 @@
+---
+strategy: sdd
+reason: 任务独立、可并行（由 writing-plans 技能分析后填入）
+---
+
+# [功能名称] 实现计划
+
+> **Goal:** [目标描述]
+
+**Architecture:** [架构方案]
+
+**Tech Stack:** [技术栈]
+
+---
+
+## Task 1: [任务名]
+
+**Files:** [涉及文件]
+
+- [ ] **Step 1: [步骤描述]**
+- [ ] **Step 2: [步骤描述]**
+
+## Task 2: [任务名]
+
+**Files:** [涉及文件]
+
+- [ ] **Step 1: [步骤描述]**
+- [ ] **Step 2: [步骤描述]**

package/openspec/schemas/alloy/templates/proposal.md

@@ -0,0 +1,22 @@
+## Why
+<!-- 为什么做这个变更。要解决什么问题？为什么现在做？ -->
+
+## What Changes
+<!-- 描述具体变更内容。新的能力、修改、移除。 -->
+
+## Capabilities
+
+### New Capabilities
+<!--
+  每个新能力用 kebab-case 命名（如 user-auth），会生成 specs/<name>/spec.md。
+  新能力列表是 proposal 与 specs 之间的契约——specs 阶段为每个新能力创建 spec 文件。
+-->
+
+### Modified Capabilities
+<!--
+  仅当现有能力有 spec 级别的行为变化时才列出。
+  每个 Modified 能力需要一个 delta spec 文件。
+-->
+
+## Impact
+<!-- 影响范围：受影响的代码、API、依赖、系统 -->

package/openspec/schemas/alloy/templates/retrospective.md

@@ -0,0 +1,163 @@
+# Retrospective
+
+> 生成前 PRECHECK：
+> 1. 确认 `verify.md` 存在
+> 2. 确认 verify.md 的 Overall Decision 不是 FAIL
+> 两项都通过后才生成 retrospective。每项结论引用具体 commit hash、文件路径或测试名称。
+
+## §0 量化全景
+
+### 全周期时间线
+<!-- 从 .alloy.yaml records 提取：created_at → 每个制品的 committed_at -->
+
+| 制品 | 审批人 | Hash | 审批时间 |
+|------|--------|------|---------|
+| draft | | | |
+| proposal | | | |
+| design | | | |
+| specs | | | |
+| tasks | | | |
+| plans | | | |
+| verify | | | |
+| retrospective | | | |
+
+### Commit 汇总（按 type）
+<!-- git log <base>..HEAD --oneline，按 Conventional Commits type 分组 -->
+
+| Type | 数量 |
+|------|-----|
+| feat | |
+| docs | |
+| chore | |
+| fix | |
+| test | |
+| 其他 | |
+
+### Commit 汇总（按阶段）
+<!-- 根据 commit message 前缀分组 -->
+
+| 阶段 | 数量 |
+|------|-----|
+| start | |
+| plan | |
+| apply | |
+
+### 阶段耗时
+<!-- .alloy.yaml created_at + git log 最后 commit 时间 -->
+
+| 阶段 | 开始 | 结束 | 耗时 |
+|------|------|------|-----|
+| start | | | |
+| plan | | | |
+| apply | | | |
+| **总计** | | | |
+
+### 任务完成比
+<!-- tasks.md checkbox -->
+
+已勾 / 总数 = xx%
+
+### 变更规模
+<!-- git diff --stat <base>..HEAD -->
+
+- 文件数：
+- 行数（+/-）：
+
+### Worktree 状态
+<!-- .alloy.yaml worktree -->
+
+### 计划策略 vs 实际策略
+<!-- plans.md frontmatter strategy vs Agent 自报 -->
+
+- 计划推荐：
+- 实际采用：
+- 偏差原因（如有）：
+
+### 验证状态
+<!-- verify.md Overall Decision -->
+
+### 测试覆盖信号
+<!-- 测试文件 vs 源文件变更比例 -->
+
+### 完整提交链
+<!-- git log <base>..HEAD --oneline -->
+```
+```
+
+## §1 做对了什么
+
+<!-- 什么做得好，每条引用 §0 的证据 -->
+
+## §2 做错了什么
+
+<!-- 按严重程度标注，每条带 evidence：
+- 🔴 [blocking | evidence: <commit/file/test>] <描述>
+- 🟡 [painful  | evidence: <commit/file/test>] <描述>
+- 📌 [nit      | evidence: <commit/file/test>] <描述>
+-->
+
+## §3 计划偏离
+
+<!-- 哪些 task 的范围在执行中发生了变化，为什么 -->
+
+| Plan task | What changed | Why |
+|-----------|-------------|-----|
+| | | |
+
+## §4 全周期技能审计
+
+### start 阶段
+
+| 技能/命令 | 使用 |
+|----------|:---:|
+| `opsx:explore` | |
+| `superpowers:brainstorming` | |
+
+### plan 阶段
+
+| 技能/命令 | 使用 |
+|----------|:---:|
+| `/opsx:continue` | |
+| `superpowers:writing-plans` | |
+
+### apply 阶段
+
+| 技能/命令 | 使用 |
+|----------|:---:|
+| `superpowers:using-git-worktrees` | |
+| `superpowers:subagent-driven-development` | |
+| `superpowers:executing-plans` | |
+| `superpowers:test-driven-development` | |
+| `superpowers:requesting-code-review` | |
+| `superpowers:verification-before-completion` | |
+| `/opsx:verify` | |
+
+### Deliberately Skipped Skills
+
+<!-- 对于每个标记 ✗ 的技能，填写以下三项：
+1. **What was skipped** — 具体跳过了哪个技能或子步骤
+2. **Why this cycle** — 具体触发原因（必须有具体的 commit hash、日志行或观察到的行为）
+3. **How to prevent recurrence** — schema graph fix / skill description tightening / CLAUDE.md trigger / scope-judgment rule / one-off
+-->
+
+## §5 意外发现
+
+<!-- 哪些假设被证明是错误的 -->
+
+## §6 值得推广
+
+<!-- 使用 - [ ] checklist，未勾选的 = 跨周期 carry-forward
+格式：
+- [ ] 🔴 教训简述
+  → **Promote to** memory（或 CLAUDE.md / schema / skill / one-off）
+  > **Why**: <原因>
+  > **How to apply**: <触发条件>
+-->
+
+---
+
+## Forward-Pointer 策略
+
+后续 cycle 发现本 retrospective 中结论有误时：
+- **不要重写**本文件（会丢失审计线索）
+- 追加：`> **Update YYYY-MM-DD**: section X superseded by <链接>

package/openspec/schemas/alloy/templates/specs.md

@@ -0,0 +1,54 @@
+<!--
+  Delta spec 模板 — 跟踪对 capability spec 的变更。
+  路径：openspec/changes/<change-name>/specs/<capability>/spec.md
+
+  硬校验规则（OpenSpec 严格校验）：
+  - Requirement 描述 MUST 含 SHALL 或 MUST
+  - 每个 Requirement MUST 至少有一个 #### Scenario:
+  - Scenario MUST 用 level-4 (####)，level-3 或 bullet 会导致静默解析失败
+-->
+
+## ADDED Requirements
+<!-- 新增的行为能力 -->
+
+### Requirement: <requirement name>
+<requirement text — 须含 SHALL 或 MUST>
+
+#### Scenario: <scenario name>
+- **WHEN** <condition>
+- **THEN** <expected outcome>
+
+---
+
+## MODIFIED Requirements
+<!--
+  修改的现有行为。MUST 包含完整更新后的内容（不只是 diff）。
+  使用与 openspec/specs/<capability>/spec.md 完全相同的 header。
+-->
+
+### Requirement: <requirement name>
+<完整更新后的内容 — 须含 SHALL 或 MUST>
+
+#### Scenario: <scenario name>
+- **WHEN** <condition>
+- **THEN** <expected outcome>
+
+---
+
+## REMOVED Requirements
+<!-- 每个条目 MUST 包含 Reason 和 Migration 说明 -->
+
+### Requirement: <exact header to delete>
+**Reason**: <why removed>
+**Migration**: <how existing consumers should adapt>
+
+---
+
+## RENAMED Requirements
+<!--
+  Archive 时的 apply 顺序：RENAMED → REMOVED → MODIFIED → ADDED
+  如果内容也有变化，在此列出 rename，完整内容放到 MODIFIED（使用新 header）。
+-->
+
+- FROM: `### Requirement: <Old Name>`
+- TO: `### Requirement: <New Name>`

package/openspec/schemas/alloy/templates/tasks.md

@@ -0,0 +1,8 @@
+## 实现任务
+
+- [ ] 1. [任务类别]
+  - [ ] 1.1 [具体任务]
+  - [ ] 1.2 [具体任务]
+- [ ] 2. [任务类别]
+  - [ ] 2.1 [具体任务]
+  - [ ] 2.2 [具体任务]

package/openspec/schemas/alloy/templates/verify.md

@@ -0,0 +1,55 @@
+# Verify: <change-name>
+
+> 生成时间: <timestamp>
+> 提交范围: <base>..HEAD
+
+## Overall Decision
+
+- [ ] ✅ PASS
+- [ ] ⚠️ PASS WITH WARNINGS
+- [ ] ❌ FAIL
+
+## 1. 结构校验
+
+- 状态: <!-- ✓ / ✗ -->
+- 命令: `openspec validate --all --json`
+- 输出: <!-- 命令输出摘要 -->
+
+## 2. 任务完成
+
+- 已完成: <!-- N --> / <!-- 总数 -->
+- 完成率: <!-- 百分比 -->
+- 未完成项: <!-- 列出或 "无" -->
+- 是否阻塞归档: <!-- 是 / 否 -->
+
+## 3. Delta Spec 同步
+
+- 状态: <!-- ✓ / ✗ / N/A -->
+- 变更的 Capability: <!-- 列出 -->
+- 冲突: <!-- 列出或 "无" -->
+
+## 4. Design / Specs 一致性抽查
+
+| Design 决策 | Specs 对应 | 状态 |
+|------------|-----------|------|
+| <!-- 决策 --> | <!-- 对应需求 --> | <!-- ✓ / ✗ --> |
+
+## 5. 实现信号
+
+- 提交数: <!-- N -->
+- 变更文件: <!-- N -->
+- 状态: <!-- ✓ / ✗ -->
+
+## 6. 路由泄漏检测
+
+- 命令: `ls docs/superpowers/specs/*.md 2>/dev/null`
+- 状态: <!-- ✓ / ⚠️ -->
+- 泄漏文件: <!-- 列出或 "无" -->
+
+## 7. 延期任务对照
+
+| 延期任务 | 等价自动化覆盖 | 状态 |
+|---------|--------------|------|
+| <!-- 任务 --> | <!-- 覆盖方式 --> | <!-- ✓ / ⚠️ --> |
+
+> 状态说明：✓ 有等价自动化覆盖 | ⚠️ 无等价覆盖（记录到 retrospective §2 Misses）

package/package.json

@@ -0,0 +1,43 @@
+{
+  "name": "@flyin-ai/alloy",
+  "version": "0.1.0",
+  "description": "Alloy - OpenSpec + Superpowers 编排层 CLI 工具",
+  "type": "module",
+  "main": "dist/cli/index.js",
+  "bin": {
+    "alloy": "dist/cli/index.js"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/Rushing0711/alloy.git"
+  },
+  "files": [
+    "dist/",
+    "compat.yaml",
+    "commands/",
+    "openspec/schemas/alloy/"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "postbuild": "chmod +x dist/cli/index.js",
+    "dev": "tsc --watch",
+    "test": "vitest run",
+    "test:watch": "vitest"
+  },
+  "dependencies": {
+    "@inquirer/prompts": "^8.5.0",
+    "semver": "^7.7.0",
+    "yaml": "^2.7.0"
+  },
+  "devDependencies": {
+    "@types/node": "^22.0.0",
+    "@types/semver": "^7.7.0",
+    "@vitest/coverage-istanbul": "^3.2.4",
+    "typescript": "^5.8.0",
+    "vitest": "^3.1.0"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "license": "MIT"
+}