@dommaker/harness 1.1.1 → 1.2.1

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

@@ -1 +0,0 @@
-{"version":3,"file":"performance.d.ts","sourceRoot":"","sources":["../../src/types/performance.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAK/B,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,0BAA0B;IAC1B,SAAS,EAAE,MAAM,CAAC;IAElB,aAAa;IACb,QAAQ,EAAE,MAAM,CAAC;IAEjB,SAAS;IACT,MAAM,EAAE,IAAI,GAAG,UAAU,GAAG,OAAO,CAAC;IAMpC,uBAAuB;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,oBAAoB;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,2BAA2B;IAC3B,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,YAAY;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,qBAAqB;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,YAAY;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,aAAa;IACb,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAMF,YAAY;IACZ,UAAU,EAAE,MAAM,CAAC;IAEnB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,YAAY;IACZ,aAAa,EAAE,MAAM,CAAC;IAEtB,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAMnB,eAAe;IACf,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IAEpB,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;IAEpB,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAEpB,aAAa;IACb,WAAW,EAAE,MAAM,CAAC;IAMpB,gBAAgB;IAChB,MAAM,EAAE,MAAM,CAAC;IAEf,iBAAiB;IACjB,YAAY,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,SAAS,EAAE,MAAM,CAAC;IAMlB,WAAW;IACX,WAAW,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE7C,gBAAgB;IAChB,oBAAoB,CAAC,EAAE;QACrB,gBAAgB,EAAE,MAAM,CAAC;QACzB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,WAAW;IACX,IAAI,EACA,mBAAmB,GACnB,iBAAiB,GACjB,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,CAAC;IAEtB,WAAW;IACX,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,IAAI,EAAE;QACJ,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;KACzC,CAAC;IAEF,WAAW;IACX,UAAU,EAAE,MAAM,CAAC;IAEnB,aAAa;IACb,eAAe,CAAC,EAAE,UAAU,GAAG,kBAAkB,GAAG,aAAa,CAAC;CACnE;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,eAAe;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,eAAe;IACf,MAAM,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,OAAO,CAAC;IAErC,eAAe;IACf,SAAS,CAAC,EAAE;QACV,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAEF,eAAe;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,gBAAgB;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,gBAAgB;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,gBAAgB;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,+BAA+B;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,oBAAoB;IACpB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,mBAAmB;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,UAAU,CAAC,EAAE;QACX,uBAAuB;QACvB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,oBAAoB;QACpB,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,mBAAmB;QACnB,SAAS,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,UAAU;IACV,SAAS,EAAE,MAAM,CAAC;IAElB,eAAe;IACf,SAAS,EAAE,MAAM,CAAC;IAElB,gBAAgB;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,gBAAgB;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,kBAAkB;IAClB,aAAa,EAAE,MAAM,CAAC;IAEtB,iBAAiB;IACjB,eAAe,EAAE,MAAM,CAAC;IAExB,gBAAgB;IAChB,WAAW,EAAE,MAAM,CAAC;IAEpB,SAAS;IACT,MAAM,EAAE,MAAM,CAAC;IAEf,YAAY;IACZ,QAAQ,EAAE,OAAO,CAAC;IAElB,WAAW;IACX,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,YAAY;IACZ,SAAS,EAAE,MAAM,CAAC;IAElB,WAAW;IACX,SAAS,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,GAAG,EAAE,MAAM,CAAC;KACb,CAAC;IAEF,iBAAiB;IACjB,WAAW,EAAE,MAAM,CAAC;IAEpB,oBAAoB;IACpB,gBAAgB,EAAE,MAAM,CAAC;IAEzB,YAAY;IACZ,aAAa,EAAE,MAAM,CAAC;IAEtB,WAAW;IACX,YAAY,EAAE,MAAM,CAAC;IAErB,YAAY;IACZ,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE7B,YAAY;IACZ,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B"}

package/dist/types/performance.js

@@ -1,12 +0,0 @@
-"use strict";
-/**
- * Performance Trace 类型定义
- *
- * 轻量设计：只记录核心信息，零 Token 成本
- *
- * 与 ExecutionTrace 的区别：
- * - ExecutionTrace: 记录约束检查结果（业务行为）
- * - PerformanceTrace: 记录操作耗时（性能指标）
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=performance.js.map

package/dist/types/performance.js.map

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

package/dist/verification/index.d.ts

@@ -1,4 +0,0 @@
-export * from './types';
-export * from './rules-based';
-export * from './loop';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAC;AACxB,cAAc,eAAe,CAAC;AAC9B,cAAc,QAAQ,CAAC"}

package/dist/verification/index.js

@@ -1,20 +0,0 @@
-"use strict";
-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 __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-__exportStar(require("./types"), exports);
-__exportStar(require("./rules-based"), exports);
-__exportStar(require("./loop"), exports);
-//# sourceMappingURL=index.js.map

package/dist/verification/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verification/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0CAAwB;AACxB,gDAA8B;AAC9B,yCAAuB"}

package/dist/verification/loop.d.ts

@@ -1,30 +0,0 @@
-/**
- * 验证循环（Gather-Act-Verify）
- *
- * 编排验证流程：
- * 1. Gather：收集当前状态
- * 2. Act：执行动作
- * 3. Verify：验证结果
- * 失败时重试，最多 N 次
- */
-import type { VerificationLoopConfig, LoopSnapshot, LoopStatus, VerificationResult, GatherState, ActAction, VerificationContext } from './types';
-export type GatherFn = (attempt: number) => Promise<GatherState>;
-export type ActFn = (state: GatherState, results: VerificationResult[]) => Promise<ActAction>;
-export declare class VerificationLoop {
-    private config;
-    private verifier;
-    private status;
-    private attempt;
-    private results;
-    private lastError?;
-    constructor(config: VerificationLoopConfig);
-    /**
-     * 执行验证循环
-     */
-    run(context: VerificationContext, gather: GatherFn, act?: ActFn): Promise<LoopSnapshot>;
-    private snapshot;
-    getStatus(): LoopStatus;
-    getAttempt(): number;
-    getResults(): VerificationResult[];
-}
-//# sourceMappingURL=loop.d.ts.map

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

@@ -1 +0,0 @@
-{"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

@@ -1,114 +0,0 @@
-"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

@@ -1 +0,0 @@
-{"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

@@ -1,40 +0,0 @@
-/**
- * 基于规则的确定性验证
- *
- * 执行 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

@@ -1 +0,0 @@
-{"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,EACnB,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

@@ -1,130 +0,0 @@
-"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

@@ -1 +0,0 @@
-{"version":3,"file":"rules-based.js","sourceRoot":"","sources":["../../src/verification/rules-based.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,iDAAyC;AAOzC,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

@@ -1,69 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

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

package/dist/verification/types.js.map

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

package/src/__tests__/annotation-checker.test.ts

@@ -1,183 +0,0 @@
-/**
- * AnnotationChecker 测试
- */
-
-import { describe, it, expect, beforeAll, afterAll } from '@jest/globals';
-import { checkFile, checkDirectory } from '../spec/annotation-checker';
-import * as fs from 'fs';
-import * as path from 'path';
-
-describe('AnnotationChecker', () => {
-  const tempDir = path.join(process.cwd(), 'temp-test-annotations');
-  const validFile = path.join(tempDir, 'valid.ts');
-  const invalidFile = path.join(tempDir, 'invalid.ts');
-
-  beforeAll(() => {
-    fs.mkdirSync(tempDir, { recursive: true });
-    
-    // 创建有效文件
-    fs.writeFileSync(validFile, `
-/**
- * @spec AR-001
- * @implements AR-001-C1
- * @acceptance AC-001
- * @author test
- * @since 2026-01-01
- */
-export class ValidClass {
-  /**
-   * @spec AR-001-S1
-   */
-  validMethod() {}
-}
-`);
-
-    // 创建无效文件（缺少必要字段）
-    fs.writeFileSync(invalidFile, `
-/**
- * @spec invalid-id
- */
-export class InvalidClass {
-  method() {}
-}
-`);
-  });
-
-  afterAll(() => {
-    try {
-      fs.rmSync(tempDir, { recursive: true, force: true });
-    } catch {
-      // ignore
-    }
-  });
-
-  describe('checkFile', () => {
-    it('应该检查有效文件', () => {
-      const result = checkFile(validFile);
-
-      expect(result.annotations.length).toBeGreaterThan(0);
-      // 可能有关键字段缺失的警告，但不应该有错误
-    });
-
-    it('应该检查无效文件', () => {
-      const result = checkFile(invalidFile);
-
-      expect(result.annotations.length).toBeGreaterThan(0);
-      // Spec ID 格式不正确应该报错
-      expect(result.errors.length).toBeGreaterThan(0);
-    });
-
-    it('应该解析 Spec ID', () => {
-      const result = checkFile(validFile);
-
-      const annotation = result.annotations[0];
-      expect(annotation.specId).toBe('AR-001');
-    });
-
-    it('应该解析 implements 字段', () => {
-      const result = checkFile(validFile);
-
-      const annotation = result.annotations[0];
-      expect(annotation.implements).toBeDefined();
-      expect(annotation.implements?.length).toBeGreaterThan(0);
-    });
-
-    it('应该解析 acceptance 字段', () => {
-      const result = checkFile(validFile);
-
-      const annotation = result.annotations[0];
-      expect(annotation.acceptance).toBeDefined();
-    });
-
-    it('应该解析行号', () => {
-      const result = checkFile(validFile);
-
-      expect(result.annotations[0].line).toBeGreaterThan(0);
-    });
-
-    it('文件不存在应该抛出异常', () => {
-      expect(() => checkFile('/nonexistent/file.ts')).toThrow();
-    });
-  });
-
-  describe('checkDirectory', () => {
-    it('应该检查目录中的所有文件', () => {
-      const results = checkDirectory(tempDir);
-
-      expect(results.length).toBeGreaterThan(0);
-    });
-
-    it('应该返回每个文件的结果', () => {
-      const results = checkDirectory(tempDir);
-
-      expect(results.some(r => r.file.includes('valid.ts'))).toBe(true);
-      expect(results.some(r => r.file.includes('invalid.ts'))).toBe(true);
-    });
-
-    it('空目录应该返回空数组', () => {
-      const emptyDir = path.join(tempDir, 'empty');
-      fs.mkdirSync(emptyDir, { recursive: true });
-
-      const results = checkDirectory(emptyDir);
-
-      expect(results.length).toBe(0);
-    });
-  });
-
-  describe('Spec ID 格式验证', () => {
-    it('有效 Spec ID 应该通过', () => {
-      const validSpecFile = path.join(tempDir, 'spec-valid.ts');
-      fs.writeFileSync(validSpecFile, `
-/**
- * @spec WS-001
- */
-export class Test {}
-`);
-
-      const result = checkFile(validSpecFile);
-      expect(result.errors.some(e => e.code === 'INVALID_SPEC_FORMAT')).toBe(false);
-    });
-
-    it('无效 Spec ID 应该报错', () => {
-      const invalidSpecFile = path.join(tempDir, 'spec-invalid.ts');
-      fs.writeFileSync(invalidSpecFile, `
-/**
- * @spec INVALID
- */
-export class Test {}
-`);
-
-      const result = checkFile(invalidSpecFile);
-      expect(result.errors.some(e => e.code === 'INVALID_SPEC_FORMAT')).toBe(true);
-    });
-  });
-
-  describe('警告', () => {
-    it('缺少 implements 应该警告', () => {
-      const warnFile = path.join(tempDir, 'warn.ts');
-      fs.writeFileSync(warnFile, `
-/**
- * @spec AR-001
- */
-export class WarnClass {}
-`);
-
-      const result = checkFile(warnFile);
-      expect(result.warnings.some(w => w.code === 'MISSING_IMPLEMENTS')).toBe(true);
-    });
-
-    it('缺少 acceptance 应该警告', () => {
-      const warnFile = path.join(tempDir, 'warn2.ts');
-      fs.writeFileSync(warnFile, `
-/**
- * @spec AR-001
- * @implements AR-001-C1
- */
-export class WarnClass2 {}
-`);
-
-      const result = checkFile(warnFile);
-      expect(result.warnings.some(w => w.code === 'MISSING_ACCEPTANCE')).toBe(true);
-    });
-  });
-});