soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/artifact_contract_registry.js

@@ -0,0 +1,420 @@
+import { debug } from "../core/logger.js";
+// ── 常量定义 ──
+/** 输出产物基础目录 */
+export const OUTPUT_BASE = ".soloforge/output";
+/** 内部报告子目录 */
+export const REPORTS_SUBDIR = "_reports";
+const ARTIFACT_DEFAULTS = {
+    prototype_spec: { defaultName: "原型说明", format: "markdown", overwritePolicy: "version" },
+    requirement_analysis: { defaultName: "需求分析", format: "markdown", overwritePolicy: "version" },
+    api_spec: { defaultName: "接口设计", format: "markdown", overwritePolicy: "version" },
+    api_design: { defaultName: "接口设计", format: "markdown", overwritePolicy: "version" },
+    design_doc: { defaultName: "设计文档", format: "markdown", overwritePolicy: "version" },
+    detailed_design: { defaultName: "详细设计", format: "markdown", overwritePolicy: "version" },
+    test_plan: { defaultName: "测试计划", format: "markdown", overwritePolicy: "version" },
+    migration_plan: { defaultName: "迁移方案", format: "markdown", overwritePolicy: "version" },
+    task_breakdown: { defaultName: "任务拆解", format: "markdown", overwritePolicy: "version" },
+    task_plan: { defaultName: "任务计划", format: "markdown", overwritePolicy: "version" },
+    root_cause: { defaultName: "根因分析", format: "markdown", overwritePolicy: "version" },
+    incident_review: { defaultName: "故障复盘", format: "markdown", overwritePolicy: "version" },
+    review_report: { defaultName: "审查报告", format: "markdown", overwritePolicy: "version" },
+    verification_report: { defaultName: "验证报告", format: "markdown", overwritePolicy: "version" },
+    acceptance_checklist: { defaultName: "验收清单", format: "markdown", overwritePolicy: "version" },
+    interaction_spec: { defaultName: "交互规约", format: "markdown", overwritePolicy: "version" },
+    domain_model: { defaultName: "领域模型", format: "markdown", overwritePolicy: "version" },
+    tech_decision_record: { defaultName: "技术选型记录", format: "markdown", overwritePolicy: "version" },
+    knowledge_rule: { defaultName: "知识规则", format: "markdown", overwritePolicy: "version" },
+    custom: { defaultName: "自定义", format: "markdown", overwritePolicy: "confirm" },
+};
+/** 序号映射 */
+const ARTIFACT_ORDER = {
+    prototype_spec: 1,
+    requirement_analysis: 2,
+    api_spec: 3,
+    api_design: 3,
+    design_doc: 4,
+    detailed_design: 4,
+    test_plan: 5,
+    migration_plan: 6,
+    task_breakdown: 7,
+    task_plan: 7,
+    root_cause: 8,
+    incident_review: 9,
+    review_report: 10,
+    verification_report: 11,
+    acceptance_checklist: 12,
+    interaction_spec: 13,
+    domain_model: 14,
+    tech_decision_record: 15,
+    knowledge_rule: 16,
+    custom: 99,
+};
+// ── 生命周期转换 ──
+const VALID_TRANSITIONS = {
+    draft: ["verified", "superseded", "archived"],
+    verified: ["accepted", "superseded", "archived"],
+    accepted: ["archived"],
+    superseded: [],
+    archived: [],
+};
+/** 判断产物状态是否允许从 from 转换到 to
+ * @param from - 当前状态
+ * @param to - 目标状态
+ * @returns 是否允许转换
+ */
+export function canTransition(from, to) {
+    return VALID_TRANSITIONS[from]?.includes(to) ?? false;
+}
+/** draft → verified 需要 verification */
+export function transitionRequiresVerification(from, to) {
+    return from === "draft" && to === "verified";
+}
+/** → accepted 需要用户或后续 workflow 确认 */
+export function transitionRequiresAcceptance(from, to) {
+    return to === "accepted";
+}
+// ── 路径生成 ──
+/** 默认输出路径: .soloforge/output/{task_id}/{NN}-{kind-name}.md */
+export function getDefaultArtifactPath(kind, taskId) {
+    const num = String(ARTIFACT_ORDER[kind]).padStart(2, "0");
+    const name = ARTIFACT_DEFAULTS[kind].defaultName;
+    return `${OUTPUT_BASE}/${taskId}/${num}-${name}.md`;
+}
+/** 内部报告路径: .soloforge/output/{task_id}/_reports/{name}.md */
+export function getReportPath(taskId, reportName) {
+    return `${OUTPUT_BASE}/${taskId}/${REPORTS_SUBDIR}/${reportName}.md`;
+}
+/** 版本化路径: 同名产物 .v2.md */
+export function versionPath(path, version) {
+    const base = path.replace(/\.md$/, "");
+    return version > 1 ? `${base}.v${version}.md` : path;
+}
+// ── 禁止写入目标 ──
+const FORBIDDEN_WRITE_PATHS = [
+    { pattern: /^\.soloforge\/knowledge\//, reason: "知识库写入必须走知识演进" },
+    { pattern: /^\.soloforge\/config\./, reason: "配置文件写入需确认" },
+    { pattern: /^README\.md$/i, reason: "正式文档写入需用户确认" },
+    { pattern: /^docs\//, reason: "正式 docs 目录写入需用户确认" },
+];
+/** 检查路径是否禁止写入
+ * @param path - 待检查的文件路径
+ * @returns 禁止结果及原因
+ */
+export function isWriteForbidden(path) {
+    for (const { pattern, reason } of FORBIDDEN_WRITE_PATHS) {
+        if (pattern.test(path))
+            return { forbidden: true, reason };
+    }
+    return { forbidden: false };
+}
+/** 外部 input material 路径禁止写回 */
+export function isInputMaterialPath(path, inputMaterialPaths) {
+    return inputMaterialPaths.includes(path);
+}
+// ── 工厂函数 ──
+let artifactCounter = 0;
+/** 创建输出产物实例
+ * @param params - 产物创建参数
+ * @param params.kind - 产物类型
+ * @param params.task_id - 任务 ID
+ * @param params.workflow_id - 工作流 ID
+ * @param params.created_by - 创建者
+ * @param params.path - 输出路径（可选）
+ * @param params.format - 产物格式（可选）
+ * @param params.source_material_refs - 源材料引用列表（可选）
+ * @param params.knowledge_refs - 知识引用列表（可选）
+ * @param params.evidence_refs - 证据引用列表（可选）
+ * @param params.hash - 产物哈希（可选）
+ * @returns 输出产物实例
+ */
+/**
+ * 创建输出产物实例。
+ * @param kind - 产物类型
+ * @param taskId - 任务 ID
+ * @returns 新建的产物实例
+ */
+export function createOutputArtifact(params) {
+    debug("产物契约", "createOutputArtifact() 创建产物, kind=%s, task_id=%s", params.kind, params.task_id);
+    const defaults = ARTIFACT_DEFAULTS[params.kind];
+    const artifactId = `artifact-${Date.now()}-${++artifactCounter}`;
+    const defaultPath = getDefaultArtifactPath(params.kind, params.task_id);
+    return {
+        artifact_id: artifactId,
+        kind: params.kind,
+        path: params.path ?? defaultPath,
+        format: params.format ?? defaults.format,
+        created_by: params.created_by,
+        workflow_id: params.workflow_id,
+        task_id: params.task_id,
+        source_material_refs: params.source_material_refs ?? [],
+        knowledge_refs: params.knowledge_refs ?? [],
+        evidence_refs: params.evidence_refs ?? [],
+        status: "draft",
+        overwrite_policy: defaults.overwritePolicy,
+        hash: params.hash,
+        created_at: new Date().toISOString(),
+        version: 1,
+    };
+}
+// ── 查询函数 ──
+/** 获取指定产物类型的默认配置
+ * @param kind - 产物类型
+ * @returns 默认配置（默认名称、格式、覆盖策略）
+ */
+export function getArtifactDefaults(kind) {
+    return ARTIFACT_DEFAULTS[kind];
+}
+/** 列出所有支持的产物类型
+ * @returns 产物类型数组
+ */
+export function listArtifactKinds() {
+    return Object.keys(ARTIFACT_DEFAULTS);
+}
+/** 获取指定产物类型的验收检查项
+ * @param kind - 产物类型
+ * @param artifact - 待检查的产物
+ * @returns 验收检查项列表
+ */
+export function getAcceptanceChecks(kind, artifact) {
+    debug("产物契约", "getAcceptanceChecks() 执行验收检查, kind=%s, artifact=%s", kind, artifact.artifact_id);
+    const checks = [];
+    // 通用检查: 有 artifact_id (hard_fail)
+    checks.push({
+        id: "AC-ART-01",
+        description: "产物有唯一 artifact_id",
+        passed: !!artifact.artifact_id,
+        severity: "hard_fail",
+    });
+    // 通用检查: 路径包含 task_id (hard_fail)
+    checks.push({
+        id: "AC-ART-02",
+        description: "默认输出路径包含 task_id",
+        passed: artifact.path.includes(artifact.task_id),
+        severity: "hard_fail",
+    });
+    // 通用检查: 不在源码目录 (hard_fail)
+    checks.push({
+        id: "AC-ART-03",
+        description: "产物不在项目源码目录",
+        passed: !artifact.path.startsWith("src/"),
+        severity: "hard_fail",
+    });
+    // prototype_spec: 严格检查
+    if (kind === "prototype_spec") {
+        // 模板: 必须有 knowledge_refs 引用模板，或 evidence_refs 中有模板证据
+        const hasTemplateRef = artifact.knowledge_refs.length > 0
+            || artifact.evidence_refs.some(r => r.includes("template"));
+        checks.push({
+            id: "AC-PS-01",
+            description: "使用指定模板 (knowledge_refs 或 template evidence)",
+            passed: hasTemplateRef,
+            severity: "hard_fail",
+            note: "prototype_spec 必须引用模板知识或 template evidence",
+        });
+        // source_material_refs 必须非空
+        checks.push({
+            id: "AC-PS-02",
+            description: "引用源码包 source_material_refs 非空",
+            passed: artifact.source_material_refs.length > 0,
+            severity: "hard_fail",
+        });
+        // ingestion evidence_refs 必须非空
+        checks.push({
+            id: "AC-PS-03",
+            description: "引用源码包 ingestion evidence_refs 非空",
+            passed: artifact.evidence_refs.some(r => r.startsWith("ingestion:")),
+            severity: "hard_fail",
+        });
+        // 产物必须有 hash 或 file/hash evidence (hard_fail)
+        const hasFileEvidence = !!artifact.hash
+            || artifact.evidence_refs.some(r => r.includes("file:") || r.includes("hash:"));
+        checks.push({
+            id: "AC-PS-04",
+            description: "产物必须有 hash 或 file/hash evidence",
+            passed: hasFileEvidence,
+            severity: "hard_fail",
+        });
+        // 人工确认规则
+        checks.push({
+            id: "AC-PS-05",
+            description: "Manual Confirm: 产物内容需人工确认",
+            passed: false,
+            severity: "advisory",
+            note: "prototype_spec 产物内容需人工确认准确性",
+        });
+    }
+    if (kind === "api_design") {
+        checks.push({
+            id: "AC-API-01",
+            description: "引用需求/原型 evidence",
+            passed: artifact.evidence_refs.length > 0 || artifact.source_material_refs.length > 0,
+        });
+    }
+    return checks;
+}
+/** 执行验收检查并生成 ArtifactVerificationResult */
+export function verifyArtifact(kind, artifact) {
+    debug("产物契约", "验证产物 %s (%s)", artifact.artifact_id, kind);
+    const checks = getAcceptanceChecks(kind, artifact);
+    // 所有非 advisory 检查必须通过 (hard_fail 和无 severity 的检查)
+    const blockingChecks = checks.filter(c => c.severity !== "advisory");
+    const blockingPassed = blockingChecks.every(c => c.passed);
+    const failedChecks = checks.filter(c => !c.passed);
+    const summary = blockingPassed
+        ? `All checks passed (${checks.length}/${checks.length})`
+        : `Failed: ${failedChecks.map(c => c.id).join(", ")} (${failedChecks.length}/${checks.length})`;
+    return { passed: blockingPassed, checks, summary };
+}
+// ── 治理校验 ──
+/** 执行产物治理校验
+ * @param artifacts - 待校验的产物列表
+ * @returns 治理发现列表
+ */
+export function validateArtifactContracts(artifacts) {
+    debug("产物契约", "开始治理校验，共 %d 个产物", artifacts.length);
+    const findings = [];
+    for (const a of artifacts) {
+        // 规则 1: 默认输出路径必须含 task_id
+        if (a.path.startsWith(OUTPUT_BASE) && !a.path.includes(a.task_id)) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-no-task-id",
+                message: `产物 ${a.artifact_id} 的默认输出路径不包含 task_id`,
+            });
+        }
+        // 规则 2: 默认覆盖策略必须是 version 或 never
+        if (a.overwrite_policy === "allowed" && a.path.startsWith(OUTPUT_BASE)) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-unsafe-overwrite",
+                message: `产物 ${a.artifact_id} 在默认路径使用 allowed 覆盖策略`,
+            });
+        }
+        // 规则 3: accepted 必须有 verification evidence
+        if (a.status === "accepted") {
+            const hasVerificationEvidence = a.evidence_refs.some(r => r.includes("verification"));
+            const hasAcceptanceEvidence = a.evidence_refs.some(r => r.includes("acceptance") || r.includes("workflow_adoption"));
+            if (!hasVerificationEvidence) {
+                findings.push({
+                    severity: "hard_fail",
+                    artifact_id: a.artifact_id,
+                    rule: "gc-artifact-no-verification-evidence",
+                    message: `产物 ${a.artifact_id} 状态为 accepted 但缺少 verification evidence`,
+                });
+            }
+            if (!hasAcceptanceEvidence) {
+                findings.push({
+                    severity: "hard_fail",
+                    artifact_id: a.artifact_id,
+                    rule: "gc-artifact-no-acceptance-evidence",
+                    message: `产物 ${a.artifact_id} 状态为 accepted 但缺少 acceptance/workflow_adoption evidence`,
+                });
+            }
+        }
+        // 规则 4: 产物不得在源码目录
+        if (a.path.startsWith("src/")) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-in-src",
+                message: `产物 ${a.artifact_id} 写入源码目录: ${a.path}`,
+            });
+        }
+        // 规则 5: 外部 input material 路径禁止写回
+        if (a.source_material_refs.some((r) => a.path === r)) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-write-back-input",
+                message: `产物 ${a.artifact_id} 写回 input material 路径: ${a.path}`,
+            });
+        }
+        // 规则 6: 知识库路径禁止直接写入
+        if (a.path.startsWith(".soloforge/knowledge/")) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-write-knowledge",
+                message: `产物 ${a.artifact_id} 直接写入知识库: ${a.path}`,
+            });
+        }
+        // 规则 7: status 合法性
+        const validStatuses = ["draft", "verified", "accepted", "superseded", "archived"];
+        if (!validStatuses.includes(a.status)) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-invalid-status",
+                message: `产物 ${a.artifact_id} 状态无效: ${a.status}`,
+            });
+        }
+        // 规则 8: kind 合法性
+        if (!ARTIFACT_DEFAULTS[a.kind]) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-invalid-kind",
+                message: `产物 ${a.artifact_id} 类型无效: ${a.kind}`,
+            });
+        }
+        // 规则 9: 版本号
+        if (a.version !== undefined && a.version < 1) {
+            findings.push({
+                severity: "hard_fail",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-invalid-version",
+                message: `产物 ${a.artifact_id} 版本号无效: ${a.version}`,
+            });
+        }
+        // 规则 10: 正式 docs 写入需确认
+        const writeCheck = isWriteForbidden(a.path);
+        if (writeCheck.forbidden) {
+            findings.push({
+                severity: "advisory",
+                artifact_id: a.artifact_id,
+                rule: "gc-artifact-formal-docs",
+                message: `产物 ${a.artifact_id} 写入正式路径需确认: ${writeCheck.reason}`,
+            });
+        }
+    }
+    if (findings.length > 0) {
+        const hardFails = findings.filter(f => f.severity === "hard_fail");
+        if (hardFails.length > 0) {
+            debug("产物契约", "治理校验发现 %d 个 hard_fail", hardFails.length);
+        }
+    }
+    return findings;
+}
+/** 验证状态转换合法性 */
+export function validateTransition(artifact, newStatus, hasVerification, hasAcceptance) {
+    debug("产物契约", "validateTransition() 验证状态转换, artifact=%s, %s -> %s", artifact.artifact_id, artifact.status, newStatus);
+    const findings = [];
+    if (!canTransition(artifact.status, newStatus)) {
+        findings.push({
+            severity: "hard_fail",
+            artifact_id: artifact.artifact_id,
+            rule: "gc-artifact-invalid-transition",
+            message: `产物 ${artifact.artifact_id} 不允许 ${artifact.status} → ${newStatus}`,
+        });
+    }
+    if (transitionRequiresVerification(artifact.status, newStatus) && !hasVerification) {
+        findings.push({
+            severity: "hard_fail",
+            artifact_id: artifact.artifact_id,
+            rule: "gc-artifact-no-verification",
+            message: `产物 ${artifact.artifact_id} 从 ${artifact.status} → verified 需要 artifact verification`,
+        });
+    }
+    if (transitionRequiresAcceptance(artifact.status, newStatus) && !hasAcceptance) {
+        findings.push({
+            severity: "hard_fail",
+            artifact_id: artifact.artifact_id,
+            rule: "gc-artifact-no-acceptance",
+            message: `产物 ${artifact.artifact_id} → accepted 需要用户确认或后续 workflow 引用`,
+        });
+    }
+    return findings;
+}
+//# sourceMappingURL=artifact_contract_registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artifact_contract_registry.js","sourceRoot":"","sources":["../../../src/engine/contracts/artifact_contract_registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAgE1C,aAAa;AAGb,eAAe;AACf,MAAM,CAAC,MAAM,WAAW,GAAG,mBAAmB,CAAC;AAC/C,cAAc;AACd,MAAM,CAAC,MAAM,cAAc,GAAG,UAAU,CAAC;AAEzC,MAAM,iBAAiB,GAA4G;IACjI,cAAc,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACvF,oBAAoB,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAC7F,QAAQ,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACjF,UAAU,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACnF,UAAU,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACnF,eAAe,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACxF,SAAS,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAClF,cAAc,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACvF,cAAc,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACvF,SAAS,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAClF,UAAU,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACnF,eAAe,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACxF,aAAa,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACtF,mBAAmB,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAC5F,oBAAoB,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAC7F,gBAAgB,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACzF,YAAY,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACrF,oBAAoB,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IAC/F,cAAc,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;IACvF,MAAM,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE;CAC/E,CAAC;AAEF,WAAW;AACX,MAAM,cAAc,GAAiC;IACnD,cAAc,EAAE,CAAC;IACjB,oBAAoB,EAAE,CAAC;IACvB,QAAQ,EAAE,CAAC;IACX,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;IACb,eAAe,EAAE,CAAC;IAClB,SAAS,EAAE,CAAC;IACZ,cAAc,EAAE,CAAC;IACjB,cAAc,EAAE,CAAC;IACjB,SAAS,EAAE,CAAC;IACZ,UAAU,EAAE,CAAC;IACb,eAAe,EAAE,CAAC;IAClB,aAAa,EAAE,EAAE;IACjB,mBAAmB,EAAE,EAAE;IACvB,oBAAoB,EAAE,EAAE;IACxB,gBAAgB,EAAE,EAAE;IACpB,YAAY,EAAE,EAAE;IAChB,oBAAoB,EAAE,EAAE;IACxB,cAAc,EAAE,EAAE;IAClB,MAAM,EAAE,EAAE;CACX,CAAC;AAEF,eAAe;AAEf,MAAM,iBAAiB,GAA6C;IAClE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC;IAC7C,QAAQ,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC;IAChD,QAAQ,EAAE,CAAC,UAAU,CAAC;IACtB,UAAU,EAAE,EAAE;IACd,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAoB,EAAE,EAAkB;IACpE,OAAO,iBAAiB,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;AACxD,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,8BAA8B,CAAC,IAAoB,EAAE,EAAkB;IACrF,OAAO,IAAI,KAAK,OAAO,IAAI,EAAE,KAAK,UAAU,CAAC;AAC/C,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,4BAA4B,CAAC,IAAoB,EAAE,EAAkB;IACnF,OAAO,EAAE,KAAK,UAAU,CAAC;AAC3B,CAAC;AAED,aAAa;AAEb,8DAA8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,IAAkB,EAClB,MAAc;IAEd,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC;IACjD,OAAO,GAAG,WAAW,IAAI,MAAM,IAAI,GAAG,IAAI,IAAI,KAAK,CAAC;AACtD,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,UAAkB;IAC9D,OAAO,GAAG,WAAW,IAAI,MAAM,IAAI,cAAc,IAAI,UAAU,KAAK,CAAC;AACvE,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAAe;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvC,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED,eAAe;AAEf,MAAM,qBAAqB,GAA+C;IACxE,EAAE,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,cAAc,EAAE;IAChE,EAAE,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,WAAW,EAAE;IAC1D,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,aAAa,EAAE;IACnD,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,qBAAqB,EAAE,CAAC;QACxD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,kBAA4B;IAC5E,OAAO,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,aAAa;AAEb,IAAI,eAAe,GAAG,CAAC,CAAC;AAExB;;;;;;;;;;;;;GAaG;AACH;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAWpC;IACC,KAAK,CAAC,MAAM,EAAE,kDAAkD,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,YAAY,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACjE,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAExE,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,WAAW;QAChC,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM;QACxC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,IAAI,EAAE;QACvD,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,EAAE;QAC3C,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE;QACzC,MAAM,EAAE,OAAO;QACf,gBAAgB,EAAE,QAAQ,CAAC,eAAe;QAC1C,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,OAAO,EAAE,CAAC;KACX,CAAC;AACJ,CAAC;AAED,aAAa;AAEb;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAkB;IACpD,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB;IAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAmB,CAAC;AAC1D,CAAC;AAkBD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAkB,EAAE,QAAwB;IAC9E,KAAK,CAAC,MAAM,EAAE,oDAAoD,EAAE,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAEhG,MAAM,MAAM,GAA8B,EAAE,CAAC;IAE7C,kCAAkC;IAClC,MAAM,CAAC,IAAI,CAAC;QACV,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,mBAAmB;QAChC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW;QAC9B,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IAEH,iCAAiC;IACjC,MAAM,CAAC,IAAI,CAAC;QACV,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,kBAAkB;QAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAChD,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IAEH,2BAA2B;IAC3B,MAAM,CAAC,IAAI,CAAC;QACV,EAAE,EAAE,WAAW;QACf,WAAW,EAAE,YAAY;QACzB,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QACzC,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IAEH,uBAAuB;IACvB,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9B,qDAAqD;QACrD,MAAM,cAAc,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;eACpD,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,6CAA6C;YAC1D,MAAM,EAAE,cAAc;YACtB,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,4CAA4C;SACnD,CAAC,CAAC;QAEH,4BAA4B;QAC5B,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,+BAA+B;YAC5C,MAAM,EAAE,QAAQ,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;YAChD,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;QAEH,+BAA+B;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,kCAAkC;YAC/C,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YACpE,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;QAEH,8CAA8C;QAC9C,MAAM,eAAe,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI;eAClC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,iCAAiC;YAC9C,MAAM,EAAE,eAAe;YACvB,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;QAEH,SAAS;QACT,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,WAAW,EAAE,2BAA2B;YACxC,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,6BAA6B;SACpC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,WAAW;YACf,WAAW,EAAE,kBAAkB;YAC/B,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;SACtF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,cAAc,CAAC,IAAkB,EAAE,QAAwB;IACzE,KAAK,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,kDAAkD;IAClD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,cAAc;QAC5B,CAAC,CAAC,sBAAsB,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG;QACzD,CAAC,CAAC,WAAW,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;IAClG,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACrD,CAAC;AAED,aAAa;AAEb;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAA2B;IAE3B,KAAK,CAAC,MAAM,EAAE,iBAAiB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAgC,EAAE,CAAC;IAEjD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,0BAA0B;QAC1B,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,qBAAqB;aAClD,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,uBAAuB;aACpD,CAAC,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC5B,MAAM,uBAAuB,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;YACtF,MAAM,qBAAqB,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;YACrH,IAAI,CAAC,uBAAuB,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,IAAI,EAAE,sCAAsC;oBAC5C,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,yCAAyC;iBACtE,CAAC,CAAC;YACL,CAAC;YACD,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,IAAI,EAAE,oCAAoC;oBAC1C,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,yDAAyD;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,YAAY,CAAC,CAAC,IAAI,EAAE;aACjD,CAAC,CAAC;QACL,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,0BAA0B,CAAC,CAAC,IAAI,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;QAED,oBAAoB;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,aAAa,CAAC,CAAC,IAAI,EAAE;aAClD,CAAC,CAAC;QACL,CAAC;QAED,mBAAmB;QACnB,MAAM,aAAa,GAAqB,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;QACpG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,UAAU,CAAC,CAAC,MAAM,EAAE;aACjD,CAAC,CAAC;QACL,CAAC;QAED,iBAAiB;QACjB,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,UAAU,CAAC,CAAC,IAAI,EAAE;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,YAAY;QACZ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,WAAW,CAAC,CAAC,OAAO,EAAE;aACnD,CAAC,CAAC;QACL,CAAC;QAED,uBAAuB;QACvB,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,MAAM,CAAC,CAAC,WAAW,eAAe,UAAU,CAAC,MAAM,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QACnE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,MAAM,EAAE,uBAAuB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,gBAAgB;AAChB,MAAM,UAAU,kBAAkB,CAChC,QAAwB,EACxB,SAAyB,EACzB,eAAwB,EACxB,aAAsB;IAEtB,KAAK,CAAC,MAAM,EAAE,oDAAoD,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtH,MAAM,QAAQ,GAAgC,EAAE,CAAC;IAEjD,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,IAAI,EAAE,gCAAgC;YACtC,OAAO,EAAE,MAAM,QAAQ,CAAC,WAAW,QAAQ,QAAQ,CAAC,MAAM,MAAM,SAAS,EAAE;SAC5E,CAAC,CAAC;IACL,CAAC;IAED,IAAI,8BAA8B,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;QACnF,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,MAAM,QAAQ,CAAC,WAAW,MAAM,QAAQ,CAAC,MAAM,sCAAsC;SAC/F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,4BAA4B,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,MAAM,QAAQ,CAAC,WAAW,mCAAmC;SACvE,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,51 @@
+/**
+ * 后端实现工程契约。
+ *
+ * 将 Controller 边界、DTO/校验、事务、幂等、安全、审计与契约对齐
+ * 纳入编码前工作包和验证/交付阻断口径。
+ */
+export type BackendFindingCategory = "controller_boundary" | "dto_validation" | "model_lombok_contract" | "response_contract" | "pagination" | "transaction" | "idempotency" | "concurrency" | "security_tenant" | "audit" | "api_db_alignment";
+export interface BackendImplementationFinding {
+    category: BackendFindingCategory;
+    severity: "hard_fail" | "warning" | "advisory";
+    file: string;
+    evidence: string;
+    suggestion_zh: string;
+}
+export interface BackendImplementationWorkPackage {
+    task_id: string;
+    status: "required" | "satisfied" | "not_applicable";
+    applicability_reason_zh: string;
+    controller_contracts: string[];
+    dto_and_validation: string[];
+    transaction_and_consistency: string[];
+    security_and_audit: string[];
+    api_db_alignment: string[];
+    tests_and_evidence: string[];
+    not_applicable_reason?: string;
+}
+export interface BackendImplementationGateResult {
+    applicable: boolean;
+    allowed: boolean;
+    status: "blocked" | "satisfied" | "not_applicable";
+    reason_zh: string;
+    work_package?: BackendImplementationWorkPackage;
+}
+export declare function requiresBackendImplementationContract(intent: string, route?: string, changedFiles?: string[]): boolean;
+export declare function createBackendImplementationWorkPackage(taskId: string, intent: string): BackendImplementationWorkPackage;
+export declare function evaluateBackendImplementationGate(input: {
+    task_id: string;
+    intent: string;
+    route?: string;
+    changed_files?: string[];
+    work_package?: BackendImplementationWorkPackage;
+}): BackendImplementationGateResult;
+export declare function reviewBackendImplementationFiles(fileContents: Record<string, string>): BackendImplementationFinding[];
+export declare function hasBlockingBackendFindings(findings: BackendImplementationFinding[]): boolean;
+export declare function verifyBackendArtifactAlignment(input: {
+    openapiText?: string;
+    apiDocumentText?: string;
+    migrationText?: string;
+    sourceFiles?: Record<string, string>;
+}): BackendImplementationFinding[];
+//# sourceMappingURL=backend_implementation_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"backend_implementation_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/backend_implementation_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,sBAAsB,GAC9B,qBAAqB,GACrB,gBAAgB,GAChB,uBAAuB,GACvB,mBAAmB,GACnB,YAAY,GACZ,aAAa,GACb,aAAa,GACb,aAAa,GACb,iBAAiB,GACjB,OAAO,GACP,kBAAkB,CAAC;AAEvB,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,gCAAgC;IAC/C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,CAAC;IACpD,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,2BAA2B,EAAE,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,gBAAgB,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,gCAAgC,CAAC;CACjD;AAMD,wBAAgB,qCAAqC,CACnD,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,GAAE,MAAM,EAAO,GAC1B,OAAO,CAOT;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,gCAAgC,CAYlC;AAYD,wBAAgB,iCAAiC,CAAC,KAAK,EAAE;IACvD,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,YAAY,CAAC,EAAE,gCAAgC,CAAC;CACjD,GAAG,+BAA+B,CAyBlC;AAuBD,wBAAgB,gCAAgC,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,4BAA4B,EAAE,CAmErH;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,4BAA4B,EAAE,GAAG,OAAO,CAE5F;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtC,GAAG,4BAA4B,EAAE,CAyCjC"}