@epoint-testtech/ep-stage-skill 0.0.3-alpha.1

package/dist/src/normalizers/crud-contract.js

@@ -0,0 +1,1068 @@
+/**
+ * CRUD 业务模块契约 Normalizer
+ *
+ * 核心职责：
+ * - 将上游 extractor 提取的结构化信息归一化为 crud-business-module/v1 契约
+ * - 消费 ModuleHints 显式输入的测试策略（dataKey、buttonAliases、deletePolicy、assertionPolicy 等）
+ * - 优先使用结构化证据，证据不足时输出 unresolvedSlots
+ * - 不猜测、不编造，确保契约的每个字段都有来源溯源
+ *
+ * 设计原则：
+ * - 确定性优先：能从源码确定的值直接确定，不能确定的通过 hints 或 unresolvedSlots 处理
+ * - 来源溯源：每个字段都带有 sources 数组，记录信息来源（html/spec/java_action/human_required）
+ * - 策略隔离：测试策略（如 dataKey 选择、删除预期）与结构提取分离，通过 hints 传入
+ *
+ * 修复历史（Code Review 问题闭环）：
+ * - overrideFields 丢失 strategy/value → 新增 OverrideFieldContract，透传 strategy/value
+ * - assertionPolicy 定义未消费 → buildAssertions 接收 hints，afterCreate/afterDelete 策略生效
+ * - deletePolicy 输入-输出不对称 → 将 prepare_deletable_draft_then_delete 提升为正式成员
+ * - grid 精细分类未消费 → GridContract 增加 selectionColumn/indexColumn/rowActions
+ * - findButton 单标签匹配 → 支持别名列表，searchFlow 消费 buttonAliases
+ * - '不可删除' 硬编码 → 提取为 BLOCK_DELETE_KEYWORDS 常量
+ */
+import { planAgentInferredWorkflows } from '../gap-planner/plan-agent-workflows.js';
+/**
+ * 默认按钮标签配置
+ *
+ * 当未通过 buttonLabels 或 hints 指定时使用的默认值。
+ * 这些值与公司自研 zwplace 框架的标准按钮文本一致。
+ */
+const DEFAULT_BUTTON_LABELS = {
+    create: '新增',
+    saveAndClose: '保存并关闭',
+    delete: '删除选定',
+    search: '搜索',
+    edit: '修改'
+};
+/**
+ * 从 hints 中获取按钮别名
+ *
+ * 优先使用 hints.buttonAliases 中配置的第一个别名。
+ *
+ * @param hints - 模块测试策略 hints
+ * @param key - 按钮类型键名
+ * @returns 按钮别名，若未配置则返回 undefined
+ */
+function hintedButtonAlias(hints, key) {
+    return hints?.buttonAliases?.[key]?.[0];
+}
+/**
+ * 解析按钮标签配置
+ *
+ * 按优先级确定各个按钮的显示文本：
+ * 1. buttonLabels 参数显式指定
+ * 2. hints.buttonAliases 中的别名
+ * 3. 默认值（DEFAULT_BUTTON_LABELS 或模块标签拼接）
+ *
+ * @param input - 可选的按钮标签覆盖
+ * @param moduleLabel - 模块显示名称（用于生成默认的"新增xxx"按钮文本）
+ * @param hints - 可选的模块测试策略 hints
+ * @returns 完整的按钮标签配置
+ */
+function resolveButtonLabels(input, moduleLabel, hints) {
+    return {
+        create: input?.create ?? hintedButtonAlias(hints, 'create') ?? `新增${moduleLabel}`,
+        saveAndClose: input?.saveAndClose ?? hintedButtonAlias(hints, 'saveAndClose') ?? DEFAULT_BUTTON_LABELS.saveAndClose,
+        delete: input?.delete ?? hintedButtonAlias(hints, 'delete') ?? DEFAULT_BUTTON_LABELS.delete,
+        search: input?.search ?? hintedButtonAlias(hints, 'search') ?? DEFAULT_BUTTON_LABELS.search,
+        edit: input?.edit ?? hintedButtonAlias(hints, 'edit') ?? DEFAULT_BUTTON_LABELS.edit
+    };
+}
+/**
+ * 推断页面角色
+ *
+ * 根据页面 ID 后缀推断其在 CRUD 流程中的角色。
+ * 规则：
+ * - 以 'add' 结尾 → 'add'（新增页面）
+ * - 以 'edit' 结尾 → 'edit'（编辑页面）
+ * - 以 'detail' 结尾 → 'detail'（详情页面）
+ * - 其他 → 'list'（列表页面）
+ *
+ * @param pageId - 页面标识符
+ * @returns 页面角色类型
+ */
+function inferRole(pageId) {
+    if (pageId.endsWith('add'))
+        return 'add';
+    if (pageId.endsWith('edit'))
+        return 'edit';
+    if (pageId.endsWith('detail'))
+        return 'detail';
+    return 'list';
+}
+/**
+ * 创建 HTML 来源引用
+ *
+ * @param page - 提取的 HTML 页面信息
+ * @returns 来源引用对象，置信度为 high
+ */
+function htmlSource(page) {
+    return { kind: 'html', path: page.path, confidence: 'high' };
+}
+/**
+ * 创建 spec.yaml 来源引用
+ *
+ * @param spec - 提取的 spec.yaml 信息
+ * @returns 来源引用对象，置信度为 high
+ */
+function specSource(spec) {
+    return { kind: 'spec', path: spec.path, confidence: 'high' };
+}
+/**
+ * 将提取的字段信息转换为字段契约
+ *
+ * 将 HTML extractor 提取的字段结构信息转换为契约格式。
+ * availability 固定为 'auto_extractable'，表示该字段信息可从源码自动提取。
+ *
+ * 上游物料关联：
+ * - 字段信息：从 HTML 页面的 `<input>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/*.html`
+ *   - 提取示例：`<div role="control" label="场所名称"><input bind="dataBean.placename" class="mini-textbox" /></div>`
+ *   - 提取规则：解析 `role="control"` 的 div 元素，提取 label、bind、class 等属性
+ *   - 来源字段：
+ *     - `field.name`：从 `bind` 属性提取（如 `dataBean.placename` → `placename`）
+ *     - `field.label`：从 `label` 属性提取（如 `场所名称`）
+ *     - `field.controlType`：从 `class` 属性提取（如 `mini-textbox`、`mini-combobox`）
+ *     - `field.required`：从 `required` 或 `starred` 属性提取
+ *     - `field.maxLength`：从 `maxLength` 属性提取
+ *     - `field.locator`：生成 XPath 定位器（如 `//div[@label='场所名称']//input`）
+ *
+ * @param field - 提取的字段信息（来自 html-page extractor）
+ * @param source - 来源引用（来自 htmlSource）
+ * @returns 字段契约对象
+ */
+function toFieldContract(field, source) {
+    return {
+        name: field.name,
+        label: field.label,
+        controlType: field.controlType,
+        bind: field.bind,
+        required: field.required,
+        maxLength: field.maxLength,
+        locator: field.locator,
+        availability: 'auto_extractable',
+        sources: [source]
+    };
+}
+/**
+ * 将提取的按钮信息转换为按钮契约
+ *
+ * 上游物料关联：
+ * - 按钮信息：从 HTML 页面的 `<a>` 或 `<button>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/*.html`
+ *   - 提取示例：`<a class="mini-button" onclick="openAdd" state="primary"> 新增场所信息管理 </a>`
+ *   - 提取规则：解析 `class="mini-button"` 的 a 元素，提取文本、onclick、id 等属性
+ *   - 来源字段：
+ *     - `button.id`：从 `id` 属性提取（若无则自动生成）
+ *     - `button.label`：从元素文本提取（如 `新增场所信息管理`）
+ *     - `button.locator`：生成 XPath 定位器（如 `//*[contains(@class,'mini-button')][normalize-space()='新增场所信息管理']`）
+ *
+ * @param button - 提取的按钮信息（来自 html-page extractor）
+ * @param source - 来源引用（来自 htmlSource）
+ * @returns 按钮契约对象
+ */
+function toButtonContract(button, source) {
+    return {
+        id: button.id,
+        label: button.label,
+        onclick: button.onclick,
+        locator: button.locator,
+        availability: 'auto_extractable',
+        sources: [source]
+    };
+}
+/**
+ * 将提取的表格信息转换为表格契约
+ *
+ * 支持表格的精细分类：
+ * - columns: 数据列（业务字段列）
+ * - selectionColumn: 选择列（如 checkbox 列）
+ * - indexColumn: 序号列
+ * - rowActions: 行操作（如修改、查看按钮）
+ *
+ * 上游物料关联：
+ * - 表格信息：从 HTML 页面的 `<div class="mini-datagrid">` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/*.html`
+ *   - 提取示例：`<div id="datagrid" class="mini-datagrid">...</div>`
+ *   - 提取规则：解析 `class="mini-datagrid"` 的 div 元素，提取列定义和行操作
+ *   - 来源字段：
+ *     - `grid.id`：从 `id` 属性提取（如 `datagrid`）
+ *     - `grid.columns[]`：从 `<div property="columns">` 子元素提取
+ *       - `column.field`：从 `field` 属性提取（如 `placename`）
+ *       - `column.headerText`：从元素文本提取（如 `场所名称`）
+ *       - `column.columnType`：从 `type` 属性提取（如 `data`、`checkcolumn`、`indexcolumn`）
+ *     - `grid.selectionColumn`：从 `type="checkcolumn"` 的列提取
+ *     - `grid.indexColumn`：从 `type="indexcolumn"` 的列提取
+ *     - `grid.rowActions[]`：从 `type="actioncolumn"` 的列中的 `<a type="action">` 提取
+ *       - `action.label`：从元素文本提取（如 `修改`、`查看`）
+ *       - `action.locator`：生成 XPath 定位器（如 `xpath=//i[@data-tooltip='修改']`）
+ *
+ * @param grid - 提取的表格信息（来自 html-page extractor）
+ * @param source - 来源引用（来自 htmlSource）
+ * @returns 表格契约对象
+ */
+function toGridContract(grid, source) {
+    return {
+        id: grid.id,
+        // 数据列映射
+        columns: grid.columns.map((col) => ({
+            field: col.field,
+            headerText: col.headerText,
+            columnType: col.columnType,
+            sources: [source]
+        })),
+        // 选择列（可选）
+        ...(grid.selectionColumn
+            ? {
+                selectionColumn: {
+                    field: grid.selectionColumn.field,
+                    headerText: grid.selectionColumn.headerText,
+                    columnType: grid.selectionColumn.columnType,
+                    sources: [source]
+                }
+            }
+            : {}),
+        // 序号列（可选）
+        ...(grid.indexColumn
+            ? {
+                indexColumn: {
+                    field: grid.indexColumn.field,
+                    headerText: grid.indexColumn.headerText,
+                    columnType: grid.indexColumn.columnType,
+                    sources: [source]
+                }
+            }
+            : {}),
+        // 行操作（可选）
+        ...(grid.rowActions && grid.rowActions.length > 0
+            ? {
+                rowActions: grid.rowActions.map((ra) => ({
+                    label: ra.label,
+                    onclick: ra.onclick,
+                    locator: ra.locator,
+                    availability: 'auto_extractable',
+                    sources: [source]
+                }))
+            }
+            : {}),
+        availability: 'auto_extractable',
+        sources: [source]
+    };
+}
+/**
+ * 构建页面契约
+ *
+ * 将提取的 HTML 页面信息转换为契约格式，包含：
+ * - 页面角色（list/add/edit/detail）
+ * - 页面标识和标题
+ * - iframe 关键字（用于定位嵌套 iframe）
+ * - 字段、按钮、表格、弹窗等元素的契约化
+ *
+ * 上游物料关联：
+ * - 页面信息：从 HTML 页面文件提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/*.html`
+ *   - 提取规则：通过 html-page extractor 解析 HTML 结构
+ *   - 提取位置：`ExtractedHtmlPage` 对象
+ *   - 来源字段：`page.pageId`（页面标识）、`page.title`（页面标题）、`page.path`（文件路径）
+ *
+ * - 字段信息：从 HTML 页面的 `<input>` 元素提取
+ *   - 提取位置：`page.fields[]` 数组
+ *   - 来源字段：`field.name`、`field.label`、`field.controlType`、`field.locator`
+ *
+ * - 按钮信息：从 HTML 页面的 `<a>` 或 `<button>` 元素提取
+ *   - 提取位置：`page.buttons[]` 数组
+ *   - 来源字段：`button.id`、`button.label`、`button.locator`
+ *
+ * - 表格信息：从 HTML 页面的 `<div class="mini-datagrid">` 元素提取
+ *   - 提取位置：`page.grids[]` 数组
+ *   - 来源字段：`grid.id`、`grid.columns[]`
+ *
+ * - 弹窗信息：从 HTML 页面的 `epoint.openTopDialog(...)` 调用提取
+ *   - 提取位置：`page.dialogs[]` 数组
+ *   - 来源字段：`dialog.trigger`、`dialog.title`、`dialog.pageId`
+ *
+ * @param page - 提取的 HTML 页面信息（来自 html-page extractor）
+ * @param role - 页面角色类型（来自 inferRole）
+ * @returns 页面契约对象
+ */
+function buildPageContract(page, role) {
+    const source = htmlSource(page);
+    return {
+        role,
+        pageId: page.pageId,
+        title: page.title,
+        iframeSrcKeyword: page.pageId,
+        fields: page.fields.map((f) => toFieldContract(f, source)),
+        buttons: page.buttons.map((b) => toButtonContract(b, source)),
+        grids: page.grids.map((g) => toGridContract(g, source)),
+        dialogs: page.dialogs.map((d) => ({
+            trigger: d.trigger,
+            title: d.title,
+            pageId: d.pageId,
+            pagePath: d.pagePath,
+            availability: 'auto_extractable',
+            sources: [source]
+        })),
+        sources: [source]
+    };
+}
+/**
+ * 在页面中查找按钮
+ *
+ * 支持单个标签或标签别名列表匹配。
+ * 遍历所有页面，对每个页面的按钮尝试匹配别名列表中的任意一个。
+ *
+ * @param pages - 页面数组
+ * @param labelOrAliases - 单个标签字符串或标签别名数组
+ * @returns 找到的页面和按钮对象，若未找到则返回 undefined
+ */
+function findButton(pages, labelOrAliases) {
+    const aliases = Array.isArray(labelOrAliases) ? labelOrAliases : [labelOrAliases];
+    for (const page of pages) {
+        for (const alias of aliases) {
+            const button = page.buttons.find((b) => b.label === alias);
+            if (button)
+                return { page, button };
+        }
+    }
+    return undefined;
+}
+/**
+ * 从按钮信息创建流程控制引用
+ *
+ * 将提取的按钮信息转换为契约中的 FlowControlRef 格式，
+ * 用于表示流程中的交互控件（如"新增"按钮、"保存"按钮等）。
+ *
+ * @param pageRole - 按钮所在的页面角色
+ * @param button - 提取的按钮信息
+ * @param source - 来源引用
+ * @returns 流程控制引用对象
+ */
+function flowControlFromButton(pageRole, button, source) {
+    return {
+        pageRole,
+        label: button.label,
+        locator: button.locator,
+        sources: [source]
+    };
+}
+/**
+ * 创建占位符流程控制引用
+ *
+ * 当无法从源码中提取按钮信息时，创建一个占位符对象。
+ * 来源标记为 'human_required'，置信度为 'low'，
+ * 提示需要人工补充该控件的定位信息。
+ *
+ * @param pageRole - 按钮所在的页面角色
+ * @param label - 按钮显示文本
+ * @returns 占位符流程控制引用对象
+ */
+function placeholderFlowControl(pageRole, label) {
+    return {
+        pageRole,
+        label,
+        sources: [{ kind: 'human_required', path: '', confidence: 'low' }]
+    };
+}
+/**
+ * 构建创建流程契约
+ *
+ * 从列表页和新增页中提取创建操作的完整流程信息：
+ * 1. 入口按钮：列表页上的"新增"按钮
+ * 2. 目标页面：新增页面的 pageId
+ * 3. 保存按钮：新增页上的"保存并关闭"按钮
+ * 4. 需要覆盖的字段：从 hints.autofill.overrideFields 读取，或使用默认的 dataKeyField
+ *
+ * 上游物料关联：
+ * - 入口按钮：从 HTML 列表页的 `<a>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplacelist.html:18`
+ *   - 原文：`<a class="mini-button" onclick="openAdd" state="primary"> 新增场所信息管理 </a>`
+ *   - 提取规则：匹配 `labels.create` 文本的按钮，支持 `hints.buttonAliases.create` 别名
+ *   - 提取位置：`page.buttons[]` 数组中的 `ExtractedHtmlButton` 对象
+ *   - 来源字段：`button.label`（按钮文本）、`button.locator`（XPath 定位器）
+ *
+ * - 目标页面：从 HTML 新增页的 `pageId` 提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplaceadd.html`
+ *   - 提取规则：从 HTML 文件名推断页面角色（以 'add' 结尾）
+ *   - 提取位置：`page.pageId` 字段
+ *
+ * - 保存按钮：从 HTML 新增页的 `<a>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplaceadd.html`
+ *   - 提取规则：匹配 `labels.saveAndClose` 文本的按钮
+ *   - 来源字段：`button.label`、`button.locator`
+ *
+ * - 覆盖字段：从 `hints.autofill.overrideFields` 读取，或使用 `dataKeyField` 默认值
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 透传字段：`strategy`（生成策略）、`value`（固定值）
+ *
+ * overrideFields 处理逻辑：
+ * - 优先使用 hints.autofill.overrideFields 中配置的字段和策略
+ * - 若未配置，使用 dataKeyField 作为默认覆盖字段，策略为 'human_required'
+ * - 透传 strategy 和 value 到契约中，供下游 Playwright 脚本生成使用
+ *
+ * @param pages - 页面数组（来自 html-page extractor）
+ * @param labels - 按钮标签配置（来自 resolveButtonLabels）
+ * @param dataKeyField - 数据主键字段名（来自 resolveDataKeyField）
+ * @param hints - 可选的模块测试策略 hints（来自 ModuleHints）
+ * @returns 创建流程契约对象，若缺少必要页面则返回 undefined
+ */
+function buildCreateFlow(pages, labels, dataKeyField, hints) {
+    const listPage = pages.find((p) => inferRole(p.pageId) === 'list');
+    const addPage = pages.find((p) => inferRole(p.pageId) === 'add');
+    if (!listPage || !addPage)
+        return undefined;
+    const entryMatch = findButton([listPage], labels.create);
+    const saveMatch = findButton([addPage], labels.saveAndClose);
+    const entryButton = entryMatch
+        ? flowControlFromButton('list', entryMatch.button, htmlSource(entryMatch.page))
+        : placeholderFlowControl('list', labels.create);
+    const saveButton = saveMatch
+        ? flowControlFromButton('add', saveMatch.button, htmlSource(saveMatch.page))
+        : placeholderFlowControl('add', labels.saveAndClose);
+    const overrideFields = (hints?.autofill?.overrideFields ?? [
+        { field: dataKeyField, strategy: 'human_required' }
+    ]).map((item) => ({
+        pageRole: 'add',
+        field: item.field,
+        strategy: item.strategy,
+        value: item.value,
+        sources: [htmlSource(addPage)]
+    }));
+    return {
+        entryButton,
+        targetPageId: addPage.pageId,
+        saveButton,
+        overrideFields
+    };
+}
+/**
+ * 构建搜索流程契约
+ *
+ * 从列表页中提取搜索操作的完整流程信息：
+ * 1. 搜索字段：与 dataKeyField 匹配的列表页字段
+ * 2. 提交控件：搜索按钮（支持 buttonAliases 别名匹配）
+ * 3. 结果表格：列表页的第一个表格的 ID
+ *
+ * 上游物料关联：
+ * - 搜索字段：从 HTML 列表页的 `<input>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplacelist.html:28-29`
+ *   - 原文：`<div role="control" label="场所名称"><input bind="dataBean.placename" class="mini-textbox" /></div>`
+ *   - 提取规则：匹配 `dataKeyField` 字段名的表单控件
+ *   - 提取位置：`page.fields[]` 数组中的 `ExtractedHtmlField` 对象
+ *   - 来源字段：`field.name`（字段名）、`field.label`（标签）、`field.locator`（XPath 定位器）
+ *
+ * - 提交控件：从 HTML 列表页的 `<a>` 元素提取（搜索按钮在生成式页面中通常由框架渲染）
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplacelist.html`
+ *   - 提取规则：匹配 `hints.buttonAliases.search` 或 `labels.search` 文本的按钮
+ *   - 提取位置：`page.buttons[]` 数组中的 `ExtractedHtmlButton` 对象
+ *   - 来源字段：`button.label`、`button.locator`
+ *
+ * - 结果表格：从 HTML 列表页的 `<div class="mini-datagrid">` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplacelist.html:49`
+ *   - 原文：`<div field="placename" width="100">场所名称</div>`（表格列定义）
+ *   - 提取规则：取列表页的第一个表格的 ID
+ *   - 提取位置：`page.grids[0].id`
+ *   - 来源字段：`grid.id`（表格 ID）
+ *
+ * 搜索按钮匹配逻辑：
+ * - 优先使用 hints.buttonAliases.search 中的别名列表
+ * - 若未配置，使用 labels.search 作为默认值
+ * - 在列表页按钮中查找标签匹配的按钮
+ *
+ * @param pages - 页面数组（来自 html-page extractor）
+ * @param labels - 按钮标签配置（来自 resolveButtonLabels）
+ * @param dataKeyField - 数据主键字段名（来自 resolveDataKeyField）
+ * @param hints - 可选的模块测试策略 hints（来自 ModuleHints）
+ * @returns 搜索流程契约对象，若缺少必要元素则返回 undefined
+ */
+function buildSearchFlow(pages, labels, dataKeyField, hints) {
+    const listPage = pages.find((p) => inferRole(p.pageId) === 'list');
+    if (!listPage)
+        return undefined;
+    // 查找搜索字段（与 dataKey 匹配）
+    const searchField = listPage.fields.find((f) => f.name === dataKeyField);
+    // 查找搜索按钮（支持别名匹配）
+    const searchAliases = hints?.buttonAliases?.search ?? [labels.search];
+    const searchButton = listPage.buttons.find((b) => searchAliases.includes(b.label));
+    // 获取结果表格 ID
+    const gridId = listPage.grids[0]?.id;
+    if (!searchField || !gridId)
+        return undefined;
+    const source = htmlSource(listPage);
+    return {
+        searchField: {
+            pageRole: 'list',
+            field: searchField.name,
+            label: searchField.label,
+            locator: searchField.locator,
+            sources: [source]
+        },
+        submitControl: searchButton
+            ? flowControlFromButton('list', searchButton, source)
+            : placeholderFlowControl('list', labels.search),
+        resultGrid: gridId
+    };
+}
+/**
+ * 构建更新流程契约
+ *
+ * 从列表页和编辑页中提取更新操作的完整流程信息：
+ * 1. 入口操作：列表页上的"修改"行操作
+ * 2. 目标页面：编辑页面的 pageId
+ * 3. 更新字段：与 dataKeyField 匹配的编辑页字段
+ * 4. 保存按钮：编辑页上的"保存并关闭"按钮
+ *
+ * @param pages - 页面数组
+ * @param labels - 按钮标签配置
+ * @param dataKeyField - 数据主键字段名
+ * @returns 更新流程契约对象，若缺少必要页面则返回 undefined
+ */
+function buildUpdateFlow(pages, labels, dataKeyField) {
+    const listPage = pages.find((p) => inferRole(p.pageId) === 'list');
+    const editPage = pages.find((p) => inferRole(p.pageId) === 'edit');
+    if (!listPage || !editPage)
+        return undefined;
+    const source = htmlSource(listPage);
+    const editSource = htmlSource(editPage);
+    // 查找保存按钮
+    const saveMatch = findButton([editPage], labels.saveAndClose);
+    const saveButton = saveMatch
+        ? flowControlFromButton('edit', saveMatch.button, editSource)
+        : placeholderFlowControl('edit', labels.saveAndClose);
+    return {
+        entryAction: {
+            pageRole: 'list',
+            label: labels.edit,
+            sources: [source]
+        },
+        targetPageId: editPage.pageId,
+        updateField: {
+            pageRole: 'edit',
+            field: dataKeyField,
+            sources: [editSource]
+        },
+        saveButton
+    };
+}
+/**
+ * 构建删除流程契约
+ *
+ * 从列表页中提取删除操作的流程信息：
+ * 1. 入口按钮：列表页上的"删除选定"按钮（支持 buttonAliases 别名匹配）
+ * 2. 预期结果：根据 hints.deletePolicy 或 Java Action 中的消息推断
+ *
+ * 上游物料关联：
+ * - 入口按钮：从 HTML 列表页的 `<a>` 元素提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/webapp/perpage/zwplace/gxhzwplacelist.html:19`
+ *   - 原文：`<a class="mini-button" state="danger" onclick="deleteData" data-unselectdiabled="datagrid"> 删除选定 </a>`
+ *   - 提取规则：匹配 `hints.buttonAliases.delete` 或 `labels.delete` 文本的按钮
+ *   - 提取位置：`page.buttons[]` 数组中的 `ExtractedHtmlButton` 对象
+ *   - 来源字段：`button.label`、`button.locator`
+ *
+ * - 预期结果（阻止删除消息）：从 Java Action 源码提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/main/java/com/epoint/zwplace/action/GxhZwPlaceListAction.java:51-52`
+ *   - 原文：`msg = "在用数据不可删除！"; addCallbackParam("error", msg);`
+ *   - 提取规则：匹配 `addCallbackParam("msg", ...)` 或 `addCallbackParam("error", ...)` 中的中文消息
+ *   - 提取位置：`action.messages[]` 数组
+ *   - 关键词匹配：`BLOCK_DELETE_KEYWORDS = ['不可删除', '不能删除', '无法删除']`
+ *
+ * - 预期结果（策略输入）：从 `hints.deletePolicy` 读取
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 可选值：`success_delete` | `blocked_by_business_rule` | `prepare_deletable_draft_then_delete` | `human_required`
+ *
+ * 预期结果推断逻辑：
+ * - 优先使用 hints.deletePolicy 中的配置
+ * - 若未配置，检查 Java Action 消息中是否包含阻止删除的关键词
+ * - 若有阻止关键词，预期结果为 'blocked_by_business_rule'
+ * - 否则为 'human_required'
+ *
+ * @param pages - 页面数组（来自 html-page extractor）
+ * @param actions - Java Action 提取信息数组（来自 java-action extractor）
+ * @param labels - 按钮标签配置（来自 resolveButtonLabels）
+ * @param hints - 可选的模块测试策略 hints（来自 ModuleHints）
+ * @returns 删除流程契约对象，若缺少列表页则返回 undefined
+ */
+function buildDeleteFlow(pages, actions, labels, hints) {
+    const listPage = pages.find((p) => inferRole(p.pageId) === 'list');
+    if (!listPage)
+        return undefined;
+    // 查找删除按钮（支持别名匹配）
+    const deleteAliases = hints?.buttonAliases?.delete ?? [labels.delete];
+    const deleteMatch = findButton([listPage], deleteAliases);
+    const source = htmlSource(listPage);
+    const entryButton = deleteMatch
+        ? flowControlFromButton('list', deleteMatch.button, source)
+        : placeholderFlowControl('list', labels.delete);
+    // 推断删除预期结果
+    const hasBlockMessage = actions.some((a) => a.messages.some((m) => BLOCK_DELETE_KEYWORDS.some((kw) => m.includes(kw))));
+    const expectedOutcome = hints?.deletePolicy ?? (hasBlockMessage ? 'blocked_by_business_rule' : 'human_required');
+    return {
+        entryButton,
+        expectedOutcome
+    };
+}
+/**
+ * 获取可搜索字段列表
+ *
+ * 从 spec.yaml 中筛选出 searchable=true 的字段名。
+ * 这些字段可作为 dataKey 的候选字段。
+ *
+ * @param spec - spec.yaml 提取信息
+ * @returns 可搜索字段名数组
+ */
+function searchableFields(spec) {
+    return spec.fields.filter((field) => field.searchable).map((field) => field.name);
+}
+/**
+ * 解析数据主键字段
+ *
+ * 按优先级确定 dataKey 字段：
+ * 1. hints.dataKey.selectedField 显式指定
+ * 2. input.dataKeyField 显式指定
+ * 3. hints.dataKey.candidateFields 中的第一个候选
+ * 4. searchableFields 中的第一个可搜索字段
+ * 5. spec.fields 中的第一个字段
+ * 6. 兜底值 'id'
+ *
+ * 上游物料关联：
+ * - hints.dataKey.selectedField：从 ModuleHints 读取
+ *   - 来源：`examples/zwplace.module-hints.json` 中的 `dataKey.selectedField` 字段
+ *   - 示例：`"selectedField": "placename"`
+ *
+ * - searchableFields：从 spec.yaml 的字段定义提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 提取规则：筛选 `searchable=true` 的字段
+ *   - 提取位置：`spec.fields[]` 数组中的 `ExtractedSpecField` 对象
+ *   - 来源字段：`field.name`（字段名）、`field.searchable`（是否可搜索）
+ *
+ * - spec.fields[0]：从 spec.yaml 的字段定义取第一个字段
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 提取位置：`spec.fields[0].name`
+ *
+ * @param spec - spec.yaml 提取信息（来自 spec-yaml extractor）
+ * @param input - 构建契约的输入参数（来自 BuildCrudContractInput）
+ * @returns 数据主键字段名
+ */
+function resolveDataKeyField(spec, input) {
+    if (input.hints?.dataKey?.selectedField)
+        return input.hints.dataKey.selectedField;
+    if (input.dataKeyField)
+        return input.dataKeyField;
+    const candidates = input.hints?.dataKey?.candidateFields ?? searchableFields(spec);
+    return candidates[0] ?? spec.fields[0]?.name ?? 'id';
+}
+/**
+ * 检查数据主键策略是否已解决
+ *
+ * 判断 dataKey 字段是否可以确定，无需人工补充。
+ * 已解决的条件：
+ * - hints.dataKey.selectedField 已指定
+ * - input.dataKeyField 已指定
+ * - 可搜索字段只有一个（唯一候选）
+ *
+ * @param spec - spec.yaml 提取信息
+ * @param input - 构建契约的输入参数
+ * @returns 若策略已解决返回 true，否则返回 false
+ */
+function dataKeyIsPolicyResolved(spec, input) {
+    if (input.hints?.dataKey?.selectedField || input.dataKeyField)
+        return true;
+    return searchableFields(spec).length === 1;
+}
+/**
+ * 构建数据主键契约
+ *
+ * 生成 dataKey 字段的契约信息，包括：
+ * - 字段名和标签
+ * - 可获取性（derivable/human_required）
+ * - 数据生成策略（timestamp_prefix/fixed_value/external_data_pool/human_required）
+ * - 来源溯源
+ *
+ * 上游物料关联：
+ * - 字段信息：从 spec.yaml 的字段定义提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 提取规则：匹配 dataKeyField 字段名，获取 label（显示名称）
+ *   - 提取位置：`spec.fields[]` 数组中的 `ExtractedSpecField` 对象
+ *   - 来源字段：`field.name`（字段名）、`field.label`（标签）
+ *
+ * - 数据生成策略：从 `hints.dataKey.generationStrategy` 读取
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 可选值：`timestamp_prefix` | `fixed_value` | `external_data_pool` | `human_required`
+ *
+ * - 可获取性：根据策略是否已解决判断
+ *   - 若 hints.dataKey.selectedField 或 input.dataKeyField 已指定 → 'derivable'
+ *   - 若可搜索字段只有一个 → 'derivable'
+ *   - 否则 → 'human_required'
+ *
+ * @param spec - spec.yaml 提取信息（来自 spec-yaml extractor）
+ * @param dataKeyField - 数据主键字段名（来自 resolveDataKeyField）
+ * @param input - 构建契约的输入参数（来自 BuildCrudContractInput）
+ * @returns 数据主键契约对象
+ */
+function buildDataKey(spec, dataKeyField, input) {
+    const field = spec.fields.find((f) => f.name === dataKeyField);
+    return {
+        field: dataKeyField,
+        label: field?.label ?? dataKeyField,
+        availability: dataKeyIsPolicyResolved(spec, input) ? 'derivable' : 'human_required',
+        generationStrategy: input.hints?.dataKey?.generationStrategy ?? 'human_required',
+        sources: [specSource(spec)]
+    };
+}
+function searchComponentFromField(field) {
+    return field.controlType === 'mini-combobox' ? 'listbox' : 'input';
+}
+function findFieldByName(pages, fieldName) {
+    for (const page of pages) {
+        const field = page.fields.find((item) => item.name === fieldName);
+        if (field) {
+            return field;
+        }
+    }
+    return undefined;
+}
+/**
+ * 构建列表页搜索条件契约。
+ *
+ * 字段结构来自列表页 HTML；listbox 的测试值来自 ModuleHints，避免自动猜测业务枚举。
+ *
+ * @param pages 上游 HTML 页面提取结果
+ * @param dataKeyField 唯一数据锚点字段
+ * @param input 构建契约的输入参数
+ * @returns 搜索条件契约数组
+ */
+function buildSearchConditions(pages, dataKeyField, input) {
+    const listPage = pages.find((page) => inferRole(page.pageId) === 'list');
+    if (!listPage) {
+        return [];
+    }
+    const hintedConditions = input.hints?.searchConditions;
+    const conditionHints = hintedConditions && hintedConditions.length > 0
+        ? hintedConditions
+        : [{
+                field: dataKeyField,
+                component: 'input',
+                seedValue: input.hints?.autofill?.overrideFields?.find((field) => field.field === dataKeyField)?.value,
+                strategy: input.hints?.dataKey?.generationStrategy,
+                updatePrefix: '修改'
+            }];
+    return conditionHints.map((hint) => {
+        const listField = listPage.fields.find((field) => field.name === hint.field);
+        if (!listField) {
+            throw new Error(`无法在列表页搜索区中找到搜索条件字段: ${hint.field}`);
+        }
+        const component = hint.component ?? searchComponentFromField(listField);
+        const sources = [htmlSource(listPage)];
+        const createSelections = hint.createSelections?.map((selection) => {
+            const selectionField = findFieldByName(pages, selection.field);
+            return {
+                field: selection.field,
+                label: selection.label ?? selectionField?.label ?? selection.field,
+                value: selection.value
+            };
+        });
+        return {
+            field: listField.name,
+            label: listField.label,
+            component,
+            value: hint.value,
+            seedValue: hint.seedValue,
+            generationStrategy: hint.strategy,
+            updatePrefix: hint.updatePrefix,
+            createSelections,
+            sources
+        };
+    });
+}
+/**
+ * Toast 消息关键词常量
+ *
+ * 用于从 Java Action 消息中筛选出与测试断言相关的 toast 消息。
+ */
+const TOAST_KEYWORDS = ['成功', '失败', '不可删除', '已存在', '请选择', '不能删除', '无法删除'];
+/**
+ * 阻止删除的关键词常量
+ *
+ * 用于从 Java Action 消息中检测是否存在业务规则阻止删除的提示。
+ */
+const BLOCK_DELETE_KEYWORDS = ['不可删除', '不能删除', '无法删除'];
+/**
+ * 构建断言契约数组
+ *
+ * 根据 hints.assertionPolicy 和 Java Action 消息生成测试断言。
+ * 断言类型：
+ * 1. record_exists - 记录存在性断言（创建后验证）
+ * 2. toast_message - toast 消息断言（从 Java Action 消息中提取）
+ * 3. record_not_exists - 记录不存在断言（删除后验证）
+ *
+ * 上游物料关联：
+ * - 记录存在性断言：从 spec.yaml 的字段定义推断
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 提取规则：使用 dataKeyField 作为检查字段，expectedCount=1
+ *   - 来源：spec.yaml 的字段定义
+ *
+ * - toast 消息断言：从 Java Action 源码提取消息
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/main/java/com/epoint/zwplace/action/GxhZwPlaceAddAction.java:65`
+ *     - 原文：`addCallbackParam("msg", "保存成功！");`
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/main/java/com/epoint/zwplace/action/GxhZwPlaceAddAction.java:54`
+ *     - 原文：`addCallbackParam("error", "场所名称已存在！");`
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/src/main/java/com/epoint/zwplace/action/GxhZwPlaceListAction.java:51`
+ *     - 原文：`msg = "在用数据不可删除！";`
+ *   - 提取规则：匹配 `addCallbackParam("msg", ...)` 或 `addCallbackParam("error", ...)` 中的中文消息
+ *   - 关键词匹配：`TOAST_KEYWORDS = ['成功', '失败', '不可删除', '已存在', '请选择', '不能删除', '无法删除']`
+ *
+ * - 记录不存在断言：从 hints.assertionPolicy.afterDelete 读取
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 条件：`afterDelete === 'record_not_exists'` 时生成
+ *
+ * 策略消费：
+ * - afterCreate: 'record_exists' | 'toast_message' | 'both'（默认 'both'）
+ * - afterDelete: 'record_not_exists' | 'toast_message' | 'both' | 'human_required'
+ *
+ * @param spec - spec.yaml 提取信息（来自 spec-yaml extractor）
+ * @param dataKeyField - 数据主键字段名（来自 resolveDataKeyField）
+ * @param actions - Java Action 提取信息数组（来自 java-action extractor）
+ * @param hints - 可选的模块测试策略 hints（来自 ModuleHints）
+ * @returns 断言契约数组
+ */
+function buildAssertions(spec, dataKeyField, actions, hints) {
+    const assertions = [];
+    const specRef = specSource(spec);
+    // 创建后的记录存在性断言
+    const createPolicy = hints?.assertionPolicy?.afterCreate ?? 'both';
+    if (createPolicy === 'record_exists' || createPolicy === 'both') {
+        assertions.push({
+            id: 'record-exists-after-create',
+            type: 'record_exists',
+            field: dataKeyField,
+            expectedCount: 1,
+            availability: 'derivable',
+            sources: [specRef]
+        });
+    }
+    // 从 Java Action 消息中提取 toast 断言
+    const seen = new Set();
+    for (const action of actions) {
+        const actionSource = { kind: 'java_action', path: action.path, confidence: 'medium' };
+        for (const msg of action.messages) {
+            if (!TOAST_KEYWORDS.some((kw) => msg.includes(kw)))
+                continue;
+            if (seen.has(msg))
+                continue;
+            seen.add(msg);
+            assertions.push({
+                id: `toast-${assertions.length}`,
+                type: 'toast_message',
+                expectedMessage: msg,
+                availability: 'derivable',
+                sources: [actionSource]
+            });
+        }
+    }
+    // 删除后的记录不存在断言
+    const deletePolicy = hints?.assertionPolicy?.afterDelete;
+    if (deletePolicy === 'record_not_exists') {
+        assertions.push({
+            id: 'record-not-exists-after-delete',
+            type: 'record_not_exists',
+            field: dataKeyField,
+            expectedCount: 0,
+            availability: 'derivable',
+            sources: [specRef]
+        });
+    }
+    return assertions;
+}
+/**
+ * 构建业务规则契约数组
+ *
+ * 将 spec.yaml 中的业务规则转换为契约格式。
+ * 每个业务规则包含：
+ * - id: 规则名称
+ * - description: 规则描述
+ * - availability: 可获取性（固定为 'derivable'）
+ * - sources: 来源溯源
+ *
+ * 上游物料关联：
+ * - 业务规则：从 spec.yaml 的业务规则定义提取
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 提取规则：遍历 spec.businessRules 数组
+ *   - 提取位置：`spec.businessRules[]` 数组中的 `ExtractedSpecBusinessRule` 对象
+ *   - 来源字段：`rule.name`（规则名称）、`rule.description`（规则描述）
+ *
+ * @param spec - spec.yaml 提取信息（来自 spec-yaml extractor）
+ * @returns 业务规则契约数组
+ */
+function buildBusinessRules(spec) {
+    return spec.businessRules.map((rule) => ({
+        id: rule.name,
+        description: rule.description,
+        availability: 'derivable',
+        sources: [specSource(spec)]
+    }));
+}
+/**
+ * 构建未解决槽位数组
+ *
+ * 检查当前输入中缺失的测试策略信息，生成需要人工补充的槽位列表。
+ * 检查的槽位包括：
+ * 1. dataKey.selectedField - 数据主键字段选择
+ * 2. autofill.overrideFields - 表单自动填充覆盖字段
+ * 3. dataKey.generationStrategy - 数据生成策略
+ * 4. delete.expectedOutcome - 删除预期结果
+ *
+ * 上游物料关联：
+ * - dataKey.selectedField 槽位：从 spec.yaml 的 searchable 字段推断
+ *   - 文件：`knowledge-project/epoint-web-v9.5.2/_docs/003-场所窗口信息管理-20260518/spec.yaml`
+ *   - 检查条件：可搜索字段 > 1 且 hints.dataKey.selectedField 未指定
+ *   - 来源：spec.fields[].searchable=true 的字段列表
+ *
+ * - autofill.overrideFields 槽位：检查 hints.autofill.overrideFields 是否存在
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 检查条件：hints.autofill.overrideFields 未定义
+ *
+ * - dataKey.generationStrategy 槽位：检查 hints.dataKey.generationStrategy 是否存在
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 检查条件：hints.dataKey.generationStrategy 未定义
+ *
+ * - delete.expectedOutcome 槽位：检查 hints.deletePolicy 是否存在
+ *   - 来源：`ModuleHints`（测试策略输入）
+ *   - 检查条件：hints.deletePolicy 未定义
+ *
+ * 每个槽位包含：
+ * - slotId: 槽位标识
+ * - reason: 缺失原因说明
+ * - requiredBy: 依赖该槽位的契约字段
+ * - expectedProvider: 应由谁补充（tester/developer/runtime_config）
+ * - suggestedFormat: 建议的 JSON 格式
+ *
+ * @param spec - spec.yaml 提取信息（来自 spec-yaml extractor）
+ * @param actions - Java Action 提取信息数组（来自 java-action extractor，当前未使用，预留）
+ * @param input - 构建契约的输入参数（来自 BuildCrudContractInput）
+ * @returns 未解决槽位数组
+ */
+function buildUnresolvedSlots(spec, _actions, input) {
+    const slots = [];
+    // 数据主键字段选择槽位
+    if (!dataKeyIsPolicyResolved(spec, input)) {
+        slots.push({
+            slotId: 'dataKey.selectedField',
+            reason: '存在多个 searchable 字段或缺少测试策略输入，无法确定哪个字段作为 CRUD 测试数据流转锚点',
+            requiredBy: ['dataKey.field', 'flows.search.searchField', 'assertions.record_exists.field'],
+            expectedProvider: 'tester',
+            suggestedFormat: '{ "dataKey": { "selectedField": "fieldName" } }'
+        });
+    }
+    // 表单自动填充覆盖字段槽位
+    if (!input.hints?.autofill?.overrideFields) {
+        slots.push({
+            slotId: 'autofill.overrideFields',
+            reason: '新增/编辑表单中 auto-fill 后需要二次覆盖哪些字段，需要测试人员根据业务场景确认',
+            requiredBy: ['flows.create.overrideFields'],
+            expectedProvider: 'tester',
+            suggestedFormat: '{ "autofill": { "overrideFields": [{ "field": "fieldName", "strategy": "timestamp_prefix" }] } }'
+        });
+    }
+    // 数据生成策略槽位
+    if (!input.hints?.dataKey?.generationStrategy) {
+        slots.push({
+            slotId: 'dataKey.generationStrategy',
+            reason: '数据生成策略属于测试策略，不能仅从源码结构推断',
+            requiredBy: ['dataKey.generationStrategy'],
+            expectedProvider: 'tester',
+            suggestedFormat: '{ "dataKey": { "generationStrategy": "timestamp_prefix" } }'
+        });
+    }
+    // 删除预期结果槽位
+    if (!input.hints?.deletePolicy) {
+        slots.push({
+            slotId: 'delete.expectedOutcome',
+            reason: '删除流程应验证成功删除、业务阻塞，还是准备可删除草稿数据，需要测试策略确认',
+            requiredBy: ['flows.delete.expectedOutcome'],
+            expectedProvider: 'tester',
+            suggestedFormat: '{ "deletePolicy": "success_delete" | "blocked_by_business_rule" | "prepare_deletable_draft_then_delete" | "human_required" }'
+        });
+    }
+    return slots;
+}
+/**
+ * 构建 CRUD 业务模块契约（主入口函数）
+ *
+ * 将上游 extractor 提取的结构化信息和可选的测试策略 hints
+ * 归一化为 crud-business-module/v1 契约。
+ *
+ * 处理流程：
+ * 1. 解析模块标签和按钮标签配置
+ * 2. 解析数据主键字段
+ * 3. 构建页面契约（list/add/edit/detail）
+ * 4. 构建流程契约（create/search/update/delete）
+ * 5. 构建断言和业务规则契约
+ * 6. 检查未解决槽位
+ *
+ * @param input - 构建契约的输入参数
+ * @returns 完整的 CRUD 业务模块契约
+ * @throws 当缺少列表页时抛出错误
+ *
+ * @example
+ * ```typescript
+ * import { buildCrudBusinessModuleContract } from './normalizers/crud-contract.js';
+ *
+ * const contract = buildCrudBusinessModuleContract({
+ *   moduleId: 'zwplace',
+ *   spec: extractedSpec,
+ *   codeList: extractedCodeList,
+ *   pages: extractedPages,
+ *   actions: extractedActions,
+ *   hints: {
+ *     dataKey: { selectedField: 'placename', generationStrategy: 'timestamp_prefix' },
+ *     deletePolicy: 'blocked_by_business_rule'
+ *   }
+ * });
+ * ```
+ */
+export function buildCrudBusinessModuleContract(input) {
+    const { spec, pages, actions, moduleId, codeList } = input;
+    const moduleLabel = spec.module.label || codeList.moduleLabel;
+    const labels = resolveButtonLabels(input.buttonLabels, moduleLabel, input.hints);
+    const dataKeyField = resolveDataKeyField(spec, input);
+    const listPage = pages.find((p) => inferRole(p.pageId) === 'list');
+    const addPage = pages.find((p) => inferRole(p.pageId) === 'add');
+    const editPage = pages.find((p) => inferRole(p.pageId) === 'edit');
+    const detailPage = pages.find((p) => inferRole(p.pageId) === 'detail');
+    if (!listPage) {
+        throw new Error('List page is required to build a CRUD contract');
+    }
+    const contract = {
+        contractVersion: 'crud-business-module/v1',
+        module: {
+            id: moduleId,
+            label: moduleLabel,
+            description: spec.module.description
+        },
+        pages: {
+            list: buildPageContract(listPage, 'list'),
+            ...(addPage ? { add: buildPageContract(addPage, 'add') } : {}),
+            ...(editPage ? { edit: buildPageContract(editPage, 'edit') } : {}),
+            ...(detailPage ? { detail: buildPageContract(detailPage, 'detail') } : {})
+        },
+        dataKey: buildDataKey(spec, dataKeyField, input),
+        searchConditions: buildSearchConditions(pages, dataKeyField, input),
+        flows: {
+            create: buildCreateFlow(pages, labels, dataKeyField, input.hints),
+            search: buildSearchFlow(pages, labels, dataKeyField, input.hints),
+            update: buildUpdateFlow(pages, labels, dataKeyField),
+            delete: buildDeleteFlow(pages, actions, labels, input.hints)
+        },
+        assertions: buildAssertions(spec, dataKeyField, actions, input.hints),
+        businessRules: buildBusinessRules(spec),
+        unresolvedSlots: buildUnresolvedSlots(spec, actions, input)
+    };
+    const agentInferredWorkflows = planAgentInferredWorkflows({
+        contract,
+        actions,
+        hints: input.hints,
+    });
+    return agentInferredWorkflows.length > 0
+        ? { ...contract, agentInferredWorkflows }
+        : contract;
+}