@dommaker/harness 0.8.1 → 0.9.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../../src/verification/loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,sBAAsB,EACtB,YAAY,EACZ,UAAU,EACV,kBAAkB,EAClB,WAAW,EACX,SAAS,EACT,mBAAmB,EACpB,MAAM,SAAS,CAAC;AAGjB,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;AACjE,MAAM,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;AAE9F,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,MAAM,CAAyB;IACvC,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,MAAM,CAAsB;IACpC,OAAO,CAAC,OAAO,CAAK;IACpB,OAAO,CAAC,OAAO,CAA4B;IAC3C,OAAO,CAAC,SAAS,CAAC,CAAS;gBAEf,MAAM,EAAE,sBAAsB;IAK1C;;OAEG;IACG,GAAG,CACP,OAAO,EAAE,mBAAmB,EAC5B,MAAM,EAAE,QAAQ,EAChB,GAAG,CAAC,EAAE,KAAK,GACV,OAAO,CAAC,YAAY,CAAC;IAsExB,OAAO,CAAC,QAAQ;IAWhB,SAAS,IAAI,UAAU;IAIvB,UAAU,IAAI,MAAM;IAIpB,UAAU,IAAI,kBAAkB,EAAE;CAGnC"}

package/dist/verification/loop.js

@@ -0,0 +1,114 @@
+"use strict";
+/**
+ * 验证循环（Gather-Act-Verify）
+ *
+ * 编排验证流程：
+ * 1. Gather：收集当前状态
+ * 2. Act：执行动作
+ * 3. Verify：验证结果
+ * 失败时重试，最多 N 次
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.VerificationLoop = void 0;
+const rules_based_1 = require("./rules-based");
+class VerificationLoop {
+    config;
+    verifier;
+    status = 'idle';
+    attempt = 0;
+    results = [];
+    lastError;
+    constructor(config) {
+        this.config = config;
+        this.verifier = new rules_based_1.RulesBasedVerification(config.rules);
+    }
+    /**
+     * 执行验证循环
+     */
+    async run(context, gather, act) {
+        this.status = 'idle';
+        this.attempt = 0;
+        this.results = [];
+        this.lastError = undefined;
+        while (this.attempt < this.config.maxRetries) {
+            this.attempt++;
+            // Gather
+            this.status = 'gathering';
+            let gatherState;
+            try {
+                gatherState = await gather(this.attempt);
+            }
+            catch (error) {
+                this.lastError = `Gather 失败: ${error instanceof Error ? error.message : String(error)}`;
+                this.status = 'failed';
+                return this.snapshot();
+            }
+            // Act（可选）
+            if (act && this.attempt > 1) {
+                this.status = 'acting';
+                try {
+                    const action = await act(gatherState, this.results);
+                    if (action.type === 'abort') {
+                        this.lastError = `Act 中止: ${action.description}`;
+                        this.status = 'failed';
+                        return this.snapshot();
+                    }
+                    if (action.type === 'skip') {
+                        this.status = 'passed';
+                        return this.snapshot();
+                    }
+                }
+                catch (error) {
+                    this.lastError = `Act 失败: ${error instanceof Error ? error.message : String(error)}`;
+                    this.status = 'failed';
+                    return this.snapshot();
+                }
+            }
+            // Verify
+            this.status = 'verifying';
+            try {
+                this.results = await this.verifier.verifyAll(context);
+            }
+            catch (error) {
+                this.lastError = `Verify 失败: ${error instanceof Error ? error.message : String(error)}`;
+                this.status = 'failed';
+                return this.snapshot();
+            }
+            const allPassed = this.results.every(r => r.passed);
+            if (allPassed) {
+                this.status = 'passed';
+                return this.snapshot();
+            }
+            // failFast: 首次失败立即停止
+            if (this.config.failFast) {
+                this.lastError = '验证失败 (failFast)';
+                this.status = 'failed';
+                return this.snapshot();
+            }
+        }
+        this.lastError = `达到最大重试次数 (${this.config.maxRetries})`;
+        this.status = 'failed';
+        return this.snapshot();
+    }
+    snapshot() {
+        return {
+            status: this.status,
+            attempt: this.attempt,
+            maxRetries: this.config.maxRetries,
+            results: this.results,
+            lastError: this.lastError,
+            timestamp: new Date().toISOString(),
+        };
+    }
+    getStatus() {
+        return this.status;
+    }
+    getAttempt() {
+        return this.attempt;
+    }
+    getResults() {
+        return [...this.results];
+    }
+}
+exports.VerificationLoop = VerificationLoop;
+//# sourceMappingURL=loop.js.map

package/dist/verification/loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop.js","sourceRoot":"","sources":["../../src/verification/loop.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAWH,+CAAuD;AAKvD,MAAa,gBAAgB;IACnB,MAAM,CAAyB;IAC/B,QAAQ,CAAyB;IACjC,MAAM,GAAe,MAAM,CAAC;IAC5B,OAAO,GAAG,CAAC,CAAC;IACZ,OAAO,GAAyB,EAAE,CAAC;IACnC,SAAS,CAAU;IAE3B,YAAY,MAA8B;QACxC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,IAAI,oCAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAG,CACP,OAA4B,EAC5B,MAAgB,EAChB,GAAW;QAEX,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAE3B,OAAO,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,CAAC,OAAO,EAAE,CAAC;YAEf,SAAS;YACT,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAC1B,IAAI,WAAwB,CAAC;YAC7B,IAAI,CAAC;gBACH,WAAW,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,SAAS,GAAG,cAAc,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxF,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC;YAED,UAAU;YACV,IAAI,GAAG,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,IAAI,CAAC;oBACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;oBACpD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBAC5B,IAAI,CAAC,SAAS,GAAG,WAAW,MAAM,CAAC,WAAW,EAAE,CAAC;wBACjD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;wBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzB,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBAC3B,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;wBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzB,CAAC;gBACH,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,CAAC,SAAS,GAAG,WAAW,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBACrF,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;oBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,SAAS;YACT,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAC1B,IAAI,CAAC;gBACH,IAAI,CAAC,OAAO,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACxD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,SAAS,GAAG,cAAc,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxF,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC;YAED,qBAAqB;YACrB,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACzB,IAAI,CAAC,SAAS,GAAG,iBAAiB,CAAC;gBACnC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;gBACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,SAAS,GAAG,aAAa,IAAI,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC;QACxD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;QACvB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAEO,QAAQ;QACd,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;YAClC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;CACF;AAhHD,4CAgHC"}

package/dist/verification/rules-based.d.ts

@@ -0,0 +1,40 @@
+/**
+ * 基于规则的确定性验证
+ *
+ * 执行 test / lint / typecheck / custom 规则
+ * 纯确定性验证，不依赖 LLM
+ */
+import type { VerificationRule, VerificationContext, VerificationResult } from './types';
+export declare class RulesBasedVerification {
+    private rules;
+    constructor(rules: VerificationRule[]);
+    /**
+     * 执行所有规则验证
+     */
+    verifyAll(context: VerificationContext): Promise<VerificationResult[]>;
+    /**
+     * 执行单条规则验证
+     */
+    verifyRule(rule: VerificationRule, context: VerificationContext): Promise<VerificationResult>;
+    /**
+     * 执行命令类规则
+     */
+    private executeCommand;
+    /**
+     * 执行自定义规则
+     */
+    private executeCustom;
+    /**
+     * 添加规则
+     */
+    addRule(rule: VerificationRule): void;
+    /**
+     * 移除规则
+     */
+    removeRule(ruleId: string): void;
+    /**
+     * 获取规则列表
+     */
+    getRules(): VerificationRule[];
+}
+//# sourceMappingURL=rules-based.d.ts.map

package/dist/verification/rules-based.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-based.d.ts","sourceRoot":"","sources":["../../src/verification/rules-based.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACV,gBAAgB,EAChB,mBAAmB,EACnB,kBAAkB,EAEnB,MAAM,SAAS,CAAC;AAEjB,qBAAa,sBAAsB;IACjC,OAAO,CAAC,KAAK,CAAqB;gBAEtB,KAAK,EAAE,gBAAgB,EAAE;IAIrC;;OAEG;IACG,SAAS,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC;IAW5E;;OAEG;IACG,UAAU,CAAC,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IA6BnG;;OAEG;YACW,cAAc;IAyC5B;;OAEG;YACW,aAAa;IAiB3B;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,gBAAgB,GAAG,IAAI;IAIrC;;OAEG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIhC;;OAEG;IACH,QAAQ,IAAI,gBAAgB,EAAE;CAG/B"}

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.1",
+  "version": "0.9.0",
   "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控、拦截器",
   "keywords": [
     "harness",

package/dist/cli/commands/diagnose.d.ts

@@ -1,16 +0,0 @@
-/**
- * Diagnose CLI 命令
- *
- * 运行诊断分析异常
- */
-/**
- * diagnose 命令
- */
-export declare function diagnoseCommand(subcommand: string, options: {
-    hours?: number;
-    constraintId?: string;
-    anomalyId?: string;
-    format?: 'json' | 'text';
-    save?: boolean;
-}): Promise<void>;
-//# sourceMappingURL=diagnose.d.ts.map

package/dist/cli/commands/diagnose.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"diagnose.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/diagnose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAUH;;GAEG;AACH,wBAAsB,eAAe,CACnC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IACP,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,GACA,OAAO,CAAC,IAAI,CAAC,CA6Bf"}

package/dist/cli/commands/diagnose.js

@@ -1,195 +0,0 @@
-"use strict";
-/**
- * Diagnose 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.diagnoseCommand = diagnoseCommand;
-const fs = __importStar(require("fs"));
-const path = __importStar(require("path"));
-const traces_1 = require("../../monitoring/traces");
-const trace_analyzer_1 = require("../../monitoring/trace-analyzer");
-const constraint_doctor_1 = require("../../monitoring/constraint-doctor");
-/**
- * diagnose 命令
- */
-async function diagnoseCommand(subcommand, options) {
-    switch (subcommand) {
-        case 'run':
-            await runDiagnose(options);
-            break;
-        case 'show':
-            await showDiagnose(options);
-            break;
-        case 'list':
-            await listDiagnoses(options);
-            break;
-        default:
-            console.log('Usage: harness diagnose <subcommand>');
-            console.log('');
-            console.log('Subcommands:');
-            console.log('  run    Run diagnosis on detected anomalies');
-            console.log('  show   Show a specific diagnosis result');
-            console.log('  list   List all diagnosis results');
-            console.log('');
-            console.log('Options:');
-            console.log('  --hours <n>       Analyze last N hours (default: 24)');
-            console.log('  --constraint <id> Filter by constraint ID');
-            console.log('  --anomaly <id>    Show specific anomaly diagnosis');
-            console.log('  --format <format> Output format: json or text (default: text)');
-            console.log('  --save            Save diagnosis to file');
-    }
-}
-/**
- * 运行诊断
- */
-async function runDiagnose(options) {
-    const hours = options.hours || 24;
-    const analyzer = (0, trace_analyzer_1.createAnalyzer)();
-    const doctor = (0, constraint_doctor_1.createDoctor)();
-    // 1. 检测异常
-    const anomalies = analyzer.runDailyAnomalyCheck();
-    // 过滤特定约束
-    let filteredAnomalies = anomalies;
-    if (options.constraintId) {
-        filteredAnomalies = anomalies.filter(a => a.constraintId === options.constraintId);
-    }
-    if (filteredAnomalies.length === 0) {
-        console.log('✅ No anomalies detected. No diagnosis needed.');
-        return;
-    }
-    console.log(`🔍 Detected ${filteredAnomalies.length} anomalies, running diagnosis...`);
-    console.log('');
-    // 2. 获取 traces
-    const collector = (0, traces_1.getTraceCollector)();
-    const traces = collector.readRecent(hours);
-    // 3. 运行诊断
-    const diagnoses = [];
-    for (const anomaly of filteredAnomalies) {
-        doctor.setData(traces.filter(t => t.constraintId === anomaly.constraintId));
-        const diagnosis = await doctor.diagnose(anomaly);
-        diagnoses.push(diagnosis);
-        // 保存诊断
-        if (options.save) {
-            const outputPath = `.harness/diagnoses/${diagnosis.anomalyId}.json`;
-            doctor.saveDiagnosis(diagnosis, outputPath);
-        }
-    }
-    // 4. 输出结果
-    if (options.format === 'json') {
-        console.log(JSON.stringify(diagnoses, null, 2));
-    }
-    else {
-        for (const diagnosis of diagnoses) {
-            console.log(doctor.generateReport(diagnosis));
-            console.log('---');
-        }
-    }
-    // 5. 统计
-    const needsChange = diagnoses.filter(d => d.needsChange).length;
-    console.log('');
-    console.log(`📊 Summary: ${needsChange} diagnoses need constraint changes`);
-}
-/**
- * 显示特定诊断
- */
-async function showDiagnose(options) {
-    if (!options.anomalyId) {
-        console.log('❌ Please specify --anomaly <id>');
-        return;
-    }
-    const doctor = (0, constraint_doctor_1.createDoctor)();
-    const diagnosisPath = `.harness/diagnoses/${options.anomalyId}.json`;
-    if (!fs.existsSync(diagnosisPath)) {
-        console.log(`❌ Diagnosis not found: ${options.anomalyId}`);
-        return;
-    }
-    const diagnosis = doctor.loadDiagnosis(diagnosisPath);
-    if (options.format === 'json') {
-        console.log(JSON.stringify(diagnosis, null, 2));
-    }
-    else {
-        console.log(doctor.generateReport(diagnosis));
-    }
-}
-/**
- * 列出所有诊断
- */
-async function listDiagnoses(options) {
-    const diagnosesDir = '.harness/diagnoses';
-    if (!fs.existsSync(diagnosesDir)) {
-        console.log('❌ No diagnoses found. Run `harness diagnose run` first.');
-        return;
-    }
-    const files = fs.readdirSync(diagnosesDir)
-        .filter(f => f.endsWith('.json'));
-    if (files.length === 0) {
-        console.log('❌ No diagnoses found.');
-        return;
-    }
-    const doctor = (0, constraint_doctor_1.createDoctor)();
-    const diagnoses = files.map(f => {
-        const content = fs.readFileSync(path.join(diagnosesDir, f), 'utf-8');
-        return JSON.parse(content);
-    });
-    if (options.format === 'json') {
-        console.log(JSON.stringify(diagnoses.map(d => ({
-            anomalyId: d.anomalyId,
-            constraintId: d.constraintId,
-            needsChange: d.needsChange,
-            urgency: d.urgency,
-        })), null, 2));
-    }
-    else {
-        console.log('📋 Diagnosis List');
-        console.log('');
-        for (const diagnosis of diagnoses) {
-            const urgencyEmoji = {
-                low: '🟢',
-                medium: '🟡',
-                high: '🔴',
-            }[diagnosis.urgency] || '⚪';
-            console.log(`${urgencyEmoji} ${diagnosis.anomalyId}`);
-            console.log(`   Constraint: ${diagnosis.constraintId}`);
-            console.log(`   Needs Change: ${diagnosis.needsChange ? 'Yes' : 'No'}`);
-            console.log(`   Urgency: ${diagnosis.urgency}`);
-            console.log('');
-        }
-        console.log(`Total: ${diagnoses.length} diagnoses`);
-    }
-}
-//# sourceMappingURL=diagnose.js.map

package/dist/cli/commands/diagnose.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"diagnose.js","sourceRoot":"","sources":["../../../src/cli/commands/diagnose.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAaH,0CAsCC;AAjDD,uCAAyB;AACzB,2CAA6B;AAC7B,oDAA4E;AAC5E,oEAAgF;AAChF,0EAAoF;AAIpF;;GAEG;AACI,KAAK,UAAU,eAAe,CACnC,UAAkB,EAClB,OAMC;IAED,QAAQ,UAAU,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM;QAER,KAAK,MAAM;YACT,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;YAC5B,MAAM;QAER,KAAK,MAAM;YACT,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM;QAER;YACE,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,wDAAwD,CAAC,CAAC;YACtE,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,qDAAqD,CAAC,CAAC;YACnE,OAAO,CAAC,GAAG,CAAC,iEAAiE,CAAC,CAAC;YAC/E,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CAAC,OAK1B;IACC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAA,+BAAc,GAAE,CAAC;IAClC,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAE9B,UAAU;IACV,MAAM,SAAS,GAAG,QAAQ,CAAC,oBAAoB,EAAE,CAAC;IAElD,SAAS;IACT,IAAI,iBAAiB,GAAG,SAAS,CAAC;IAClC,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QACzB,iBAAiB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;IACrF,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,eAAe,iBAAiB,CAAC,MAAM,kCAAkC,CAAC,CAAC;IACvF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,eAAe;IACf,MAAM,SAAS,GAAG,IAAA,0BAAiB,GAAE,CAAC;IACtC,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAE3C,UAAU;IACV,MAAM,SAAS,GAAgB,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACjD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE1B,OAAO;QACP,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,UAAU,GAAG,sBAAsB,SAAS,CAAC,SAAS,OAAO,CAAC;YACpE,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,UAAU;IACV,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,QAAQ;IACR,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,eAAe,WAAW,oCAAoC,CAAC,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,YAAY,CAAC,OAG3B;IACC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAC9B,MAAM,aAAa,GAAG,sBAAsB,OAAO,CAAC,SAAS,OAAO,CAAC;IAErE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,0BAA0B,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;IAEtD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,aAAa,CAAC,OAE5B;IACC,MAAM,YAAY,GAAG,oBAAoB,CAAC;IAE1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;QACvE,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IAEpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,gCAAY,GAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC9B,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAc,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7C,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;YAClC,MAAM,YAAY,GAAW;gBAC3B,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;aACX,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;YAE5B,OAAO,CAAC,GAAG,CAAC,GAAG,YAAY,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,kBAAkB,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC;YACxD,OAAO,CAAC,GAAG,CAAC,oBAAoB,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,eAAe,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,UAAU,SAAS,CAAC,MAAM,YAAY,CAAC,CAAC;IACtD,CAAC;AACH,CAAC"}

package/dist/cli/commands/propose.d.ts

@@ -1,18 +0,0 @@
-/**
- * Propose CLI 命令
- *
- * 根据诊断生成约束提案
- */
-/**
- * propose 命令
- */
-export declare function proposeCommand(subcommand: string, options: {
-    diagnosisId?: string;
-    format?: 'json' | 'text';
-    save?: boolean;
-    status?: 'proposed' | 'accepted' | 'rejected';
-    accept?: boolean;
-    reject?: boolean;
-    comment?: string;
-}): Promise<void>;
-//# sourceMappingURL=propose.d.ts.map

package/dist/cli/commands/propose.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/propose.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AASH;;GAEG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;IACP,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;IAC9C,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GACA,OAAO,CAAC,IAAI,CAAC,CAyCf"}