@epoint-testtech/ep-stage-skill 0.0.4-alpha.0 → 0.0.4-alpha.1

package/dist/src/inference/module-hints-inference.js

@@ -0,0 +1,363 @@
+/** CRUD 骨架与导出覆盖的标准按钮标签集合（归类用）。 */
+const CRUD_BUTTON_LABELS = {
+    create: ['新增', '增加', '添加', '新建'],
+    search: ['搜索', '查询', '检索'],
+    edit: ['修改', '编辑'],
+    delete: ['删除', '删除选定', '批量删除'],
+    confirm: ['确定', '确认', '保存', '保存并关闭'],
+    export: ['导出', '导出选定', '批量导出']
+};
+/**
+ * 识别列表页。
+ *
+ * 优先选 pageId 以 `list` 结尾的页面（文件名约定）；无则回落到第一个含 datagrid 的页面。
+ * 不能只用 grids.length > 0，因为 add/edit/detail 页也可能内嵌 datagrid（如 014 场景），
+ * 会导致搜索条件误从表单页抽取（regression：windowname 被当作搜索条件）。
+ *
+ * @param pages - 已抽取的 HTML 页面列表。
+ * @returns 列表页；无则返回 undefined。
+ */
+function findListPage(pages) {
+    const byId = pages.find((page) => /list$/i.test(page.pageId));
+    if (byId)
+        return byId;
+    return pages.find((page) => page.grids.length > 0);
+}
+/**
+ * 收集列表页搜索区字段名（fui-condition 区的 input bind）。
+ *
+ * @param listPage - 列表页。
+ * @returns 搜索区字段名集合。
+ */
+function collectSearchFields(listPage) {
+    const fields = new Set();
+    if (!listPage)
+        return fields;
+    for (const field of listPage.fields) {
+        fields.add(field.name);
+    }
+    return fields;
+}
+/**
+ * 收集列表页表格数据列 field。
+ *
+ * @param listPage - 列表页。
+ * @returns 表格列 field 集合。
+ */
+function collectGridFields(listPage) {
+    const fields = new Set();
+    if (!listPage)
+        return fields;
+    for (const grid of listPage.grids) {
+        for (const column of grid.dataColumns) {
+            if (column.field) {
+                fields.add(column.field);
+            }
+        }
+    }
+    return fields;
+}
+/**
+ * 收集新增/编辑页表单字段名。
+ *
+ * @param pages - 所有页面。
+ * @returns 表单字段名集合。
+ */
+function collectFormFields(pages) {
+    const fields = new Set();
+    for (const page of pages) {
+        for (const field of page.fields) {
+            if (field.name) {
+                fields.add(field.name);
+            }
+        }
+    }
+    return fields;
+}
+/**
+ * 推理 dataKey.selectedField。
+ *
+ * 规则：优先选同时出现在列表页搜索区、表格列、新增/编辑页表单的 input 字段。
+ * 若无三方交集，回落到搜索区与表格列的交集；再无则取表格第一列。
+ *
+ * @param listPage - 列表页。
+ * @param pages - 所有页面。
+ * @returns dataKey 推理过程。
+ */
+function inferDataKey(listPage, pages) {
+    const searchFields = collectSearchFields(listPage);
+    const gridFields = collectGridFields(listPage);
+    const formFields = collectFormFields(pages);
+    // 三方交集
+    const tripleIntersection = Array.from(searchFields).filter((field) => gridFields.has(field) && formFields.has(field));
+    if (tripleIntersection.length > 0) {
+        return {
+            selectedField: tripleIntersection[0],
+            reason: '列表页搜索区、表格列、新增/编辑页表单同时出现该字段',
+            evidence: tripleIntersection.map((field) => `${field} 出现在搜索区+表格列+表单`)
+        };
+    }
+    // 搜索区与表格列交集
+    const dualIntersection = Array.from(searchFields).filter((field) => gridFields.has(field));
+    if (dualIntersection.length > 0) {
+        return {
+            selectedField: dualIntersection[0],
+            reason: '列表页搜索区与表格列同时出现该字段（表单未覆盖）',
+            evidence: dualIntersection.map((field) => `${field} 出现在搜索区+表格列`)
+        };
+    }
+    // 回落到表格第一列
+    if (listPage && listPage.grids.length > 0) {
+        const firstColumn = listPage.grids[0].dataColumns[0];
+        if (firstColumn?.field) {
+            return {
+                selectedField: firstColumn.field,
+                reason: '搜索区与表格列无交集，回落到表格第一列',
+                evidence: [`表格第一列 field=${firstColumn.field}`]
+            };
+        }
+    }
+    return {
+        reason: '无法从物料中推理出 dataKey',
+        evidence: []
+    };
+}
+/**
+ * 推理搜索条件。
+ *
+ * 规则：至少包含 dataKey input 条件；listbox 条件缺取值时只进 unresolved。
+ *
+ * @param listPage - 列表页。
+ * @param dataKeyField - 选定的 dataKey 字段。
+ * @returns 搜索条件推理过程数组。
+ */
+function inferSearchConditions(listPage, dataKeyField) {
+    const conditions = [];
+    if (!listPage)
+        return conditions;
+    for (const field of listPage.fields) {
+        const isInput = field.controlType.includes('textbox') || field.controlType.includes('input');
+        const isListbox = field.controlType.includes('combobox') || field.controlType.includes('listbox');
+        if (isInput) {
+            conditions.push({
+                field: field.name,
+                component: 'input',
+                resolved: true
+            });
+        }
+        else if (isListbox) {
+            // listbox 缺取值时只进 unresolved，不阻断
+            conditions.push({
+                field: field.name,
+                component: 'listbox',
+                resolved: false,
+                reason: 'listbox 取值需人工或后续补齐'
+            });
+        }
+    }
+    // 确保 dataKey 字段在搜索条件中
+    if (dataKeyField && !conditions.some((condition) => condition.field === dataKeyField)) {
+        conditions.unshift({
+            field: dataKeyField,
+            component: 'input',
+            resolved: true
+        });
+    }
+    return conditions;
+}
+/**
+ * 从按钮标签归类 buttonAliases。
+ *
+ * @param pages - 所有页面。
+ * @returns 按钮别名归类映射。
+ */
+function inferButtonAliases(pages) {
+    const aliases = {};
+    const allLabels = new Set();
+    for (const page of pages) {
+        for (const button of page.buttons) {
+            allLabels.add(button.label);
+        }
+    }
+    for (const [alias, patterns] of Object.entries(CRUD_BUTTON_LABELS)) {
+        const matched = Array.from(allLabels).filter((label) => patterns.some((pattern) => label.includes(pattern)));
+        if (matched.length > 0) {
+            aliases[alias] = matched;
+        }
+    }
+    return aliases;
+}
+/**
+ * 推理删除策略。
+ *
+ * 规则：Java messages 含"不可删除"类提示时推为 blocked_by_business_rule。
+ *
+ * @param actions - Java Action 列表。
+ * @returns 删除策略推理过程。
+ */
+function inferDeletePolicy(actions) {
+    const blockMessages = [];
+    for (const action of actions) {
+        for (const message of action.messages) {
+            if (/不可删除|不允许删除|禁止删除/.test(message)) {
+                blockMessages.push(message);
+            }
+        }
+    }
+    if (blockMessages.length > 0) {
+        return {
+            value: 'blocked_by_business_rule',
+            reason: 'Java Action 存在不可删除提示',
+            evidence: blockMessages
+        };
+    }
+    return {
+        reason: '未发现删除限制证据，默认允许删除',
+        evidence: []
+    };
+}
+/** 已被 CRUD 骨架与导出覆盖的按钮标签模式（customWorkflows 排除用）。 */
+const SKELETON_BUTTON_PATTERNS = [
+    ...CRUD_BUTTON_LABELS.create,
+    ...CRUD_BUTTON_LABELS.search,
+    ...CRUD_BUTTON_LABELS.edit,
+    ...CRUD_BUTTON_LABELS.delete,
+    ...CRUD_BUTTON_LABELS.confirm,
+    ...CRUD_BUTTON_LABELS.export,
+    '重置', '关闭', '返回', '取消', '刷新'
+];
+/**
+ * 收集 CRUD/Export 骨架之外的自定义工作流（工具栏按钮）。
+ *
+ * 规则：有 Java callback message 时填 assertion，否则 unresolved。
+ *
+ * @param pages - 所有页面。
+ * @param actions - Java Action 列表。
+ * @returns 自定义工作流推理过程数组。
+ */
+function inferCustomWorkflows(pages, actions) {
+    // 收集所有 Java callback 消息，用于匹配断言
+    const allMessages = [];
+    for (const action of actions) {
+        allMessages.push(...action.messages);
+    }
+    const workflows = [];
+    const seen = new Set();
+    for (const page of pages) {
+        for (const button of page.buttons) {
+            const label = button.label;
+            if (seen.has(label))
+                continue;
+            const isSkeleton = SKELETON_BUTTON_PATTERNS.some((pattern) => label.includes(pattern));
+            if (isSkeleton)
+                continue;
+            seen.add(label);
+            // 尝试从 Java messages 中找到与按钮相关的断言
+            const relatedMessage = allMessages.find((message) => {
+                // 按钮标签的关键词出现在消息里，或消息里的动作动词与按钮相关
+                const keywords = label.replace(/管理系统|信息管理|数据/g, '').trim();
+                return keywords.length > 0 && message.includes(keywords);
+            });
+            if (relatedMessage) {
+                workflows.push({
+                    label,
+                    actionAlias: button.onclick ? [button.onclick] : undefined,
+                    expectedIntent: label,
+                    expectedAssertion: relatedMessage,
+                    resolved: true,
+                    evidence: [
+                        `按钮 onclick=${button.onclick ?? '(未声明)'}`,
+                        `Java callback: ${relatedMessage}`
+                    ]
+                });
+            }
+            else {
+                workflows.push({
+                    label,
+                    actionAlias: button.onclick ? [button.onclick] : undefined,
+                    expectedIntent: label,
+                    resolved: false,
+                    reason: '未找到对应 Java callback 断言',
+                    evidence: [`按钮 onclick=${button.onclick ?? '(未声明)'}`]
+                });
+            }
+        }
+    }
+    return workflows;
+}
+/**
+ * 基于上游物料推理 ModuleHints 动态槽位。
+ *
+ * 推理规则：
+ * - dataKey.selectedField 优先选同时出现在列表页搜索区、表格列、新增/编辑页表单的 input 字段。
+ * - searchConditions 至少包含 dataKey input 条件；listbox 条件缺取值时只进 unresolved。
+ * - buttonAliases 从页面按钮标签归类（新增、搜索、修改、删除、确定、导出）。
+ * - deletePolicy 若 Java messages 含"不可删除"，推为 blocked_by_business_rule。
+ * - customWorkflows 收集 CRUD/Export 骨架之外的工具栏按钮；有 Java callback 时填 assertion，否则 unresolved。
+ *
+ * @param input - 输入参数（sourceAnalysis、pages、actions、可选 explicitHints）。
+ * @returns 推理出的 hints 与推理过程。
+ */
+export function inferModuleHintsFromMaterials(input) {
+    const listPage = findListPage(input.pages);
+    const dataKeyInference = inferDataKey(listPage, input.pages);
+    const searchConditionInferences = inferSearchConditions(listPage, dataKeyInference.selectedField);
+    const buttonAliases = inferButtonAliases(input.pages);
+    const deletePolicyInference = inferDeletePolicy(input.actions);
+    const customWorkflows = inferCustomWorkflows(input.pages, input.actions);
+    // 组装 hints（与 ModuleHints 类型对齐）
+    const hints = {
+        dataKey: dataKeyInference.selectedField
+            ? {
+                selectedField: dataKeyInference.selectedField,
+                candidateFields: input.sourceAnalysis.fields
+            }
+            : undefined,
+        searchConditions: searchConditionInferences
+            .filter((condition) => condition.resolved)
+            .map((condition) => ({
+            field: condition.field,
+            component: condition.component
+        })),
+        buttonAliases,
+        deletePolicy: deletePolicyInference.value,
+        customWorkflows: customWorkflows.map((workflow) => ({
+            label: workflow.label,
+            actionAlias: workflow.actionAlias,
+            expectedIntent: workflow.expectedIntent,
+            expectedAssertion: workflow.expectedAssertion,
+            include: workflow.resolved,
+            excludeReason: workflow.resolved ? undefined : '未找到对应断言证据'
+        }))
+    };
+    // 组装 unresolved
+    const unresolved = [];
+    if (!dataKeyInference.selectedField) {
+        unresolved.push('dataKey.selectedField');
+    }
+    for (const condition of searchConditionInferences) {
+        if (!condition.resolved) {
+            unresolved.push(`searchConditions.${condition.field}`);
+        }
+    }
+    for (const workflow of customWorkflows) {
+        if (!workflow.resolved) {
+            unresolved.push(`customWorkflows.${workflow.label}`);
+        }
+    }
+    // 合并显式 hints（若有）
+    const mode = input.explicitHints ? 'merged' : 'inferred';
+    const confidence = unresolved.length === 0 ? 'high' : unresolved.length <= 2 ? 'medium' : 'low';
+    const inference = {
+        mode,
+        confidence,
+        dataKey: dataKeyInference,
+        searchConditions: searchConditionInferences,
+        buttonAliases,
+        deletePolicy: deletePolicyInference,
+        assertionPolicy: {},
+        customWorkflows,
+        unresolved
+    };
+    return { hints, inference };
+}

package/dist/src/inference/source-analysis.d.ts

@@ -0,0 +1,26 @@
+import type { ExtractedCodeListSummary, ExtractedHtmlPage, ExtractedJavaAction } from '../index.js';
+import type { SourceAnalysis } from '../contracts/inference-trace.js';
+/**
+ * buildSourceAnalysis 的输入参数。
+ */
+export type BuildSourceAnalysisInput = {
+    codeListPath: string;
+    docsDir: string;
+    codeList: ExtractedCodeListSummary;
+    pages: ExtractedHtmlPage[];
+    actions: ExtractedJavaAction[];
+};
+/**
+ * 构建 sourceAnalysis 章节。
+ *
+ * 实现规则：
+ * - docsDir 下存在 PRD markdown（文件名含 prd 或正文含 `## 4. 功能需求`）时登记 prd_markdown source。
+ * - HTML 页面登记为 uiSignals（字段、按钮、表格列、弹窗）。
+ * - Java Action 登记为 backendSignals（方法名、callback 消息）。
+ * - 无 spec.yaml 时 mode='prd+html+java'；有 spec.yaml 时 mode='extracted'。
+ *
+ * @param input - 输入参数（codeListPath、docsDir、codeList、pages、actions）。
+ * @returns 源分析快照。
+ */
+export declare function buildSourceAnalysis(input: BuildSourceAnalysisInput): SourceAnalysis;
+//# sourceMappingURL=source-analysis.d.ts.map

package/dist/src/inference/source-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-analysis.d.ts","sourceRoot":"","sources":["../../../src/inference/source-analysis.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,wBAAwB,EACxB,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAEV,cAAc,EAGf,MAAM,iCAAiC,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,wBAAwB,CAAC;IACnC,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,OAAO,EAAE,mBAAmB,EAAE,CAAC;CAChC,CAAC;AAgLF;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,cAAc,CAkFnF"}

package/dist/src/inference/source-analysis.js

@@ -0,0 +1,258 @@
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import path from 'node:path';
+/**
+ * 判断 docsDir 下是否存在 PRD markdown 文件。
+ *
+ * PRD 判定规则（满足任一）：
+ * - 文件名包含 `prd`（大小写不敏感）。
+ * - 文件正文包含 `## 4. 功能需求` 标题。
+ *
+ * @param docsDir - 需求文档目录。
+ * @returns PRD 文件绝对路径；不存在时返回 undefined。
+ */
+function findPrdMarkdown(docsDir) {
+    if (!existsSync(docsDir)) {
+        return undefined;
+    }
+    const candidates = readdirSync(docsDir).filter((file) => file.endsWith('.md'));
+    for (const file of candidates) {
+        const fullPath = path.join(docsDir, file);
+        if (/prd/i.test(file)) {
+            return fullPath;
+        }
+    }
+    // 文件名不含 prd 时回落到正文匹配。
+    for (const file of candidates) {
+        const fullPath = path.join(docsDir, file);
+        const content = readFileSync(fullPath, 'utf8');
+        if (/##\s*4\.\s*功能需求/.test(content)) {
+            return fullPath;
+        }
+    }
+    return undefined;
+}
+/**
+ * 判断 docsDir 或 code_list 物料引用中是否存在 spec.yaml。
+ *
+ * @param codeList - code_list 摘要。
+ * @param docsDir - 需求文档目录。
+ * @returns spec.yaml 绝对路径；不存在时返回 undefined。
+ */
+function findSpecYaml(codeList, docsDir) {
+    const fromRefs = codeList.materialRefs.find((ref) => ref.kind === 'spec' && ref.exists);
+    if (fromRefs) {
+        return fromRefs.path;
+    }
+    if (existsSync(docsDir)) {
+        const direct = readdirSync(docsDir).find((file) => file.endsWith('spec.yaml'));
+        if (direct) {
+            return path.join(docsDir, direct);
+        }
+    }
+    return undefined;
+}
+/**
+ * 把 HTML 页面字段登记为 UI 信号。
+ *
+ * @param pages - 已抽取的 HTML 页面列表。
+ * @returns UI 信号数组（字段、按钮、表格列、弹窗）。
+ */
+function collectUiSignals(pages) {
+    const signals = [];
+    for (const page of pages) {
+        for (const field of page.fields) {
+            signals.push({
+                pageId: page.pageId,
+                kind: 'field',
+                label: field.label,
+                value: field.name
+            });
+        }
+        for (const button of page.buttons) {
+            signals.push({
+                pageId: page.pageId,
+                kind: 'button',
+                label: button.label
+            });
+        }
+        for (const grid of page.grids) {
+            for (const column of grid.dataColumns) {
+                signals.push({
+                    pageId: page.pageId,
+                    kind: 'gridColumn',
+                    label: column.headerText || column.field,
+                    value: column.field
+                });
+            }
+        }
+        for (const dialog of page.dialogs) {
+            signals.push({
+                pageId: page.pageId,
+                kind: 'dialog',
+                label: dialog.title,
+                value: dialog.pagePath
+            });
+        }
+    }
+    return signals;
+}
+/**
+ * 把 Java Action 登记为后端信号。
+ *
+ * @param actions - 已抽取的 Java Action 列表。
+ * @returns 后端信号数组（方法名、callback 消息）。
+ */
+function collectBackendSignals(actions) {
+    const signals = [];
+    for (const action of actions) {
+        for (const method of action.methods) {
+            signals.push({
+                controllerName: action.controllerName,
+                kind: 'method',
+                value: method
+            });
+        }
+        for (const message of action.messages) {
+            signals.push({
+                controllerName: action.controllerName,
+                kind: 'callbackMessage',
+                value: message
+            });
+        }
+    }
+    return signals;
+}
+/**
+ * 跨页面汇总字段名候选（去重）。
+ *
+ * @param pages - 已抽取的 HTML 页面列表。
+ * @returns 去重后的字段名数组。
+ */
+function collectFieldNames(pages) {
+    const names = new Set();
+    for (const page of pages) {
+        for (const field of page.fields) {
+            if (field.name) {
+                names.add(field.name);
+            }
+        }
+        for (const grid of page.grids) {
+            for (const column of grid.dataColumns) {
+                if (column.field) {
+                    names.add(column.field);
+                }
+            }
+        }
+    }
+    return Array.from(names);
+}
+/**
+ * 从 Java callback 消息中提取业务规则线索。
+ *
+ * @param actions - 已抽取的 Java Action 列表。
+ * @returns 业务规则描述数组。
+ */
+function collectBusinessRules(actions) {
+    const rules = [];
+    for (const action of actions) {
+        for (const message of action.messages) {
+            if (/不可删除|不允许删除|禁止删除/.test(message)) {
+                rules.push(`删除受业务规则限制：${message}`);
+            }
+        }
+    }
+    return Array.from(new Set(rules));
+}
+/**
+ * 构建 sourceAnalysis 章节。
+ *
+ * 实现规则：
+ * - docsDir 下存在 PRD markdown（文件名含 prd 或正文含 `## 4. 功能需求`）时登记 prd_markdown source。
+ * - HTML 页面登记为 uiSignals（字段、按钮、表格列、弹窗）。
+ * - Java Action 登记为 backendSignals（方法名、callback 消息）。
+ * - 无 spec.yaml 时 mode='prd+html+java'；有 spec.yaml 时 mode='extracted'。
+ *
+ * @param input - 输入参数（codeListPath、docsDir、codeList、pages、actions）。
+ * @returns 源分析快照。
+ */
+export function buildSourceAnalysis(input) {
+    const sources = [];
+    const unresolved = [];
+    const prdPath = findPrdMarkdown(input.docsDir);
+    if (prdPath) {
+        sources.push({
+            kind: 'prd_markdown',
+            path: prdPath,
+            provides: ['businessRules', 'featureList', 'fieldDescriptions']
+        });
+    }
+    else {
+        unresolved.push('docsDir 下未找到 PRD markdown');
+    }
+    const specYamlPath = findSpecYaml(input.codeList, input.docsDir);
+    if (specYamlPath) {
+        sources.push({
+            kind: 'spec_yaml',
+            path: specYamlPath,
+            provides: ['contractSlots', 'fieldContracts', 'flowContracts']
+        });
+    }
+    for (const page of input.pages) {
+        sources.push({
+            kind: 'html',
+            path: page.path,
+            provides: ['searchFields', 'gridColumns', 'buttons', 'dialogs']
+        });
+    }
+    for (const action of input.actions) {
+        sources.push({
+            kind: 'java_action',
+            path: action.path,
+            provides: ['backendMethods', 'callbackMessages', 'deletePolicyEvidence']
+        });
+    }
+    const uiSignals = collectUiSignals(input.pages);
+    const backendSignals = collectBackendSignals(input.actions);
+    const fields = collectFieldNames(input.pages);
+    const businessRules = collectBusinessRules(input.actions);
+    const hasPrd = Boolean(prdPath);
+    const hasHtml = input.pages.length > 0;
+    const hasJava = input.actions.length > 0;
+    const hasSpec = Boolean(specYamlPath);
+    let mode;
+    if (hasSpec) {
+        mode = 'extracted';
+    }
+    else if (hasPrd && hasHtml && hasJava) {
+        mode = 'prd+html+java';
+    }
+    else if (hasHtml || hasJava) {
+        mode = 'inferred';
+    }
+    else {
+        mode = 'mixed';
+    }
+    let confidence;
+    if (hasSpec) {
+        confidence = 'high';
+    }
+    else if (hasPrd && hasHtml && hasJava) {
+        confidence = 'medium';
+    }
+    else if (hasHtml || hasJava) {
+        confidence = 'medium';
+    }
+    else {
+        confidence = 'low';
+    }
+    return {
+        mode,
+        confidence,
+        sources,
+        fields,
+        businessRules,
+        uiSignals,
+        backendSignals,
+        unresolved
+    };
+}

package/dist/src/validation/index.d.ts

@@ -1,5 +1,6 @@
 export { validateProjectsIndex } from './projects-index.js';
 export { validateTestcase } from './testcase.js';
 export { validateCredentials } from './credentials.js';
+export { validateInferenceTrace } from './inference-trace.js';
 export type { Credential } from './credentials.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/validation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/validation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/validation/index.js

@@ -1,3 +1,4 @@
 export { validateProjectsIndex } from './projects-index.js';
 export { validateTestcase } from './testcase.js';
 export { validateCredentials } from './credentials.js';
+export { validateInferenceTrace } from './inference-trace.js';

package/dist/src/validation/inference-trace.d.ts

@@ -0,0 +1,13 @@
+import type { InferenceTraceV1 } from '../contracts/inference-trace.js';
+/**
+ * 校验 inference-trace.json 的顶层结构（REQ-INFER-006）。
+ *
+ * 最小校验：只保证 schemaVersion 正确且 5 个必需顶层章节存在。
+ * 章节内部证据数组 / reason 允许扩展（spec §8），不做深校验。
+ *
+ * @param obj - 从 JSON.parse 得到的任意值。
+ * @returns 类型收窄后的 InferenceTraceV1。
+ * @throws 顶层非对象、schemaVersion 不符或缺章节时抛错。
+ */
+export declare function validateInferenceTrace(obj: unknown): InferenceTraceV1;
+//# sourceMappingURL=inference-trace.d.ts.map

package/dist/src/validation/inference-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-trace.d.ts","sourceRoot":"","sources":["../../../src/validation/inference-trace.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAExE;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,gBAAgB,CAoBrE"}