@accelerator-mzq/forge 1.4.0

package/dist/core/migrate/quality.js

@@ -0,0 +1,302 @@
+// src/core/migrate/quality.ts
+// quality:facts 抽取 + judge + callAnthropic 封装 — Plan 8e Task 5.3-5.9
+// 对应 spec §2.8 步骤 6-7 + M15 facts 目标分桶 + M9 不复用 legacy-bridge quality
+// ============================================================================
+// Errors
+// ============================================================================
+/** abort 后 SDK 抛错统一映射类型(spec §2.8 v4 修订) */
+export class AbortInterrupted extends Error {
+    constructor() {
+        super('LLM call interrupted by AbortController');
+        this.name = 'AbortInterrupted';
+    }
+}
+/** quality 失败:facts 不足 / parse 错 / fidelity 低 */
+export class QualityFailure extends Error {
+    reason;
+    constructor(reason) {
+        super(`quality fail: ${reason}`);
+        this.reason = reason;
+        this.name = 'QualityFailure';
+    }
+}
+// ============================================================================
+// 模型常量
+// ============================================================================
+// quality(extract + judge)用 sonnet(快+便宜),实际生成走 opus 在 regenerate.ts
+const QUALITY_MODEL = 'claude-sonnet-4-6';
+// spec M15 v3 阈值:< 5 条 facts 视为信息密度不足,直接 fail
+const MIN_FACTS = 5;
+// ============================================================================
+// Task 5.3:callAnthropic({signal}) 统一封装
+// ============================================================================
+/**
+ * 统一封装 SDK 调用:transient AbortError → AbortInterrupted。
+ * 注意:input.signal 必传,中断信号穿透到 SDK 层。
+ */
+export async function callAnthropic(client, input) {
+    try {
+        const result = await client.messages.create({
+            model: input.model,
+            max_tokens: input.maxTokens,
+            messages: [{ role: 'user', content: input.prompt }],
+        }, { signal: input.signal });
+        // TS strict 下 content 是 union ContentBlock[];用 type guard narrow 到 TextBlock
+        const block = result.content.find((b) => b.type === 'text');
+        return block?.text ?? '';
+    }
+    catch (err) {
+        const name = err.name;
+        // SDK 抛 AbortError 或 signal 已 abort → 统一映射 AbortInterrupted
+        if (name === 'AbortError' || input.signal.aborted) {
+            throw new AbortInterrupted();
+        }
+        throw err;
+    }
+}
+// ============================================================================
+// 通用 facts 解析(容忍 ```json fence + 去重 + MIN_FACTS 阈值)
+// ============================================================================
+/** 容忍 LLM ```json 包裹 + 解析 JSON 数组 + 去重 + 阈值检查 */
+function parseFactsResponse(text) {
+    // 容忍 ```json fence(legacy-bridge I-3 修)
+    const cleaned = text
+        .trim()
+        .replace(/^```(?:json|JSON)?\r?\n/, '')
+        .replace(/\r?\n```\s*$/, '')
+        .trim();
+    let parsed;
+    try {
+        parsed = JSON.parse(cleaned);
+    }
+    catch {
+        throw new QualityFailure('parse-error');
+    }
+    if (!Array.isArray(parsed))
+        throw new QualityFailure('parse-error');
+    // 字段宽松解析 + 默认值兜底
+    const facts = parsed
+        .map((item) => {
+        const o = item;
+        return {
+            text: typeof o.text === 'string' ? o.text : '',
+            section: typeof o.section === 'string' ? o.section : '(unstructured)',
+            critical: typeof o.critical === 'boolean' ? o.critical : false,
+        };
+    })
+        .filter((f) => f.text.trim().length > 0);
+    // 重复 facts 去重(text 小写完全相等去重 — 简化策略,任务 5.7)
+    const seen = new Set();
+    const unique = facts.filter((f) => {
+        const key = f.text.toLowerCase().trim();
+        if (seen.has(key))
+            return false;
+        seen.add(key);
+        return true;
+    });
+    // 任务 5.10:< 5 条直接 fail(spec M15 v3 阈值)
+    if (unique.length < MIN_FACTS) {
+        throw new QualityFailure('too-few-facts');
+    }
+    return unique;
+}
+// ============================================================================
+// 三套 prompt(Task 5.4-5.6)— positive/negative examples 区分
+// ============================================================================
+// Task 5.4 — 通用 extractFacts(给 OpenSpec 已有件,无目标分桶)
+const EXTRACT_FACTS_PROMPT = (content, n) => `从下面"原文"中抽出最多 ${n} 条关键事实。
+关键事实定义:数字 / 字段约束 / 业务规则 / 合规条款 / 设计决策 / 接口契约 / 错误码。
+每条 fact 必须是单句、可独立验证的陈述。
+
+# 输出格式(严格 JSON 数组)
+每项含 { "text": string, "section": string, "critical": boolean }
+- text:简短陈述(<= 80 字),保留原文中的具体数值 / 字段名
+- section:原文中所属章节锚(如 "§4.5" 或 "## 接口";若无章节,填 "(unstructured)")
+- critical:true 仅当该事实属于合规 / 安全 / 业务硬约束;其余 false
+
+# 抽取标准
+positive(应抽):
+- "rate-limit:每用户 60 req/min"(数值约束)
+- "字段 user_id 必须 UUID v4"(字段约束)
+- "PII 数据不落盘"(合规)
+
+negative(不抽):
+- "本系统采用微服务架构"(过泛,无可验证陈述)
+- "团队约定使用 TypeScript"(开发约定,非业务事实)
+- "// TODO: 后面优化"(注释非事实)
+
+# 原文
+${content}
+
+仅输出 JSON 数组,不输出 preamble、不带 markdown code fence。`;
+// Task 5.5 — extractMotivationFacts(design → proposal 校验)
+// M15 facts 目标分桶:proposal 关注"问题/动机/约束",不进实现细节
+const EXTRACT_MOTIVATION_PROMPT = (designContent) => `从下面"design 文档"中**只抽取"问题 / 动机 / 约束 / 背景"类事实**。
+用途:验证后续生成的 proposal.md 是否完整覆盖动机。
+**严格按目标分桶过滤,实现层细节不要进来**。
+
+# 抽取标准
+
+positive(应抽 — 动机 / 约束 / 背景):
+- "用户当前无法 X,需 Y 因为 Z"(动机阐述)
+- "系统约束:必须 < 100ms p99 响应"(性能约束)
+- "依赖 module A v2.0+;v1 接口不兼容"(背景依赖)
+- "合规要求:PII 数据不存盘"(critical 约束)
+- "选 hashmap 因为 read >> write 比例 100:1"(设计决策的 why,不是 how)
+
+negative(不抽 — 实现细节 / 执行步骤 / 接口定义):
+- "实现:用 Map<string, User> 存储"(实现 how)
+- "Step 1: 创建 schema"(任务步骤,该进 tasks)
+- "POST /api/users 入参 { name, email }"(接口定义,该进 specs)
+- "架构图:gateway → service → db"(架构图,实现层)
+- 单纯方案描述无 why
+
+# 输出格式(严格 JSON 数组)
+{ "text": string(<= 80 字), "section": string, "critical": boolean }
+critical=true 仅当该约束是合规 / 安全 / 业务硬底线。
+
+# 阈值
+**至少抽 5 条;< 5 条说明 design 缺动机阐述,即视为 fail。**
+
+# design 文档
+${designContent}
+
+仅输出 JSON 数组,不输出 preamble。`;
+// Task 5.6 — extractBehaviorFacts(tasks → specs 校验)
+// M15 facts 目标分桶:specs 关注"行为/输出/给定条件",不进动机
+const EXTRACT_BEHAVIOR_PROMPT = (tasksContent) => `从下面"tasks/plan 文档"中**只抽取"行为 / 输出 / 给定条件 / 错误处理"类事实**。
+用途:验证后续生成的 specs/<area>.md 是否完整覆盖行为契约。
+**严格按目标分桶过滤,动机 / 实现细节不要进来**。
+
+# 抽取标准
+
+positive(应抽 — 行为 / 输出 / 输入 / 错误):
+- "task-1: 用户登录后跳到 /home"(行为)
+- "task-2: 输入空 username → 返 400 + 错误码 USER_REQUIRED"(行为 + 错误)
+- "task-3: 配置 retries=3, backoff=exponential"(给定参数)
+- "成功响应:status=200, body 含 user_id 和 token"(输出契约)
+- "task-5: 重复提交相同 idempotency-key → 返同一结果"(幂等行为)
+
+negative(不抽 — 动机 / 实现 / 流程):
+- "动机:简化 onboarding"(动机,该进 motivation)
+- "依赖 lodash@4 的 debounce"(实现细节)
+- "提交后跑 lint 和 typecheck"(开发流程,非产品行为)
+- "项目背景:取代旧 v1 系统"(背景说明)
+- "PR 合并需 2 人 review"(协作流程)
+
+# 输出格式(严格 JSON 数组)
+{ "text": string(<= 80 字), "section": string, "critical": boolean }
+critical=true 仅当该行为是合规 / 安全 / 业务硬契约。
+
+# 阈值
+**至少抽 5 条;< 5 条 fail。**
+
+# tasks 文档
+${tasksContent}
+
+仅输出 JSON 数组,不输出 preamble。`;
+// ============================================================================
+// Task 5.4-5.6:三个 extract 入口
+// ============================================================================
+/**
+ * 通用 extractFacts:给 OpenSpec 已有件用(spec.md / proposal.md 等),不分桶。
+ * 默认 n=30;tokens 上限 4096(覆盖 30 条 80 字 + 字段)。
+ */
+export async function extractFacts(client, content, signal, n = 30) {
+    const text = await callAnthropic(client, {
+        model: QUALITY_MODEL,
+        prompt: EXTRACT_FACTS_PROMPT(content, n),
+        maxTokens: 4096,
+        signal,
+    });
+    return parseFactsResponse(text);
+}
+/** extractMotivationFacts:从 design 抽"问题/动机/约束",用于 proposal 校验。 */
+export async function extractMotivationFacts(client, designContent, signal) {
+    const text = await callAnthropic(client, {
+        model: QUALITY_MODEL,
+        prompt: EXTRACT_MOTIVATION_PROMPT(designContent),
+        maxTokens: 4096,
+        signal,
+    });
+    return parseFactsResponse(text);
+}
+/** extractBehaviorFacts:从 tasks 抽"行为/输出",用于 specs 校验。 */
+export async function extractBehaviorFacts(client, tasksContent, signal) {
+    const text = await callAnthropic(client, {
+        model: QUALITY_MODEL,
+        prompt: EXTRACT_BEHAVIOR_PROMPT(tasksContent),
+        maxTokens: 4096,
+        signal,
+    });
+    return parseFactsResponse(text);
+}
+// ============================================================================
+// Task 5.8:judgeAll(三态判断 + 聚合 critical/total rate)
+// ============================================================================
+/** judge prompt:三态判断 preserved / paraphrased / lost */
+const JUDGE_PROMPT = (generatedBody, fact) => `判断下面这条"原文事实"是否在"生成产物"里被保留。
+
+# 三态定义
+- preserved:字面量或数值一致(原文数字 / 字段名 / 错误码 / 状态码 在产物中可找到)
+- paraphrased:同义改写但语义等价(无遗漏数值 / 约束 / 关键名词)
+- lost:完全没提到 / 漏关键数值 / 漏约束 / 改成不同含义
+
+# 原文事实
+- 章节:${fact.section}
+- 重要级:${fact.critical ? 'critical' : 'non-critical'}
+- 内容:${fact.text}
+
+# 生成产物
+${generatedBody}
+
+# 输出格式
+第 1 行只输出一个词:preserved / paraphrased / lost
+第 2 行起(可省):简短理由(<= 50 字)`;
+/**
+ * judgeAll:并行 judge 每条 fact,聚合 critical+total rate。
+ * 通过条件:criticalRate === 1 AND totalRate >= threshold。
+ */
+export async function judgeAll(client, generatedBody, facts, threshold, signal) {
+    // 并行 judge(每个 fact 独立调用,Promise.all 聚合)
+    const judges = await Promise.all(facts.map(async (fact) => {
+        const text = await callAnthropic(client, {
+            model: QUALITY_MODEL,
+            prompt: JUDGE_PROMPT(generatedBody, fact),
+            maxTokens: 256,
+            signal,
+        });
+        const firstLine = (text.split('\n')[0] ?? '').trim().toLowerCase();
+        // 解析失败默认 lost(防 LLM 输出意外格式 → 保守判 lost,不假装通过)
+        const state = firstLine === 'preserved' || firstLine === 'paraphrased' || firstLine === 'lost'
+            ? firstLine
+            : 'lost';
+        return { fact, state };
+    }));
+    const critical = judges.filter((j) => j.fact.critical);
+    const critPreserved = critical.filter((j) => j.state !== 'lost');
+    const totalPreserved = judges.filter((j) => j.state !== 'lost');
+    // critical 列表为空时视为 1(无 critical 约束)
+    const criticalRate = critical.length === 0 ? 1 : critPreserved.length / critical.length;
+    const totalRate = judges.length === 0 ? 1 : totalPreserved.length / judges.length;
+    const lostFacts = judges.filter((j) => j.state === 'lost').map((j) => j.fact);
+    return {
+        passed: criticalRate >= 1 && totalRate >= threshold,
+        totalRate,
+        criticalRate,
+        lostFacts,
+    };
+}
+// ============================================================================
+// Task 5.9:getFidelityThreshold
+// ============================================================================
+/**
+ * fidelity threshold:
+ * - superpowers 0.6(LLM 生成质量约束;非 brownfield 路径 — superpowers 是专属 plugin 产物,
+ *   与 legacy-bridge brownfield 是不同的迁移源,prompt 不混用;阈值偏松因 plugin 产物结构噪声)
+ * - openspec 0.9(spec 严格,行为契约期望高保真)
+ */
+export function getFidelityThreshold(sourceId) {
+    return sourceId === 'superpowers' ? 0.6 : 0.9;
+}
+//# sourceMappingURL=quality.js.map

package/dist/core/migrate/quality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality.js","sourceRoot":"","sources":["../../../src/core/migrate/quality.ts"],"names":[],"mappings":"AAAA,8BAA8B;AAC9B,qEAAqE;AACrE,sEAAsE;AAKtE,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E,4CAA4C;AAC5C,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC;QACE,KAAK,CAAC,yCAAyC,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,iDAAiD;AACjD,MAAM,OAAO,cAAe,SAAQ,KAAK;IAErB;IADlB,YACkB,MAAwE;QAExF,KAAK,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAFjB,WAAM,GAAN,MAAM,CAAkE;QAGxF,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAwCD,+EAA+E;AAC/E,OAAO;AACP,+EAA+E;AAE/E,oEAAoE;AACpE,MAAM,aAAa,GAAG,mBAAmB,CAAC;AAC1C,8CAA8C;AAC9C,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB,+EAA+E;AAC/E,wCAAwC;AACxC,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,MAAuB,EACvB,KAAyB;IAEzB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CACzC;YACE,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,SAAS;YAC3B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;SACpD,EACD,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CACzB,CAAC;QACF,6EAA6E;QAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAqC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC/F,OAAO,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,GAAI,GAAa,CAAC,IAAI,CAAC;QACjC,4DAA4D;QAC5D,IAAI,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAClD,MAAM,IAAI,gBAAgB,EAAE,CAAC;QAC/B,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,oDAAoD;AACpD,+EAA+E;AAE/E,iDAAiD;AACjD,SAAS,kBAAkB,CAAC,IAAY;IACtC,wCAAwC;IACxC,MAAM,OAAO,GAAG,IAAI;SACjB,IAAI,EAAE;SACN,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC;SACtC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;SAC3B,IAAI,EAAE,CAAC;IAEV,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,aAAa,CAAC,CAAC;IAEpE,iBAAiB;IACjB,MAAM,KAAK,GAAc,MAAM;SAC5B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,CAAC,GAAG,IAAwB,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;YAC9C,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB;YACrE,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;SAC/D,CAAC;IACJ,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE3C,2CAA2C;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,uCAAuC;IACvC,IAAI,MAAM,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC9B,MAAM,IAAI,cAAc,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAC/E,yDAAyD;AACzD,+EAA+E;AAE/E,mDAAmD;AACnD,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,CAAS,EAAU,EAAE,CAClE,gBAAgB,CAAC;;;;;;;;;;;;;;;;;;;;;;EAsBjB,OAAO;;iDAEwC,CAAC;AAElD,0DAA0D;AAC1D,8CAA8C;AAC9C,MAAM,yBAAyB,GAAG,CAAC,aAAqB,EAAU,EAAE,CAClE;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4BA,aAAa;;0BAEW,CAAC;AAE3B,oDAAoD;AACpD,2CAA2C;AAC3C,MAAM,uBAAuB,GAAG,CAAC,YAAoB,EAAU,EAAE,CAC/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4BA,YAAY;;0BAEY,CAAC;AAE3B,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAuB,EACvB,OAAe,EACf,MAAmB,EACnB,IAAY,EAAE;IAEd,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE;QACvC,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC;QACxC,SAAS,EAAE,IAAI;QACf,MAAM;KACP,CAAC,CAAC;IACH,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,MAAuB,EACvB,aAAqB,EACrB,MAAmB;IAEnB,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE;QACvC,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,yBAAyB,CAAC,aAAa,CAAC;QAChD,SAAS,EAAE,IAAI;QACf,MAAM;KACP,CAAC,CAAC;IACH,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,yDAAyD;AACzD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,MAAuB,EACvB,YAAoB,EACpB,MAAmB;IAEnB,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE;QACvC,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,uBAAuB,CAAC,YAAY,CAAC;QAC7C,SAAS,EAAE,IAAI;QACf,MAAM;KACP,CAAC,CAAC;IACH,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,+EAA+E;AAC/E,mDAAmD;AACnD,+EAA+E;AAE/E,uDAAuD;AACvD,MAAM,YAAY,GAAG,CAAC,aAAqB,EAAE,IAAa,EAAU,EAAE,CACpE;;;;;;;;OAQK,IAAI,CAAC,OAAO;QACX,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;OAC5C,IAAI,CAAC,IAAI;;;EAGd,aAAa;;;;yBAIU,CAAC;AAE1B;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,MAAuB,EACvB,aAAqB,EACrB,KAAgB,EAChB,SAAiB,EACjB,MAAmB;IAEnB,wCAAwC;IACxC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE;YACvC,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,YAAY,CAAC,aAAa,EAAE,IAAI,CAAC;YACzC,SAAS,EAAE,GAAG;YACd,MAAM;SACP,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACnE,6CAA6C;QAC7C,MAAM,KAAK,GACT,SAAS,KAAK,WAAW,IAAI,SAAS,KAAK,aAAa,IAAI,SAAS,KAAK,MAAM;YAC9E,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC;QACb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IAChE,oCAAoC;IACpC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IACxF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE9E,OAAO;QACL,MAAM,EAAE,YAAY,IAAI,CAAC,IAAI,SAAS,IAAI,SAAS;QACnD,SAAS;QACT,YAAY;QACZ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAkB;IACrD,OAAO,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AAChD,CAAC"}

package/dist/core/migrate/regenerate.d.ts

@@ -0,0 +1,24 @@
+import { type AnthropicClient } from './quality.js';
+import type { ClassificationPlan, MigrateSource, TraceOp } from './types.js';
+export interface RegenerateContext {
+    source: MigrateSource;
+    plan: ClassificationPlan;
+    cwd: string;
+    abortController: AbortController;
+    client: AnthropicClient;
+    /** 追加一条 TraceOp 到 trace.json */
+    appendTraceOp: (op: TraceOp) => Promise<void>;
+}
+export interface RegenerateResult {
+    succeeded: number;
+    failed: number;
+    /** .partial 文件路径列表(给 report 汇总显示) */
+    partials: string[];
+}
+/**
+ * runRegenerate:遍历 missing artifacts,逐件 regenerate。
+ * 失败写 .partial 文件(spec §3.1),用户可查看失败原因。
+ * AbortInterrupted → 立即 break,不继续处理后续件。
+ */
+export declare function runRegenerate(ctx: RegenerateContext): Promise<RegenerateResult>;
+//# sourceMappingURL=regenerate.d.ts.map

package/dist/core/migrate/regenerate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regenerate.d.ts","sourceRoot":"","sources":["../../../src/core/migrate/regenerate.ts"],"names":[],"mappings":"AAOA,OAAO,EASL,KAAK,eAAe,EACrB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,kBAAkB,EAElB,aAAa,EACb,OAAO,EAER,MAAM,YAAY,CAAC;AASpB,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,aAAa,CAAC;IACtB,IAAI,EAAE,kBAAkB,CAAC;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,eAAe,EAAE,eAAe,CAAC;IACjC,MAAM,EAAE,eAAe,CAAC;IACxB,gCAAgC;IAChC,aAAa,EAAE,CAAC,EAAE,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAMD;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,iBAAiB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CA8CrF"}

package/dist/core/migrate/regenerate.js

@@ -0,0 +1,145 @@
+// src/core/migrate/regenerate.ts
+// --regenerate 主流程 — Plan 8e Task 5.11
+// Spec §2.8 v3 完整流程 + §5.1 复用 legacy-bridge/redact
+import { readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { redact } from '../legacy-bridge/redact.js';
+import { callAnthropic, extractFacts, extractMotivationFacts, extractBehaviorFacts, judgeAll, getFidelityThreshold, QualityFailure, AbortInterrupted, } from './quality.js';
+// 生成用 opus(质量高);extract+judge 用 sonnet(quality.ts 内部已固定)
+const REGEN_MODEL = 'claude-opus-4-7';
+// ============================================================================
+// 主流程
+// ============================================================================
+/**
+ * runRegenerate:遍历 missing artifacts,逐件 regenerate。
+ * 失败写 .partial 文件(spec §3.1),用户可查看失败原因。
+ * AbortInterrupted → 立即 break,不继续处理后续件。
+ */
+export async function runRegenerate(ctx) {
+    const result = { succeeded: 0, failed: 0, partials: [] };
+    // 枚举缺件(由 MigrateSource.listMissingArtifacts 提供)
+    const missing = ctx.source.listMissingArtifacts(ctx.plan);
+    // 按源类型取 fidelity 阈值(superpowers 0.6 / openspec 0.9)
+    const threshold = getFidelityThreshold(ctx.source.id);
+    for (const m of missing) {
+        // 检查 abort 信号,若已中断则停止遍历
+        if (ctx.abortController.signal.aborted)
+            break;
+        try {
+            const generated = await regenerateOne(m, ctx, threshold);
+            const targetAbs = join(ctx.cwd, m.targetPath);
+            await writeFile(targetAbs, generated, 'utf8');
+            // 写 TraceOp:regen 字段记录 model / facts 占位(facts 数量在 judgeAll 内部处理)
+            await ctx.appendTraceOp({
+                from: null,
+                to: targetAbs,
+                // MissingArtifact.kind 是 'proposal'|'specs';TraceOp.kind 是 ArtifactKind
+                // 'specs' 不在 ArtifactKind 里,映射为 'spec'
+                kind: m.kind === 'specs' ? 'spec' : 'proposal',
+                transform: ['regen'],
+                validate: 'ok',
+                regen: { model: REGEN_MODEL, facts: 0, passed: 0, threshold },
+                writtenAt: new Date().toISOString(),
+                status: 'committed',
+            });
+            result.succeeded++;
+        }
+        catch (err) {
+            // 分类错误原因:quality 失败 / 中断 / 网络
+            const reason = err instanceof QualityFailure
+                ? `quality-fail: ${err.reason}`
+                : err instanceof AbortInterrupted
+                    ? 'interrupted'
+                    : 'network-error';
+            // .partial 文件:写失败原因注释,让用户知道哪件失败(spec §3.1)
+            const partialPath = join(ctx.cwd, `${m.targetPath}.partial-${m.kind}.md`);
+            await writeFile(partialPath, `<!-- regen failed: ${reason} -->\n`, 'utf8');
+            result.partials.push(partialPath);
+            result.failed++;
+            // AbortInterrupted → 立即终止整个循环
+            if (err instanceof AbortInterrupted)
+                break;
+        }
+    }
+    return result;
+}
+// ============================================================================
+// 单件 regenerate
+// ============================================================================
+/**
+ * regenerateOne:
+ * 1. 读 facts source(M15 目标分桶:design → motivation / tasks → behavior / self → generic)
+ * 2. redact — 发 LLM 前去除敏感信息(spec §5.1 复用 legacy-bridge/redact)
+ * 3. callAnthropic opus 生成目标产物
+ * 4. extractFacts 抽 facts 验证覆盖度
+ * 5. judgeAll 判定 fidelity,低于阈值抛 QualityFailure
+ * 6. 写盘前二次检查 abort(spec §3.1)
+ */
+async function regenerateOne(m, ctx, threshold) {
+    // ---- 步骤 1:读 facts source ----
+    let factsSourceContent;
+    if (m.factsSource === 'design') {
+        // 从 plan.changes 找对应 slug 的 design 文件
+        const designFile = findArtifact(ctx.plan, m.changeSlug, 'design');
+        factsSourceContent = designFile ? await readFile(designFile.absPath, 'utf8') : '';
+    }
+    else if (m.factsSource === 'tasks') {
+        // 从 plan.changes 找对应 slug 的 tasks 文件
+        const tasksFile = findArtifact(ctx.plan, m.changeSlug, 'tasks');
+        factsSourceContent = tasksFile ? await readFile(tasksFile.absPath, 'utf8') : '';
+    }
+    else {
+        // 'self' 路径:从 sourceAbsPath 读已有件作 facts 源(C2 修);无 sourceAbsPath 则留空
+        if (m.sourceAbsPath) {
+            factsSourceContent = await readFile(m.sourceAbsPath, 'utf8');
+        }
+        else {
+            factsSourceContent = '';
+        }
+    }
+    // ---- 步骤 2:redact — 使用内置默认规则(DEFAULT_REDACT_RULES 已内置于 redact()) ----
+    const { redactedText } = redact(factsSourceContent);
+    // ---- 步骤 3:调 SDK 生成目标(用 opus,质量高) ----
+    // proposal:依据 design 输出 forge 格式 proposal.md
+    // specs:依据 tasks 输出 forge 格式 specs/<area>.md
+    const targetPrompt = m.kind === 'proposal'
+        ? `基于下面 design,生成符合 forge 格式的 proposal.md(# 标题 + ## Why + ## What):\n\n${redactedText}`
+        : `基于下面 tasks,生成符合 forge 格式的 specs/<area>.md(# 标题 + ## Scenario: <id> + **Given/When/Then**):\n\n${redactedText}`;
+    const generated = await callAnthropic(ctx.client, {
+        model: REGEN_MODEL,
+        prompt: targetPrompt,
+        maxTokens: 4096,
+        signal: ctx.abortController.signal,
+    });
+    // ---- 步骤 4:抽 facts(M15 目标分桶决定用哪种 extractor) ----
+    // design → extractMotivationFacts(问题/动机/约束)
+    // tasks  → extractBehaviorFacts(行为/输出)
+    // self   → extractFacts(通用)
+    const facts = m.factsSource === 'design'
+        ? await extractMotivationFacts(ctx.client, redactedText, ctx.abortController.signal)
+        : m.factsSource === 'tasks'
+            ? await extractBehaviorFacts(ctx.client, redactedText, ctx.abortController.signal)
+            : await extractFacts(ctx.client, redactedText, ctx.abortController.signal);
+    // ---- 步骤 5:judge — 验生成产物覆盖了多少 facts ----
+    const judge = await judgeAll(ctx.client, generated, facts, threshold, ctx.abortController.signal);
+    if (!judge.passed) {
+        // fidelity 不达标 → 抛 QualityFailure(主流程写 .partial)
+        throw new QualityFailure('low-fidelity');
+    }
+    // ---- 步骤 6:写盘前二次检查 abort(spec §3.1) ----
+    if (ctx.abortController.signal.aborted)
+        throw new AbortInterrupted();
+    return generated;
+}
+// ============================================================================
+// 工具函数
+// ============================================================================
+/**
+ * findArtifact:从 ClassificationPlan 中找指定 slug 的 design/tasks 文件。
+ * 返回 undefined 表示对应产物不存在(调用方回退到空字符串)。
+ */
+function findArtifact(plan, slug, kind) {
+    const change = plan.changes.find((c) => c.slug === slug);
+    return change?.artifacts[kind];
+}
+//# sourceMappingURL=regenerate.js.map

package/dist/core/migrate/regenerate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regenerate.js","sourceRoot":"","sources":["../../../src/core/migrate/regenerate.ts"],"names":[],"mappings":"AAAA,iCAAiC;AACjC,uCAAuC;AACvC,mDAAmD;AAEnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EACL,aAAa,EACb,YAAY,EACZ,sBAAsB,EACtB,oBAAoB,EACpB,QAAQ,EACR,oBAAoB,EACpB,cAAc,EACd,gBAAgB,GAEjB,MAAM,cAAc,CAAC;AAStB,yDAAyD;AACzD,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAuBtC,+EAA+E;AAC/E,MAAM;AACN,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAsB;IACxD,MAAM,MAAM,GAAqB,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC3E,gDAAgD;IAChD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1D,oDAAoD;IACpD,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAEtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,wBAAwB;QACxB,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO;YAAE,MAAM;QAC9C,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACzD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;YAC9C,iEAAiE;YACjE,MAAM,GAAG,CAAC,aAAa,CAAC;gBACtB,IAAI,EAAE,IAAI;gBACV,EAAE,EAAE,SAAS;gBACb,wEAAwE;gBACxE,uCAAuC;gBACvC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;gBAC9C,SAAS,EAAE,CAAC,OAAO,CAAC;gBACpB,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE;gBAC7D,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,MAAM,EAAE,WAAW;aACpB,CAAC,CAAC;YACH,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,8BAA8B;YAC9B,MAAM,MAAM,GACV,GAAG,YAAY,cAAc;gBAC3B,CAAC,CAAC,iBAAiB,GAAG,CAAC,MAAM,EAAE;gBAC/B,CAAC,CAAC,GAAG,YAAY,gBAAgB;oBAC/B,CAAC,CAAC,aAAa;oBACf,CAAC,CAAC,eAAe,CAAC;YACxB,2CAA2C;YAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,UAAU,YAAY,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;YAC1E,MAAM,SAAS,CAAC,WAAW,EAAE,sBAAsB,MAAM,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC3E,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClC,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,8BAA8B;YAC9B,IAAI,GAAG,YAAY,gBAAgB;gBAAE,MAAM;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,KAAK,UAAU,aAAa,CAC1B,CAAkB,EAClB,GAAsB,EACtB,SAAiB;IAEjB,gCAAgC;IAChC,IAAI,kBAA0B,CAAC;IAC/B,IAAI,CAAC,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;QAC/B,sCAAsC;QACtC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAClE,kBAAkB,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,CAAC;SAAM,IAAI,CAAC,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;QACrC,qCAAqC;QACrC,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChE,kBAAkB,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,oEAAoE;QACpE,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACpB,kBAAkB,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,kBAAkB,GAAG,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAEpD,wCAAwC;IACxC,6CAA6C;IAC7C,6CAA6C;IAC7C,MAAM,YAAY,GAChB,CAAC,CAAC,IAAI,KAAK,UAAU;QACnB,CAAC,CAAC,uEAAuE,YAAY,EAAE;QACvF,CAAC,CAAC,iGAAiG,YAAY,EAAE,CAAC;IAEtH,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE;QAChD,KAAK,EAAE,WAAW;QAClB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,IAAI;QACf,MAAM,EAAE,GAAG,CAAC,eAAe,CAAC,MAAM;KACnC,CAAC,CAAC;IAEH,kDAAkD;IAClD,4CAA4C;IAC5C,uCAAuC;IACvC,4BAA4B;IAC5B,MAAM,KAAK,GACT,CAAC,CAAC,WAAW,KAAK,QAAQ;QACxB,CAAC,CAAC,MAAM,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC;QACpF,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,OAAO;YACzB,CAAC,CAAC,MAAM,oBAAoB,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC;YAClF,CAAC,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAEjF,0CAA0C;IAC1C,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAClG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,iDAAiD;QACjD,MAAM,IAAI,cAAc,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC;IAED,0CAA0C;IAC1C,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,gBAAgB,EAAE,CAAC;IAErE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAC/E,OAAO;AACP,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,YAAY,CACnB,IAAwB,EACxB,IAAY,EACZ,IAAwB;IAExB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACzD,OAAO,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC"}

package/dist/core/migrate/report.d.ts

@@ -0,0 +1,36 @@
+import type { MigrateTrace, TraceOp } from './types.js';
+/**
+ * Journal:NDJSON 行式写入 + 每步 fsync
+ * crash 时半完成 ops 仍可被 readTrace 重建
+ */
+export declare class Journal {
+    private readonly fh;
+    private constructor();
+    /** 打开 journal 文件(append 模式) */
+    static open(filePath: string): Promise<Journal>;
+    /** 追加一个 op，立即 fsync 防 crash 丢数据 */
+    append(op: TraceOp): Promise<void>;
+    /** 关闭文件句柄 */
+    close(): Promise<void>;
+}
+/**
+ * reader 优先级:.json > .ndjson(重建)> .tmp(忽略,返 null)
+ * 说明:
+ * - .json 是末态原子 rename 写成的,可信
+ * - .ndjson 是 crash 半完成态,可重建 ops
+ * - .tmp 是崩溃中的写入,不可读(可能不完整)
+ */
+export declare function readTrace(dir: string): Promise<MigrateTrace | null>;
+/**
+ * 末态原子 rename 三步走:
+ * 1. 写 .tmp(完整 final trace JSON)
+ * 2. fs.rename .tmp → .json(POSIX 原子)
+ * 3. 删 .ndjson(若存在)
+ */
+export declare function finalizeAndRename(dir: string, finalTrace: MigrateTrace): Promise<void>;
+/**
+ * 写 migrate-report.md(spec §3.4)
+ * 磁盘满或写入失败时:降级 stderr 输出全文(spec §3.1)
+ */
+export declare function writeReportMd(dir: string, finalTrace: MigrateTrace): Promise<void>;
+//# sourceMappingURL=report.d.ts.map

package/dist/core/migrate/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../../src/core/migrate/report.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAY,MAAM,YAAY,CAAC;AAOlE;;;GAGG;AACH,qBAAa,OAAO;IACE,OAAO,CAAC,QAAQ,CAAC,EAAE;IAAvC,OAAO;IAEP,+BAA+B;WAClB,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAKrD,mCAAmC;IAC7B,MAAM,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAMxC,aAAa;IACP,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAG7B;AAED;;;;;;GAMG;AACH,wBAAsB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,CA2CzE;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAa5F;AAED;;;GAGG;AACH,wBAAsB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA2CxF"}