@dommaker/harness 0.16.6 → 0.16.8

package/dist/core/constraints/context-builder.d.ts

@@ -0,0 +1,67 @@
+/**
+ * 约束上下文构造器（工单 23）
+ *
+ * 从仓库状态（git diff / traces / 文档标记）推断 ConstraintContext：
+ * 触发条件 + 各类证据标志。此前散落在 cli/commands/check.ts，
+ * 迁入 core 供 CLI 与其他调用方共用。
+ */
+import type { ConstraintContext, ConstraintTrigger } from '../../types/constraint';
+/**
+ * 从 git diff 获取变更的文件
+ */
+export declare function getChangedFiles(staged: boolean, projectPath?: string): Promise<string[]>;
+/**
+ * 一次性列出 HEAD 中存在的所有目录（工单 18：替代逐文件 git ls-tree）
+ *
+ * 返回 null 表示命令失败（按惯例视所有目录为"新"）。
+ */
+export declare function listHeadDirs(projectPath: string): Set<string> | null;
+/**
+ * 检查文件所在目录是否在 git HEAD 中不存在（即新目录）
+ */
+export declare function isNewDirectory(headDirs: Set<string> | null, filePath: string): boolean;
+/**
+ * 检测触发条件
+ */
+export declare function detectTrigger(changedFiles: string[], options: {
+    trigger?: ConstraintTrigger;
+    projectPath?: string;
+}): ConstraintTrigger;
+/**
+ * 检测是否有失败的测试记录
+ * 扫描 .harness/traces/ 中最近的 trace 记录
+ */
+export declare function detectFailingTest(projectPath: string): Promise<boolean>;
+/**
+ * 检测是否有根因分析文档
+ * 检查 ROOT_CAUSE.md、.harness/diagnoses/、或 git commit 消息
+ */
+export declare function detectRootCauseInvestigation(projectPath: string): boolean;
+/**
+ * 检测是否有验证证据
+ * 检查 .harness/traces/ 中最近的成功验证记录
+ */
+export declare function detectVerificationEvidence(projectPath: string): Promise<boolean>;
+/**
+ * 检测是否有需求来源
+ * 检查 CLAUDE.md、README.md、specs/、docs/specs/ 等
+ */
+export declare function detectRequirement(projectPath: string): boolean;
+/**
+ * 检测是否在 git worktree 中
+ */
+export declare function detectWorktree(projectPath: string): boolean;
+/**
+ * 检测是否有复用检查
+ * 检查 .harness/reuse/ 目录或相关文档
+ */
+export declare function detectReuseCheck(projectPath: string): boolean;
+/**
+ * 构建约束上下文：变更文件 + 触发条件推断 + 证据标志检测
+ */
+export declare function buildConstraintContext(options: {
+    projectPath?: string;
+    staged: boolean;
+    trigger?: ConstraintTrigger;
+}): Promise<ConstraintContext>;
+//# sourceMappingURL=context-builder.d.ts.map

package/dist/core/constraints/context-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,OAAO,KAAK,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEnF;;GAEG;AACH,wBAAsB,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAU9F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAepE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGtF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,EAAE;IAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7D,iBAAiB,CAyBnB;AAED;;;GAGG;AACH,wBAAsB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAyB7E;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAgBzE;AAED;;;GAGG;AACH,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAyBtF;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAqB9D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAU3D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAY7D;AAED;;GAEG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,CAAC,EAAE,iBAAiB,CAAC;CAC7B,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAiB7B"}

package/dist/core/constraints/context-builder.js

@@ -0,0 +1,294 @@
+"use strict";
+/**
+ * 约束上下文构造器（工单 23）
+ *
+ * 从仓库状态（git diff / traces / 文档标记）推断 ConstraintContext：
+ * 触发条件 + 各类证据标志。此前散落在 cli/commands/check.ts，
+ * 迁入 core 供 CLI 与其他调用方共用。
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getChangedFiles = getChangedFiles;
+exports.listHeadDirs = listHeadDirs;
+exports.isNewDirectory = isNewDirectory;
+exports.detectTrigger = detectTrigger;
+exports.detectFailingTest = detectFailingTest;
+exports.detectRootCauseInvestigation = detectRootCauseInvestigation;
+exports.detectVerificationEvidence = detectVerificationEvidence;
+exports.detectRequirement = detectRequirement;
+exports.detectWorktree = detectWorktree;
+exports.detectReuseCheck = detectReuseCheck;
+exports.buildConstraintContext = buildConstraintContext;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+const exec_1 = require("../../utils/exec");
+const detect_source_roots_1 = require("../../utils/detect-source-roots");
+/**
+ * 从 git diff 获取变更的文件
+ */
+async function getChangedFiles(staged, projectPath) {
+    try {
+        const command = staged ? 'git diff --cached --name-only' : 'git diff --name-only';
+        const { stdout } = projectPath
+            ? await (0, exec_1.execAsync)(command, { cwd: projectPath })
+            : await (0, exec_1.execAsync)(command);
+        return String(stdout).trim().split('\n').filter(Boolean);
+    }
+    catch {
+        return [];
+    }
+}
+/**
+ * 一次性列出 HEAD 中存在的所有目录（工单 18：替代逐文件 git ls-tree）
+ *
+ * 返回 null 表示命令失败（按惯例视所有目录为"新"）。
+ */
+function listHeadDirs(projectPath) {
+    try {
+        const output = (0, child_process_1.execSync)('git ls-tree -r --name-only HEAD', { cwd: projectPath, stdio: 'pipe', encoding: 'utf-8' });
+        const dirs = new Set();
+        for (const file of String(output).split('\n')) {
+            if (!file)
+                continue;
+            const parts = file.split('/');
+            for (let i = 1; i < parts.length; i++) {
+                dirs.add(parts.slice(0, i).join('/'));
+            }
+        }
+        return dirs;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * 检查文件所在目录是否在 git HEAD 中不存在（即新目录）
+ */
+function isNewDirectory(headDirs, filePath) {
+    if (headDirs === null)
+        return true; // 命令失败 = 假定为新
+    return !headDirs.has(path.dirname(filePath));
+}
+/**
+ * 检测触发条件
+ */
+function detectTrigger(changedFiles, options) {
+    if (options.trigger)
+        return options.trigger;
+    // 根据变更文件推断触发条件
+    // 注意：不自动推断 code_implementation——那是 caller 的语义判断。
+    // pre-commit 无法区分"模板编辑"和"逻辑实现"，保守使用 file_modification。
+    const hasTestChange = changedFiles.some(f => f.includes('.test.') || f.includes('.spec.') || f.includes('__tests__'));
+    const projectPath = options.projectPath || process.cwd();
+    const sourceRoots = (0, detect_source_roots_1.detectSourceRoots)(projectPath);
+    const hasModuleChange = changedFiles.some(f => sourceRoots.some(root => f.startsWith(root + '/') || f.startsWith(root + '\\')) && !f.includes('__tests__'));
+    const headDirs = hasModuleChange ? listHeadDirs(projectPath) : null;
+    const hasModuleCreation = changedFiles.some(f => sourceRoots.some(root => f.startsWith(root + '/') || f.startsWith(root + '\\')) &&
+        isNewDirectory(headDirs, f));
+    if (hasTestChange && !hasModuleChange)
+        return 'test_creation';
+    if (hasModuleCreation)
+        return 'module_creation';
+    if (hasModuleChange)
+        return 'module_modification';
+    return 'file_modification';
+}
+/**
+ * 检测是否有失败的测试记录
+ * 扫描 .harness/traces/ 中最近的 trace 记录
+ */
+async function detectFailingTest(projectPath) {
+    try {
+        const tracesDir = path.join(projectPath, '.harness', 'traces');
+        if (!fs.existsSync(tracesDir))
+            return false;
+        const traceFile = path.join(tracesDir, 'execution.log');
+        if (!fs.existsSync(traceFile))
+            return false;
+        const content = fs.readFileSync(traceFile, 'utf-8');
+        const lines = content.trim().split('\n').filter(Boolean);
+        if (lines.length === 0)
+            return false;
+        // 检查最近 20 条记录是否有 fail
+        const recent = lines.slice(-20);
+        return recent.some(line => {
+            try {
+                const trace = JSON.parse(line);
+                return trace.result === 'fail';
+            }
+            catch {
+                return false;
+            }
+        });
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * 检测是否有根因分析文档
+ * 检查 ROOT_CAUSE.md、.harness/diagnoses/、或 git commit 消息
+ */
+function detectRootCauseInvestigation(projectPath) {
+    // 检查 ROOT_CAUSE.md
+    if (fs.existsSync(path.join(projectPath, 'ROOT_CAUSE.md')))
+        return true;
+    // 检查 .harness/diagnoses/ 目录
+    const diagnosesDir = path.join(projectPath, '.harness', 'diagnoses');
+    if (fs.existsSync(diagnosesDir)) {
+        try {
+            const files = fs.readdirSync(diagnosesDir);
+            if (files.length > 0)
+                return true;
+        }
+        catch {
+            // ignore
+        }
+    }
+    return false;
+}
+/**
+ * 检测是否有验证证据
+ * 检查 .harness/traces/ 中最近的成功验证记录
+ */
+async function detectVerificationEvidence(projectPath) {
+    try {
+        const tracesDir = path.join(projectPath, '.harness', 'traces');
+        if (!fs.existsSync(tracesDir))
+            return false;
+        const traceFile = path.join(tracesDir, 'execution.log');
+        if (!fs.existsSync(traceFile))
+            return false;
+        const content = fs.readFileSync(traceFile, 'utf-8');
+        const lines = content.trim().split('\n').filter(Boolean);
+        if (lines.length === 0)
+            return false;
+        // 检查最近 10 条记录是否有 pass
+        const recent = lines.slice(-10);
+        return recent.some(line => {
+            try {
+                const trace = JSON.parse(line);
+                return trace.result === 'pass';
+            }
+            catch {
+                return false;
+            }
+        });
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * 检测是否有需求来源
+ * 检查 CLAUDE.md、README.md、specs/、docs/specs/ 等
+ */
+function detectRequirement(projectPath) {
+    // Check for CLAUDE.md with HARNESS_CONSTRAINTS section
+    const claudeMdPath = path.join(projectPath, 'CLAUDE.md');
+    if (fs.existsSync(claudeMdPath)) {
+        try {
+            const content = fs.readFileSync(claudeMdPath, 'utf-8');
+            if (content.includes('HARNESS_CONSTRAINTS')) {
+                return true;
+            }
+        }
+        catch {
+            // ignore
+        }
+    }
+    const indicators = [
+        'README.md',
+        'specs',
+        'docs/specs',
+        '.specs',
+    ];
+    return indicators.some(f => fs.existsSync(path.join(projectPath, f)));
+}
+/**
+ * 检测是否在 git worktree 中
+ */
+function detectWorktree(projectPath) {
+    try {
+        const gitDir = path.join(projectPath, '.git');
+        if (fs.existsSync(gitDir)) {
+            const content = fs.readFileSync(gitDir, 'utf-8');
+            // 实际 worktree 的 .git 是文件（指向主 repo），不是目录
+            return content.startsWith('gitdir:');
+        }
+    }
+    catch { /* ignore */ }
+    return false;
+}
+/**
+ * 检测是否有复用检查
+ * 检查 .harness/reuse/ 目录或相关文档
+ */
+function detectReuseCheck(projectPath) {
+    const reuseDir = path.join(projectPath, '.harness', 'reuse');
+    if (fs.existsSync(reuseDir)) {
+        try {
+            const files = fs.readdirSync(reuseDir);
+            if (files.length > 0)
+                return true;
+        }
+        catch {
+            // ignore
+        }
+    }
+    return false;
+}
+/**
+ * 构建约束上下文：变更文件 + 触发条件推断 + 证据标志检测
+ */
+async function buildConstraintContext(options) {
+    const projectPath = options.projectPath || process.cwd();
+    const changedFiles = await getChangedFiles(options.staged, options.projectPath);
+    const trigger = detectTrigger(changedFiles, { trigger: options.trigger, projectPath });
+    return {
+        operation: trigger,
+        projectPath,
+        changedFiles,
+        hasTest: changedFiles.some(f => f.includes('.test.') || f.includes('.spec.')),
+        hasFailingTest: await detectFailingTest(projectPath),
+        hasRootCauseInvestigation: detectRootCauseInvestigation(projectPath),
+        hasVerificationEvidence: await detectVerificationEvidence(projectPath),
+        hasReuseCheck: detectReuseCheck(projectPath),
+        hasRequirement: detectRequirement(projectPath),
+        hasWorktree: detectWorktree(projectPath),
+    };
+}
+//# sourceMappingURL=context-builder.js.map

package/dist/core/constraints/context-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-builder.js","sourceRoot":"","sources":["../../../src/core/constraints/context-builder.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAYH,0CAUC;AAOD,oCAeC;AAKD,wCAGC;AAKD,sCA4BC;AAMD,8CAyBC;AAMD,oEAgBC;AAMD,gEAyBC;AAMD,8CAqBC;AAKD,wCAUC;AAMD,4CAYC;AAKD,wDAqBC;AA7PD,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAyC;AACzC,2CAA6C;AAC7C,yEAAoE;AAGpE;;GAEG;AACI,KAAK,UAAU,eAAe,CAAC,MAAe,EAAE,WAAoB;IACzE,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,sBAAsB,CAAC;QAClF,MAAM,EAAE,MAAM,EAAE,GAAG,WAAW;YAC5B,CAAC,CAAC,MAAM,IAAA,gBAAS,EAAC,OAAO,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;YAChD,CAAC,CAAC,MAAM,IAAA,gBAAS,EAAC,OAAO,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAC,WAAmB;IAC9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,wBAAQ,EAAC,iCAAiC,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACnH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,QAA4B,EAAE,QAAgB;IAC3E,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,cAAc;IAClD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAC3B,YAAsB,EACtB,OAA8D;IAE9D,IAAI,OAAO,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC;IAE5C,eAAe;IACf,iDAAiD;IACjD,uDAAuD;IACvD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CACxE,CAAC;IACF,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC5G,CAAC;IACF,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;QAC/E,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,CAC5B,CAAC;IAEF,IAAI,aAAa,IAAI,CAAC,eAAe;QAAE,OAAO,eAAe,CAAC;IAC9D,IAAI,iBAAiB;QAAE,OAAO,iBAAiB,CAAC;IAChD,IAAI,eAAe;QAAE,OAAO,qBAAqB,CAAC;IAElD,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,iBAAiB,CAAC,WAAmB;IACzD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;QACxD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAErC,sBAAsB;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACxB,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,4BAA4B,CAAC,WAAmB;IAC9D,mBAAmB;IACnB,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAExE,4BAA4B;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrE,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,0BAA0B,CAAC,WAAmB;IAClE,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;QACxD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAErC,sBAAsB;QACtB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACxB,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,WAAW;QACX,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IACF,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;GAEG;AACH,SAAgB,cAAc,CAAC,WAAmB;IAChD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACjD,wCAAwC;YACxC,OAAO,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,WAAmB;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,sBAAsB,CAAC,OAI5C;IACC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,YAAY,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,aAAa,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IAEvF,OAAO;QACL,SAAS,EAAE,OAAO;QAClB,WAAW;QACX,YAAY;QACZ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7E,cAAc,EAAE,MAAM,iBAAiB,CAAC,WAAW,CAAC;QACpD,yBAAyB,EAAE,4BAA4B,CAAC,WAAW,CAAC;QACpE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC,WAAW,CAAC;QACtE,aAAa,EAAE,gBAAgB,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,iBAAiB,CAAC,WAAW,CAAC;QAC9C,WAAW,EAAE,cAAc,CAAC,WAAW,CAAC;KACzC,CAAC;AACJ,CAAC"}

package/dist/core/constraints/definitions/guidelines.d.ts

@@ -0,0 +1,7 @@
+/**
+ * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
+ * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ */
+import type { Constraint } from '../../../types/constraint';
+export declare const GUIDELINES: Record<string, Constraint>;
+//# sourceMappingURL=guidelines.d.ts.map

package/dist/core/constraints/definitions/guidelines.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guidelines.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAQ5D,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA8oBjD,CAAC"}