soloforge 1.1.33 → 1.1.35

package/dist/engine/contracts/omission_scanner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"omission_scanner.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/omission_scanner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAOL,KAAK,cAAc,EACpB,MAAM,+BAA+B,CAAC;AAKvC,YAAY;AACZ,MAAM,WAAW,eAAe;IAC9B,WAAW;IACX,IAAI,EACA,iBAAiB,GACjB,gBAAgB,GAChB,eAAe,GACf,aAAa,GACb,aAAa,GACb,eAAe,CAAC;IACpB,uCAAuC;IACvC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,aAAa;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,WAAW;AACX,MAAM,WAAW,kBAAkB;IACjC,gCAAgC;IAChC,MAAM,EAAE,OAAO,CAAC;IAChB,YAAY;IACZ,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,WAAW;AACX,MAAM,WAAW,kBAAkB;IACjC,+BAA+B;IAC/B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,+BAA+B;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iCAAiC;IACjC,2BAA2B,EAAE,OAAO,CAAC;IACrC,4BAA4B;IAC5B,wBAAwB,EAAE,MAAM,CAAC;CAClC;AAYD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,eAAe,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAC5C,kBAAkB,CAkGpB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,eAAe,EAAE,EAC3B,MAAM,EAAE,cAAc,GAAG,SAAS,EAClC,OAAO,EAAE,MAAM,EACf,WAAW,GAAE,MAAU,GACtB,MAAM,CA6DR"}

package/dist/engine/contracts/omission_scanner.js

@@ -0,0 +1,191 @@
+/**
+ * 遗漏扫描引擎 — 聚合扫描 + 对抗性 AI prompt 生成。
+ *
+ * 职责：
+ * 1. 聚合三种确定性检测（空洞章节、占位符、空表格）+ 现有缺失检测
+ * 2. 生成 OmissionScanResult（passed / findings / summary）
+ * 3. 生成对抗性 AI prompt，用于 sf_verify 的二次 AI 审计
+ *
+ * 设计决策：
+ * - 确定性扫描做第一道（快速、无 IO），对抗性 prompt 做第二道（AI 深度审计）
+ * - 对抗性 prompt 基于 findings 生成，聚焦已确认遗漏 + 潜在遗漏
+ * - 扫描配置可外部注入，默认值适合大多数场景
+ */
+import { findHollowSections, findPlaceholders, findEmptyTables, findMissingSections, findMissingTables, getArtifactSchema, } from "./artifact_schema_registry.js";
+/** 默认扫描配置 */
+const DEFAULT_CONFIG = {
+    hollow_threshold_chars: 50,
+    placeholder_patterns: [],
+    generate_adversarial_prompt: false,
+    adversarial_max_findings: 5,
+};
+// ── 核心扫描函数 ──
+/**
+ * 聚合扫描 — 对产物内容执行全面的遗漏检测。
+ *
+ * 检测维度（按顺序）：
+ * 1. 缺失章节（findMissingSections）
+ * 2. 缺失表格（findMissingTables）
+ * 3. 空洞章节（findHollowSections）
+ * 4. 占位符（findPlaceholders）
+ * 5. 空表格（findEmptyTables）
+ *
+ * @param kind 产物类型（ArtifactKind）
+ * @param content 产物 markdown 内容
+ * @param configOverrides 可选配置覆盖
+ * @returns 扫描结果
+ */
+export function scanArtifactForOmissions(kind, content, configOverrides) {
+    const config = { ...DEFAULT_CONFIG, ...configOverrides };
+    const schema = getArtifactSchema(kind);
+    const findings = [];
+    // 维度 1: 缺失章节（基于 registry schema 或空 schema 兜底）
+    if (schema) {
+        const missingSections = findMissingSections(content, schema);
+        for (const section of missingSections) {
+            findings.push({
+                type: "missing_section",
+                severity: "hard_fail",
+                section_name: section,
+                message: `缺少必填章节: ${section}`,
+                evidence: `章节 "${section}" 在文档中未找到匹配标题`,
+            });
+        }
+        // 维度 2: 缺失表格
+        const missingTables = findMissingTables(content, schema);
+        for (const table of missingTables) {
+            findings.push({
+                type: "missing_table",
+                severity: "hard_fail",
+                section_name: "",
+                message: `缺少必填表格: ${table}`,
+                evidence: `表格关键词 "${table}" 在文档中未找到匹配`,
+            });
+        }
+        // 维度 3: 空洞章节
+        const hollowSections = findHollowSections(content, schema, config.hollow_threshold_chars);
+        for (const hollow of hollowSections) {
+            findings.push({
+                type: "hollow_section",
+                severity: "hard_fail",
+                section_name: hollow.section_name,
+                line_number: hollow.line_number,
+                message: `章节 "${hollow.section_name}" 正文不足 ${config.hollow_threshold_chars} 字符（实际 ${hollow.body_chars} 字符）`,
+                evidence: `第 ${hollow.line_number} 行，正文长度=${hollow.body_chars}`,
+            });
+        }
+        // 维度 5: 空表格
+        const emptyTables = findEmptyTables(content, schema);
+        for (const empty of emptyTables) {
+            findings.push({
+                type: "empty_table",
+                severity: empty.is_required ? "hard_fail" : "warning",
+                section_name: "",
+                line_number: empty.line_number,
+                message: `${empty.is_required ? "必填" : "非必填"}表格 "${empty.table_keyword}" 有标题但无数据行`,
+                evidence: `第 ${empty.line_number} 行，表格 "${empty.table_keyword}" 为空`,
+            });
+        }
+    }
+    // 维度 4: 占位符（不需要 schema）
+    const extraPatterns = config.placeholder_patterns.map((p) => new RegExp(p));
+    const placeholders = findPlaceholders(content, extraPatterns);
+    for (const ph of placeholders) {
+        findings.push({
+            type: "placeholder",
+            severity: "warning",
+            section_name: "",
+            line_number: ph.line_number,
+            message: `发现占位符文本: ${ph.placeholder}`,
+            evidence: ph.context,
+        });
+    }
+    // 汇总
+    const hardFailCount = findings.filter((f) => f.severity === "hard_fail").length;
+    const warningCount = findings.filter((f) => f.severity === "warning").length;
+    const passed = hardFailCount === 0;
+    const summary = passed
+        ? `✅ 遗漏扫描通过（${warningCount} 个警告）`
+        : `❌ 遗漏扫描未通过（${hardFailCount} 个阻塞项，${warningCount} 个警告）`;
+    const result = {
+        passed,
+        findings,
+        summary,
+    };
+    // 对抗性 prompt 生成（可选）
+    if (config.generate_adversarial_prompt) {
+        result.adversarial_prompt = generateAdversarialPrompt(findings, schema, content, config.adversarial_max_findings);
+    }
+    return result;
+}
+// ── 对抗性 Prompt 生成 ──
+/**
+ * 生成对抗性 AI prompt — 基于确定性扫描结果，引导 AI 进行深度审计。
+ *
+ * 框架设计：
+ * - 已确认遗漏 → 要求 AI 验证并量化影响
+ * - 潜在遗漏 → 要求 AI 基于模板/行业经验推断可能遗漏
+ * - 聚焦策略 → 限制 max_findings 避免信息过载
+ *
+ * @param findings 确定性扫描的发现项
+ * @param schema 产物 Schema（可能为 null）
+ * @param content 产物内容
+ * @param maxFindings 最大发现数
+ * @returns 对抗性 prompt 文本
+ */
+export function generateAdversarialPrompt(findings, schema, content, maxFindings = 5) {
+    const kind = schema?.kind ?? "未知";
+    const lines = content.split("\n");
+    // 已确认遗漏列表
+    const confirmedFindings = findings
+        .slice(0, maxFindings)
+        .map((f, i) => `${i + 1}. [${f.severity === "hard_fail" ? "阻塞" : "警告"}] ${f.message}` +
+        (f.line_number ? `（第 ${f.line_number} 行）` : "") +
+        ` — 证据: ${f.evidence}`)
+        .join("\n");
+    // Schema 约束摘要
+    const schemaSummary = schema
+        ? [
+            `必填章节: ${schema.required_sections.join("、")}`,
+            schema.required_tables.length > 0
+                ? `必填表格: ${schema.required_tables.join("、")}`
+                : null,
+            schema.required_fields
+                ? Object.entries(schema.required_fields)
+                    .map(([t, fs]) => `  ${t} → ${fs.join("、")}`)
+                    .join("\n")
+                : null,
+        ]
+            .filter(Boolean)
+            .join("\n")
+        : "无 Schema 定义";
+    // 内容统计
+    const contentStats = `总行数: ${lines.length}，总字符: ${content.length}`;
+    return [
+        `你是一个严格的产物审计员。以下是产物「${kind}」的结构约束和实际内容统计。`,
+        "",
+        "## 已确认的遗漏（确定性扫描发现）",
+        confirmedFindings || "（无确定性发现）",
+        "",
+        "## Schema 结构约束",
+        schemaSummary,
+        "",
+        "## 内容统计",
+        contentStats,
+        "",
+        "## 你的任务",
+        "假设这份产物一定还有未发现的遗漏。基于 Schema 定义，逐项检查每个章节的内容质量：",
+        "1. 章节内容是否与 Schema 要求匹配？是否有空洞章节（标题存在但正文不足）？",
+        "2. 表格数据是否完整（有无空单元格、缺失行）？",
+        "3. 附属产物（Mermaid 图、SQL DDL、OpenAPI schema）是否真实存在且非空？",
+        "4. 跨章节引用是否一致（如交互流转引用的页面在布局树中是否存在）？",
+        `5. 是否有隐藏的占位符（非标准表达但语义等同于"待补充"的文本）？`,
+        "",
+        "对每个发现附上：行号（如果可定位）+ 证据片段 + 缺失描述。",
+        `最多报告 ${maxFindings} 项最严重的遗漏。`,
+        "",
+        "格式要求：每项一行，格式为",
+        "  [遗漏类型] 行号:行号 — 描述 — 证据:前80字符",
+    ].join("\n");
+}
+//# sourceMappingURL=omission_scanner.js.map

package/dist/engine/contracts/omission_scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"omission_scanner.js","sourceRoot":"","sources":["../../../src/engine/contracts/omission_scanner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,GAElB,MAAM,+BAA+B,CAAC;AAmDvC,aAAa;AACb,MAAM,cAAc,GAAuB;IACzC,sBAAsB,EAAE,EAAE;IAC1B,oBAAoB,EAAE,EAAE;IACxB,2BAA2B,EAAE,KAAK;IAClC,wBAAwB,EAAE,CAAC;CAC5B,CAAC;AAEF,eAAe;AAEf;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,OAAe,EACf,eAA6C;IAE7C,MAAM,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,eAAe,EAAE,CAAC;IACzD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAoB,CAAC,CAAC;IAEvD,MAAM,QAAQ,GAAsB,EAAE,CAAC;IAEvC,8CAA8C;IAC9C,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,eAAe,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7D,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,OAAO;gBACrB,OAAO,EAAE,WAAW,OAAO,EAAE;gBAC7B,QAAQ,EAAE,OAAO,OAAO,eAAe;aACxC,CAAC,CAAC;QACL,CAAC;QAED,aAAa;QACb,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,EAAE;gBAChB,OAAO,EAAE,WAAW,KAAK,EAAE;gBAC3B,QAAQ,EAAE,UAAU,KAAK,aAAa;aACvC,CAAC,CAAC;QACL,CAAC;QAED,aAAa;QACb,MAAM,cAAc,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAC1F,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gBAAgB;gBACtB,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,OAAO,EAAE,OAAO,MAAM,CAAC,YAAY,UAAU,MAAM,CAAC,sBAAsB,UAAU,MAAM,CAAC,UAAU,MAAM;gBAC3G,QAAQ,EAAE,KAAK,MAAM,CAAC,WAAW,WAAW,MAAM,CAAC,UAAU,EAAE;aAChE,CAAC,CAAC;QACL,CAAC;QAED,YAAY;QACZ,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,aAAa;gBACnB,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBACrD,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,OAAO,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,KAAK,CAAC,aAAa,YAAY;gBAClF,QAAQ,EAAE,KAAK,KAAK,CAAC,WAAW,UAAU,KAAK,CAAC,aAAa,MAAM;aACpE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,MAAM,aAAa,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC9D,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,aAAa;YACnB,QAAQ,EAAE,SAAS;YACnB,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,EAAE,CAAC,WAAW;YAC3B,OAAO,EAAE,YAAY,EAAE,CAAC,WAAW,EAAE;YACrC,QAAQ,EAAE,EAAE,CAAC,OAAO;SACrB,CAAC,CAAC;IACL,CAAC;IAED,KAAK;IACL,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAC7E,MAAM,MAAM,GAAG,aAAa,KAAK,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,MAAM;QACpB,CAAC,CAAC,YAAY,YAAY,OAAO;QACjC,CAAC,CAAC,aAAa,aAAa,SAAS,YAAY,OAAO,CAAC;IAE3D,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,QAAQ;QACR,OAAO;KACR,CAAC;IAEF,oBAAoB;IACpB,IAAI,MAAM,CAAC,2BAA2B,EAAE,CAAC;QACvC,MAAM,CAAC,kBAAkB,GAAG,yBAAyB,CACnD,QAAQ,EACR,MAAM,EACN,OAAO,EACP,MAAM,CAAC,wBAAwB,CAChC,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sBAAsB;AAEtB;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAA2B,EAC3B,MAAkC,EAClC,OAAe,EACf,cAAsB,CAAC;IAEvB,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC;IAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAElC,UAAU;IACV,MAAM,iBAAiB,GAAG,QAAQ;SAC/B,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC;SACrB,GAAG,CACF,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE;QACtE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,UAAU,CAAC,CAAC,QAAQ,EAAE,CACzB;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,cAAc;IACd,MAAM,aAAa,GAAG,MAAM;QAC1B,CAAC,CAAC;YACE,SAAS,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC7C,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;gBAC/B,CAAC,CAAC,SAAS,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBAC7C,CAAC,CAAC,IAAI;YACR,MAAM,CAAC,eAAe;gBACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;qBACnC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;qBAC5C,IAAI,CAAC,IAAI,CAAC;gBACf,CAAC,CAAC,IAAI;SACT;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,aAAa,CAAC;IAElB,OAAO;IACP,MAAM,YAAY,GAAG,QAAQ,KAAK,CAAC,MAAM,SAAS,OAAO,CAAC,MAAM,EAAE,CAAC;IAEnE,OAAO;QACL,sBAAsB,IAAI,gBAAgB;QAC1C,EAAE;QACF,oBAAoB;QACpB,iBAAiB,IAAI,UAAU;QAC/B,EAAE;QACF,gBAAgB;QAChB,aAAa;QACb,EAAE;QACF,SAAS;QACT,YAAY;QACZ,EAAE;QACF,SAAS;QACT,8CAA8C;QAC9C,4CAA4C;QAC5C,0BAA0B;QAC1B,qDAAqD;QACrD,oCAAoC;QACpC,oCAAoC;QACpC,EAAE;QACF,iCAAiC;QACjC,QAAQ,WAAW,WAAW;QAC9B,EAAE;QACF,eAAe;QACf,gCAAgC;KACjC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/engine/contracts/template_schema_loader.d.ts

@@ -0,0 +1,79 @@
+/**
+ * 模板 Schema 加载器 — 从模板 frontmatter 中解析 artifact_schema 和 process_rules。
+ *
+ * 职责：
+ * 1. 解析模板文件 YAML frontmatter 中的 artifact_schema 字段
+ * 2. 解析模板文件 YAML frontmatter 中的 process_rules 字段
+ * 3. 提供运行时重载能力（开发时修改模板立即生效）
+ *
+ * 设计决策：
+ * - 模板 frontmatter 中的 schema 定义会覆盖 registry 中的硬编码数据
+ * - 无 frontmatter 的模板不报错，使用 registry 默认值
+ * - 解析失败时 fallback 到 registry，不阻断流程
+ */
+import type { ArtifactKind } from "./artifact_contract_registry.js";
+import type { ArtifactSchema } from "./artifact_schema_registry.js";
+/** 模板 frontmatter 中的 artifact_schema 结构 */
+export interface TemplateArtifactSchema {
+    kind: string;
+    required_sections?: string[];
+    required_tables?: string[];
+    required_fields?: Record<string, string[]>;
+    required_artifacts?: string[];
+    forbidden_gaps?: string[];
+}
+/** 模板 frontmatter 中的单操作类型规则 */
+export interface TemplateProcessRules {
+    instructions?: string[];
+    constraints?: string[];
+    input_materials?: string[];
+}
+/** 模板 frontmatter 中的完整 process_rules 结构 */
+export interface TemplateProcessRuleSet {
+    extract?: TemplateProcessRules;
+    review?: TemplateProcessRules;
+    fix?: TemplateProcessRules;
+    iterate?: TemplateProcessRules;
+}
+/** 解析结果 */
+export interface ParsedTemplateSchema {
+    /** 模板文件名 */
+    template_file: string;
+    /** 产物类型 */
+    kind: ArtifactKind;
+    /** 从 frontmatter 解析的 artifact_schema（无则为 null） */
+    artifact_schema: TemplateArtifactSchema | null;
+    /** 从 frontmatter 解析的 process_rules（无则为 null） */
+    process_rules: TemplateProcessRuleSet | null;
+    /** 解析错误 */
+    error?: string;
+}
+/**
+ * 解析模板文件的 YAML frontmatter。
+ *
+ * @returns frontmatter 文本（不含 --- 分隔符），无 frontmatter 时返回 null
+ */
+export declare function extractFrontmatter(content: string): string | null;
+/**
+ * 从 YAML frontmatter 中解析 artifact_schema 字段。
+ *
+ * 使用简单的行解析（不依赖 yaml 库），适用于我们控制的结构化格式。
+ */
+export declare function parseArtifactSchemaFromFrontmatter(frontmatter: string): TemplateArtifactSchema | null;
+/**
+ * 从 YAML frontmatter 中解析 process_rules 字段。
+ */
+export declare function parseProcessRulesFromFrontmatter(frontmatter: string): TemplateProcessRuleSet | null;
+/**
+ * 解析单个模板文件的 schema 和 process_rules。
+ */
+export declare function parseTemplateFile(templatePath: string): ParsedTemplateSchema | null;
+/**
+ * 批量加载目录下所有模板的 schema。
+ */
+export declare function loadTemplateSchemas(templatesDir: string): ParsedTemplateSchema[];
+/**
+ * 将 ArtifactSchema 转换为可注册到 registry 的格式。
+ */
+export declare function toArtifactSchema(parsed: ParsedTemplateSchema): ArtifactSchema | null;
+//# sourceMappingURL=template_schema_loader.d.ts.map

package/dist/engine/contracts/template_schema_loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template_schema_loader.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/template_schema_loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAKpE,2CAA2C;AAC3C,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,+BAA+B;AAC/B,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,2CAA2C;AAC3C,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,oBAAoB,CAAC;IAC/B,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,GAAG,CAAC,EAAE,oBAAoB,CAAC;IAC3B,OAAO,CAAC,EAAE,oBAAoB,CAAC;CAChC;AAED,WAAW;AACX,MAAM,WAAW,oBAAoB;IACnC,YAAY;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,kDAAkD;IAClD,eAAe,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAC/C,gDAAgD;IAChD,aAAa,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAC7C,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAID;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGjE;AAED;;;;GAIG;AACH,wBAAgB,kCAAkC,CAChD,WAAW,EAAE,MAAM,GAClB,sBAAsB,GAAG,IAAI,CA0B/B;AA2GD;;GAEG;AACH,wBAAgB,gCAAgC,CAC9C,WAAW,EAAE,MAAM,GAClB,sBAAsB,GAAG,IAAI,CAqD/B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,MAAM,GACnB,oBAAoB,GAAG,IAAI,CAmC7B;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,GACnB,oBAAoB,EAAE,CAexB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,GAAG,cAAc,GAAG,IAAI,CAapF"}

package/dist/engine/contracts/template_schema_loader.js

@@ -0,0 +1,301 @@
+/**
+ * 模板 Schema 加载器 — 从模板 frontmatter 中解析 artifact_schema 和 process_rules。
+ *
+ * 职责：
+ * 1. 解析模板文件 YAML frontmatter 中的 artifact_schema 字段
+ * 2. 解析模板文件 YAML frontmatter 中的 process_rules 字段
+ * 3. 提供运行时重载能力（开发时修改模板立即生效）
+ *
+ * 设计决策：
+ * - 模板 frontmatter 中的 schema 定义会覆盖 registry 中的硬编码数据
+ * - 无 frontmatter 的模板不报错，使用 registry 默认值
+ * - 解析失败时 fallback 到 registry，不阻断流程
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { debug } from "../core/logger.js";
+// ── 解析函数 ──
+/**
+ * 解析模板文件的 YAML frontmatter。
+ *
+ * @returns frontmatter 文本（不含 --- 分隔符），无 frontmatter 时返回 null
+ */
+export function extractFrontmatter(content) {
+    const match = content.match(/^---\n([\s\S]*?)\n---/);
+    return match ? match[1] : null;
+}
+/**
+ * 从 YAML frontmatter 中解析 artifact_schema 字段。
+ *
+ * 使用简单的行解析（不依赖 yaml 库），适用于我们控制的结构化格式。
+ */
+export function parseArtifactSchemaFromFrontmatter(frontmatter) {
+    // 查找 artifact_schema: 块
+    const schemaStart = frontmatter.indexOf("artifact_schema:");
+    if (schemaStart === -1)
+        return null;
+    // 提取 artifact_schema 块（到下一个顶层 key 或末尾）
+    const afterSchema = frontmatter.slice(schemaStart);
+    const lines = afterSchema.split("\n");
+    const schemaLines = [];
+    let inSchema = false;
+    for (const line of lines) {
+        // 顶层 key（非缩进）且不是 artifact_schema 本身 → 结束
+        if (inSchema && line.length > 0 && line[0] !== " " && line[0] !== "\t" && !line.startsWith("#")) {
+            break;
+        }
+        if (line.startsWith("artifact_schema:")) {
+            inSchema = true;
+            schemaLines.push(line);
+        }
+        else if (inSchema) {
+            schemaLines.push(line);
+        }
+    }
+    const schemaText = schemaLines.join("\n");
+    return parseSchemaBlock(schemaText);
+}
+/**
+ * 解析 artifact_schema 块的内部结构。
+ */
+function parseSchemaBlock(text) {
+    let kind = "";
+    const sections = [];
+    const tables = [];
+    const fields = {};
+    const artifacts = [];
+    const gaps = [];
+    const lines = text.split("\n");
+    let currentListTarget = null;
+    let currentFieldsTable = null;
+    let currentFieldNames = [];
+    for (const rawLine of lines) {
+        const line = rawLine.trim();
+        // kind 字段值
+        if (line.startsWith("kind:")) {
+            kind = line.replace("kind:", "").trim().replace(/['"]/g, "");
+            currentListTarget = null;
+            continue;
+        }
+        // 必填章节
+        if (line.startsWith("required_sections:")) {
+            currentListTarget = sections;
+            currentFieldsTable = null;
+            continue;
+        }
+        // 必填表格
+        if (line.startsWith("required_tables:")) {
+            currentListTarget = tables;
+            currentFieldsTable = null;
+            continue;
+        }
+        // 必填附属产物
+        if (line.startsWith("required_artifacts:")) {
+            currentListTarget = artifacts;
+            currentFieldsTable = null;
+            continue;
+        }
+        // 禁止空白
+        if (line.startsWith("forbidden_gaps:")) {
+            currentListTarget = gaps;
+            currentFieldsTable = null;
+            continue;
+        }
+        // 必填字段块
+        if (line.startsWith("required_fields:")) {
+            currentListTarget = null;
+            currentFieldsTable = null;
+            continue;
+        }
+        // 列表项（- value）
+        if (line.startsWith("- ") && currentListTarget !== null) {
+            const value = line.slice(2).trim().replace(/['"]/g, "");
+            currentListTarget.push(value);
+            continue;
+        }
+        // required_fields 子项：tableName:
+        // 缩进的 key → 字段表名
+        if (rawLine.match(/^\s{4,6}\S+:\s*$/) && !line.startsWith("-")) {
+            // 先保存上一个字段表
+            if (currentFieldsTable && currentFieldNames.length > 0) {
+                fields[currentFieldsTable] = currentFieldNames;
+            }
+            currentFieldsTable = line.replace(":", "").trim();
+            currentFieldNames = [];
+            continue;
+        }
+        // 字段表的列表项
+        if (line.startsWith("- ") && currentFieldsTable !== null) {
+            const value = line.slice(2).trim().replace(/['"]/g, "");
+            currentFieldNames.push(value);
+            continue;
+        }
+    }
+    // 保存最后一个字段表
+    if (currentFieldsTable && currentFieldNames.length > 0) {
+        fields[currentFieldsTable] = currentFieldNames;
+    }
+    if (!kind)
+        return null;
+    const result = { kind };
+    if (sections.length > 0)
+        result.required_sections = sections;
+    if (tables.length > 0)
+        result.required_tables = tables;
+    if (Object.keys(fields).length > 0)
+        result.required_fields = fields;
+    if (artifacts.length > 0)
+        result.required_artifacts = artifacts;
+    if (gaps.length > 0)
+        result.forbidden_gaps = gaps;
+    return result;
+}
+/**
+ * 从 YAML frontmatter 中解析 process_rules 字段。
+ */
+export function parseProcessRulesFromFrontmatter(frontmatter) {
+    const rulesStart = frontmatter.indexOf("process_rules:");
+    if (rulesStart === -1)
+        return null;
+    const afterRules = frontmatter.slice(rulesStart);
+    const lines = afterRules.split("\n");
+    const result = {};
+    let currentOp = null;
+    let currentField = null;
+    for (const rawLine of lines) {
+        const line = rawLine.trim();
+        // 新顶层 key → 结束
+        if (line.length > 0 && rawLine.match(/^\S/) && !line.startsWith("process_rules:")) {
+            break;
+        }
+        // 操作类型（extract/review/fix/iterate:）
+        const opMatch = line.match(/^(extract|review|fix|iterate):$/);
+        if (opMatch) {
+            currentOp = opMatch[1];
+            result[currentOp] = { instructions: [], constraints: [], input_materials: [] };
+            currentField = null;
+            continue;
+        }
+        // 执行指令字段
+        if (line === "instructions:" && currentOp) {
+            currentField = "instructions";
+            continue;
+        }
+        // 约束字段
+        if (line === "constraints:" && currentOp) {
+            currentField = "constraints";
+            continue;
+        }
+        // 输入材料字段
+        if (line === "input_materials:" && currentOp) {
+            currentField = "input_materials";
+            continue;
+        }
+        // 列表项
+        if (line.startsWith("- ") && currentOp && currentField) {
+            const value = line.slice(2).trim().replace(/^['"]|['"]$/g, "");
+            result[currentOp][currentField].push(value);
+        }
+    }
+    return Object.keys(result).length > 0 ? result : null;
+}
+/**
+ * 解析单个模板文件的 schema 和 process_rules。
+ */
+export function parseTemplateFile(templatePath) {
+    if (!fs.existsSync(templatePath))
+        return null;
+    try {
+        const content = fs.readFileSync(templatePath, "utf-8");
+        const frontmatter = extractFrontmatter(content);
+        const fileName = path.basename(templatePath);
+        // 从现有 frontmatter 提取 kind
+        const kindMatch = frontmatter?.match(/name:\s*(\S+)/);
+        if (!kindMatch)
+            return null;
+        const kindName = kindMatch[1];
+        // 尝试映射到 ArtifactKind（需要从模板 id 或 name 推断）
+        const mappedKind = mapTemplateNameToKind(kindName, fileName);
+        if (!mappedKind)
+            return null;
+        let artifactSchema = null;
+        let processRules = null;
+        if (frontmatter) {
+            artifactSchema = parseArtifactSchemaFromFrontmatter(frontmatter);
+            processRules = parseProcessRulesFromFrontmatter(frontmatter);
+        }
+        return {
+            template_file: fileName,
+            kind: mappedKind,
+            artifact_schema: artifactSchema,
+            process_rules: processRules,
+        };
+    }
+    catch (e) {
+        debug(`template_schema_loader: 解析模板失败 ${templatePath}: ${e}`);
+        return null;
+    }
+}
+/**
+ * 批量加载目录下所有模板的 schema。
+ */
+export function loadTemplateSchemas(templatesDir) {
+    if (!fs.existsSync(templatesDir))
+        return [];
+    const results = [];
+    const entries = fs.readdirSync(templatesDir);
+    for (const entry of entries) {
+        if (!entry.endsWith(".md"))
+            continue;
+        const fullPath = path.join(templatesDir, entry);
+        const parsed = parseTemplateFile(fullPath);
+        if (parsed)
+            results.push(parsed);
+    }
+    debug(`template_schema_loader: 从 ${templatesDir} 加载 ${results.length} 个模板 schema`);
+    return results;
+}
+/**
+ * 将 ArtifactSchema 转换为可注册到 registry 的格式。
+ */
+export function toArtifactSchema(parsed) {
+    if (!parsed.artifact_schema)
+        return null;
+    const schema = parsed.artifact_schema;
+    return {
+        kind: parsed.kind,
+        required_sections: schema.required_sections ?? [],
+        required_tables: schema.required_tables ?? [],
+        required_fields: schema.required_fields,
+        required_artifacts: schema.required_artifacts,
+        forbidden_gaps: schema.forbidden_gaps,
+        template_file: parsed.template_file,
+    };
+}
+// ── 模板名 → ArtifactKind 映射 ──
+const TEMPLATE_NAME_MAP = {
+    "原型说明模版.md": "prototype_spec",
+    "架构设计模版.md": "design_doc",
+    "API接口规格文档模版.md": "api_spec",
+    "设计一致性验收报告模版.md": "verification_report",
+    "详细设计模版.md": "detailed_design",
+    "接口对接方案模版.md": "api_design",
+    "需求分析模版.md": "requirement_analysis",
+    "测试计划模版.md": "test_plan",
+    "切片计划模版.md": "task_breakdown",
+    "Bug分析模版.md": "root_cause",
+    "故障复盘模版.md": "incident_review",
+    "代码审查报告模版.md": "review_report",
+    "ADR模版.md": "tech_decision_record",
+    "迁移评估模版.md": "migration_plan",
+    "通用质量验收清单.md": "acceptance_checklist",
+    "OOD设计摘要模版.md": "domain_model",
+};
+function mapTemplateNameToKind(_templateName, fileName) {
+    // 先用文件名精确匹配
+    if (fileName in TEMPLATE_NAME_MAP)
+        return TEMPLATE_NAME_MAP[fileName];
+    // 再用 name 字段模糊匹配
+    return undefined;
+}
+//# sourceMappingURL=template_schema_loader.js.map

package/dist/engine/contracts/template_schema_loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template_schema_loader.js","sourceRoot":"","sources":["../../../src/engine/contracts/template_schema_loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AA8C1C,aAAa;AAEb;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kCAAkC,CAChD,WAAmB;IAEnB,wBAAwB;IACxB,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5D,IAAI,WAAW,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,uCAAuC;IACvC,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,yCAAyC;QACzC,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChG,MAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACxC,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,QAAQ,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,gBAAgB,CAAC,UAAU,CAAC,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,iBAAiB,GAAoB,IAAI,CAAC;IAC9C,IAAI,kBAAkB,GAAkB,IAAI,CAAC;IAC7C,IAAI,iBAAiB,GAAa,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAE5B,WAAW;QACX,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7D,iBAAiB,GAAG,IAAI,CAAC;YACzB,SAAS;QACX,CAAC;QAED,OAAO;QACP,IAAI,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC1C,iBAAiB,GAAG,QAAQ,CAAC;YAC7B,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,OAAO;QACP,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACxC,iBAAiB,GAAG,MAAM,CAAC;YAC3B,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,SAAS;QACT,IAAI,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC3C,iBAAiB,GAAG,SAAS,CAAC;YAC9B,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,OAAO;QACP,IAAI,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACvC,iBAAiB,GAAG,IAAI,CAAC;YACzB,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,QAAQ;QACR,IAAI,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACxC,iBAAiB,GAAG,IAAI,CAAC;YACzB,kBAAkB,GAAG,IAAI,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,eAAe;QACf,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxD,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,gCAAgC;QAChC,iBAAiB;QACjB,IAAI,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/D,YAAY;YACZ,IAAI,kBAAkB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvD,MAAM,CAAC,kBAAkB,CAAC,GAAG,iBAAiB,CAAC;YACjD,CAAC;YACD,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAClD,iBAAiB,GAAG,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QAED,UAAU;QACV,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxD,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;IACH,CAAC;IAED,YAAY;IACZ,IAAI,kBAAkB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,kBAAkB,CAAC,GAAG,iBAAiB,CAAC;IACjD,CAAC;IAED,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,MAAM,GAA2B,EAAE,IAAI,EAAE,CAAC;IAChD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,iBAAiB,GAAG,QAAQ,CAAC;IAC7D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC;IACvD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,kBAAkB,GAAG,SAAS,CAAC;IAChE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC;IAElD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gCAAgC,CAC9C,WAAmB;IAEnB,MAAM,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACzD,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,IAAI,SAAS,GAAyB,IAAI,CAAC;IAC3C,IAAI,YAAY,GAA8D,IAAI,CAAC;IAEnF,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAE5B,eAAe;QACf,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClF,MAAM;QACR,CAAC;QAED,oCAAoC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAC9D,IAAI,OAAO,EAAE,CAAC;YACZ,SAAS,GAAG,OAAO,CAAC,CAAC,CAAkB,CAAC;YACxC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;YAC/E,YAAY,GAAG,IAAI,CAAC;YACpB,SAAS;QACX,CAAC;QAED,SAAS;QACT,IAAI,IAAI,KAAK,eAAe,IAAI,SAAS,EAAE,CAAC;YAC1C,YAAY,GAAG,cAAc,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,OAAO;QACP,IAAI,IAAI,KAAK,cAAc,IAAI,SAAS,EAAE,CAAC;YACzC,YAAY,GAAG,aAAa,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,SAAS;QACT,IAAI,IAAI,KAAK,kBAAkB,IAAI,SAAS,EAAE,CAAC;YAC7C,YAAY,GAAG,iBAAiB,CAAC;YACjC,SAAS;QACX,CAAC;QAED,MAAM;QACN,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,IAAI,YAAY,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;YAC/D,MAAM,CAAC,SAAS,CAAE,CAAC,YAAY,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAAoB;IAEpB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAE9C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACvD,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAE7C,0BAA0B;QAC1B,MAAM,SAAS,GAAG,WAAW,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QACtD,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAE5B,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QAC/B,yCAAyC;QACzC,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC7D,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAE7B,IAAI,cAAc,GAAkC,IAAI,CAAC;QACzD,IAAI,YAAY,GAAkC,IAAI,CAAC;QAEvD,IAAI,WAAW,EAAE,CAAC;YAChB,cAAc,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC;YACjE,YAAY,GAAG,gCAAgC,CAAC,WAAW,CAAC,CAAC;QAC/D,CAAC;QAED,OAAO;YACL,aAAa,EAAE,QAAQ;YACvB,IAAI,EAAE,UAAU;YAChB,eAAe,EAAE,cAAc;YAC/B,aAAa,EAAE,YAAY;SAC5B,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,KAAK,CAAC,kCAAkC,YAAY,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,YAAoB;IAEpB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAE5C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAE7C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,6BAA6B,YAAY,OAAO,OAAO,CAAC,MAAM,aAAa,CAAC,CAAC;IACnF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA4B;IAC3D,IAAI,CAAC,MAAM,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IAEzC,MAAM,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC;IACtC,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,EAAE;QACjD,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,EAAE;QAC7C,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;QAC7C,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAE9B,MAAM,iBAAiB,GAAiC;IACtD,WAAW,EAAE,gBAAgB;IAC7B,WAAW,EAAE,YAAY;IACzB,gBAAgB,EAAE,UAAU;IAC5B,gBAAgB,EAAE,qBAAqB;IACvC,WAAW,EAAE,iBAAiB;IAC9B,aAAa,EAAE,YAAY;IAC3B,WAAW,EAAE,sBAAsB;IACnC,WAAW,EAAE,WAAW;IACxB,WAAW,EAAE,gBAAgB;IAC7B,YAAY,EAAE,YAAY;IAC1B,WAAW,EAAE,iBAAiB;IAC9B,aAAa,EAAE,eAAe;IAC9B,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,gBAAgB;IAC7B,aAAa,EAAE,sBAAsB;IACrC,cAAc,EAAE,cAAc;CAC/B,CAAC;AAEF,SAAS,qBAAqB,CAAC,aAAqB,EAAE,QAAgB;IACpE,YAAY;IACZ,IAAI,QAAQ,IAAI,iBAAiB;QAAE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACtE,iBAAiB;IACjB,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/engine/knowledge/knowledge_injection_boundary.d.ts

@@ -5,8 +5,10 @@
  * 为每次 expand 生成知识注入报告，说明哪些知识被注入、
  * 哪些只能 advisory、哪些被排除以及排除原因。
  */
-import type { KnowledgeEntry, KnowledgeInjectionReport, KnowledgeConflict, ExclusionReason } from "../../types/index.js";
+import type { KnowledgeEntry, KnowledgeInjectionReport, ArtifactSchemaInjection, KnowledgeConflict, ExclusionReason } from "../../types/index.js";
 import type { IntentRouteDecision } from "../pipeline/intent_router.js";
+import type { OperationType } from "../../types/pipeline.js";
+import type { TaskStage } from "../workflow/workflow_navigation_contract.js";
 import { type ConsumableAssetRef } from "../templates/consumable_asset_registry.js";
 export interface InjectionGovernanceFinding {
     severity: "hard_fail" | "advisory";
@@ -27,7 +29,7 @@ export declare function clearInjectionContractCache(): void;
 /** 门1: 过滤可索引的知识条目，排除非 active/pending_review 状态 */
 export declare function filterIndexable(entries: KnowledgeEntry[]): GateResult<KnowledgeEntry>;
 /** 门2: 过滤可注入的知识条目，按消费模式、作用域、产品、路由等条件筛选 */
-export declare function filterInjectable(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[], productFilters?: string[], contractRoot?: string): {
+export declare function filterInjectable(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[], productFilters?: string[], contractRoot?: string, taskStage?: TaskStage): {
     injectable: KnowledgeEntry[];
     advisory: KnowledgeEntry[];
     excluded: Array<{
@@ -38,7 +40,7 @@ export declare function filterInjectable(entries: KnowledgeEntry[], routeDecisio
     indexOnlyExcludedIds: Set<string>;
 };
 /** 门3: 按优先级排序知识条目，检测冲突，在预算内裁剪 */
-export declare function sortByPriority(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, assets: ConsumableAssetRef[], budget: number): {
+export declare function sortByPriority(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, assets: ConsumableAssetRef[], budget: number, taskStage?: TaskStage): {
     sorted: KnowledgeEntry[];
     conflicts: KnowledgeConflict[];
     dropped: Array<{
@@ -47,8 +49,23 @@ export declare function sortByPriority(entries: KnowledgeEntry[], routeDecision:
         reason: ExclusionReason;
     }>;
 };
+/**
+ * 解析产物 Schema 和 ProcessRules 的独立注入内容。
+ *
+ * 核心设计决策：Schema 和 ProcessRules 是结构约束，不是知识。
+ * 它们绕过三道门的条目数/token 预算限制，作为独立注入通道。
+ * 无论知识注入预算是否充足，Schema 始终被注入到 prompt 中。
+ *
+ * @param outputArtifact 路由决策中的 output_artifact（含 kind 和可选 template）
+ * @param operationType 当前操作类型（extract/review/fix/iterate）
+ * @returns Schema 注入内容，无匹配产物类型时返回 null
+ */
+export declare function resolveArtifactSchemaInjection(outputArtifact: {
+    kind: string;
+    template?: string;
+} | undefined, operationType: OperationType | undefined): ArtifactSchemaInjection | null;
 /** 知识注入边界主入口，依次执行三道门并生成注入报告 */
-export declare function enforceKnowledgeInjectionBoundary(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[] | undefined, budget?: number, productFilters?: string[], contractRoot?: string, maxTokenBudget?: number): KnowledgeInjectionReport;
+export declare function enforceKnowledgeInjectionBoundary(entries: KnowledgeEntry[], routeDecision: IntentRouteDecision | undefined, scopeFilters: string[], assets: ConsumableAssetRef[] | undefined, budget?: number, productFilters?: string[], contractRoot?: string, maxTokenBudget?: number, taskStage?: TaskStage): KnowledgeInjectionReport;
 /** 自治理验证知识注入报告的合规性 */
 export declare function validateInjectionReport(report: KnowledgeInjectionReport): InjectionGovernanceFinding[];
 /**