spec-manager 0.1.0

package/dist/core/validate.js

@@ -0,0 +1,195 @@
+/**
+ * 验证 spec 正文的必填段，**只返回 warning，不 throw**。
+ * 这是 MCP 版 doc_update 的 validateSpecSections 行为的直接复刻。
+ *
+ * 必填段定义:
+ *   L1: 背景 / 用户故事 / 验收标准 / 范围边界
+ *   L2: 方案概述 / 技术决策 / 受影响模块 / 接口契约 / L3 裂变计划
+ *   L3: 目标 / 实施步骤 / 验证命令
+ *
+ * 同时校验 RFC 2119 关键字（如果 L1/L2 内容包含"验收标准"段，则该段每条 AC 应含
+ * SHALL/MUST/SHOULD 之一）。这是 OpenSpec 风格的强化。
+ */
+const SPEC_CODE_INLINE_RE = /\b[a-z0-9][a-z0-9-]*-L[0-3](?:\.\d+)*(?:-(?!\d{8}\b)[a-z0-9][a-z0-9-]*)?\b/;
+const REQUIRED_SECTIONS = {
+    L0: ['愿景', '路线图'],
+    L1: ['背景', '用户故事', '验收标准', '范围边界'],
+    L2: ['方案概述', '技术决策', '受影响模块', '接口契约', 'L3 裂变计划'],
+    L3: ['目标', '实施步骤', '验证命令'],
+};
+const RFC_2119_KEYWORDS = ['SHALL', 'MUST', 'SHOULD', 'MAY'];
+export function validateSpecContent(level, content) {
+    const warnings = [];
+    const required = REQUIRED_SECTIONS[level] ?? [];
+    const sections = parseSections(content);
+    for (const r of required) {
+        if (!sections.some(s => s.heading === r)) {
+            warnings.push({
+                rule: 'missing_section',
+                level: 'warn',
+                message: `[${level}] 缺少必填段：## ${r}`,
+                section: r,
+            });
+        }
+    }
+    // RFC 2119 校验：L1 验收标准段每条 AC 应含 SHALL/MUST/SHOULD
+    if (level === 'L1') {
+        const ac = sections.find(s => s.heading === '验收标准');
+        if (ac) {
+            const acLines = ac.body.split('\n').map(l => l.trim()).filter(l => /^\d+\.\s*\*\*AC-/.test(l));
+            if (acLines.length === 0) {
+                warnings.push({
+                    rule: 'no_ac_items',
+                    level: 'warn',
+                    message: '验收标准段未发现 AC 编号条目（应为 "1. **AC-1**: ..." 格式）',
+                    section: '验收标准',
+                });
+            }
+            else {
+                const without = acLines.filter(l => !RFC_2119_KEYWORDS.some(k => l.includes(k)));
+                if (without.length > 0) {
+                    warnings.push({
+                        rule: 'rfc2119_missing',
+                        level: 'info',
+                        message: `${without.length}/${acLines.length} 条 AC 未使用 RFC 2119 关键字（SHALL/MUST/SHOULD/MAY）。建议标注约束级别。`,
+                        section: '验收标准',
+                    });
+                }
+            }
+        }
+    }
+    // R17: L2 是架构拆解,不是任务清单。这里做 warning-only 的结构味道检查。
+    if (level === 'L2') {
+        const checklistLines = content.split('\n').filter(l => /^\s*[-*]\s+\[[ xX]\]/.test(l)).length;
+        const todoLines = content.split('\n').filter(l => /\b(TODO|todo)\b|待办|任务清单/.test(l)).length;
+        if (checklistLines + todoLines >= 3) {
+            warnings.push({
+                rule: 'R17',
+                level: 'warn',
+                message: 'R17: L2 应描述架构拆解、技术决策和接口契约，不应退化为 todolist',
+            });
+        }
+        if (/scope-split|scope split|范围拆分/.test(content)) {
+            const splitPlan = sections.find(s => s.heading === 'L3 裂变计划');
+            const plannedChildren = splitPlan?.body.match(/\bL3[-\s.]\d*/g)?.length ?? 0;
+            if (plannedChildren < 2) {
+                warnings.push({
+                    rule: 'R20',
+                    level: 'warn',
+                    message: 'R20: scope-split L2 必须在 L3 裂变计划中批量列出子 L3',
+                    section: 'L3 裂变计划',
+                });
+            }
+        }
+    }
+    const crossLayerLines = content.split('\n').filter(l => /(父\s*L[0-3]|父级|上层|下层|based_on|implements|references|supersedes)/i.test(l));
+    const crossLayerWithoutCode = crossLayerLines.filter(l => !SPEC_CODE_INLINE_RE.test(l));
+    if (crossLayerWithoutCode.length > 0) {
+        warnings.push({
+            rule: 'R14',
+            level: 'warn',
+            message: `R14: ${crossLayerWithoutCode.length} 行跨层引用未使用 spec code，跨层引用只写 code 不复述正文`,
+        });
+    }
+    if (level === 'L2' || level === 'L3') {
+        const hasCodeEvidence = /`(?:src|app|lib|frontend|backend|tests?|specs?)\/[^`]+`|(?:src|app|lib|frontend|backend|tests?|specs?)\/[\w./-]+|代码调查|实际代码|现有代码|复用清单/.test(content);
+        if (!hasCodeEvidence) {
+            warnings.push({
+                rule: 'R23',
+                level: 'warn',
+                message: 'R23: Spec 写作前必须基于实际代码；正文应包含代码调查、现有代码路径或复用清单',
+            });
+        }
+    }
+    return warnings;
+}
+export function validatePlanJson(plan) {
+    const warnings = [];
+    if (!plan || typeof plan !== 'object') {
+        warnings.push({ rule: 'plan_invalid', level: 'warn', message: 'planJson 不是对象' });
+        return warnings;
+    }
+    const p = plan;
+    if (!Array.isArray(p.steps)) {
+        warnings.push({ rule: 'plan_no_steps', level: 'warn', message: 'planJson.steps 不是数组' });
+        return warnings;
+    }
+    const steps = p.steps;
+    if (steps.length === 0) {
+        warnings.push({ rule: 'plan_empty', level: 'warn', message: 'planJson.steps 为空' });
+    }
+    if (steps.length > 20) {
+        warnings.push({
+            rule: 'R11',
+            level: 'warn',
+            message: `R11: planJson 步骤数 ${steps.length} 超过上限 20，需拆分 L3`,
+        });
+    }
+    for (const [i, s] of steps.entries()) {
+        if (!('stepNo' in s)) {
+            warnings.push({ rule: 'plan_field', level: 'warn', message: `steps[${i}] 缺 stepNo（INC-005: 禁止用 no）` });
+        }
+        if (!('stepType' in s)) {
+            warnings.push({ rule: 'plan_field', level: 'warn', message: `steps[${i}] 缺 stepType（INC-005: 禁止用 type）` });
+        }
+        else {
+            const t = String(s.stepType);
+            if (!['llm_call', 'mcp_tool', 'human_gate'].includes(t)) {
+                warnings.push({ rule: 'plan_field', level: 'warn', message: `steps[${i}].stepType="${t}" 不在 [llm_call, mcp_tool, human_gate]` });
+            }
+        }
+        if (!('name' in s)) {
+            warnings.push({ rule: 'plan_field', level: 'warn', message: `steps[${i}] 缺 name（INC-005: 禁止用 desc）` });
+        }
+        else {
+            const n = String(s.name);
+            if (n.length < 5) {
+                warnings.push({ rule: 'plan_field', level: 'warn', message: `steps[${i}].name 长度 <5，建议含 verb+object+file` });
+            }
+        }
+    }
+    const mutatingStep = steps.find(s => /(edit|write|create|modify|implement|fix|patch|修改|创建|实现|修复|写入|编辑)/i.test(String(s.name ?? '')));
+    if (mutatingStep) {
+        const firstTwo = steps.slice(0, 2).map(s => String(s.name ?? '')).join(' ');
+        if (!/(read|inspect|research|survey|grep|rg|调研|读取|走读|检查|搜索)/i.test(firstTwo)) {
+            warnings.push({
+                rule: 'R8',
+                level: 'warn',
+                message: 'R8: 改代码前必须调研；含修改类步骤的 planJson 前两步应包含读取/搜索/调研',
+            });
+        }
+    }
+    // R10: 末步建议是验证
+    if (steps.length > 0) {
+        const last = steps[steps.length - 1];
+        const lastName = String(last.name ?? '').toLowerCase();
+        if (!/(验证|verify|test|check|curl|gradle|mvn|pytest|vitest)/.test(lastName)) {
+            warnings.push({
+                rule: 'R10',
+                level: 'info',
+                message: 'R10: planJson 末步建议含 "验证" 字样或等价验证命令',
+            });
+        }
+    }
+    return warnings;
+}
+function parseSections(content) {
+    const lines = content.split('\n');
+    const sections = [];
+    let current = null;
+    for (const line of lines) {
+        const m = line.match(/^#{2,3}\s+(.+?)\s*$/);
+        if (m) {
+            if (current)
+                sections.push(current);
+            current = { heading: m[1], body: '' };
+        }
+        else if (current) {
+            current.body += line + '\n';
+        }
+    }
+    if (current)
+        sections.push(current);
+    return sections;
+}
+//# sourceMappingURL=validate.js.map

package/dist/core/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,MAAM,mBAAmB,GAAG,4EAA4E,CAAC;AAWzG,MAAM,iBAAiB,GAAgC;IACrD,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;IACjB,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;IAClC,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;IAChD,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAE7D,MAAM,UAAU,mBAAmB,CAAC,KAAgB,EAAE,OAAe;IACnE,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAExC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,iBAAiB;gBACvB,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,IAAI,KAAK,cAAc,CAAC,EAAE;gBACnC,OAAO,EAAE,CAAC;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QACpD,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,MAAM;oBACb,OAAO,EAAE,4CAA4C;oBACrD,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,iBAAiB;wBACvB,KAAK,EAAE,MAAM;wBACb,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,yDAAyD;wBACrG,OAAO,EAAE,MAAM;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9F,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5F,IAAI,cAAc,GAAG,SAAS,IAAI,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,0CAA0C;aACpD,CAAC,CAAC;QACL,CAAC;QAED,IAAI,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;YAC9D,MAAM,eAAe,GAAG,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;YAC7E,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,KAAK;oBACX,KAAK,EAAE,MAAM;oBACb,OAAO,EAAE,0CAA0C;oBACnD,OAAO,EAAE,SAAS;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,kEAAkE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACpI,MAAM,qBAAqB,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,QAAQ,qBAAqB,CAAC,MAAM,uCAAuC;SACrF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACrC,MAAM,eAAe,GAAG,sIAAsI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7K,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,6CAA6C;aACvD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAgBD,MAAM,UAAU,gBAAgB,CAAC,IAAa;IAC5C,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QACjF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,CAAC,GAAG,IAA+B,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;QACxF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAuC,CAAC;IACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,MAAM;YACb,OAAO,EAAE,qBAAqB,KAAK,CAAC,MAAM,iBAAiB;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,6BAA6B,EAAE,CAAC,CAAC;QACzG,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,iCAAiC,EAAE,CAAC,CAAC;QAC7G,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC7B,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,CAAC,uCAAuC,EAAE,CAAC,CAAC;YACnI,CAAC;QACH,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,6BAA6B,EAAE,CAAC,CAAC;QACzG,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,mCAAmC,EAAE,CAAC,CAAC;YAC/G,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,mEAAmE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrI,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5E,IAAI,CAAC,wDAAwD,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,8CAA8C;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,eAAe;IACf,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,IAAI,CAAC,sDAAsD,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3E,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,MAAM;gBACb,OAAO,EAAE,oCAAoC;aAC9C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAID,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAmB,IAAI,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC5C,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACxC,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,OAAO,CAAC,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,IAAI,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+export * from './core/paths.js';
+export * from './core/frontmatter.js';
+export * from './core/status.js';
+export * from './core/validate.js';
+export * from './core/spec-io.js';
+export * from './core/agents.js';
+export * from './core/audit-events.js';
+export * from './core/repository.js';
+export * from './core/usability.js';
+export * from './schemas/spec.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,12 @@
+// 公共 API 入口（供测试 / 第三方使用）
+export * from './core/paths.js';
+export * from './core/frontmatter.js';
+export * from './core/status.js';
+export * from './core/validate.js';
+export * from './core/spec-io.js';
+export * from './core/agents.js';
+export * from './core/audit-events.js';
+export * from './core/repository.js';
+export * from './core/usability.js';
+export * from './schemas/spec.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yBAAyB;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,wBAAwB,CAAC;AACvC,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,mBAAmB,CAAC"}

package/dist/schemas/change.d.ts

@@ -0,0 +1,138 @@
+import { z } from 'zod';
+/**
+ * Delta spec 中每个 change 段的 schema。
+ * 必填字段：op（操作类型）、code（spec code）。
+ * 其它字段根据 op 不同而不同：
+ *   ADDED:    needs [parentCode, level, title, content]
+ *   MODIFIED: needs [content] 或 [frontmatter patch]
+ *   REMOVED:  无额外必填
+ *   RENAMED:  needs [newCode]
+ */
+export declare const ChangeOpSchema: z.ZodEnum<["ADDED", "MODIFIED", "REMOVED", "RENAMED"]>;
+export type ChangeOpT = z.infer<typeof ChangeOpSchema>;
+export declare const ChangeEntrySchema: z.ZodObject<{
+    op: z.ZodEnum<["ADDED", "MODIFIED", "REMOVED", "RENAMED"]>;
+    code: z.ZodString;
+    parentCode: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    level: z.ZodOptional<z.ZodEnum<["L0", "L1", "L2", "L3"]>>;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    newCode: z.ZodOptional<z.ZodString>;
+    changeSummary: z.ZodOptional<z.ZodString>;
+    affectedCriteria: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    code: string;
+    op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+    content?: string | undefined;
+    level?: "L0" | "L1" | "L2" | "L3" | undefined;
+    title?: string | undefined;
+    parentCode?: string | null | undefined;
+    changeSummary?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+    newCode?: string | undefined;
+}, {
+    code: string;
+    op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+    content?: string | undefined;
+    level?: "L0" | "L1" | "L2" | "L3" | undefined;
+    title?: string | undefined;
+    parentCode?: string | null | undefined;
+    changeSummary?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+    newCode?: string | undefined;
+}>;
+export declare const DeltaSpecSchema: z.ZodObject<{
+    name: z.ZodString;
+    created: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    changes: z.ZodArray<z.ZodObject<{
+        op: z.ZodEnum<["ADDED", "MODIFIED", "REMOVED", "RENAMED"]>;
+        code: z.ZodString;
+        parentCode: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        level: z.ZodOptional<z.ZodEnum<["L0", "L1", "L2", "L3"]>>;
+        title: z.ZodOptional<z.ZodString>;
+        content: z.ZodOptional<z.ZodString>;
+        newCode: z.ZodOptional<z.ZodString>;
+        changeSummary: z.ZodOptional<z.ZodString>;
+        affectedCriteria: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        code: string;
+        op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+        content?: string | undefined;
+        level?: "L0" | "L1" | "L2" | "L3" | undefined;
+        title?: string | undefined;
+        parentCode?: string | null | undefined;
+        changeSummary?: string | undefined;
+        affectedCriteria?: string[] | undefined;
+        newCode?: string | undefined;
+    }, {
+        code: string;
+        op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+        content?: string | undefined;
+        level?: "L0" | "L1" | "L2" | "L3" | undefined;
+        title?: string | undefined;
+        parentCode?: string | null | undefined;
+        changeSummary?: string | undefined;
+        affectedCriteria?: string[] | undefined;
+        newCode?: string | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    changes: {
+        code: string;
+        op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+        content?: string | undefined;
+        level?: "L0" | "L1" | "L2" | "L3" | undefined;
+        title?: string | undefined;
+        parentCode?: string | null | undefined;
+        changeSummary?: string | undefined;
+        affectedCriteria?: string[] | undefined;
+        newCode?: string | undefined;
+    }[];
+    name: string;
+    created?: string | undefined;
+    description?: string | undefined;
+}, {
+    changes: {
+        code: string;
+        op: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
+        content?: string | undefined;
+        level?: "L0" | "L1" | "L2" | "L3" | undefined;
+        title?: string | undefined;
+        parentCode?: string | null | undefined;
+        changeSummary?: string | undefined;
+        affectedCriteria?: string[] | undefined;
+        newCode?: string | undefined;
+    }[];
+    name: string;
+    created?: string | undefined;
+    description?: string | undefined;
+}>;
+export declare const ProposalSchema: z.ZodObject<{
+    name: z.ZodString;
+    why: z.ZodString;
+    scope: z.ZodString;
+    risk: z.ZodOptional<z.ZodString>;
+    rollback: z.ZodOptional<z.ZodString>;
+    affectedCriteria: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    created: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    name: string;
+    why: string;
+    scope: string;
+    created?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+    risk?: string | undefined;
+    rollback?: string | undefined;
+}, {
+    name: string;
+    why: string;
+    scope: string;
+    created?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+    risk?: string | undefined;
+    rollback?: string | undefined;
+}>;
+export type ChangeEntry = z.infer<typeof ChangeEntrySchema>;
+export type DeltaSpec = z.infer<typeof DeltaSpecSchema>;
+export type Proposal = z.infer<typeof ProposalSchema>;
+//# sourceMappingURL=change.d.ts.map

package/dist/schemas/change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change.d.ts","sourceRoot":"","sources":["../../src/schemas/change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AAEH,eAAO,MAAM,cAAc,wDAAsD,CAAC;AAClF,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEvD,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU5B,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK1B,CAAC;AAEH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;EAQzB,CAAC;AAEH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AACxD,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC"}

package/dist/schemas/change.js

@@ -0,0 +1,38 @@
+import { z } from 'zod';
+/**
+ * Delta spec 中每个 change 段的 schema。
+ * 必填字段：op（操作类型）、code（spec code）。
+ * 其它字段根据 op 不同而不同：
+ *   ADDED:    needs [parentCode, level, title, content]
+ *   MODIFIED: needs [content] 或 [frontmatter patch]
+ *   REMOVED:  无额外必填
+ *   RENAMED:  needs [newCode]
+ */
+export const ChangeOpSchema = z.enum(['ADDED', 'MODIFIED', 'REMOVED', 'RENAMED']);
+export const ChangeEntrySchema = z.object({
+    op: ChangeOpSchema,
+    code: z.string().min(1),
+    parentCode: z.string().nullable().optional(),
+    level: z.enum(['L0', 'L1', 'L2', 'L3']).optional(),
+    title: z.string().optional(),
+    content: z.string().optional(),
+    newCode: z.string().optional(),
+    changeSummary: z.string().optional(),
+    affectedCriteria: z.array(z.string()).optional(),
+});
+export const DeltaSpecSchema = z.object({
+    name: z.string().regex(/^[a-z0-9-]+$/, 'change name 必须小写字母/数字/短横线'),
+    created: z.string().optional(),
+    description: z.string().optional(),
+    changes: z.array(ChangeEntrySchema).min(1),
+});
+export const ProposalSchema = z.object({
+    name: z.string().regex(/^[a-z0-9-]+$/),
+    why: z.string().min(1, 'proposal.why 必填（说明动机）'),
+    scope: z.string().min(1, 'proposal.scope 必填（说明影响范围）'),
+    risk: z.string().optional(),
+    rollback: z.string().optional(),
+    affectedCriteria: z.array(z.string()).optional(),
+    created: z.string().optional(),
+});
+//# sourceMappingURL=change.js.map

package/dist/schemas/change.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change.js","sourceRoot":"","sources":["../../src/schemas/change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;GAQG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAGlF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC5C,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE;IAClD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACjD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,EAAE,2BAA2B,CAAC;IACnE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC;IACtC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,uBAAuB,CAAC;IAC/C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,2BAA2B,CAAC;IACrD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAChD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAC"}

package/dist/schemas/spec.d.ts

@@ -0,0 +1,233 @@
+import { z } from 'zod';
+export declare const SpecLevelSchema: z.ZodEnum<["L0", "L1", "L2", "L3"]>;
+export type SpecLevelT = z.infer<typeof SpecLevelSchema>;
+export declare const SpecStatusSchema: z.ZodEnum<["draft", "confirmed", "frozen", "implemented", "archived"]>;
+export type SpecStatusT = z.infer<typeof SpecStatusSchema>;
+export declare const StepStatusSchema: z.ZodEnum<["pending", "running", "succeeded", "failed", "skipped"]>;
+export type StepStatusT = z.infer<typeof StepStatusSchema>;
+export declare const StepTypeSchema: z.ZodEnum<["llm_call", "mcp_tool", "human_gate"]>;
+export type StepTypeT = z.infer<typeof StepTypeSchema>;
+export declare const StepFrontmatterSchema: z.ZodObject<{
+    stepNo: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+    stepType: z.ZodEnum<["llm_call", "mcp_tool", "human_gate"]>;
+    name: z.ZodString;
+    status: z.ZodDefault<z.ZodEnum<["pending", "running", "succeeded", "failed", "skipped"]>>;
+    toolName: z.ZodOptional<z.ZodString>;
+    inputJson: z.ZodOptional<z.ZodString>;
+    outputJson: z.ZodOptional<z.ZodString>;
+    errorCode: z.ZodOptional<z.ZodString>;
+    errorMessage: z.ZodOptional<z.ZodString>;
+    latencyMs: z.ZodOptional<z.ZodNumber>;
+    reportedAt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    stepNo: string | number;
+    stepType: "llm_call" | "mcp_tool" | "human_gate";
+    name: string;
+    status: "running" | "failed" | "pending" | "succeeded" | "skipped";
+    toolName?: string | undefined;
+    inputJson?: string | undefined;
+    outputJson?: string | undefined;
+    errorCode?: string | undefined;
+    errorMessage?: string | undefined;
+    latencyMs?: number | undefined;
+    reportedAt?: string | undefined;
+}, {
+    stepNo: string | number;
+    stepType: "llm_call" | "mcp_tool" | "human_gate";
+    name: string;
+    status?: "running" | "failed" | "pending" | "succeeded" | "skipped" | undefined;
+    toolName?: string | undefined;
+    inputJson?: string | undefined;
+    outputJson?: string | undefined;
+    errorCode?: string | undefined;
+    errorMessage?: string | undefined;
+    latencyMs?: number | undefined;
+    reportedAt?: string | undefined;
+}>;
+export declare const SpecFrontmatterSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    code: z.ZodString;
+    level: z.ZodEnum<["L0", "L1", "L2", "L3"]>;
+    title: z.ZodString;
+    topic: z.ZodString;
+    parentCode: z.ZodNullable<z.ZodString>;
+    status: z.ZodEnum<["draft", "confirmed", "frozen", "implemented", "archived"]>;
+    project: z.ZodDefault<z.ZodNumber>;
+    milestone: z.ZodOptional<z.ZodString>;
+    aiSummary: z.ZodDefault<z.ZodString>;
+    coveredTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    steps: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        stepNo: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+        stepType: z.ZodEnum<["llm_call", "mcp_tool", "human_gate"]>;
+        name: z.ZodString;
+        status: z.ZodDefault<z.ZodEnum<["pending", "running", "succeeded", "failed", "skipped"]>>;
+        toolName: z.ZodOptional<z.ZodString>;
+        inputJson: z.ZodOptional<z.ZodString>;
+        outputJson: z.ZodOptional<z.ZodString>;
+        errorCode: z.ZodOptional<z.ZodString>;
+        errorMessage: z.ZodOptional<z.ZodString>;
+        latencyMs: z.ZodOptional<z.ZodNumber>;
+        reportedAt: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+        status: "running" | "failed" | "pending" | "succeeded" | "skipped";
+        toolName?: string | undefined;
+        inputJson?: string | undefined;
+        outputJson?: string | undefined;
+        errorCode?: string | undefined;
+        errorMessage?: string | undefined;
+        latencyMs?: number | undefined;
+        reportedAt?: string | undefined;
+    }, {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+        status?: "running" | "failed" | "pending" | "succeeded" | "skipped" | undefined;
+        toolName?: string | undefined;
+        inputJson?: string | undefined;
+        outputJson?: string | undefined;
+        errorCode?: string | undefined;
+        errorMessage?: string | undefined;
+        latencyMs?: number | undefined;
+        reportedAt?: string | undefined;
+    }>, "many">>;
+    relations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<["based_on", "supersedes", "implements", "references"]>;
+        target: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        type: "based_on" | "supersedes" | "implements" | "references";
+        target: string;
+    }, {
+        type: "based_on" | "supersedes" | "implements" | "references";
+        target: string;
+    }>, "many">>;
+    created: z.ZodOptional<z.ZodString>;
+    updated: z.ZodOptional<z.ZodString>;
+    changeSummary: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    project: number;
+    status: "draft" | "confirmed" | "frozen" | "implemented" | "archived";
+    topic: string;
+    code: string;
+    level: "L0" | "L1" | "L2" | "L3";
+    title: string;
+    parentCode: string | null;
+    aiSummary: string;
+    coveredTasks: string[];
+    relations: {
+        type: "based_on" | "supersedes" | "implements" | "references";
+        target: string;
+    }[];
+    steps?: {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+        status: "running" | "failed" | "pending" | "succeeded" | "skipped";
+        toolName?: string | undefined;
+        inputJson?: string | undefined;
+        outputJson?: string | undefined;
+        errorCode?: string | undefined;
+        errorMessage?: string | undefined;
+        latencyMs?: number | undefined;
+        reportedAt?: string | undefined;
+    }[] | undefined;
+    id?: string | undefined;
+    milestone?: string | undefined;
+    created?: string | undefined;
+    updated?: string | undefined;
+    changeSummary?: string | undefined;
+}, {
+    status: "draft" | "confirmed" | "frozen" | "implemented" | "archived";
+    topic: string;
+    code: string;
+    level: "L0" | "L1" | "L2" | "L3";
+    title: string;
+    parentCode: string | null;
+    project?: number | undefined;
+    steps?: {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+        status?: "running" | "failed" | "pending" | "succeeded" | "skipped" | undefined;
+        toolName?: string | undefined;
+        inputJson?: string | undefined;
+        outputJson?: string | undefined;
+        errorCode?: string | undefined;
+        errorMessage?: string | undefined;
+        latencyMs?: number | undefined;
+        reportedAt?: string | undefined;
+    }[] | undefined;
+    id?: string | undefined;
+    milestone?: string | undefined;
+    aiSummary?: string | undefined;
+    coveredTasks?: string[] | undefined;
+    relations?: {
+        type: "based_on" | "supersedes" | "implements" | "references";
+        target: string;
+    }[] | undefined;
+    created?: string | undefined;
+    updated?: string | undefined;
+    changeSummary?: string | undefined;
+}>;
+export declare const PlanStepSchema: z.ZodObject<{
+    stepNo: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+    stepType: z.ZodEnum<["llm_call", "mcp_tool", "human_gate"]>;
+    name: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    stepNo: string | number;
+    stepType: "llm_call" | "mcp_tool" | "human_gate";
+    name: string;
+}, {
+    stepNo: string | number;
+    stepType: "llm_call" | "mcp_tool" | "human_gate";
+    name: string;
+}>;
+export declare const PlanJsonSchema: z.ZodObject<{
+    coveredSpecs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    steps: z.ZodArray<z.ZodObject<{
+        stepNo: z.ZodUnion<[z.ZodNumber, z.ZodString]>;
+        stepType: z.ZodEnum<["llm_call", "mcp_tool", "human_gate"]>;
+        name: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+    }, {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    steps: {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+    }[];
+    coveredSpecs?: string[] | undefined;
+}, {
+    steps: {
+        stepNo: string | number;
+        stepType: "llm_call" | "mcp_tool" | "human_gate";
+        name: string;
+    }[];
+    coveredSpecs?: string[] | undefined;
+}>;
+export declare const DecisionInputSchema: z.ZodObject<{
+    topic: z.ZodString;
+    what: z.ZodString;
+    why: z.ZodOptional<z.ZodString>;
+    affectedCriteria: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    topic: string;
+    what: string;
+    why?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+}, {
+    topic: string;
+    what: string;
+    why?: string | undefined;
+    affectedCriteria?: string[] | undefined;
+}>;
+//# sourceMappingURL=spec.d.ts.map