@dommaker/harness 0.8.3 → 0.10.0

package/dist/verification/rules-based.js

@@ -0,0 +1,130 @@
+"use strict";
+/**
+ * 基于规则的确定性验证
+ *
+ * 执行 test / lint / typecheck / custom 规则
+ * 纯确定性验证，不依赖 LLM
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RulesBasedVerification = void 0;
+const child_process_1 = require("child_process");
+class RulesBasedVerification {
+    rules;
+    constructor(rules) {
+        this.rules = rules;
+    }
+    /**
+     * 执行所有规则验证
+     */
+    async verifyAll(context) {
+        const results = [];
+        for (const rule of this.rules) {
+            const result = await this.verifyRule(rule, context);
+            results.push(result);
+        }
+        return results;
+    }
+    /**
+     * 执行单条规则验证
+     */
+    async verifyRule(rule, context) {
+        const start = Date.now();
+        try {
+            switch (rule.type) {
+                case 'test':
+                case 'lint':
+                case 'typecheck':
+                    return await this.executeCommand(rule, context, start);
+                case 'custom':
+                    return await this.executeCustom(rule, context, start);
+                default:
+                    return {
+                        passed: false,
+                        ruleId: rule.id,
+                        message: `未知的规则类型: ${rule.type}`,
+                        duration: Date.now() - start,
+                    };
+            }
+        }
+        catch (error) {
+            return {
+                passed: false,
+                ruleId: rule.id,
+                message: `验证执行失败: ${error instanceof Error ? error.message : String(error)}`,
+                duration: Date.now() - start,
+            };
+        }
+    }
+    /**
+     * 执行命令类规则
+     */
+    async executeCommand(rule, context, start) {
+        if (!rule.command) {
+            return {
+                passed: false,
+                ruleId: rule.id,
+                message: `规则 ${rule.id} 缺少 command`,
+                duration: Date.now() - start,
+            };
+        }
+        try {
+            const output = (0, child_process_1.execSync)(rule.command, {
+                cwd: context.projectRoot,
+                timeout: rule.timeout ?? 30000,
+                encoding: 'utf-8',
+                stdio: ['pipe', 'pipe', 'pipe'],
+            });
+            return {
+                passed: true,
+                ruleId: rule.id,
+                message: `${rule.name} 通过`,
+                details: output.slice(0, 1000),
+                duration: Date.now() - start,
+            };
+        }
+        catch (error) {
+            const execError = error;
+            return {
+                passed: false,
+                ruleId: rule.id,
+                message: `${rule.name} 失败 (exit ${execError.status ?? 'unknown'})`,
+                details: (execError.stderr ?? execError.stdout ?? '').slice(0, 1000),
+                duration: Date.now() - start,
+            };
+        }
+    }
+    /**
+     * 执行自定义规则
+     */
+    async executeCustom(rule, context, start) {
+        if (!rule.verify) {
+            return {
+                passed: false,
+                ruleId: rule.id,
+                message: `规则 ${rule.id} 缺少 verify 函数`,
+                duration: Date.now() - start,
+            };
+        }
+        return rule.verify(context);
+    }
+    /**
+     * 添加规则
+     */
+    addRule(rule) {
+        this.rules.push(rule);
+    }
+    /**
+     * 移除规则
+     */
+    removeRule(ruleId) {
+        this.rules = this.rules.filter(r => r.id !== ruleId);
+    }
+    /**
+     * 获取规则列表
+     */
+    getRules() {
+        return [...this.rules];
+    }
+}
+exports.RulesBasedVerification = RulesBasedVerification;
+//# sourceMappingURL=rules-based.js.map

package/dist/verification/rules-based.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-based.js","sourceRoot":"","sources":["../../src/verification/rules-based.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,iDAAyC;AAQzC,MAAa,sBAAsB;IACzB,KAAK,CAAqB;IAElC,YAAY,KAAyB;QACnC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,OAA4B;QAC1C,MAAM,OAAO,GAAyB,EAAE,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,IAAsB,EAAE,OAA4B;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,IAAI,CAAC;YACH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,MAAM,CAAC;gBACZ,KAAK,MAAM,CAAC;gBACZ,KAAK,WAAW;oBACd,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACzD,KAAK,QAAQ;oBACX,OAAO,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACxD;oBACE,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,OAAO,EAAE,YAAY,IAAI,CAAC,IAAI,EAAE;wBAChC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;qBAC7B,CAAC;YACN,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,WAAW,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBAC5E,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,cAAc,CAC1B,IAAsB,EACtB,OAA4B,EAC5B,KAAa;QAEb,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,aAAa;gBACnC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC7B,CAAC;QACJ,CAAC;QAED,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAA,wBAAQ,EAAC,IAAI,CAAC,OAAO,EAAE;gBACpC,GAAG,EAAE,OAAO,CAAC,WAAW;gBACxB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;gBAC9B,QAAQ,EAAE,OAAO;gBACjB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;aAChC,CAAC,CAAC;YAEH,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,KAAK;gBAC1B,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;gBAC9B,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC7B,CAAC;QACJ,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,SAAS,GAAG,KAA8D,CAAC;YACjF,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,aAAa,SAAS,CAAC,MAAM,IAAI,SAAS,GAAG;gBAClE,OAAO,EAAE,CAAC,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;gBACpE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,aAAa,CACzB,IAAsB,EACtB,OAA4B,EAC5B,KAAa;QAEb,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,eAAe;gBACrC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC7B,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAsB;QAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,MAAc;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;CACF;AAzID,wDAyIC"}

package/dist/verification/types.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Verification Loop 类型定义
+ */
+/** 验证规则类型 */
+export type VerificationRuleType = 'test' | 'lint' | 'typecheck' | 'custom';
+/** 验证规则 */
+export interface VerificationRule {
+    id: string;
+    type: VerificationRuleType;
+    name: string;
+    description: string;
+    /** 执行命令（用于 test/lint/typecheck） */
+    command?: string;
+    /** 自定义验证函数（用于 custom） */
+    verify?: (context: VerificationContext) => Promise<VerificationResult>;
+    /** 超时（ms） */
+    timeout?: number;
+}
+/** 验证上下文 */
+export interface VerificationContext {
+    /** 项目根目录 */
+    projectRoot: string;
+    /** 变更的文件列表 */
+    changedFiles?: string[];
+    /** 额外元数据 */
+    metadata?: Record<string, unknown>;
+}
+/** 单条规则的验证结果 */
+export interface VerificationResult {
+    passed: boolean;
+    ruleId: string;
+    message?: string;
+    details?: string;
+    duration: number;
+}
+/** 验证循环状态 */
+export type LoopStatus = 'idle' | 'gathering' | 'acting' | 'verifying' | 'passed' | 'failed';
+/** 验证循环配置 */
+export interface VerificationLoopConfig {
+    /** 最大重试次数 */
+    maxRetries: number;
+    /** 验证规则 */
+    rules: VerificationRule[];
+    /** 是否在首次失败时立即停止 */
+    failFast?: boolean;
+}
+/** 验证循环快照 */
+export interface LoopSnapshot {
+    status: LoopStatus;
+    attempt: number;
+    maxRetries: number;
+    results: VerificationResult[];
+    lastError?: string;
+    timestamp: string;
+}
+/** Gather 阶段的状态 */
+export interface GatherState {
+    changedFiles: string[];
+    testResults?: string;
+    lintResults?: string;
+    metadata: Record<string, unknown>;
+}
+/** Act 阶段的动作 */
+export interface ActAction {
+    type: 'fix' | 'retry' | 'skip' | 'abort';
+    description: string;
+    target?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/verification/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,aAAa;AACb,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE5E,WAAW;AACX,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,oBAAoB,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yBAAyB;IACzB,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvE,aAAa;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,YAAY;AACZ,MAAM,WAAW,mBAAmB;IAClC,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc;IACd,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,gBAAgB;AAChB,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAID,aAAa;AACb,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE7F,aAAa;AACb,MAAM,WAAW,sBAAsB;IACrC,aAAa;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW;IACX,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,mBAAmB;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,aAAa;AACb,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,mBAAmB;AACnB,MAAM,WAAW,WAAW;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,gBAAgB;AAChB,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB"}

package/dist/verification/types.js

@@ -0,0 +1,6 @@
+"use strict";
+/**
+ * Verification Loop 类型定义
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":";AAAA;;GAEG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dommaker/harness",
-  "version": "0.8.3",
+  "version": "0.10.0",
   "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控、拦截器",
   "keywords": [
     "harness",
@@ -40,7 +40,7 @@
     "github-actions"
   ],
   "scripts": {
-    "build": "tsc",
+    "build": "tsc && cp -r src/tools/definitions dist/tools/definitions",
     "dev": "tsc --watch",
     "test": "jest",
     "lint": "eslint src --ext .ts",