soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/design_lifecycle_contract.js

@@ -0,0 +1,499 @@
+/**
+ * 设计到交付生命周期合同。
+ *
+ * 本模块是设计、实现、测试、验收各节点输入输出的唯一口径。
+ * 其他门禁只能消费这里定义的阶段产物，不能在 sf_verify 或 hook 中临时新增文件假设。
+ */
+export const DESIGN_LIFECYCLE_TRACEABILITY_MATRIX_PATH = "docs/traceability/01-需求原型设计实现追踪矩阵.md";
+export const DESIGN_LIFECYCLE_SLICE_PLAN_PATH = "docs/architecture/04-开发切片计划.md";
+export const DESIGN_LIFECYCLE_LEGACY_SLICE_PLAN_PATHS = [
+    "docs/architecture/04-第一阶段开发切片计划.md",
+];
+export const DESIGN_LIFECYCLE_SQL_ROOTS = [
+    "db/migrations",
+    "db/migration",
+    "db/schema",
+    "db/changelog",
+    "docs/db/migration",
+    "backend/db/migration",
+    "backend/src/main/resources/db/migration",
+    "server/src/main/resources/db/migration",
+    "apps/backend/src/main/resources/db/migration",
+];
+const INPUT_REQUIREMENTS = {
+    id: "requirements_document",
+    role: "input",
+    path: "docs/requirements.md",
+    required: true,
+    description_zh: "需求来源，提供 REQ-* 身份和业务目标",
+    aliases: ["docs/需求文档.md", "docs/PRD.md"],
+};
+const INPUT_PROTOTYPE = {
+    id: "prototype_specification",
+    role: "input",
+    path: "docs/prototype.md",
+    required: true,
+    description_zh: "原型说明，提供 PROTO-* 身份、页面和交互来源",
+    aliases: ["docs/原型说明.md", "docs/prototype-platform.md"],
+};
+const TRACEABILITY_MATRIX = {
+    id: "traceability_matrix",
+    role: "authority",
+    path: DESIGN_LIFECYCLE_TRACEABILITY_MATRIX_PATH,
+    required: true,
+    description_zh: "REQ/PROTO/ARCH/DD/PHASE/SLICE/AC 全链路追踪权威资产",
+};
+const LIFECYCLE_STAGES = [
+    {
+        stage_id: "requirements_intake",
+        name_zh: "需求输入",
+        purpose_zh: "把用户需求转成可追踪 REQ-*，作为架构和验收来源",
+        inputs: [],
+        outputs: [INPUT_REQUIREMENTS],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "requirements_id_gate",
+                owner: "sf_expand",
+                blocks: ["无 REQ-* 仍生成正式架构或实现"],
+                required_evidence: ["需求条目已进入追踪矩阵"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "prototype_extraction",
+        name_zh: "原型提取",
+        purpose_zh: "把原型页面、交互和字段转成 PROTO-*，支撑架构与验收",
+        inputs: [],
+        outputs: [INPUT_PROTOTYPE],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "prototype_id_gate",
+                owner: "sf_expand",
+                blocks: ["无 PROTO-* 或来源确认仍生成正式架构"],
+                required_evidence: ["原型条目已进入追踪矩阵"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "architecture_design",
+        name_zh: "架构设计",
+        purpose_zh: "基于需求和原型确认系统边界、技术决策、模块职责和全局约束",
+        inputs: [INPUT_REQUIREMENTS, INPUT_PROTOTYPE],
+        outputs: [
+            {
+                id: "architecture_decision_record",
+                role: "output",
+                path: "docs/architecture/00-架构决策记录.md",
+                required: true,
+                description_zh: "架构决策和人工确认记录",
+            },
+            {
+                id: "architecture_document",
+                role: "output",
+                path: "docs/architecture/01-架构设计文档.md",
+                required: true,
+                description_zh: "总体架构、边界、模块、技术选型和 ARCH-* 定义",
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "architecture_source_gate",
+                owner: "sf_expand",
+                blocks: ["架构设计缺少 REQ-* 或 PROTO-* 来源"],
+                required_evidence: ["架构文档引用 REQ-* 或 PROTO-*", "架构决策已确认"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "detail_design",
+        name_zh: "详细设计",
+        purpose_zh: "把架构决策落实为可编码的数据、接口和实现约束；详细设计不是固定单文件",
+        inputs: [
+            {
+                id: "architecture_document",
+                role: "input",
+                path: "docs/architecture/01-架构设计文档.md",
+                required: true,
+                description_zh: "ARCH-* 来源和全局约束",
+            },
+        ],
+        outputs: [
+            {
+                id: "database_design_document",
+                role: "output",
+                path: "docs/architecture/02-数据库设计文档.md",
+                required: true,
+                description_zh: "数据库详细设计，承载 DD-T*、表字段、索引、审计、租户和生命周期语义",
+            },
+            {
+                id: "api_specification_document",
+                role: "output",
+                path: "docs/architecture/03-API接口规格文档.md",
+                required: true,
+                description_zh: "API 详细设计，承载 DD-A*、端点、字段、错误、副作用和验收场景",
+            },
+            {
+                id: "optional_implementation_detail_document",
+                role: "output",
+                path: "docs/architecture/04-详细设计文档.md",
+                required: false,
+                description_zh: "可选的单文档详细设计兼容口径；有 DB/API 拆分载体时不得作为必需项",
+            },
+        ],
+        authorities: [
+            {
+                id: "openapi_authority",
+                role: "authority",
+                path: "docs/api/openapi.yaml",
+                required: true,
+                description_zh: "API 路径、操作和 schema 权威资产",
+            },
+            {
+                id: "sql_migration_authority",
+                role: "authority",
+                path: "db/migrations",
+                required: true,
+                description_zh: "数据库物理结构权威资产，可由 SQL roots 任一有效目录承载",
+                aliases: [...DESIGN_LIFECYCLE_SQL_ROOTS],
+            },
+            TRACEABILITY_MATRIX,
+        ],
+        gates: [
+            {
+                id: "detail_design_source_gate",
+                owner: "sf_expand",
+                blocks: ["详细设计缺少 ARCH-* 来源或 DD-* 身份"],
+                required_evidence: ["数据库设计声明 DD-T* 并引用 ARCH-*", "API 规格声明 DD-A* 并引用 ARCH-*"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+            {
+                id: "detail_design_authority_gate",
+                owner: "sf_verify",
+                blocks: ["只有 Markdown 说明，没有 OpenAPI 或 SQL/migration 权威资产"],
+                required_evidence: ["OpenAPI 可解析且覆盖 API 文档", "SQL/migration 存在且可审计"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "slice_planning",
+        name_zh: "切片规划",
+        purpose_zh: "把详细设计拆成可独立实现、测试和验收的 SLICE-* 工作包",
+        inputs: [
+            {
+                id: "database_design_document",
+                role: "input",
+                path: "docs/architecture/02-数据库设计文档.md",
+                required: true,
+                description_zh: "DD-T* 数据库设计来源",
+            },
+            {
+                id: "api_specification_document",
+                role: "input",
+                path: "docs/architecture/03-API接口规格文档.md",
+                required: true,
+                description_zh: "DD-A* API 设计来源",
+            },
+        ],
+        outputs: [
+            {
+                id: "slice_plan",
+                role: "output",
+                path: DESIGN_LIFECYCLE_SLICE_PLAN_PATH,
+                required: true,
+                description_zh: "全项目开发切片计划索引，定义 PHASE-*、SLICE-*、设计来源、计划变更文件、状态和 AC-* 验收标准",
+                aliases: [...DESIGN_LIFECYCLE_LEGACY_SLICE_PLAN_PATHS],
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "slice_design_acceptance_gate",
+                owner: "sf_expand",
+                blocks: ["切片缺少 PHASE-*、SLICE-*、DD/ARCH 来源或 AC-* 验收"],
+                required_evidence: ["切片计划声明 PHASE-* 与 SLICE-*", "切片计划引用 DD-* 或 ARCH-*", "切片计划声明 AC-*"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "implementation",
+        name_zh: "实现",
+        purpose_zh: "只按已确认切片、详细设计和验收标准修改业务代码",
+        inputs: [
+            TRACEABILITY_MATRIX,
+            {
+                id: "slice_plan",
+                role: "input",
+                path: DESIGN_LIFECYCLE_SLICE_PLAN_PATH,
+                required: true,
+                description_zh: "当前实现必须绑定的 PHASE-* 与 SLICE-* 来源",
+                aliases: [...DESIGN_LIFECYCLE_LEGACY_SLICE_PLAN_PATHS],
+            },
+        ],
+        outputs: [
+            {
+                id: "code_changes",
+                role: "output",
+                path: "changed_files",
+                required: true,
+                description_zh: "真实变更文件清单，必须完整进入 sf_verify",
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "implementation_binding_gate",
+                owner: "sf_verify",
+                blocks: ["业务代码变更缺少 PHASE-*、SLICE-*、DD-*、AC-* 绑定"],
+                required_evidence: ["TaskContext 或意图中绑定 PHASE/SLICE/DD/AC", "changed_files 完整"],
+                recovery_command: "soloforge next",
+            },
+        ],
+    },
+    {
+        stage_id: "testing",
+        name_zh: "测试",
+        purpose_zh: "用真实命令和结果证明实现满足切片验收，不把验证计划当结果",
+        inputs: [
+            {
+                id: "code_changes",
+                role: "input",
+                path: "changed_files",
+                required: true,
+                description_zh: "真实变更文件清单",
+            },
+            TRACEABILITY_MATRIX,
+        ],
+        outputs: [
+            {
+                id: "verification_result",
+                role: "evidence",
+                path: ".soloforge/state/{task_id}.json#verification",
+                required: true,
+                description_zh: "真实执行的构建、测试和验收命令结果",
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "verification_result_gate",
+                owner: "sf_verify",
+                blocks: ["验证计划被当成验证结果", "只验证部分 changed_files"],
+                required_evidence: ["命令真实执行", "结果覆盖 changed_files 和 AC-*"],
+                recovery_command: "soloforge next",
+            },
+        ],
+    },
+    {
+        stage_id: "acceptance",
+        name_zh: "验收",
+        purpose_zh: "把设计一致性、测试结果和用户确认闭合为可交付证据",
+        inputs: [
+            {
+                id: "verification_result",
+                role: "input",
+                path: ".soloforge/state/{task_id}.json#verification",
+                required: true,
+                description_zh: "测试阶段真实验证结果",
+            },
+            TRACEABILITY_MATRIX,
+        ],
+        outputs: [
+            {
+                id: "design_consistency_report",
+                role: "evidence",
+                path: "docs/architecture/99-设计一致性验收报告.md",
+                required: true,
+                description_zh: "设计产物一致性和复验闭环证据",
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "acceptance_closure_gate",
+                owner: "sf_verify",
+                blocks: ["缺少设计一致性、测试结果或用户确认仍交付"],
+                required_evidence: ["design_artifact_pack.status=implementation_ready", "verification passed", "必要用户确认"],
+                recovery_command: "soloforge audit-design-artifacts",
+            },
+        ],
+    },
+    {
+        stage_id: "delivery",
+        name_zh: "交付",
+        purpose_zh: "只交付来源、实现、测试和验收均闭合的任务",
+        inputs: [
+            {
+                id: "design_consistency_report",
+                role: "input",
+                path: "docs/architecture/99-设计一致性验收报告.md",
+                required: true,
+                description_zh: "验收阶段闭合证据",
+            },
+        ],
+        outputs: [
+            {
+                id: "delivery_summary",
+                role: "evidence",
+                path: ".soloforge/state/{task_id}.json#delivery",
+                required: true,
+                description_zh: "交付摘要、阻断项和验证证据",
+            },
+        ],
+        authorities: [TRACEABILITY_MATRIX],
+        gates: [
+            {
+                id: "delivery_no_open_blockers_gate",
+                owner: "sf_verify",
+                blocks: ["仍有追踪、设计、测试或验收阻断项"],
+                required_evidence: ["所有 hard_fail 清零", "最近验证 trace 可追踪"],
+                recovery_command: "soloforge next",
+            },
+        ],
+    },
+];
+export function listDesignLifecycleStageContracts() {
+    return LIFECYCLE_STAGES.map((stage) => ({
+        ...stage,
+        inputs: [...stage.inputs],
+        outputs: [...stage.outputs],
+        authorities: [...stage.authorities],
+        gates: [...stage.gates],
+    }));
+}
+export function getDesignLifecycleStageContract(stageId) {
+    const stage = LIFECYCLE_STAGES.find((candidate) => candidate.stage_id === stageId);
+    if (!stage)
+        throw new Error(`Unknown design lifecycle stage: ${stageId}`);
+    return {
+        ...stage,
+        inputs: [...stage.inputs],
+        outputs: [...stage.outputs],
+        authorities: [...stage.authorities],
+        gates: [...stage.gates],
+    };
+}
+export function getDesignLifecycleArtifactPaths() {
+    const architecture = getDesignLifecycleStageContract("architecture_design");
+    const detail = getDesignLifecycleStageContract("detail_design");
+    const slice = getDesignLifecycleStageContract("slice_planning");
+    const acceptance = getDesignLifecycleStageContract("acceptance");
+    const decisionRecord = architecture.outputs.find((artifact) => artifact.id === "architecture_decision_record");
+    const architectureDocument = architecture.outputs.find((artifact) => artifact.id === "architecture_document");
+    const databaseDocument = detail.outputs.find((artifact) => artifact.id === "database_design_document");
+    const apiDocument = detail.outputs.find((artifact) => artifact.id === "api_specification_document");
+    const optionalDetailDocument = detail.outputs.find((artifact) => artifact.id === "optional_implementation_detail_document");
+    const openapi = detail.authorities.find((artifact) => artifact.id === "openapi_authority");
+    const slicePlan = slice.outputs.find((artifact) => artifact.id === "slice_plan");
+    const consistencyReport = acceptance.outputs.find((artifact) => artifact.id === "design_consistency_report");
+    return {
+        decision_record: decisionRecord.path,
+        architecture_document: architectureDocument.path,
+        database_document: databaseDocument.path,
+        api_document: apiDocument.path,
+        optional_detail_design_document: optionalDetailDocument.path,
+        slice_plan: slicePlan.path,
+        consistency_report: consistencyReport.path,
+        traceability_matrix: DESIGN_LIFECYCLE_TRACEABILITY_MATRIX_PATH,
+        openapi: openapi.path,
+        sql_roots: [...DESIGN_LIFECYCLE_SQL_ROOTS],
+    };
+}
+export function getDesignLifecycleArtifactAliases(path) {
+    for (const stage of LIFECYCLE_STAGES) {
+        for (const artifact of [...stage.inputs, ...stage.outputs, ...stage.authorities]) {
+            if (artifact.path === path)
+                return [...(artifact.aliases ?? [])];
+        }
+    }
+    return [];
+}
+export function validateDesignLifecycleContract() {
+    const findings = [];
+    const stageIds = new Set();
+    for (const stage of LIFECYCLE_STAGES) {
+        if (stageIds.has(stage.stage_id)) {
+            findings.push({
+                code: "DESIGN_LIFECYCLE_DUPLICATE_STAGE",
+                severity: "hard_fail",
+                stage_id: stage.stage_id,
+                message_zh: `生命周期阶段重复: ${stage.stage_id}`,
+            });
+        }
+        stageIds.add(stage.stage_id);
+        if (stage.gates.length === 0) {
+            findings.push({
+                code: "DESIGN_LIFECYCLE_STAGE_WITHOUT_GATE",
+                severity: "hard_fail",
+                stage_id: stage.stage_id,
+                message_zh: `生命周期阶段缺少门禁: ${stage.stage_id}`,
+            });
+        }
+    }
+    const detail = getDesignLifecycleStageContract("detail_design");
+    const requiredDetailOutputs = detail.outputs.filter((artifact) => artifact.required).map((artifact) => artifact.id);
+    for (const required of ["database_design_document", "api_specification_document"]) {
+        if (!requiredDetailOutputs.includes(required)) {
+            findings.push({
+                code: "DESIGN_LIFECYCLE_DETAIL_OUTPUT_MISSING",
+                severity: "hard_fail",
+                stage_id: "detail_design",
+                message_zh: `详细设计缺少必需输出: ${required}`,
+            });
+        }
+    }
+    if (requiredDetailOutputs.includes("optional_implementation_detail_document")) {
+        findings.push({
+            code: "DESIGN_LIFECYCLE_OPTIONAL_DETAIL_DOC_REQUIRED",
+            severity: "hard_fail",
+            stage_id: "detail_design",
+            message_zh: "详细设计不能强制要求 04-详细设计文档.md；DB/API 拆分载体必须可独立闭合",
+        });
+    }
+    const slice = getDesignLifecycleStageContract("slice_planning");
+    const slicePlan = slice.outputs.find((artifact) => artifact.id === "slice_plan" && artifact.required);
+    if (!slicePlan) {
+        findings.push({
+            code: "DESIGN_LIFECYCLE_SLICE_PLAN_MISSING",
+            severity: "hard_fail",
+            stage_id: "slice_planning",
+            message_zh: "实现前缺少必需切片计划输出",
+        });
+    }
+    if (slicePlan?.path !== DESIGN_LIFECYCLE_SLICE_PLAN_PATH) {
+        findings.push({
+            code: "DESIGN_LIFECYCLE_SLICE_PLAN_CANONICAL_PATH_INVALID",
+            severity: "hard_fail",
+            stage_id: "slice_planning",
+            message_zh: "开发切片计划必须是全项目索引 04-开发切片计划.md，不能绑定到某个固定阶段文件",
+        });
+    }
+    const implementation = getDesignLifecycleStageContract("implementation");
+    const implementationGate = implementation.gates.find((gate) => gate.id === "implementation_binding_gate");
+    if (!implementationGate || !implementationGate.required_evidence.some((evidence) => evidence.includes("PHASE/SLICE/DD/AC"))) {
+        findings.push({
+            code: "DESIGN_LIFECYCLE_IMPLEMENTATION_BINDING_MISSING",
+            severity: "hard_fail",
+            stage_id: "implementation",
+            message_zh: "实现阶段缺少 PHASE/SLICE/DD/AC 绑定证据要求",
+        });
+    }
+    const testing = getDesignLifecycleStageContract("testing");
+    if (!testing.gates.some((gate) => gate.blocks.some((block) => block.includes("验证计划被当成验证结果")))) {
+        findings.push({
+            code: "DESIGN_LIFECYCLE_TEST_EVIDENCE_WEAK",
+            severity: "hard_fail",
+            stage_id: "testing",
+            message_zh: "测试阶段必须阻断把验证计划当成验证结果",
+        });
+    }
+    return findings;
+}
+//# sourceMappingURL=design_lifecycle_contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"design_lifecycle_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/design_lifecycle_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA8DH,MAAM,CAAC,MAAM,yCAAyC,GAClD,sCAAsC,CAAC;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,gCAAgC,CAAC;AAEjF,MAAM,CAAC,MAAM,wCAAwC,GAAG;IACpD,oCAAoC;CAC9B,CAAC;AAEX,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACtC,eAAe;IACf,cAAc;IACd,WAAW;IACX,cAAc;IACd,mBAAmB;IACnB,sBAAsB;IACtB,yCAAyC;IACzC,wCAAwC;IACxC,8CAA8C;CACxC,CAAC;AAEX,MAAM,kBAAkB,GAA8B;IAClD,EAAE,EAAE,uBAAuB;IAC3B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,sBAAsB;IAC5B,QAAQ,EAAE,IAAI;IACd,cAAc,EAAE,uBAAuB;IACvC,OAAO,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC;CAC3C,CAAC;AAEF,MAAM,eAAe,GAA8B;IAC/C,EAAE,EAAE,yBAAyB;IAC7B,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,IAAI;IACd,cAAc,EAAE,4BAA4B;IAC5C,OAAO,EAAE,CAAC,cAAc,EAAE,4BAA4B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,GAA8B;IACnD,EAAE,EAAE,qBAAqB;IACzB,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,yCAAyC;IAC/C,QAAQ,EAAE,IAAI;IACd,cAAc,EAAE,4CAA4C;CAC/D,CAAC;AAEF,MAAM,gBAAgB,GAAmC;IACrD;QACI,QAAQ,EAAE,qBAAqB;QAC/B,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,4BAA4B;QACxC,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,sBAAsB;gBAC1B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,oBAAoB,CAAC;gBAC9B,iBAAiB,EAAE,CAAC,aAAa,CAAC;gBAClC,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,+BAA+B;QAC3C,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,CAAC,eAAe,CAAC;QAC1B,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,mBAAmB;gBACvB,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,wBAAwB,CAAC;gBAClC,iBAAiB,EAAE,CAAC,aAAa,CAAC;gBAClC,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,qBAAqB;QAC/B,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,8BAA8B;QAC1C,MAAM,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC7C,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,8BAA8B;gBAClC,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,aAAa;aAChC;YACD;gBACI,EAAE,EAAE,uBAAuB;gBAC3B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,4BAA4B;aAC/C;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,0BAA0B;gBAC9B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,2BAA2B,CAAC;gBACrC,iBAAiB,EAAE,CAAC,wBAAwB,EAAE,SAAS,CAAC;gBACxD,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,oCAAoC;QAChD,MAAM,EAAE;YACJ;gBACI,EAAE,EAAE,uBAAuB;gBAC3B,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,gBAAgB;aACnC;SACJ;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,0BAA0B;gBAC9B,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,iCAAiC;gBACvC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,sCAAsC;aACzD;YACD;gBACI,EAAE,EAAE,4BAA4B;gBAChC,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,mCAAmC;gBACzC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,qCAAqC;aACxD;YACD;gBACI,EAAE,EAAE,yCAAyC;gBAC7C,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,KAAK;gBACf,cAAc,EAAE,sCAAsC;aACzD;SACJ;QACD,WAAW,EAAE;YACT;gBACI,EAAE,EAAE,mBAAmB;gBACvB,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,uBAAuB;gBAC7B,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,wBAAwB;aAC3C;YACD;gBACI,EAAE,EAAE,yBAAyB;gBAC7B,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,mCAAmC;gBACnD,OAAO,EAAE,CAAC,GAAG,0BAA0B,CAAC;aAC3C;YACD,mBAAmB;SACtB;QACD,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,2BAA2B;gBAC/B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,2BAA2B,CAAC;gBACrC,iBAAiB,EAAE,CAAC,0BAA0B,EAAE,2BAA2B,CAAC;gBAC5E,gBAAgB,EAAE,kCAAkC;aACvD;YACD;gBACI,EAAE,EAAE,8BAA8B;gBAClC,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,gDAAgD,CAAC;gBAC1D,iBAAiB,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;gBACpE,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,iCAAiC;QAC7C,MAAM,EAAE;YACJ;gBACI,EAAE,EAAE,0BAA0B;gBAC9B,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,iCAAiC;gBACvC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,eAAe;aAClC;YACD;gBACI,EAAE,EAAE,4BAA4B;gBAChC,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,mCAAmC;gBACzC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,gBAAgB;aACnC;SACJ;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,0DAA0D;gBAC1E,OAAO,EAAE,CAAC,GAAG,wCAAwC,CAAC;aACzD;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,8BAA8B;gBAClC,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,0CAA0C,CAAC;gBACpD,iBAAiB,EAAE,CAAC,0BAA0B,EAAE,sBAAsB,EAAE,aAAa,CAAC;gBACtF,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,gBAAgB;QAC1B,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,yBAAyB;QACrC,MAAM,EAAE;YACJ,mBAAmB;YACnB;gBACI,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,gCAAgC;gBACtC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,gCAAgC;gBAChD,OAAO,EAAE,CAAC,GAAG,wCAAwC,CAAC;aACzD;SACJ;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,2BAA2B;aAC9C;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,6BAA6B;gBACjC,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,uCAAuC,CAAC;gBACjD,iBAAiB,EAAE,CAAC,sCAAsC,EAAE,kBAAkB,CAAC;gBAC/E,gBAAgB,EAAE,gBAAgB;aACrC;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,8BAA8B;QAC1C,MAAM,EAAE;YACJ;gBACI,EAAE,EAAE,cAAc;gBAClB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,UAAU;aAC7B;YACD,mBAAmB;SACtB;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,qBAAqB;gBACzB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,8CAA8C;gBACpD,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,mBAAmB;aACtC;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,0BAA0B;gBAC9B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,aAAa,EAAE,qBAAqB,CAAC;gBAC9C,iBAAiB,EAAE,CAAC,QAAQ,EAAE,2BAA2B,CAAC;gBAC1D,gBAAgB,EAAE,gBAAgB;aACrC;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,0BAA0B;QACtC,MAAM,EAAE;YACJ;gBACI,EAAE,EAAE,qBAAqB;gBACzB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,8CAA8C;gBACpD,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,YAAY;aAC/B;YACD,mBAAmB;SACtB;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,2BAA2B;gBAC/B,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,mCAAmC;gBACzC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,gBAAgB;aACnC;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,yBAAyB;gBAC7B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,sBAAsB,CAAC;gBAChC,iBAAiB,EAAE,CAAC,kDAAkD,EAAE,qBAAqB,EAAE,QAAQ,CAAC;gBACxG,gBAAgB,EAAE,kCAAkC;aACvD;SACJ;KACJ;IACD;QACI,QAAQ,EAAE,UAAU;QACpB,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,sBAAsB;QAClC,MAAM,EAAE;YACJ;gBACI,EAAE,EAAE,2BAA2B;gBAC/B,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,mCAAmC;gBACzC,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,UAAU;aAC7B;SACJ;QACD,OAAO,EAAE;YACL;gBACI,EAAE,EAAE,kBAAkB;gBACtB,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,0CAA0C;gBAChD,QAAQ,EAAE,IAAI;gBACd,cAAc,EAAE,eAAe;aAClC;SACJ;QACD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,KAAK,EAAE;YACH;gBACI,EAAE,EAAE,gCAAgC;gBACpC,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,kBAAkB,CAAC;gBAC5B,iBAAiB,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;gBACxD,gBAAgB,EAAE,gBAAgB;aACrC;SACJ;KACJ;CACJ,CAAC;AAEF,MAAM,UAAU,iCAAiC;IAC7C,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpC,GAAG,KAAK;QACR,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAC3B,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QACnC,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;KAC1B,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,OAA+B;IAC3E,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACnF,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,EAAE,CAAC,CAAC;IAC1E,OAAO;QACH,GAAG,KAAK;QACR,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAC3B,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QACnC,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;KAC1B,CAAC;AACN,CAAC;AAED,MAAM,UAAU,+BAA+B;IAC3C,MAAM,YAAY,GAAG,+BAA+B,CAAC,qBAAqB,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,+BAA+B,CAAC,eAAe,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,+BAA+B,CAAC,gBAAgB,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,+BAA+B,CAAC,YAAY,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,8BAA8B,CAAE,CAAC;IAChH,MAAM,oBAAoB,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,uBAAuB,CAAE,CAAC;IAC/G,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,0BAA0B,CAAE,CAAC;IACxG,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,4BAA4B,CAAE,CAAC;IACrG,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,yCAAyC,CAAE,CAAC;IAC7H,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,mBAAmB,CAAE,CAAC;IAC5F,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,YAAY,CAAE,CAAC;IAClF,MAAM,iBAAiB,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,2BAA2B,CAAE,CAAC;IAC9G,OAAO;QACH,eAAe,EAAE,cAAc,CAAC,IAAI;QACpC,qBAAqB,EAAE,oBAAoB,CAAC,IAAI;QAChD,iBAAiB,EAAE,gBAAgB,CAAC,IAAI;QACxC,YAAY,EAAE,WAAW,CAAC,IAAI;QAC9B,+BAA+B,EAAE,sBAAsB,CAAC,IAAI;QAC5D,UAAU,EAAE,SAAS,CAAC,IAAI;QAC1B,kBAAkB,EAAE,iBAAiB,CAAC,IAAI;QAC1C,mBAAmB,EAAE,yCAAyC;QAC9D,OAAO,EAAE,OAAO,CAAC,IAAI;QACrB,SAAS,EAAE,CAAC,GAAG,0BAA0B,CAAC;KAC7C,CAAC;AACN,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,IAAY;IAC1D,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/E,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;IACD,OAAO,EAAE,CAAC;AACd,CAAC;AAED,MAAM,UAAU,+BAA+B;IAC3C,MAAM,QAAQ,GAAqC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kCAAkC;gBACxC,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,UAAU,EAAE,aAAa,KAAK,CAAC,QAAQ,EAAE;aAC5C,CAAC,CAAC;QACP,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qCAAqC;gBAC3C,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,UAAU,EAAE,eAAe,KAAK,CAAC,QAAQ,EAAE;aAC9C,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,+BAA+B,CAAC,eAAe,CAAC,CAAC;IAChE,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACpH,KAAK,MAAM,QAAQ,IAAI,CAAC,0BAA0B,EAAE,4BAA4B,CAAC,EAAE,CAAC;QAChF,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,wCAAwC;gBAC9C,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,eAAe;gBACzB,UAAU,EAAE,eAAe,QAAQ,EAAE;aACxC,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,IAAI,qBAAqB,CAAC,QAAQ,CAAC,yCAAyC,CAAC,EAAE,CAAC;QAC5E,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,+CAA+C;YACrD,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,eAAe;YACzB,UAAU,EAAE,4CAA4C;SAC3D,CAAC,CAAC;IACP,CAAC;IAED,MAAM,KAAK,GAAG,+BAA+B,CAAC,gBAAgB,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,YAAY,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACtG,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qCAAqC;YAC3C,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,gBAAgB;YAC1B,UAAU,EAAE,eAAe;SAC9B,CAAC,CAAC;IACP,CAAC;IACD,IAAI,SAAS,EAAE,IAAI,KAAK,gCAAgC,EAAE,CAAC;QACvD,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oDAAoD;YAC1D,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,gBAAgB;YAC1B,UAAU,EAAE,2CAA2C;SAC1D,CAAC,CAAC;IACP,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CAAC,gBAAgB,CAAC,CAAC;IACzE,MAAM,kBAAkB,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,6BAA6B,CAAC,CAAC;IAC1G,IAAI,CAAC,kBAAkB,IAAI,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC;QAC1H,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,iDAAiD;YACvD,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,gBAAgB;YAC1B,UAAU,EAAE,iCAAiC;SAChD,CAAC,CAAC;IACP,CAAC;IAED,MAAM,OAAO,GAAG,+BAA+B,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,QAAQ,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,qCAAqC;YAC3C,QAAQ,EAAE,WAAW;YACrB,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,qBAAqB;SACpC,CAAC,CAAC;IACP,CAAC;IAED,OAAO,QAAQ,CAAC;AACpB,CAAC"}

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

@@ -0,0 +1,40 @@
+/**
+ * 问题二十六: Detail Discipline — 细节纪律契约。
+ *
+ * 强制执行:
+ * - detail discipline 不能停留在 checklist，必须接入验证与交付 gate
+ */
+import type { DetailDisciplineContract, DetailDisciplineCheck, DetailRiskItem } from "./extension_platform_contracts.js";
+export interface DetailDisciplineResult {
+    passed: boolean;
+    blocking_items: DetailRiskItem[];
+    warnings: DetailRiskItem[];
+    checked_dimensions: string[];
+    missing_details: string[];
+}
+/**
+ * 创建细节纪律契约。
+ */
+export declare function createDetailDisciplineContract(overrides: Partial<DetailDisciplineContract> & Pick<DetailDisciplineContract, "contract_id">): DetailDisciplineContract;
+/**
+ * 执行细节纪律检查。
+ * 对目标（设计/实现/工作流/模板/产物）进行维度检查，返回缺失细节和风险项。
+ */
+export declare function performDetailCheck(contract: DetailDisciplineContract, targetId: string, targetType: DetailDisciplineCheck["target_type"], providedDetails: Record<string, string[]>): DetailDisciplineCheck;
+/**
+ * 从检查结果生成风险项列表。
+ */
+export declare function generateRiskItems(check: DetailDisciplineCheck): DetailRiskItem[];
+/**
+ * 汇总多次检查结果。
+ */
+export declare function summarizeDetailChecks(checks: DetailDisciplineCheck[]): DetailDisciplineResult;
+/**
+ * 检查细节纪律是否接入交付 gate。
+ * 如果检查结果为 blocking，交付 gate 必须阻止交付。
+ */
+export declare function checkDetailGateIntegration(check: DetailDisciplineCheck, deliveryGateActive: boolean): {
+    allowed: boolean;
+    reason: string;
+};
+//# sourceMappingURL=detail_discipline.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"detail_discipline.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/detail_discipline.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACrB,cAAc,EAEf,MAAM,mCAAmC,CAAC;AAE3C,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,cAAc,EAAE,CAAC;IACjC,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAQD;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,OAAO,CAAC,wBAAwB,CAAC,GAAG,IAAI,CAAC,wBAAwB,EAAE,aAAa,CAAC,GAC3F,wBAAwB,CAM1B;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,qBAAqB,CAAC,aAAa,CAAC,EAChD,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GACxC,qBAAqB,CA0BvB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,qBAAqB,GAC3B,cAAc,EAAE,CAMlB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,qBAAqB,EAAE,GAC9B,sBAAsB,CA8BxB;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,qBAAqB,EAC5B,kBAAkB,EAAE,OAAO,GAC1B;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAQtC"}

package/dist/engine/contracts/detail_discipline.js

@@ -0,0 +1,107 @@
+/**
+ * 问题二十六: Detail Discipline — 细节纪律契约。
+ *
+ * 强制执行:
+ * - detail discipline 不能停留在 checklist，必须接入验证与交付 gate
+ */
+/** 必须检查的维度集合 */
+const REQUIRED_DIMENSIONS = new Set([
+    "edge_cases", "defaults", "failure_paths", "cleanup",
+    "idempotency", "overwrite_behavior", "rollback", "evidence",
+]);
+/**
+ * 创建细节纪律契约。
+ */
+export function createDetailDisciplineContract(overrides) {
+    return {
+        target_types: ["design", "implementation", "workflow"],
+        required_dimensions: [...REQUIRED_DIMENSIONS],
+        ...overrides,
+    };
+}
+/**
+ * 执行细节纪律检查。
+ * 对目标（设计/实现/工作流/模板/产物）进行维度检查，返回缺失细节和风险项。
+ */
+export function performDetailCheck(contract, targetId, targetType, providedDetails) {
+    const missingDetails = [];
+    let blocking = false;
+    for (const dim of contract.required_dimensions) {
+        const provided = providedDetails[dim];
+        if (!provided || provided.length === 0) {
+            missingDetails.push(dim);
+            if (REQUIRED_DIMENSIONS.has(dim)) {
+                blocking = true;
+            }
+        }
+    }
+    return {
+        target_id: targetId,
+        target_type: targetType,
+        checked_dimensions: contract.required_dimensions,
+        missing_details: missingDetails,
+        blocking,
+        detail_check_status: missingDetails.length === 0
+            ? "passed"
+            : blocking
+                ? "failed"
+                : "warning",
+    };
+}
+/**
+ * 从检查结果生成风险项列表。
+ */
+export function generateRiskItems(check) {
+    return check.missing_details.map(dim => ({
+        dimension: dim,
+        description: `目标 ${check.target_id} 缺少维度: ${dim}`,
+        severity: REQUIRED_DIMENSIONS.has(dim) ? "blocking" : "warning",
+    }));
+}
+/**
+ * 汇总多次检查结果。
+ */
+export function summarizeDetailChecks(checks) {
+    const blockingItems = [];
+    const warningItems = [];
+    const allDimensions = new Set();
+    const allMissing = new Set();
+    for (const check of checks) {
+        const risks = generateRiskItems(check);
+        for (const risk of risks) {
+            if (risk.severity === "blocking") {
+                blockingItems.push(risk);
+            }
+            else {
+                warningItems.push(risk);
+            }
+        }
+        for (const dim of check.checked_dimensions) {
+            allDimensions.add(dim);
+        }
+        for (const dim of check.missing_details) {
+            allMissing.add(dim);
+        }
+    }
+    return {
+        passed: blockingItems.length === 0,
+        blocking_items: blockingItems,
+        warnings: warningItems,
+        checked_dimensions: [...allDimensions],
+        missing_details: [...allMissing],
+    };
+}
+/**
+ * 检查细节纪律是否接入交付 gate。
+ * 如果检查结果为 blocking，交付 gate 必须阻止交付。
+ */
+export function checkDetailGateIntegration(check, deliveryGateActive) {
+    if (check.blocking && !deliveryGateActive) {
+        return { allowed: false, reason: "细节纪律检查有阻断项但未接入交付 gate" };
+    }
+    if (check.detail_check_status === "failed" && !deliveryGateActive) {
+        return { allowed: false, reason: "细节纪律检查失败但交付 gate 未激活" };
+    }
+    return { allowed: true, reason: "细节纪律已正确接入交付 gate" };
+}
+//# sourceMappingURL=detail_discipline.js.map