@dommaker/harness 1.4.0 → 1.6.0

package/src/core/constraints/checkers/__tests__/docs-freshness.test.ts

@@ -6,17 +6,21 @@
  * 项目根由 src/test-setup/project-fixture 声明式构造（回收仍走 mkdtemp-cleanup）。
  */
 
-import { describe, it, expect, jest } from '@jest/globals';
+import { describe, it, expect } from '@jest/globals';
 import * as fs from 'fs';
 import * as path from 'path';
 import { docsFreshness } from '../docs-freshness';
-import { buildCheckEnv } from '../types';
+import { buildCheckEnv, normalizeCheckOutcome, type CheckOutcome } from '../types';
 import { collectSourceFiles } from '../../capabilities-reconcile';
 import { createProjectFixture } from '../../../../test-setup/project-fixture';
 import type { ConstraintContext } from '../../../../types/constraint';
 
 const TABLE_HEAD = '| 模块 | 文件 | 说明 |\n|------|------|------|\n';
 
+/** 证据行拼成单串，便于按路径断言（harness#119） */
+const evidenceText = (outcome: CheckOutcome): string =>
+  normalizeCheckOutcome(outcome).evidence.join('\n');
+
 function setupProject(name: string, files: string[]): string {
   return createProjectFixture({
     name: `docs-fresh-${name}`,
@@ -66,10 +70,9 @@ describe('docs_freshness — 幽灵判定（文档→代码方向）', () => {
       dir,
       `${TABLE_HEAD}| old | src/old.ts | old |\n| deleted | src/deleted.ts | deleted |`
     );
-    const errSpy = jest.spyOn(console, 'error').mockImplementation(() => {});
-    expect(await docsFreshness.evaluate(makeEnv(dir))).toBe(false);
-    expect(errSpy).toHaveBeenCalledWith(expect.stringContaining('src/deleted.ts'));
-    errSpy.mockRestore();
+    const outcome = await docsFreshness.evaluate(makeEnv(dir));
+    expect(normalizeCheckOutcome(outcome).satisfied).toBe(false);
+    expect(evidenceText(outcome)).toContain('src/deleted.ts');
   });
 
   it('登记的目录条目已消失 → 失败（ADR-0009 口径从严，文件+目录都查）', async () => {
@@ -78,7 +81,9 @@ describe('docs_freshness — 幽灵判定（文档→代码方向）', () => {
       dir,
       `${TABLE_HEAD}| 核心 | src/core/ | 核心 |\n| 遗魂 | src/gone/ | 已删目录 |`
     );
-    expect(await docsFreshness.evaluate(makeEnv(dir))).toBe(false);
+    const outcome = await docsFreshness.evaluate(makeEnv(dir));
+    expect(normalizeCheckOutcome(outcome).satisfied).toBe(false);
+    expect(evidenceText(outcome)).toContain('src/gone/');
   });
 
   it('登记的目录条目仍存在 → 通过', async () => {
@@ -93,7 +98,9 @@ describe('docs_freshness — 幽灵判定（文档→代码方向）', () => {
       dir,
       `${TABLE_HEAD}| routes | src/agents/routes.ts | 活 |\n| 旧路由 | src/agent-configs/routes.ts | 已删 |`
     );
-    expect(await docsFreshness.evaluate(makeEnv(dir))).toBe(false);
+    const outcome = await docsFreshness.evaluate(makeEnv(dir));
+    expect(normalizeCheckOutcome(outcome).satisfied).toBe(false);
+    expect(evidenceText(outcome)).toContain('src/agent-configs/routes.ts');
   });
 });
 
@@ -112,6 +119,8 @@ describe('docs_freshness — 内置 Runner 检查（changelog/context）', () =>
       JSON.stringify({ name: 'x', version: '2.0.0' })
     );
     fs.writeFileSync(path.join(dir, 'CHANGELOG.md'), '## [1.0.0] - 2026-01-01\n\n- old\n');
-    expect(await docsFreshness.evaluate(makeEnv(dir))).toBe(false);
+    const outcome = await docsFreshness.evaluate(makeEnv(dir));
+    expect(normalizeCheckOutcome(outcome).satisfied).toBe(false);
+    expect(evidenceText(outcome)).toContain('1.0.0 !== package.json 版本 2.0.0');
   });
 });

package/src/core/constraints/checkers/__tests__/three-state-consistency.test.ts

@@ -14,7 +14,7 @@
 import { describe, it, expect } from '@jest/globals';
 import { contextDocSync } from '../context-doc-sync';
 import { docsFreshness } from '../docs-freshness';
-import { buildCheckEnv } from '../types';
+import { buildCheckEnv, normalizeCheckOutcome, type CheckOutcome } from '../types';
 import { collectSourceFiles } from '../../capabilities-reconcile';
 import { createProjectFixture } from '../../../../test-setup/project-fixture';
 import type { ConstraintContext } from '../../../../types/constraint';
@@ -62,10 +62,16 @@ function evalDocsFreshness(dir: string) {
   );
 }
 
+/** 三态判定（比较判定结论本身，不比较返回形状——harness#119 后 checker 可带回证据） */
+function verdictOf(outcome: CheckOutcome): true | false | 'skip' {
+  const normalized = normalizeCheckOutcome(outcome);
+  return normalized.skipped ? 'skip' : normalized.satisfied;
+}
+
 /** 同一 fixture 上两条约束的判定必须一致（对照断言） */
 async function expectBoth(dir: string, verdict: true | false | 'skip'): Promise<void> {
-  expect(await evalContextDocSync(dir)).toBe(verdict);
-  expect(await evalDocsFreshness(dir)).toBe(verdict);
+  expect(verdictOf(await evalContextDocSync(dir))).toBe(verdict);
+  expect(verdictOf(await evalDocsFreshness(dir))).toBe(verdict);
 }
 
 describe('context_files 三态对照 — context_doc_sync vs docs_freshness（工单 84）', () => {
@@ -140,6 +146,8 @@ describe('docs_freshness 评估段 skip 行为变更（工单 84：约定已立
       files: ['src/old.ts'],
       capabilitiesBody: `${TABLE_HEAD}| old | src/old.ts | 活 |\n| 遗魂 | src/gone/ | 已删 |`,
     });
-    expect(await evalDocsFreshness(dir)).toBe(false);
+    const outcome = await evalDocsFreshness(dir);
+    expect(verdictOf(outcome)).toBe(false);
+    expect(normalizeCheckOutcome(outcome).evidence.join('\n')).toContain('src/gone/');
   });
 });

package/src/core/constraints/checkers/capability-sync.ts

@@ -1,17 +1,28 @@
 /**
  * capability_sync：CAPABILITIES.md 与代码同步检查（工单 21）
  *
- * 两步验证：
- *   1. Git diff 增量 — 当前变更的非测试文件是否在文档中有记录
- *   2. 全量扫描 — 源码根下所有源文件是否都在 CAPABILITIES.md 中（T-058）
+ * 两步验证，归因不同（harness#119）：
+ *   1. Git diff 增量 — 本次变更的非测试文件是否在文档中有记录 → **判违规**（有因果）
+ *   2. 全量扫描（T-058）— 源码根下所有源文件是否都在 CAPABILITIES.md 中 → **只出提示**
+ *
+ * Step 2 不判违规的理由：它是仓库级完备性不变量，与正在被评估的那次变更无因果——
+ * 一处历史漏登会让此后每次 module_* 评估恒红（studio 实测 22/22 fail，且因 fail
+ * 零证据而无人能定位）。本处保留缺口输出是为了让人看得见、能自己修，而不是为了拦。
+ *
+ * 已知缺口（ADR-0016「影响」①）：降级后仓库级漏登**没有自动拦截点**。`sync-docs --check`
+ * 单独跑会点名并 exit 1，但 CI/ship 都按「先 sync-docs 写入、后 --check」的顺序跑
+ * （2026-08-08 CI 4 连红固化的顺序），而 file 模式的写入正给缺登记自动补行
+ * （`capabilities-syncer` 的 `mode !== 'module'` 分支）、那份写入又不回提——于是流水线里
+ * 永远查不到漏登。补这个牙齿归流水线侧（sync 后 git diff 非空即失败），不在本约束里做。
+ *
+ * 例外：「有表格但零条目」= 文档被清空，判违规（历史门，此前靠 Step 2 兜，现显式化）。
  *
  * 覆盖/漏登判定不在本文件实现，统一走 capabilities-reconcile（ADR-0009）：
  * 目录条目（以 / 结尾）前缀匹配，文件条目精确匹配或路径边界后缀匹配；
  * module 模式下目录条目参与覆盖，未覆盖文件按源码根下第一级子目录聚合。
  *
  * 清单格式（计数行，mode=listing 或嗅探命中）无文件表可核对，直接放行；
- * 「有表格但零条目」不得放行，无表格的散文文档保持历史放行；
- * 检查异常时 fail-open 但输出 console.warn 保留可观测性。
+ * 无表格的散文文档保持历史放行；检查异常时 fail-open 但输出 console.warn 保留可观测性。
  *
  * ADR-0001 存在性探测：项目根无 CAPABILITIES.md（未采用该约定）时返回 'skip'，
  * 不计 pass/fail，避免在未采用约定的项目上全量误报。
@@ -23,7 +34,7 @@ import { isCapabilityListingFormat } from '../capabilities-parser';
 import { getCapabilitiesMode } from '../../project-config-loader';
 import { detectSourceRoots } from '../../../utils/detect-source-roots';
 import { reconcileCapabilities, significantCodeChanges } from '../capabilities-reconcile';
-import type { ConstraintCheck } from './types';
+import { formatEvidence, type ConstraintCheck } from './types';
 
 export const capabilitySync: ConstraintCheck = {
   id: 'capability_sync',
@@ -59,25 +70,52 @@ export const capabilitySync: ConstraintCheck = {
         sourceRoots,
       });
 
-      // 零条目门槛：有表格但什么都没登记时不得直接放行
-      const gateOpen = verdict.coverageEntries.length === 0 && !verdict.hasTable;
-      if (gateOpen) return true;
+      // 无表格的散文文档：历史放行语义
+      if (!verdict.hasTable) return true;
 
-      // ── Step 1: Git diff 增量检查（每个变更文件都必须被覆盖）──
-      if (verdict.uncoveredChanges.length > 0) return false;
+      // 文档退化门：有表格却什么都没登记（限定「源码根下确有文件」——空仓 + 空表没有可登记
+      // 对象，历史行为是放行，本票不顺手扩大 fail 面）
+      if (verdict.coverageEntries.length === 0 && population.length > 0) {
+        return {
+          pass: false,
+          evidence: ['CAPABILITIES.md 有表格但零条目登记，运行 harness sync-docs 或直接补登记'],
+        };
+      }
 
-      // ── Step 2: 全量源码根扫描（T-058 修复核心）──
-      if (capabilitiesMode === 'module') {
-        if (verdict.uncoveredDirs.length > 0) return false;
-      } else if (verdict.uncoveredFiles.length > 0) {
-        return false;
+      // ── Step 1: Git diff 增量检查（与本次变更有因果，每个变更文件都必须被覆盖）──
+      if (verdict.uncoveredChanges.length > 0) {
+        return {
+          pass: false,
+          evidence: formatEvidence(
+            `本次变更有 ${verdict.uncoveredChanges.length} 个文件未登记进 CAPABILITIES.md`,
+            verdict.uncoveredChanges
+          ),
+        };
+      }
+
+      // ── Step 2: 全量源码根扫描（T-058）——仓库级漂移，只提示不判违规，见文件头 ──
+      const gaps = capabilitiesMode === 'module' ? verdict.uncoveredDirs : verdict.uncoveredFiles;
+      if (gaps.length > 0) {
+        const kind = capabilitiesMode === 'module' ? '未登记模块目录' : '未登记源文件';
+        return {
+          pass: true,
+          evidence: formatEvidence(
+            `CAPABILITIES.md ${kind} ${gaps.length} 项（仓库级漂移，与本次变更无关；修复: harness sync-docs）`,
+            gaps
+          ),
+        };
       }
 
       return true;
     } catch (err) {
-      // fail-open 语义保留，但必须可观测：静默吞错会让解析 bug 变成「永远通过」
+      // fail-open 语义保留，但异常放行也要落地可见：warn 只进本地 stderr，
+      // 进不了 trace——静默吞错会让解析 bug 变成「永远通过」（harness#119 同族问题）
+      const reason = err instanceof Error ? err.message : String(err);
       console.warn('[capability_sync] 检查执行异常，默认放行：', err);
-      return true;
+      return {
+        pass: true,
+        evidence: [`检查异常，按 fail-open 放行: ${reason}（本次结果不代表文档已同步）`],
+      };
     }
   },
 };

package/src/core/constraints/checkers/docs-freshness.ts

@@ -15,6 +15,7 @@ import { detectSourceRoots } from '../../../utils/detect-source-roots';
 import { reconcileCapabilities } from '../capabilities-reconcile';
 import type { DocFreshnessCheck } from '../../../types/project-config';
 import type { ConstraintCheck, CheckEnv } from './types';
+import { formatEvidence } from './types';
 
 /**
  * 内置默认文档新鲜度检查配置
@@ -95,10 +96,13 @@ export const docsFreshness: ConstraintCheck = {
     // Step 1: 文件表格式 — 登记的条目（文件+目录）是否仍存在（ADR-0009）
     const deadEntries = findDeadCapabilityEntries(projectPath, env);
     if (deadEntries.length > 0) {
-      // 报出具体条目：此前只返回 false，CLI 只能打印通用提示，
-      // 幽灵条目 basename 碰撞时 sync-docs 也不剔除，用户无从定位（2026-08-08 studio CI 4 连红）
-      console.error(`[docs_freshness] CAPABILITIES.md 登记的条目不存在: ${deadEntries.join(', ')}`);
-      return false;
+      // 证据通道点名条目（harness#119）：此前是 console.error 侧信道（2026-08-08 studio
+      // CI 4 连红时的临时办法），CLI 结构化输出与 trace 两头都拿不到，
+      // 铁律拦截时用户只看到一句通用提示，basename 碰撞下无从定位
+      return {
+        pass: false,
+        evidence: formatEvidence('CAPABILITIES.md 登记的条目不存在', deadEntries),
+      };
     }
 
     // Step 2: 能力清单格式 + CLAUDE.md + CHANGELOG — 通过 FreshnessRunner
@@ -120,7 +124,16 @@ export const docsFreshness: ConstraintCheck = {
         results = runner.runAll({ checks: getBuiltInDocFreshnessConfig() }, projectPath, { requiredDirs });
       }
 
-      if (!results.every(r => r.pass)) return false;
+      const failed = results.filter(r => !r.pass);
+      if (failed.length > 0) {
+        return {
+          pass: false,
+          evidence: formatEvidence(
+            '文档新鲜度检查未通过',
+            failed.map(r => `${r.label}: ${r.message ?? '未通过'}`)
+          ),
+        };
+      }
     } catch {
       // FreshnessRunner 失败不影响整体
     }

package/src/core/constraints/checkers/index.ts

@@ -80,5 +80,12 @@ export function registeredCheckCount(): number {
   return registry.size;
 }
 
-export { buildCheckEnv } from './types';
-export type { ConstraintCheck, CheckEnv, CheckOutcome, EvidenceProviders } from './types';
+export { buildCheckEnv, normalizeCheckOutcome } from './types';
+export type {
+  ConstraintCheck,
+  CheckEnv,
+  CheckOutcome,
+  CheckDetail,
+  NormalizedOutcome,
+  EvidenceProviders,
+} from './types';

package/src/core/constraints/checkers/types.ts

@@ -73,8 +73,64 @@ export function buildCheckEnv(
  * - true = 满足（pass）
  * - false = 违反（fail）
  * - 'skip' = 未评估（项目未采用对应约定，或证据 flag 未接线），不计 pass/fail
+ * - CheckDetail = 判定 + 证据行（harness#119）
  */
-export type CheckOutcome = boolean | 'skip';
+export type CheckOutcome = boolean | 'skip' | CheckDetail;
+
+/**
+ * 带证据的检查结果（harness#119）
+ *
+ * 动机：只回布尔时，fail 的具体原因（哪个文件没登记）在 CLI 与 trace 两头都落脚不了，
+ * 一条恒红的约束无法被诊断。证据行由 checker 自行措辞（自描述、可直接给人看），
+ * 编排层只负责透传与打印，不参与解释内容。
+ *
+ * `pass: true` + 非空 evidence = 「满足但有提示」：不进 pass/fail 统计口径，
+ * 仅作为可观测输出（如仓库级文档漂移——与本次变更无因果，不该判违规）。
+ */
+export interface CheckDetail {
+  /** false = 违反；true = 满足 */
+  pass: boolean;
+  /** 证据行（每条自描述，如「变更文件未登记: src/foo.ts」） */
+  evidence?: string[];
+}
+
+/** 归一后的检查结果：编排层 / gate 唯一消费形状 */
+export interface NormalizedOutcome {
+  satisfied: boolean;
+  skipped: boolean;
+  evidence: string[];
+}
+
+/** 证据条数上限：trace 是 JSONL，缺口上百项时不能整仓落盘 */
+export const MAX_EVIDENCE_ITEMS = 10;
+
+/**
+ * 组装证据行：一行说明 + 逐条依据（超限截断）
+ *
+ * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / 铁律异常文案）决定，trace 原样存。
+ * 修复入口不写在这里：那是各约束自己的事，写进各自的 summary 行（docs_freshness 的
+ * 幽灵条目与 sync-docs 无关，共用一个指针会误导）。
+ */
+export function formatEvidence(summary: string, items: string[]): string[] {
+  const shown = items.slice(0, MAX_EVIDENCE_ITEMS);
+  const hidden = items.length - shown.length;
+  return [...(summary ? [summary] : []), ...shown, ...(hidden > 0 ? [`…另 ${hidden} 项`] : [])];
+}
+
+/**
+ * 归一 CheckOutcome（boolean | 'skip' | CheckDetail）为统一形状
+ *
+ * skip 恒不携带证据：未评估的约束不得留下证据行（否则统计侧会把「没查」读成「查出问题」）。
+ */
+export function normalizeCheckOutcome(outcome: CheckOutcome): NormalizedOutcome {
+  if (outcome === 'skip') return { satisfied: true, skipped: true, evidence: [] };
+  if (typeof outcome === 'boolean') return { satisfied: outcome, skipped: false, evidence: [] };
+  return {
+    satisfied: outcome.pass,
+    skipped: false,
+    evidence: outcome.evidence ?? [],
+  };
+}
 
 /**
  * 单条约束检查实现
@@ -82,7 +138,7 @@ export type CheckOutcome = boolean | 'skip';
 export interface ConstraintCheck {
   /** 约束 ID（与 definitions 一致） */
   id: string;
-  /** 检查主体：true = 满足；false = 违反；'skip' = 未评估 */
+  /** 检查主体：true = 满足；false = 违反；'skip' = 未评估；CheckDetail = 判定 + 证据行 */
   evaluate(env: CheckEnv): Promise<CheckOutcome> | CheckOutcome;
 }
 

package/src/core/constraints/git-evidence.ts

@@ -1,10 +1,13 @@
 /**
- * git 证据适配器（架构评审 #87）
+ * git 证据适配器（架构评审 #87，适用范围按 ADR-0021 收窄）
  *
- * 全仓唯一的 git 取证点：context-builder（触发推断）与 checker 层（CheckEnv 证据）
+ * check 链路的唯一 git 取证点：context-builder（触发推断）与 checker 层（CheckEnv 证据）
  * 共用同一实例 = 共用同一证据来源。此前两处各自抓真 git，一次 CLI check 里
  * `git diff --cached --name-only` 实跑两遍。
  *
+ * 链外站点（写操作 / 发布编排 / 审查流 / 降级容忍）不并入本 seam，记名豁免清单见
+ * `core/CONTEXT.md` 约定段；同型站点（spec/validator 的 staged 列表）经此取证据。
+ *
  * seam 上的两个真 adapter：
  * - 缺省 realGitCommandRunner：真 git 子进程
  * - 注入 runner：委托/计数/命令表（测试与定制场景）
@@ -77,7 +80,7 @@ export function parseHeadDirs(treeOutput: string): Set<string> {
 }
 
 /**
- * 构造 git 证据 adapter（生产侧唯一构造点）
+ * 构造 git 证据 adapter（GitEvidence 实例的唯一构造点：check 链路与 spec/validator 的 staged 取证都经此）
  *
  * @param projectPath 取证目录
  * @param run 命令执行器，缺省真 git；测试注入计数/替身执行器即可脱离子进程

package/src/core/index.ts

@@ -59,21 +59,10 @@ export type {
   CheckType,
   CheckConfig,
   PassesGateConfig,
-  PassesGateResult,
   TaskTestResult,
   DynamicTask,
 } from './validators';
 
-// 会话启动 / 净室状态
-export {
-  SessionStartup,
-  createSessionStartup,
-  DEFAULT_CODE_CHECKPOINTS,
-  MINIMAL_CHECKPOINTS,
-  CleanStateManager,
-  createCleanStateManager,
-} from './session';
-
 // Spec 验证器
 export { SpecValidator } from './spec/validator';
 export type {

package/src/core/spec/__tests__/validator.test.ts

@@ -3,6 +3,7 @@
  */
 
 import { SpecValidator, validateSpec, validateAllSpecs } from '../validator';
+import type { GitCommandRunner } from '../../constraints/git-evidence';
 import * as fs from 'fs/promises';
 
 // Mock fs
@@ -263,6 +264,29 @@ describe('SpecValidator', () => {
       expect(result).toBeDefined();
       expect(result.total).toBeGreaterThanOrEqual(0);
     });
+
+    it('staged 取证经 GitEvidence adapter（注入 runner，不落 child_process）', async () => {
+      const calls: Array<{ command: string; cwd: string }> = [];
+      const runner: GitCommandRunner = (command, cwd) => {
+        calls.push({ command, cwd });
+        return 'specs/test.yml\nARCHITECTURE.md\nsrc/utils/helper.ts';
+      };
+
+      const files: string[] = await (validator as any).getStagedFiles('/repo', runner);
+
+      expect(calls).toEqual([{ command: 'git diff --cached --name-only', cwd: '/repo' }]);
+      expect(files).toEqual(['/repo/specs/test.yml', '/repo/ARCHITECTURE.md']);
+    });
+
+    it('runner 抛错 → 空列表（取证失败降级语义与迁移前一致）', async () => {
+      const runner: GitCommandRunner = () => {
+        throw new Error('not a git repository');
+      };
+
+      const files: string[] = await (validator as any).getStagedFiles('/repo', runner);
+
+      expect(files).toEqual([]);
+    });
   });
 
   describe('validate with custom schema', () => {

package/src/core/spec/validator.ts

@@ -12,7 +12,7 @@
 import * as fs from 'fs/promises';
 import * as path from 'path';
 import * as glob from 'fast-glob';
-import { execAsync } from '../../utils/exec';
+import { createGitEvidence, splitFileNames, type GitCommandRunner } from '../constraints/git-evidence';
 import type {
   SpecValidatorConfig,
   SpecValidationResult,
@@ -243,7 +243,7 @@ export class SpecValidator {
     let files: string[];
 
     if (staged) {
-      files = await this.getStagedFiles();
+      files = await this.getStagedFiles(cwd);
     } else {
       files = await this.getSpecFiles(cwd);
     }
@@ -291,15 +291,14 @@ export class SpecValidator {
 
   /**
    * 获取暂存的 Spec 文件
+   *
+   * git 事实经 GitEvidence adapter（ADR-0021）；`run` 缺省真 git，测试注入替身。
    */
-  private async getStagedFiles(): Promise<string[]> {
-    try {
-      const { stdout } = await execAsync('git diff --cached --name-only');
-      const allFiles = stdout.trim().split('\n').filter(Boolean);
-      return allFiles.filter(f => this.isSpecFile(f));
-    } catch {
-      return [];
-    }
+  private async getStagedFiles(cwd: string, run?: GitCommandRunner): Promise<string[]> {
+    const evidence = createGitEvidence(cwd, run);
+    return splitFileNames(evidence.changedFileNames(true))
+      .filter(f => this.isSpecFile(f))
+      .map(f => path.resolve(cwd, f));
   }
 
   /**

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

@@ -2,7 +2,7 @@
  * Tests for passes-gate.ts
  *
  * Priority: test pure logic methods (check)
- * Skip methods that do real file I/O / exec (setPasses, runTests, runTest, detectTestCommand, etc.)
+ * Skip methods that do real file I/O / exec (runTests, runTest, detectTestCommand, etc.)
  * 测试产物解析判定不在此面：见 test-output.test.ts（ADR-0012）
  */
 
@@ -16,7 +16,7 @@ describe('PassesGate', () => {
     });
 
     it('creates a PassesGate instance with custom config', () => {
-      const gate = createPassesGate({ enabled: false, maxRetries: 5 });
+      const gate = createPassesGate({ enabled: false, allowPartialPass: true });
       expect(gate).toBeInstanceOf(PassesGate);
     });
   });
@@ -67,11 +67,4 @@ describe('PassesGate', () => {
       expect(result.testResult).toEqual(testResult);
     });
   });
-
-  describe('getTestResult', () => {
-    it('returns undefined for unknown task', () => {
-      const gate = createPassesGate();
-      expect(gate.getTestResult('unknown')).toBeUndefined();
-    });
-  });
 });

package/src/core/validators/index.ts

@@ -19,7 +19,6 @@ export type {
 
 export type {
   PassesGateConfig,
-  PassesGateResult,
   TaskTestResult,
   DynamicTask,
 } from '../../types/passes-gate';