@dommaker/harness 1.5.0 → 1.7.0

package/dist/types/passes-gate.d.ts

@@ -20,10 +20,6 @@ export interface PassesGateConfig {
      * 不赦免非零退出码（判定依据收在 core/validators/test-output.ts 的 judgeTestRun，ADR-0014）
      */
     allowPartialPass?: boolean;
-    /** 最大重试次数 */
-    maxRetries?: number;
-    /** 重试延迟（毫秒） */
-    retryDelay?: number;
 }
 /**
  * 测试结果
@@ -46,34 +42,6 @@ export interface TaskTestResult {
     /** 证据路径 */
     evidence?: string;
 }
-/**
- * 测试门控结果
- */
-export interface PassesGateResult {
-    /** 任务 ID */
-    taskId: string;
-    /** 是否允许设置 */
-    allowed: boolean;
-    /** 测试结果 */
-    testResult?: TaskTestResult;
-    /** 尝试次数 */
-    attempts: number;
-    /** 错误信息 */
-    error?: string;
-}
-/**
- * 动态任务（用于 passes-gate）
- */
-export interface DynamicTask {
-    /** 任务 ID */
-    id: string;
-    /** 任务名称 */
-    name?: string;
-    /** 是否通过 */
-    passes?: boolean;
-    /** 测试结果 */
-    testResult?: TaskTestResult;
-}
 /**
  * 测试结果输入（用于 check() 方法）
  *

package/dist/types/passes-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"passes-gate.d.ts","sourceRoot":"","sources":["../../src/types/passes-gate.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,aAAa;IACb,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAE3B,aAAa;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,eAAe;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,SAAS;IACT,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,SAAS;IACT,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,UAAU;IACV,SAAS,CAAC,EAAE,IAAI,CAAC;IAEjB,cAAc;IACd,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAEpB,WAAW;IACX,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,YAAY;IACZ,MAAM,EAAE,MAAM,CAAC;IAEf,aAAa;IACb,OAAO,EAAE,OAAO,CAAC;IAEjB,WAAW;IACX,UAAU,CAAC,EAAE,cAAc,CAAC;IAE5B,WAAW;IACX,QAAQ,EAAE,MAAM,CAAC;IAEjB,WAAW;IACX,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,YAAY;IACZ,EAAE,EAAE,MAAM,CAAC;IAEX,WAAW;IACX,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,WAAW;IACX,MAAM,CAAC,EAAE,OAAO,CAAC;IAEjB,WAAW;IACX,UAAU,CAAC,EAAE,cAAc,CAAC;CAC7B;AAMD;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,eAAe;IACf,MAAM,EAAE,OAAO,CAAC;IAEhB,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAEpB,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,eAAe;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,kBAAkB;IAClB,EAAE,EAAE,MAAM,CAAC;IAEX,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IAEb,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,UAAU,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,eAAe;IACf,OAAO,EAAE,OAAO,CAAC;IAEjB,oBAAoB;IACpB,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAEnC,aAAa;IACb,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB"}
+{"version":3,"file":"passes-gate.d.ts","sourceRoot":"","sources":["../../src/types/passes-gate.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW;IACX,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,aAAa;IACb,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,WAAW;IACX,MAAM,EAAE,OAAO,CAAC;IAEhB,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,SAAS;IACT,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,SAAS;IACT,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,UAAU;IACV,SAAS,CAAC,EAAE,IAAI,CAAC;IAEjB,cAAc;IACd,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAEpB,WAAW;IACX,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAMD;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,eAAe;IACf,MAAM,EAAE,OAAO,CAAC;IAEhB,oBAAoB;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IAEpB,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,eAAe;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,eAAe;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,kBAAkB;IAClB,EAAE,EAAE,MAAM,CAAC;IAEX,kBAAkB;IAClB,IAAI,EAAE,MAAM,CAAC;IAEb,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;IAEhB,WAAW;IACX,KAAK,EAAE,UAAU,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,eAAe;IACf,OAAO,EAAE,OAAO,CAAC;IAEjB,oBAAoB;IACpB,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAEnC,aAAa;IACb,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dommaker/harness",
-  "version": "1.5.0",
+  "version": "1.7.0",
   "description": "通用工程约束框架 - 铁律系统、检查点验证、测试门控",
   "keywords": [
     "harness",

package/src/__tests__/passes-gate-check.test.ts

@@ -95,12 +95,28 @@ describe('PassesGate.check()', () => {
   });
 
   /**
-   * AC-007：保留原有 setPasses() 方法（向后兼容）
+   * AC-007（ADR-0022 改写）：零消费者方法已从公共面删除
+   *
+   * 原用例断言「保留 setPasses() 向后兼容」——兼容对象经 harness+studio 双仓
+   * 核实不存在，ADR-0022 明确推翻该 AC。`@ts-expect-error` 在编译期钉住删除，
+   * 运行期断言同时钉住形状（方法不存在于原型）。
    */
-  it('AC-007: should keep setPasses() method for backward compatibility', () => {
+  it('AC-007: setPasses()/getTestResult()/checkTestFileChanges() are removed from the public surface', () => {
     const gate = new PassesGate();
-    expect(gate.setPasses).toBeDefined();
-    expect(typeof gate.setPasses).toBe('function');
+
+    // @ts-expect-error setPasses 已随 ADR-0022 删除
+    expect(gate.setPasses).toBeUndefined();
+    // @ts-expect-error getTestResult 已随 ADR-0022 删除
+    expect(gate.getTestResult).toBeUndefined();
+    // @ts-expect-error checkTestFileChanges 已随 ADR-0022 删除
+    expect(gate.checkTestFileChanges).toBeUndefined();
+    expect(PassesGate.prototype).not.toHaveProperty('setPasses');
+    expect(PassesGate.prototype).not.toHaveProperty('getTestResult');
+    expect(PassesGate.prototype).not.toHaveProperty('checkTestFileChanges');
+
+    // 保留面：真实消费的方法不动
+    expect(typeof gate.check).toBe('function');
+    expect(typeof gate.runTests).toBe('function');
   });
 
   /**

package/src/__tests__/passes-gate.test.ts

@@ -33,34 +33,6 @@ describe('PassesGate', () => {
     }
   });
 
-  describe('setPasses', () => {
-    it('设置为 false 应该直接允许', async () => {
-      const result = await gate.setPasses('task-1', false, tempDir);
-      
-      expect(result.allowed).toBe(true);
-      expect(result.testResult?.passed).toBe(false);
-    });
-
-    it('设置为 true 应该运行测试', async () => {
-      const result = await gate.setPasses('task-2', true, tempDir, {
-        id: 'task-2',
-      });
-      
-      // 测试命令是 echo "1 passed"，所以应该通过
-      expect(result.allowed).toBe(true);
-      expect(result.testResult?.command).toContain('npm test');
-    });
-
-    it('禁用时应该允许所有设置', async () => {
-      const disabledGate = createPassesGate({ enabled: false });
-      
-      const result = await disabledGate.setPasses('task-3', true, tempDir);
-      
-      expect(result.allowed).toBe(true);
-      expect(result.attempts).toBe(0);
-    });
-  });
-
   describe('runTests', () => {
     // 执行根由调用方传入（#95）：tempDir 的 package.json 测试命令是 echo，不再跑真实套件
     it('应该返回测试结果', async () => {
@@ -72,15 +44,6 @@ describe('PassesGate', () => {
     });
   });
 
-  describe('detectTestCommand', () => {
-    it('应该检测 npm test', async () => {
-      // package.json 有 test script
-      const result = await gate.setPasses('task-4', true, tempDir);
-      
-      expect(result.testResult?.command).toContain('npm');
-    });
-  });
-
   // 探测正本行为钉住（架构评审 A2：CLI/core 双版收口后的统一语义，
   // 此前 e2e 优先级、echo 排除、兜底均无测试钉住）
   describe('detectTestCommand 正本（统一探测顺序）', () => {
@@ -153,70 +116,13 @@ describe('PassesGate', () => {
       expect(await detectTestCommand(emptyDir)).toBeUndefined();
     });
 
-    it('探测失败时 runTests 与 setPasses 双路径 fail-closed', async () => {
+    it('探测失败时 runTests fail-closed', async () => {
       const emptyDir = join(detectDir, 'fail-closed');
       mkdirSync(emptyDir, { recursive: true });
 
       const runResult = await gate.runTests(emptyDir);
       expect(runResult.passed).toBe(false);
       expect(runResult.message).toBe('未检测到测试命令');
-
-      const setResult = await gate.setPasses('task-nocmd', true, emptyDir);
-      expect(setResult.allowed).toBe(false);
-      expect(setResult.testResult?.passed).toBe(false);
-      expect(setResult.testResult?.output).toBe('未检测到测试命令');
-    });
-  });
-
-  describe('checkTestFileChanges', () => {
-    it('应该检测测试文件变更', async () => {
-      // 无 git 变更时返回空数组
-      const changes = await gate.checkTestFileChanges(tempDir);
-      
-      expect(Array.isArray(changes)).toBe(true);
-    });
-  });
-
-  describe('getTestResult', () => {
-    it('应该返回已存储的测试结果', async () => {
-      const result = await gate.setPasses('stored-task', true, tempDir);
-      
-      if (result.allowed && result.testResult) {
-        const stored = gate.getTestResult('stored-task');
-        expect(stored).toBeDefined();
-        expect(stored?.command).toContain('npm');
-      }
-    });
-
-    it('未存储任务应返回 undefined', () => {
-      const stored = gate.getTestResult('nonexistent-task');
-      expect(stored).toBeUndefined();
-    });
-  });
-
-  describe('测试失败重试', () => {
-    it('测试失败后应重试', async () => {
-      const retryDir = join(process.cwd(), 'temp-test-retry');
-      mkdirSync(retryDir, { recursive: true });
-      
-      writeFileSync(join(retryDir, 'package.json'), JSON.stringify({
-        name: 'retry-project',
-        scripts: { test: 'exit 1' },  // 总是失败
-      }));
-      
-      const retryGate = createPassesGate({
-        enabled: true,
-        maxRetries: 1,
-        retryDelay: 100,
-      });
-      
-      const result = await retryGate.setPasses('retry-task', true, retryDir);
-      
-      expect(result.allowed).toBe(false);
-      expect(result.attempts).toBeGreaterThan(1);
-      expect(result.error).toBeDefined();
-      
-      rmSync(retryDir, { recursive: true, force: true });
     });
   });
 
@@ -237,13 +143,13 @@ describe('PassesGate', () => {
       },
     });
 
-    it('setPasses 结果不带 coverage 字段', async () => {
+    it('runTests 结果不带 coverage 字段', async () => {
       const covGate = createPassesGate({ enabled: true, requireEvidence: false });
 
-      const result = await covGate.setPasses('cov-task', true, covDir);
+      const result = await covGate.runTests(covDir);
 
-      expect(result.testResult?.passed).toBe(true);
-      expect(result.testResult).not.toHaveProperty('coverage');
+      expect(result.passed).toBe(true);
+      expect(result).not.toHaveProperty('coverage');
     });
 
     it('TaskTestResult 公开类型面不再接受 coverage 字段', () => {

package/src/__tests__/performance-gate.test.ts

@@ -38,7 +38,7 @@ describe('PerformanceGate', () => {
       const gate = new PerformanceGate({
         enabled: true,
         thresholds: {
-          maxResponseTime: 1000,
+          maxBundleSize: 1000,
         },
       });
 
@@ -55,20 +55,12 @@ describe('PerformanceGate', () => {
     it('应该支持自定义阈值', () => {
       const gate = new PerformanceGate({
         thresholds: {
-          maxResponseTime: 500,
-          maxMemoryUsage: 1000,
+          minCoverage: 80,
+          maxBundleSize: 1000,
         },
       });
 
       expect(gate).toBeDefined();
     });
-
-    it('应该支持基准测试命令', () => {
-      const gate = new PerformanceGate({
-        benchmarkCommand: 'npm run benchmark',
-      });
-
-      expect(gate).toBeDefined();
-    });
   });
 });

package/src/__tests__/public-exports.test.ts

@@ -5,29 +5,32 @@
  * 改动 src/index.ts 导出清单时同步更新本文件的 EXPECTED_RUNTIME_EXPORTS，
  * diff 即 PR 评审材料。
  *
- * 注意：Object.keys 只能看到运行时（值）导出；纯类型导出由
- * src/index.ts 显式清单在编译期把关，不在本测试断言范围内。
+ * 类型面共三道闸，本文件占前两道：① 运行时（值）导出由 Object.keys 逐字冻结；② 下方「包根
+ * 类型面」闸钉的是**删完之后**——编译期 `@ts-expect-error` 钉已删类型 + 源形状钉整条 barrel 链
+ * （`PassesGateResult` 曾从 #125「关联类型导出随迁」漏删且无测试可捕获，review A2 据此补钉）。
+ * 第 ③ 道是类型面**全量清单**冻结，在 `public-type-surface.test.ts`（ADR-0022 追记 4）；它刻意
+ * 不 import 包根，因为本文件的编译期钉在类型面被改动时会让整套 suite「failed to run」（实测注入
+ * 一条 `export type { DynamicTask }` 得 0 tests），拿不到可执行的清单 diff——定级阶段那句
+ * 「这个符号在不在包根导出面」由第 ③ 道回答，不由人的 grep 记忆回答。
  */
 
+import * as fs from 'fs';
+import * as path from 'path';
+
 const EXPECTED_RUNTIME_EXPORTS = [
-  'AdaptiveTokenBudget',
   'AgentLifecycle',
   'CONSTRAINTS_END_MARKER',
   'CONSTRAINTS_START_MARKER',
   'CSOValidator',
   'CheckCache',
   'CheckpointValidator',
-  'CleanStateManager',
   'ColdStartImporter',
   'CommandGate',
   'ConstraintViolationError',
-  'ConstraintViolationHandler',
   'ContextTracker',
   'ContractGate',
   'DEFAULT_CLASSIFICATION_RULES',
-  'DEFAULT_CODE_CHECKPOINTS',
   'DEFAULT_COMMAND_BLACKLIST',
-  'DEFAULT_COMPACTION_CONFIG',
   'DEFAULT_DECAY_CONFIG',
   'DEFAULT_FAILURE_LOG_FILE',
   'DEFAULT_LEVEL_MAPPING',
@@ -49,10 +52,8 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'KnowledgeIngest',
   'KnowledgeInjector',
   'KnowledgeLifecycle',
-  'KnowledgeLifecycleHooks',
   'KnowledgeLinter',
   'KnowledgeQuery',
-  'MINIMAL_CHECKPOINTS',
   'PHASE_SUBJECT_RE',
   'PROMPTS',
   'PassesGate',
@@ -60,9 +61,7 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'ReferenceTracker',
   'ReviewGate',
   'SecurityGate',
-  'SessionCompaction',
   'SessionManager',
-  'SessionStartup',
   'SpecAcceptanceGate',
   'SpecValidator',
   'TESTED_BY_RE',
@@ -83,7 +82,6 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'configureTraceCollector',
   'createAnalyzer',
   'createCheckerGate',
-  'createCleanStateManager',
   'createCommandGate',
   'createContractGate',
   'createErrorClassifier',
@@ -92,12 +90,8 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'createPerformanceGate',
   'createReviewGate',
   'createSecurityGate',
-  'createSessionStartup',
   'createSpecAcceptanceGate',
   'decisionFromResult',
-  'executeWithBlock',
-  'executeWithCollect',
-  'executeWithSafeBoolean',
   'extractCodeStructure',
   'findConstraintsByTrigger',
   'getAllConstraints',
@@ -139,3 +133,61 @@ describe('公共导出清单（ADR-0003）', () => {
     expect(Object.keys(mod).sort()).toEqual([...EXPECTED_RUNTIME_EXPORTS].sort());
   });
 });
+
+/**
+ * 包根类型面闸（review A2）
+ *
+ * 上一闸的 `Object.keys(mod)` 只看得到运行时（值）导出，类型面历史上无对等闸——
+ * `PassesGateResult`（已删 `setPasses` 的返回形状）正是这样从 #125 的「关联类型导出随迁」
+ * 里漏掉、经四级 barrel 存活为公开类型。手法同 #125 的 AC-007：编译期 `@ts-expect-error`
+ * 钉住删除 + 源形状钉住整条链，活类型正钉防删多。
+ *
+ * `DynamicTask` 是同案的第二个漏收项（二次复审 B1）：它是 `setPasses(taskId, workDir, task?)`
+ * 的入参形状，#125 删掉 setPasses 后只剩私有 `runTest` 那个从不读取的 `_task` 形参在供养它，
+ * 而包根同名导出取自 `./types/passes-gate`（见 5959b79），所以它是**公开的**死类型。
+ */
+describe('包根类型面（ADR-0022 关联类型随迁）', () => {
+  const BARREL_CHAIN = [
+    '../types/passes-gate.ts',
+    '../core/validators/index.ts',
+    '../core/index.ts',
+    '../index.ts',
+  ];
+
+  function expectAbsentAcrossBarrelChain(typeName: string): void {
+    for (const rel of BARREL_CHAIN) {
+      const source = fs.readFileSync(path.join(__dirname, rel), 'utf-8');
+      expect({ file: rel, mentions: source.includes(typeName) }).toEqual({
+        file: rel,
+        mentions: false,
+      });
+    }
+  }
+
+  it('PassesGateResult 在整条 barrel 链四级都已消失', () => {
+    expectAbsentAcrossBarrelChain('PassesGateResult');
+  });
+
+  it('DynamicTask 在整条 barrel 链四级都已消失', () => {
+    expectAbsentAcrossBarrelChain('DynamicTask');
+  });
+
+  it('PassesGateResult 不再是包根可导入类型（编译期钉）', () => {
+    // @ts-expect-error 该类型是已删 setPasses 的返回形状，随 ADR-0022 关联类型口径删除
+    const removedType: import('../index').PassesGateResult | undefined = undefined;
+    expect(removedType).toBeUndefined();
+  });
+
+  it('DynamicTask 不再是包根可导入类型（编译期钉）', () => {
+    // @ts-expect-error 该类型是已删 setPasses 的 task 入参形状，消费者净删后随 A2 同案收口
+    const removedType: import('../index').DynamicTask | undefined = undefined;
+    expect(removedType).toBeUndefined();
+  });
+
+  it('活类型仍可经包根导入（防止删多）', () => {
+    const liveCheck: import('../index').PassesGateCheckResult = { allowed: true };
+    const liveTask: import('../index').TaskTestResult = { passed: true, command: 'npm test' };
+    expect(liveCheck.allowed).toBe(true);
+    expect(liveTask.command).toBe('npm test');
+  });
+});