@flyin-ai/alloy 0.1.0

package/dist/core/types.d.ts

@@ -0,0 +1,76 @@
+export interface AgentInfo {
+    id: string;
+    label: string;
+    supportsColonCommands: boolean;
+    commandsDir: string;
+    globalOnly?: boolean;
+}
+export interface DeployOptions {
+    scope: "global" | "project";
+    injectClaudeMd: boolean;
+    projectPath: string;
+    targetAgents: AgentInfo[];
+}
+export interface EnvInfo {
+    nodeVersion: string;
+    gitInstalled: boolean;
+    claudeCodeInstalled: boolean;
+}
+export interface CompatConfig {
+    compatible: {
+        node: string;
+        openspec: string;
+        superpowers: string;
+        alloy: string;
+        schema: number;
+    };
+    install: {
+        openspec: string;
+        superpowers: string;
+    };
+}
+/** @deprecated 使用 HealthCheckResult 替代 */
+export interface CompatResult {
+    name: string;
+    current: string;
+    required: string;
+    compatible: boolean;
+}
+export interface HealthCheckResult {
+    name: string;
+    status: "pass" | "warn" | "fail";
+    current: string;
+    required: string;
+    message?: string;
+}
+export interface DepCheckResult {
+    installed: boolean;
+    version?: string;
+    compatible: boolean;
+}
+export interface ArtifactRecord {
+    artifact: string;
+    hash: string;
+    committed_at: string;
+    approver: string;
+}
+export interface PhaseTiming {
+    started_at: string;
+    completed_at: string | null;
+}
+export interface PhaseTimings {
+    start?: PhaseTiming;
+    plan?: PhaseTiming;
+    apply?: PhaseTiming;
+    archive?: PhaseTiming;
+    finish?: PhaseTiming;
+}
+export interface AlloyState {
+    phase: "started" | "planned" | "applied" | "archived" | "finished";
+    worktree: string | null;
+    schema_version: number;
+    created_at: string;
+    updated_at: string;
+    phase_timings?: PhaseTimings;
+    records: ArtifactRecord[];
+}

package/dist/core/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":""}

package/dist/utils/fs.d.ts

@@ -0,0 +1 @@
+export declare function getPackageRoot(): string;

package/dist/utils/fs.js

@@ -0,0 +1,7 @@
+import { join, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
+export function getPackageRoot() {
+    // 从 dist/utils/ 回到包根目录（2 级: utils → dist → root）
+    return join(dirname(fileURLToPath(import.meta.url)), "..", "..");
+}
+//# sourceMappingURL=fs.js.map

package/dist/utils/fs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs.js","sourceRoot":"","sources":["../../src/utils/fs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,MAAM,UAAU,cAAc;IAC5B,iDAAiD;IACjD,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACnE,CAAC"}

package/dist/utils/prompt.d.ts

@@ -0,0 +1,10 @@
+export declare const supportsInquirer: boolean;
+export interface Choice {
+    name: string;
+    value: string;
+}
+export declare function promptSelect(message: string, choices: Choice[]): Promise<string>;
+export declare function promptMultiSelect(message: string, choices: Choice[], opts?: {
+    validate?: (ids: string[]) => true | string;
+}): Promise<string[]>;
+export declare function promptConfirm(message: string, defaultValue?: boolean): Promise<boolean>;

package/dist/utils/prompt.js

@@ -0,0 +1,90 @@
+import { createInterface } from "node:readline";
+// 一次判断，启动时确定
+export const supportsInquirer = (() => {
+    const [major] = process.versions.node.split(".").map(Number);
+    return major >= 20;
+})();
+// —— 底层 stdin helpers ——
+function ask(question) {
+    const rl = createInterface({ input: process.stdin, output: process.stdout });
+    return new Promise((resolve) => {
+        rl.question(question, (answer) => {
+            rl.close();
+            resolve(answer);
+        });
+    });
+}
+export async function promptSelect(message, choices) {
+    if (supportsInquirer) {
+        const { select } = await import("@inquirer/prompts");
+        return select({ message, choices });
+    }
+    // stdin fallback
+    console.log(message);
+    choices.forEach((c, i) => console.log(`  [${i + 1}] ${c.name}`));
+    const answer = await ask(`输入数字 (1-${choices.length}): `);
+    const idx = parseInt(answer.trim(), 10) - 1;
+    if (idx >= 0 && idx < choices.length)
+        return choices[idx].value;
+    return choices[0].value;
+}
+export async function promptMultiSelect(message, choices, opts) {
+    if (supportsInquirer) {
+        const { checkbox } = await import("@inquirer/prompts");
+        // @inquirer checkbox 的 validate 传入 NormalizedChoice[]，适配为 string[]
+        const rawValidate = opts?.validate;
+        return checkbox({
+            message,
+            choices: choices.map((c) => ({ name: c.name, value: c.value })),
+            validate: rawValidate
+                ? (vals) => rawValidate(vals.map((v) => v.value))
+                : undefined,
+        });
+    }
+    // stdin fallback: 编号多选
+    while (true) {
+        console.log(message);
+        choices.forEach((c, i) => console.log(`  [${i + 1}] ${c.name}`));
+        const answer = await ask("输入编号，逗号分隔: ");
+        const trimmed = answer.trim();
+        if (!trimmed) {
+            if (opts?.validate) {
+                const err = opts.validate([]);
+                if (err !== true) {
+                    console.log(`  ⚠ ${err}`);
+                    continue;
+                }
+            }
+            return [];
+        }
+        const ids = [];
+        const parts = trimmed.split(/[,，\s]+/);
+        for (const p of parts) {
+            const idx = parseInt(p, 10) - 1;
+            if (idx >= 0 && idx < choices.length) {
+                ids.push(choices[idx].value);
+            }
+        }
+        if (opts?.validate) {
+            const err = opts.validate(ids);
+            if (err !== true) {
+                console.log(`  ⚠ ${err}`);
+                continue;
+            }
+        }
+        return ids;
+    }
+}
+export async function promptConfirm(message, defaultValue) {
+    if (supportsInquirer) {
+        const { confirm } = await import("@inquirer/prompts");
+        return confirm({ message, default: defaultValue });
+    }
+    const suffix = defaultValue === true ? " [Y/n] " : defaultValue === false ? " [y/N] " : " [y/N] ";
+    const answer = await ask(message + suffix);
+    const trimmed = answer.trim().toLowerCase();
+    if (trimmed === "")
+        return defaultValue ?? false;
+    return trimmed === "y" || trimmed === "yes";
+}
+//# sourceMappingURL=prompt.js.map

package/dist/utils/prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/utils/prompt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,aAAa;AACb,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE;IACpC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7D,OAAO,KAAK,IAAI,EAAE,CAAC;AACrB,CAAC,CAAC,EAAE,CAAC;AAEL,yBAAyB;AAEzB,SAAS,GAAG,CAAC,QAAgB;IAC3B,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7B,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAc,EAAE,EAAE;YACvC,EAAE,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AASD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAe,EAAE,OAAiB;IACnE,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACrD,OAAO,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,WAAW,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IAC5C,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,OAAO,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAChE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAe,EACf,OAAiB,EACjB,IAAsD;IAEtD,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACvD,mEAAmE;QACnE,MAAM,WAAW,GAAG,IAAI,EAAE,QAAQ,CAAC;QACnC,OAAO,QAAQ,CAAC;YACd,OAAO;YACP,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC/D,QAAQ,EAAE,WAAW;gBACnB,CAAC,CAAC,CAAC,IAAgD,EAAE,EAAE,CACnD,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACzC,CAAC,CAAC,SAAS;SACd,CAAsB,CAAC;IAC1B,CAAC;IAED,uBAAuB;IACvB,OAAO,IAAI,EAAE,CAAC;QACZ,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACnB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC9B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBAAC,OAAO,CAAC,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;oBAAC,SAAS;gBAAC,CAAC;YAC5D,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;gBACrC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;QAC5D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAe,EAAE,YAAsB;IACzE,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACtD,OAAO,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAClG,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,YAAY,IAAI,KAAK,CAAC;IACjD,OAAO,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,KAAK,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,46 @@
+# design 制品指令
+
+**定位：** 解释"怎么做"的技术方案。将 draft.md 中的技术决策重组为结构化设计文档。design 是 tasks 的输入——tasks 依赖它来确定实现步骤。
+
+产出: `design.md`
+依赖: proposal + draft（由 instruction 读取）
+
+## 生成指令
+
+读取 draft.md 作为输入。draft.md 是 brainstorming 的原始捕获（通常是决策日志，含 Q1-Qn 决策、取舍和上下文）。你的工作是**重组（reorganize）**这些内容到以下结构化章节中——不是复制，是转换：
+
+**## Context**
+背景、当前状态、约束条件、利益相关者。给读者理解"为什么需要这个设计"的上下文。
+
+**## Goals / Non-Goals**
+- Goals: 本次设计达成的目标
+- Non-Goals: 明确排除的内容——防止范围蔓延
+
+**## Decisions**
+关键技术选择。每个决策包含：
+- 选择什么
+- 为什么选 X 而非 Y（列出考虑过的替代方案及排除理由）
+- 取舍是什么（性能 vs 复杂度、灵活性 vs 简单性）
+
+从 draft.md 中提取：决策（Q1-Qn）→ design.md §Decisions；背景/上下文 → design.md §Context；取舍 → design.md §Risks / Trade-offs。补充 Goals/Non-Goals 和 Migration Plan（可能需要根据 draft.md 内容推断）。
+
+**## Risks / Trade-offs**
+已知限制和可能出错的地方。格式：`[风险] → 缓解措施`
+
+**## Migration Plan**
+部署步骤、回滚策略（如适用）。涉及数据迁移时必须写。
+
+**## Open Questions**
+待解决的决策或未知项。
+
+## IMPORTANT
+
+- 这是重组，不是复制。draft.md 中分散的决策要重新组织到对应的结构化章节中
+- 技术方案受 proposal Capabilities 范围约束——不要设计超出范围的东西
+- 好的 design doc 解释"为什么选 X 而非 Y"——列出替代方案及排除理由
+- 聚焦架构和方案，不写逐行实现细节
+
+## 约束
+
+- 与 draft.md 中的决策保持一致，不可自行偏离
+- design 读 draft.md，但不在草案之外引入新的需求假设

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

@@ -0,0 +1,39 @@
+# draft 制品指令
+
+**定位：** Pre-OpenSpec 阶段的需求设计草案。draft.md 是 proposal 和 design 的唯一需求输入——先把事情想清楚，再结构化。
+
+产出: `draft.md`（start 阶段生成于项目根目录，确认后移入 `openspec/changes/<name>/`）
+依赖: 无
+
+## 生成指令
+
+PRECHECK — 技能可用性：
+在调用前确认 `superpowers:brainstorming` 在你的可用技能列表中。若不可用，STOP 并告知用户需要安装 Superpowers（或用户可明确选择用下方模板手动写 draft.md）。不要静默降级。
+
+使用 Skill 工具调用 **superpowers:brainstorming**。
+
+IMPORTANT — 输出重定向：
+- 不要写入 `docs/superpowers/specs/`。将 brainstorming 输出直接写入项目根目录 `draft.md`
+- draft.md 是**原始捕获**——不强制模板结构，保留 brainstorming 的自然输出。brainstorming 的典型输出是决策日志（背景 → 决策链 Q1-Qn → 设计取舍），但具体格式因对话而异。保留其自然组织方式
+- 不要在此步骤预先填充 design.md。design.md 是独立制品，在后续阶段重组 draft.md 内容
+
+brainstorming 技能将：
+1. 探查项目上下文
+2. 逐个询问澄清问题
+3. 提出 2-3 个方案及取舍
+4. 按章节展示设计并获取审批
+5. 输出已验证的设计
+
+## draft.md 内容
+
+自由格式，通常包含：
+- **Why** — 要解决的问题
+- **What** — 方案概述
+- **关键决策链** — Q1 → Qn 技术决策及理由
+- **范围与边界** — 明确不做什么
+
+## 约束
+
+- draft.md 初始生成在项目根目录。start 阶段确认后由 `/opsx:new` 创建 change 目录，draft.md 移入 `openspec/changes/<name>/`
+- 不将 brainstorming 输出写入 `docs/superpowers/specs/`——draft.md 是唯一产出
+- 完成后提示用户：可用 grill-me 深入拷问需求，确认后运行 `/alloy:plan`

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

@@ -0,0 +1,59 @@
+# plans 制品指令
+
+**定位：** 将 tasks.md 的粗粒度 checkbox 拆为可执行的 TDD 微步骤。plans.md 是 apply 阶段的直接输入——每个微步骤对应一个 RED-GREEN-REFACTOR 循环。
+
+产出: `plans.md`（TDD 微步骤）
+依赖: tasks
+
+## 生成指令
+
+PRECHECK — 技能可用性：
+在调用前确认 `superpowers:writing-plans` 在你的可用技能列表中。若不可用，STOP 并告知用户需要安装 Superpowers（或用户可明确选择用下方模板手动写 plans.md）。不要静默降级。
+
+使用 Skill 工具调用 **superpowers:writing-plans**。
+
+IMPORTANT — 输出位置：
+- 产出文件直接写入当前 change 目录：`openspec/changes/<name>/plans.md`
+- 将 tasks.md 的内容作为分解输入传给 writing-plans 技能
+
+writing-plans 技能将：
+1. 读取 tasks.md 和 design.md 获取上下文
+2. 分析任务特征，决定执行策略（SDD 并行 vs 串行），写入 YAML frontmatter
+3. 将每个 task 拆为 2-5 分钟的 TDD 微步骤
+4. 每步包含：目标、文件路径、TDD 步骤（RED → GREEN → REFACTOR）、测试命令、预期输出
+5. 在每个 task 后添加 commit 点
+
+## plans.md 结构
+
+### YAML Frontmatter
+
+```yaml
+---
+strategy: sdd | serial
+reason: <策略背后的分析理由，apply 阶段展示给用户>
+---
+```
+
+- `strategy`: `sdd`（任务独立可并行）或 `serial`（任务耦合需串行）
+- `reason`: writing-plans 分析后的一两句话，apply 阶段展示给用户作为推荐依据
+
+### 微步骤格式
+
+每个微步骤应包含：
+- **目标：** 这一步要达成什么
+- **文件路径：** 涉及的文件
+- **TDD 步骤：** RED（写失败测试）→ GREEN（最小实现）→ REFACTOR（重构）
+- **测试命令：** 验证该步骤的具体命令
+- **预期输出：** 测试通过后的预期结果
+
+## IMPORTANT
+
+- tasks.md 已经完成了粗粒度拆分——plan 的工作是细化，不是重做
+- plan 的微步骤粒度 = 一个子 agent 可以在 2-5 分钟内完成的单元
+- 每一步都应该是可独立验证的——写完就能跑测试确认
+
+## 约束
+
+- 不跳过 TDD 循环——每步必须有 RED → GREEN → REFACTOR
+- 不提供一键生成——始终分步，每步可审查
+- plan 完成后不自动进入 apply——给用户空间审视完整计划

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

@@ -0,0 +1,34 @@
+# proposal 制品指令
+
+**定位：** 基于 draft.md 的需求探索结果，提取并浓缩变更范围。proposal 是规划阶段的第一个正式制品——其 Capabilities 列表创建了 proposal 与 specs 之间的合约：specs 仅读取 Capabilities 列表，不读取 draft.md。
+
+产出: `proposal.md`
+依赖: draft（由 instruction 读取，不通过 schema requires 声明）
+
+## 生成指令
+
+读取 draft.md 获取已验证的设计。提取：
+
+**## Why**
+变更动机。简述问题或机会，1-2 段即可。聚焦业务价值，不写技术细节。
+
+**## What Changes**
+Capabilities 列表——这是最关键的部分。Capabilities 是抽象的行为能力描述：
+- **New Capabilities：** 本次变更引入的新能力。每个使用 kebab-case 命名（如 `user-authentication`、`payment-capture`）。每个将成为 `specs/<capability>/spec.md`
+- **Modified Capabilities：** 现有能力的 REQUIREMENTS 发生变化。检查 `openspec/specs/` 确认已有 spec 名称，不要编造不存在的 Capability 名
+- 每个 Capability 一行简短描述，说明它做什么（而非怎么实现）
+
+**## Impact**
+受影响的范围：代码模块、API、依赖、数据迁移。1-2 段。
+
+## IMPORTANT
+
+- draft.md 已经完成了需求探索——proposal 是**提取和浓缩**，不是重新探索
+- **Capabilities 是合约：** proposal 列出的每个 Capability，specs 阶段都必须有对应的 spec 文件。不要列出你不会实现的 Capability
+- **区分新能力 vs 修改能力：** 行为规格变了但概念相同 → Modified；引入了全新概念 → New
+- 保持 1-2 页。聚焦"为什么"和"做什么"，不写"怎么做"
+
+## 约束
+
+- Capabilities 必须是抽象的行为能力描述，不含技术实现细节（如"用 Redis 缓存" → 应写为"支持会话持久化"）
+- 范围不超出 draft.md 中约定的边界

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

@@ -0,0 +1,157 @@
+# retrospective 制品指令
+
+**定位：** apply 阶段 step 5 产出。复盘覆盖 start → plan → apply 全周期，先量化再定性，先证据再判断。
+retrospective 的价值在于捕获"当时知道什么、怎么推理的"，不是事后美化。
+
+产出: `retrospective.md`
+依赖: verify.md 存在且 Overall Decision 不是 FAIL
+
+## PRECHECK（shell 命令，非 LLM 判断）
+
+两条命令都通过后才生成 retrospective：
+
+1. 确认 verify.md 存在：
+   ```
+   test -f openspec/changes/<change-name>/verify.md
+   ```
+
+2. 确认 Overall Decision 不是 FAIL：
+   ```
+   ! grep -q '^- \[x\] ❌ FAIL' openspec/changes/<change-name>/verify.md
+   ```
+
+FAIL 时 STOP，告知用户先修复 verify 中的阻塞问题。
+
+## 生成流程
+
+### Step 1: 收集证据（§0）
+
+从三个来源自动收集，不依赖 LLM 判断：
+
+**来源一：.alloy.yaml（制品审批链）**
+```bash
+alloy _state read openspec/changes/<name> records
+alloy _state read openspec/changes/<name> created_at
+alloy _state read openspec/changes/<name> worktree
+```
+
+提取每个制品的 artifact / hash / approver / committed_at，构建审批链。
+
+**来源二：git log（全周期 commit 全景）**
+```bash
+git log <base>..HEAD --oneline
+git log <base>..HEAD --format="%ai %s"
+git diff --stat <base>..HEAD | tail -1
+```
+
+按 Conventional Commits type 分组统计（feat / fix / docs / chore / test 等），再按阶段分组（start / plan / apply）。
+
+**来源三：文件系统（制品状态）**
+- `tasks.md` checkbox 完成比（`[x]` / 总数）
+- `verify.md` Overall Decision
+- `plans.md` YAML frontmatter（strategy / reason）
+
+**§0 输出字段：**
+
+| 字段 | 来源 | 说明 |
+|------|------|------|
+| 全周期时间线 | `.alloy.yaml` records | 从 draft 到 retrospective 每个制品的 committed_at |
+| Commit 汇总（按 type） | `git log` | feat / docs / chore 各多少，是否还有 fix/test 等 |
+| Commit 汇总（按阶段） | `git log` + commit message 前缀 | start / plan / apply 各多少 |
+| 制品审批链 | `.alloy.yaml` records | 制品 + 审批人 + Hash + 时间 四列 |
+| 阶段耗时 | `.alloy.yaml` + `git log` | created_at → 最后 commit 时间；各阶段间隔 |
+| 任务完成比 | `tasks.md` | 已勾 / 总数 |
+| 变更规模 | `git diff --stat` | 文件数、行数 |
+| Worktree 状态 | `.alloy.yaml` worktree | 是否使用隔离环境 |
+| 计划策略 vs 实际策略 | `plans.md` + Agent 自报 | plans/strategy vs 实际采用的执行方式 |
+| 验证状态 | `verify.md` | Overall Decision (PASS/FAIL/WARNING) |
+| 测试覆盖信号 | `git diff --stat` 分析 | 测试文件变更 vs 源文件变更的比例 |
+| 完整提交链 | `git log --oneline` | 每条 commit message |
+
+### Step 2: 写入定性分析（§1-§6）
+
+每条结论必须引用 §0 的证据或具体 commit hash/文件路径/测试名称。
+
+#### §1 做对了什么
+- 每个 point 格式：`- [evidence: <commit/file/test>] <描述>`
+- 聚焦可复现的成功模式
+
+#### §2 做错了什么
+三级严重度，每条带 evidence：
+- `- 🔴 [blocking | evidence: ...] <描述>` — 阻塞性问题
+- `- 🟡 [painful  | evidence: ...] <描述>` — 痛苦但不阻塞
+- `- 📌 [nit      | evidence: ...] <描述>` — 小问题
+
+#### §3 计划偏离
+表格：Plan task / What changed / Why
+哪些 task 的范围在执行中发生了变化，原因是什么。
+如果 plans.md 的 strategy 和实际执行方式不同，在此记录。
+
+#### §4 全周期技能审计
+
+Agent 自报全周期技能和命令使用情况（同一 session 亲历）：
+
+**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（schema 图修正）
+   - skill description tightening（技能描述收紧）
+   - CLAUDE.md trigger（CLAUDE.md 触发规则）
+   - scope-judgment rule（范围判断规则）
+   - one-off（一次性，需说明为什么是边界情况）
+
+如果多个 cycle 因相似原因跳过同一技能，该模式应成为 §6 的 Promote candidate。
+
+#### §5 意外发现
+`- <被推翻的假设>` — 哪些假设被证明是错误的
+
+#### §6 值得推广
+使用 `- [ ]` checklist（非表格），未勾选的 = 跨周期 carry-forward：
+- 标题：严重度 emoji + 一句话教训
+- `→ **Promote to** <destination>`（memory / CLAUDE.md / schema / skill / one-off）
+- `> **Why**: <原因>`
+- `> **How to apply**: <触发条件>`
+
+格式对齐 feedback memory schema，使 Why/How to apply 可直接转移到 `~/.claude/memory/`。
+
+### Step 3: 跳过策略
+
+| 情况 | 处理 |
+|------|------|
+| 单 commit 小修（linter fix、typo 等） | 可跳过，写一行 "Skipped: single-commit fix, no insights" |
+| 其他一切 | 必须产出 §0 + 全部 6 个分析节。某节确实没有内容时写 "(none observed)" |
+
+### Forward-Pointer 策略
+
+如果后续 cycle 发现 retrospective 中的某个结论、证据或判断是错误/不完整的：
+- **不要重写** retrospective（会丢失审计线索）
+- 追加 forward-pointer：`> **Update YYYY-MM-DD**: section X superseded by <链接到后续 retro / commit / issue>`
+- 后续制品承载修正后的分析
+
+理由："retrospective 是证据驱动的——它的价值在于捕获特定时间点已知的事实和推理过程。"

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

@@ -0,0 +1,53 @@
+# specs 制品指令
+
+**定位：** 定义系统"应该做什么"的行为规格。specs 是行为契约——描述外部可观察行为，不描述内部实现。每个 Capability 一个 spec 文件。
+
+产出: `specs/**/*.md`（按 Capability 拆分）
+依赖: proposal
+
+## 生成指令
+
+1. 读取 proposal.md 的 Capabilities 列表
+2. 为每个 Capability 创建一个 spec 文件：
+   - **New Capabilities：** 使用 proposal 中确切的 kebab-case 名称 → `specs/<capability>/spec.md`
+   - **Modified Capabilities：** 使用 `openspec/specs/<capability>/` 下的现有目录名
+3. 使用以下 Delta 操作区段（## 二级标题）：
+
+   **## ADDED Requirements**
+   新增的能力。每个需求：`### Requirement: <名称>`，跟一段描述。
+
+   **## MODIFIED Requirements**
+   修改的现有行为。**必须包含完整更新后的内容**，不只是 diff。
+
+   **## REMOVED Requirements**
+   废弃的功能。**必须包含 Reason**（为什么移除）和 **Migration**（迁移方案）。
+
+   **## RENAMED Requirements**
+   仅名称变更。使用 `FROM: <旧名> TO: <新名>` 格式。
+
+## 格式要求
+
+- 需求使用 SHALL/MUST 表达规范性要求（避免 should/may）
+- 每个需求：`### Requirement: <名称>` 后跟描述
+- 每个需求必须至少有一个场景。场景格式：
+  ```
+  #### Scenario: <场景名>
+  - **WHEN** <条件>
+  - **THEN** <预期行为>
+  ```
+- **CRITICAL：场景必须使用恰好 4 个井号（`####`）。使用 3 个井号或 bullet 会导致静默解析失败。**
+- 每个场景都是潜在的测试用例——规格应该可测试
+
+## CRITICAL 约束
+
+- **故意不读 draft.md** —— 只读 proposal 的 Capabilities 列表。这防止行为规格被 draft.md 中的技术实现细节污染。specs 描述"系统应该做什么"，不应该知道"打算用 Redis 还是 Postgres"
+- 规格是行为契约，不写类名、库选型、目录结构
+- 仅描述外部可观察行为
+
+## 格式校验
+
+生成完成后，必须运行 `openspec validate --all` 验证 Delta Spec 格式。常见问题：
+- header 格式：`## ADDED` → 应为 `## ADDED Requirements`（OpenSpec 要求完整 section 名）
+- 场景层级：`#### Scenario:` 必须恰好 4 个 `#`，多用或少用会导致静默解析失败
+
+若 validate 失败，根据错误提示修正格式，重新验证直到通过。

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

@@ -0,0 +1,40 @@
+# tasks 制品指令
+
+**定位：** 将"做什么"（specs）和"怎么做"（design）拆分为可追踪的实现清单。tasks.md 是 plan 的输入——plan 将每个 task 进一步拆为 TDD 微步骤。
+
+产出: `tasks.md`（层级编号 checkbox 清单）
+依赖: specs + design
+
+## 生成指令
+
+1. 读取 specs——确定"做什么"（功能边界、行为需求）
+2. 读取 design——确定"怎么做"（架构决策、技术方案）
+3. 将实现工作拆分为层级编号的 checkbox 清单
+4. **按依赖排序**——必须先完成的放在前面
+
+## 格式要求
+
+**IMPORTANT：严格按照以下模板。** apply 阶段通过解析 `- [ ]` checkbox 格式追踪进度。不使用 checkbox 格式的任务不会被追踪。
+
+```
+## 1. <任务类别>
+- [ ] 1.1 <具体任务描述>
+- [ ] 1.2 <具体任务描述>
+
+## 2. <任务类别>
+- [ ] 2.1 <具体任务描述>
+```
+
+## 指导原则
+
+- 按 ## 编号标题分组相关任务
+- 每个任务必须是 checkbox：`- [ ] X.Y 任务描述`
+- 任务粒度：每个 task 应在一个 session 内可完成
+- 按依赖排序：基础设施 → 核心功能 → 集成 → 测试
+- 每个 task 应能从 specs 中找到对应的需求依据
+- 参考 specs 了解需要构建什么，参考 design 了解如何构建
+
+## 约束
+
+- 不涉及 TDD 微步骤（留给 plan 制品处理）
+- 粗粒度即可——每个 checkbox 代表一个有意义的交付单元