@dommaker/harness 1.1.1 → 1.2.1

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

@@ -26,6 +26,48 @@ export interface CheckEnv {
   srcScan(root: string): string[];
 }
 
+/**
+ * 证据提供者组：git diff / 源码扫描的 memoized I/O
+ *
+ * 由调用方绑定后传入 buildCheckEnv（如 ConstraintChecker 绑实例级
+ * run 缓存的方法）；工厂本身不做 memoization。
+ */
+export interface EvidenceProviders {
+  /** staged 全量 diff */
+  stagedDiff(): Promise<string>;
+  /** staged 变更文件名列表 */
+  stagedDiffNames(): Promise<string>;
+  /** 源码根相对路径文件列表 */
+  srcScan(root: string): string[];
+}
+
+/**
+ * 构造 CheckEnv：生产侧唯一构造点
+ *
+ * - providers 传入 = 证据接线，checker 正常评估
+ * - 'none' = 显式不接证据：证据函数返回空；evidence flag 未接线的
+ *   checker 按契约返回 'skip'（见 contextEvidenceFlag），直接读空
+ *   证据的 checker 在自然输入下判定
+ *
+ * studio 侧若需 git 证据（#129），传真实 providers 即可。
+ */
+export function buildCheckEnv(
+  context: ConstraintContext,
+  evidence: EvidenceProviders | 'none'
+): CheckEnv {
+  const projectPath = context.projectPath || process.cwd();
+  if (evidence === 'none') {
+    return {
+      context,
+      projectPath,
+      stagedDiff: async () => '',
+      stagedDiffNames: async () => '',
+      srcScan: () => [],
+    };
+  }
+  return { context, projectPath, ...evidence };
+}
+
 /**
  * 检查结果三态（ADR-0001 存在性探测 / flag 未接线）：
  * - true = 满足（pass）

package/src/core/constraints/definitions/guidelines.ts

@@ -68,7 +68,6 @@ export const GUIDELINES: Record<string, Constraint> = {
 - 性能优化不改变接口
 
 支持模块级目录条目登记：governance.capabilities.mode=module 时按目录覆盖判定（如 src/core/ 一条目录条目覆盖该目录下所有源文件）。`,
-    exceptions: ['internal_refactor', 'bug_fix_only', 'performance_optimization'],
   },
 
   /**
@@ -97,6 +96,27 @@ export const GUIDELINES: Record<string, Constraint> = {
 - 临时目录（tmp、temp）
 - 测试目录（__tests__、test）
 - 生成代码目录（dist、build、generated）`,
-    exceptions: ['temp_dir', 'test_dir', 'generated_code'],
+  },
+
+  /**
+   * 治理契约在场守护（studio #302，ADR 2026-08-21 落点模型）
+   * 原因：PRESERVE 只保「存在」不保「在场」——AGENTS.md 治理段被删除/掏空后
+   *       sync-docs 重新生成会静默丢失约束正本
+   */
+  governance_presence: {
+    id: 'governance_presence',
+    kind: 'check',
+    rule: 'GOVERNANCE CONTRACT MUST BE PRESENT (AGENTS.MD PRESERVE:GOVERNANCE BLOCK OR CLAUDE.MD GOVERNANCE RULES)',
+    message: '治理契约缺失：AGENTS.md 缺少非空 PRESERVE:governance 段，且 CLAUDE.md 无 Governance Rules 块',
+    level: 'guideline',
+    trigger: ['file_modification', 'module_creation', 'module_modification', 'doc_update', 'config_change', 'commit'],
+    enforcement: 'governance-presence-check',
+    description: `治理契约（约束清单正本）必须在场，两处居其一：
+- 新模型：AGENTS.md 手写 \`<!-- PRESERVE:governance -->\` 段（块体非空）
+- 旧模型：CLAUDE.md 的 \`## Governance Rules\` 块 / HARNESS_CONSTRAINTS 注入段
+
+PRESERVE 机制只保证「存在的段重新生成时保留」，不保证「段在场」——段被删除或掏空后，
+sync-docs 重新生成会静默丢弃治理契约。本检查在 harness check 时校验在场性，防静默丢失。
+未采用 harness 治理（无 .harness/config.yml）的项目跳过评估（skip）。`,
   },
 };

package/src/core/constraints/definitions/prompts.ts

@@ -76,7 +76,6 @@ export const PROMPTS: Record<string, Constraint> = {
 - 用 fallback/兜底值掩盖上游数据异常而不追根因
 - Read 定位后直接 Edit，不对照设计原型确认意图
 - 从"数字异常"直接跳到根因结论，不验证假设的含义与量纲`,
-    exceptions: ['simple_typo', 'config_value_error', 'missing_config'],
     promptInjection: '修复问题前必须先诊断根因——不止"哪里出错"，而是"为什么设计成这样"：用 Read/Grep 定位后禁止直接 Edit，先对照设计原型（CLAUDE.md、类型定义、commit message）确认原设计意图，呈现确认的根因+方案草案后才能动手。遇到空值/异常/不完整数据，禁止用 fallback/兜底/try-catch 掩盖——先追上游：数据谁产生的？为什么是空的？选择防御性兜底时必须在注释中说明根因；同一位置连续兜底 2+ 次是上游 bug 信号，停止修下游、追踪源头。从数据到结论必须先验证关键假设：数字的含义（累积/单次？量纲？）、正常范围、同类场景对比与反例，禁止"数字异常→直接定根因→直接改"的跳级推理。不绕过问题、不遮掩症状、不用临时方案代替根本修复。',
   },
 
@@ -107,7 +106,6 @@ export const PROMPTS: Record<string, Constraint> = {
 - reliability_required: 需要持久化/高可用
 
 YAGNI：不为"未来可能需要"添加抽象层、接口、配置项或插件系统；一个抽象只有一个实现者时删除该抽象。`,
-    exceptions: ['scalability_required', 'security_required', 'performance_required', 'reliability_required'],
     promptInjection: '最简方案优先：用最少代码解决当前问题，不添加"以防万一"的冗余功能，不为仅用一次的代码强行设计抽象。创建新模块/文件/能力前，先查现有能力索引确认无可复用——优先级：直接复用 > 扩展现有 > 组合现有 > 新建。遵循 YAGNI：不为"未来可能需要"添加抽象层、接口、配置项或插件系统；一个 interface/abstract class 只有一个实现者时，删除这个抽象。自检：资深工程师是否会认为此实现过度复杂？若是，立即简化。',
     injectPrompt: true,
   },
@@ -137,7 +135,6 @@ YAGNI：不为"未来可能需要"添加抽象层、接口、配置项或插件
 - 类型定义文件（.d.ts、interface）
 - 简单 getter/setter
 - 纯展示 UI 组件（无交互逻辑）`,
-    exceptions: ['config_file', 'type_definition', 'simple_accessor', 'pure_display_component'],
     promptInjection: '新代码必须同时编写测试。实现功能前先写测试用例（RED），然后实现让测试通过（GREEN）。不得提交无测试覆盖的实现代码。',
   },
 
@@ -164,7 +161,6 @@ YAGNI：不为"未来可能需要"添加抽象层、接口、配置项或插件
 - 发现冗余代码后的重构优化
 - 用更简洁的实现达到相同效果
 - 删除不再使用的遗留代码`,
-    exceptions: ['redundant_code_cleanup', 'same_effect_refactor', 'unused_code_removal'],
     promptInjection: '不得擅自简化或删除测试、lint 规则、类型检查或约束。如需降低检查标准，必须先提案并获明确批准。',
   },
 
@@ -272,7 +268,6 @@ YAGNI：不为"未来可能需要"添加抽象层、接口、配置项或插件
 - 用户明确说"直接做"、"不用问"
 - 紧急修复
 - 已有明确设计文档`,
-    exceptions: ['explicit_instruction', 'emergency_fix', 'existing_design'],
     promptInjection: '涉及架构变更、新增依赖、API 设计等重大决策时，必须先提出讨论获得确认，再开始实现。不要凭单方面判断做架构决策。',
   },
 

package/src/core/constraints/index.ts

@@ -20,6 +20,7 @@ export {
   checkBeforeExecution,
   constraintChecker,
 } from './checker';
+export type { CheckConstraintsOptions, TraceRecorder } from './checker';
 
 // CLAUDE.md 约束注入段渲染（纯函数，init 注入与漂移校验共用）
 export {
@@ -51,20 +52,4 @@ export type {
   IronLawContext,
 } from '../../types/constraint';
 
-export { ConstraintViolationError } from '../../types/constraint';
-
-// 约束拦截器
-export {
-  ConstraintInterceptor,
-  constraintInterceptor,
-  interceptOperation,
-  claimOperation,
-} from './interceptor';
-
-export type {
-  EnforcementId,
-  EnforcementExecutor,
-  EnforcementContext,
-  EnforcementResult,
-  InterceptionResult,
-} from '../../types/enforcement';
+export { ConstraintViolationError } from '../../types/constraint';

package/src/core/constraints/injection-drift.ts

@@ -1,5 +1,5 @@
 /**
- * CLAUDE.md 约束注入段漂移校验（ADR-0001 决策 7）
+ * 治理约束注入段漂移校验（ADR-0001 决策 7）
  *
  * 检测三类漂移：
  * 1. 版本漂移：标记段内 `<!-- version: x -->` ≠ 当前 harness 包版本
@@ -9,8 +9,12 @@
  * 3. 重复章节：标记段之外还存在另一个 `## Governance Rules` 标题
  *    （init 旧版本在无标记时追加第二个同名章节的历史问题）
  *
+ * 落点路由（studio #307，ADR 2026-08-21 落点模型）：注入段可能在
+ * CLAUDE.md（旧模型仓）或 AGENTS.md `PRESERVE:governance` 段内（新模型仓），
+ * 与 init 的 setupGovernanceConstraints 路由一致——CLAUDE.md 有标记优先。
+ *
  * 纯检测、只读：不改任何文件。check 仅警告不阻断，详细差异进 report。
- * 文件无标记段 = 未注入，不算漂移（report 一句话提示，check 不警告）。
+ * 两处均无标记段 = 未注入，不算漂移（report 一句话提示，check 不警告）。
  */
 
 import * as fs from 'fs';
@@ -22,12 +26,18 @@ import {
   renderConstraintsSection,
 } from './injection-renderer';
 
+/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 豁免优先） */
+const INJECTION_FILES = ['CLAUDE.md', 'AGENTS.md'] as const;
+export type InjectionFile = (typeof INJECTION_FILES)[number];
+
 /** 注入漂移检测结果 */
 export interface InjectionDrift {
   /** 是否存在任一漂移（版本/内容/重复章节） */
   hasDrift: boolean;
-  /** CLAUDE.md 不存在或无约束标记段（未注入，不算漂移） */
+  /** CLAUDE.md / AGENTS.md 均无约束标记段（未注入，不算漂移） */
   notInjected: boolean;
+  /** 注入段落点文件（未注入时 undefined） */
+  injectionFile?: InjectionFile;
   /** 版本漂移：注入段版本 ≠ 当前 harness 版本 */
   versionDrift?: { expected: string; actual: string };
   /**
@@ -73,8 +83,41 @@ function significantLines(section: string): string[] {
     .filter(l => ENTRY_LINE_RE.test(l) || GROUP_HEADING_RE.test(l));
 }
 
+function readIfExists(filePath: string): string | null {
+  try {
+    const content = fs.readFileSync(filePath, 'utf-8');
+    return typeof content === 'string' ? content : null;
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * 解析治理约束注入段落点（studio #307，ADR 2026-08-21 落点模型）
+ *
+ * 与 init 的 setupGovernanceConstraints 路由一致：CLAUDE.md 含标记段优先
+ * （旧模型仓豁免），否则看 AGENTS.md（新模型仓注入段在 PRESERVE:governance 内）；
+ * 两处均无完整标记段 → null（未注入）。
+ *
+ * detectInjectionDrift 与 constraints retire 的注入段同步共用本路由。
+ */
+export function resolveInjectionTarget(
+  projectRoot: string
+): { file: InjectionFile; content: string; startIdx: number; endIdx: number } | null {
+  for (const file of INJECTION_FILES) {
+    const content = readIfExists(path.join(projectRoot, file));
+    if (content === null) continue;
+    const startIdx = content.indexOf(CONSTRAINTS_START_MARKER);
+    const endIdx = content.indexOf(CONSTRAINTS_END_MARKER);
+    if (startIdx !== -1 && endIdx !== -1 && endIdx > startIdx) {
+      return { file, content, startIdx, endIdx };
+    }
+  }
+  return null;
+}
+
 /**
- * 检测 CLAUDE.md 约束注入段漂移
+ * 检测约束注入段漂移
  *
  * @param projectRoot 项目根路径
  * @param currentVersion 当前 harness 版本（缺省读 package.json；测试可显式传入）
@@ -90,31 +133,27 @@ export function detectInjectionDrift(
     fixHint: INJECTION_DRIFT_FIX_HINT,
   };
 
-  const claudeMdPath = path.join(projectRoot, 'CLAUDE.md');
-  let content: string;
-  try {
-    content = fs.readFileSync(claudeMdPath, 'utf-8');
-  } catch {
-    result.notInjected = true;
-    return result;
-  }
-  if (typeof content !== 'string') {
+  const target = resolveInjectionTarget(projectRoot);
+  if (!target) {
+    // 两处均无标记段 = 未注入，不算漂移（check 不警告）。
+    // 重复章节仍如实记录供 report 提示：旧落点 CLAUDE.md 优先，其次 AGENTS.md。
+    const legacy =
+      readIfExists(path.join(projectRoot, 'CLAUDE.md')) ??
+      readIfExists(path.join(projectRoot, 'AGENTS.md'));
+    if (legacy !== null) {
+      result.duplicateHeading = (legacy.match(GOVERNANCE_HEADING_RE) ?? []).length > 1;
+    }
     result.notInjected = true;
     return result;
   }
 
+  result.injectionFile = target.file;
+  const { content, startIdx, endIdx } = target;
+
   // 重复章节：全文统计 `## Governance Rules` 标题数（含标记段所属的合法标题）
   const headingCount = (content.match(GOVERNANCE_HEADING_RE) ?? []).length;
   result.duplicateHeading = headingCount > 1;
 
-  const startIdx = content.indexOf(CONSTRAINTS_START_MARKER);
-  const endIdx = content.indexOf(CONSTRAINTS_END_MARKER);
-  if (startIdx === -1 || endIdx === -1 || endIdx <= startIdx) {
-    // 无标记段 = 未注入，不算漂移（check 不警告；duplicateHeading 仍如实记录供 report 提示）
-    result.notInjected = true;
-    return result;
-  }
-
   const actualSection = content.slice(startIdx, endIdx + CONSTRAINTS_END_MARKER.length);
 
   // 1. 版本漂移

package/src/core/constraints/usage-report.ts

@@ -33,12 +33,11 @@ export interface ConstraintUsageStats {
   id: string;
   level: Constraint['level'];
 
-  /** trace 总行数（含 skip/bypassed） */
+  /** trace 总行数（含 skip） */
   total: number;
   pass: number;
   fail: number;
   skip: number;
-  bypassed: number;
 
   /** 实际评估次数（total - skip；skip 未评估不计入，与 TraceAnalyzer 一致） */
   evaluated: number;
@@ -129,26 +128,25 @@ export function readProjectTraces(projectRoot: string): ExecutionTrace[] {
 export function collectUsageByConstraint(
   traces: ExecutionTrace[]
 ): Map<string, Omit<ConstraintUsageStats, 'id' | 'level' | 'evaluated' | 'failRate'>> {
-  const map = new Map<string, { total: number; pass: number; fail: number; skip: number; bypassed: number; firstAt?: number; lastAt?: number }>();
+  const map = new Map<string, { total: number; pass: number; fail: number; skip: number; firstAt?: number; lastAt?: number }>();
   for (const t of traces) {
     let agg = map.get(t.constraintId);
     if (!agg) {
-      agg = { total: 0, pass: 0, fail: 0, skip: 0, bypassed: 0 };
+      agg = { total: 0, pass: 0, fail: 0, skip: 0 };
       map.set(t.constraintId, agg);
     }
     agg.total++;
     if (t.result === 'pass') agg.pass++;
     else if (t.result === 'fail') agg.fail++;
     else if (t.result === 'skip') agg.skip++;
-    else if (t.result === 'bypassed') agg.bypassed++;
     if (agg.firstAt === undefined || t.timestamp < agg.firstAt) agg.firstAt = t.timestamp;
     if (agg.lastAt === undefined || t.timestamp > agg.lastAt) agg.lastAt = t.timestamp;
   }
   return map;
 }
 
-function toStats(id: string, level: Constraint['level'], agg: { total: number; pass: number; fail: number; skip: number; bypassed: number; firstAt?: number; lastAt?: number } | undefined): ConstraintUsageStats {
-  const a = agg ?? { total: 0, pass: 0, fail: 0, skip: 0, bypassed: 0 };
+function toStats(id: string, level: Constraint['level'], agg: { total: number; pass: number; fail: number; skip: number; firstAt?: number; lastAt?: number } | undefined): ConstraintUsageStats {
+  const a = agg ?? { total: 0, pass: 0, fail: 0, skip: 0 };
   const evaluated = a.total - a.skip;
   return {
     id,
@@ -157,7 +155,6 @@ function toStats(id: string, level: Constraint['level'], agg: { total: number; p
     pass: a.pass,
     fail: a.fail,
     skip: a.skip,
-    bypassed: a.bypassed,
     evaluated,
     failRate: evaluated > 0 ? a.fail / evaluated : 0,
     firstAt: a.firstAt,

package/src/core/effective-constraints.ts

@@ -8,24 +8,28 @@
  */
 
 import type { Constraint } from '../types/constraint';
+import type { MergedConstraintsConfig } from '../types/project-config';
 import { PROMPTS } from './constraints/definitions';
 import { ProjectConfigLoader } from './project-config-loader';
 
 /**
  * 获取项目当前生效的约束集（check + prompt，带 kind）
  *
- * 内部完成完整合并：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
- * 删除（内置与 custom 同效）→ custom-constraints 追加/extend_exceptions
- * （禁用/已退役的 custom 不追加）→ scenes 过滤
+ * 生效集链路同 getMergedConstraintsConfig：内置 → preset 裁剪 → config.yml
+ * `constraints.<id>.enabled:false` 删除（内置与 custom 同效）→ custom-constraints
+ * 追加（禁用/已退役的 custom 不追加）→ scenes 过滤
  * （带 appliesTo 的 prompt 仅当 config.yml `scenes` 与其交集非空时保留，
  * 缺省 scenes=[] 即场景专属 prompt 默认不进入生效集）。
  *
  * @param projectRoot 项目根路径（缺省 process.cwd()）
+ * @param options.preset 覆盖 config.yml 的 preset；仅在项目无自定义配置时生效
+ *   （与 getMergedConstraintsConfig 同一优先级规则），不传则尊重 config.yml
  */
-export function getEffectiveConstraints(projectRoot: string = process.cwd()): Constraint[] {
-  const loader = new ProjectConfigLoader(projectRoot);
-  loader.load();
-  const merged = loader.mergeConstraints();
+export function getEffectiveConstraints(
+  projectRoot: string = process.cwd(),
+  options?: { preset?: string }
+): Constraint[] {
+  const merged = getMergedConstraintsConfig(projectRoot, options);
   return [
     ...Object.values(merged.ironLaws),
     ...Object.values(merged.guidelines),
@@ -33,6 +37,30 @@ export function getEffectiveConstraints(projectRoot: string = process.cwd()): Co
   ];
 }
 
+/**
+ * 获取项目当前生效的合并约束配置（ADR-0001 唯一来源的完整形状）
+ *
+ * 与 getEffectiveConstraints 同一生效集链路，返回完整 MergedConstraintsConfig
+ * （含 disabled/custom/unknownIds），供 check 等需要诊断信息的消费方使用。
+ *
+ * options.preset（CLI --preset）仅在项目无自定义配置时覆盖 config.yml 的
+ * preset（工单 23 语义：项目自定义配置优先于 CLI 预设）；不传 preset 时
+ * 完全尊重 config.yml 的 preset 键。
+ *
+ * @param projectRoot 项目根路径（缺省 process.cwd()）
+ */
+export function getMergedConstraintsConfig(
+  projectRoot: string = process.cwd(),
+  options?: { preset?: string }
+): MergedConstraintsConfig {
+  const loader = new ProjectConfigLoader(projectRoot);
+  loader.load();
+  if (loader.hasCustomConfig() || !options?.preset) {
+    return loader.mergeConstraints();
+  }
+  return loader.mergeConstraints({ preset: options.preset });
+}
+
 /**
  * 生效集配置诊断结果
  */

package/src/core/effective-set.ts

@@ -0,0 +1,56 @@
+/**
+ * 生效集共享筛选器（ADR-0001 收口）
+ *
+ * 「config.yml 引用了哪些 id、哪些被禁用」的判定，约束侧与门禁侧共用一份：
+ * - 约束侧（ProjectConfigLoader.mergeConstraints）：未知 id 静默忽略，
+ *   收集进结果 unknownIds 供诊断（历史配置可能存在已移除约束的禁用残留）
+ * - 门禁侧（getEffectiveGates）：未知 id 抛错（闭环校验；gates 配置段为
+ *   新增面，不存在历史残留配置）
+ *
+ * 行为差异仅收敛为 onUnknownId 一个开关，筛选语义两侧一致。
+ */
+
+export interface FilterEnabledEntriesOptions {
+  /** 未知 id 处理：'collect' 收集进结果 unknownIds；'throw' 立即抛错 */
+  onUnknownId: 'collect' | 'throw';
+
+  /** onUnknownId='throw' 时的错误消息定制（如附带可用 id 清单） */
+  unknownIdError?: (id: string) => string;
+}
+
+export interface FilterEnabledEntriesResult {
+  /** enabled === false 的 id（未知 id 若带 enabled:false 同样计入，与历史行为一致） */
+  disabledIds: string[];
+
+  /** 未知 id（仅 onUnknownId='collect' 时非空） */
+  unknownIds: string[];
+}
+
+/**
+ * 按 config 条目筛选：未知 id 按 onUnknownId 处理，enabled:false 收进 disabledIds
+ */
+export function filterEnabledEntries(
+  knownIds: ReadonlySet<string>,
+  entries: Record<string, { enabled?: boolean } | undefined>,
+  options: FilterEnabledEntriesOptions
+): FilterEnabledEntriesResult {
+  const disabledIds: string[] = [];
+  const unknownIds: string[] = [];
+
+  for (const [id, entry] of Object.entries(entries)) {
+    if (!knownIds.has(id)) {
+      if (options.onUnknownId === 'throw') {
+        throw new Error(
+          options.unknownIdError?.(id) ??
+            `[harness] 配置引用了未注册的 id "${id}"。`
+        );
+      }
+      unknownIds.push(id);
+    }
+    if (entry?.enabled === false) {
+      disabledIds.push(id);
+    }
+  }
+
+  return { disabledIds, unknownIds };
+}

package/src/core/index.ts

@@ -1,13 +1,78 @@
 /**
- * 核心模块导出
+ * 核心模块导出（ADR-0003：显式清单，禁 export *）
+ *
+ * checkConstraints 与包根统一为 options 对象签名（CheckConstraintsOptions），
+ * 不再暴露位置参数版。
  */
 
 // 约束系统（三层：Iron Laws / Guidelines / Tips）
+export {
+  IRON_LAWS,
+  GUIDELINES,
+  PROMPTS,
+  getAllConstraints,
+  findConstraintsByTrigger,
+  getConstraint,
+  ConstraintChecker,
+  checkConstraint,
+  checkConstraints,
+  checkBeforeExecution,
+  constraintChecker,
+  CONSTRAINTS_START_MARKER,
+  CONSTRAINTS_END_MARKER,
+  renderConstraintsSection,
+  CheckCache,
+  renderConstraintsByTrigger,
+  ConstraintViolationError,
+} from './constraints';
+export type {
+  CheckConstraintsOptions,
+  CheckCacheConfig,
+  CheckSamplingConfig,
+  RenderConstraintsByTriggerOptions,
+  ConstraintId,
+  ConstraintKind,
+  ConstraintLevel,
+  ConstraintTrigger,
+  Constraint,
+  ConstraintResult,
+  ConstraintContext,
+  ConstraintCheckResult,
+  IronLawContext,
+} from './constraints';
 
-export * from './constraints';
+// 验证器（检查点 / PassesGate / CSO）
+export {
+  CheckpointValidator,
+  PassesGate,
+  createPassesGate,
+  CSOValidator,
+} from './validators';
+export type {
+  CSOValidationResult,
+  CSOIssue,
+  Checkpoint,
+  CheckpointCheck,
+  CheckpointResult,
+  CheckResult,
+  CheckpointContext,
+  CheckType,
+  CheckConfig,
+  PassesGateConfig,
+  PassesGateResult,
+  TaskTestResult,
+  DynamicTask,
+} from './validators';
 
-export * from './validators';
-export * from './session';
+// 会话启动 / 净室状态
+export {
+  SessionStartup,
+  createSessionStartup,
+  DEFAULT_CODE_CHECKPOINTS,
+  MINIMAL_CHECKPOINTS,
+  CleanStateManager,
+  createCleanStateManager,
+} from './session';
 
 // Spec 验证器
 export { SpecValidator } from './spec/validator';
@@ -20,7 +85,16 @@ export type {
 } from '../types/spec';
 
 // 项目配置加载器
-export * from './project-config-loader';
+export {
+  ProjectConfigLoader,
+  loadRawProjectConfig,
+  getCapabilitiesMode,
+} from './project-config-loader';
+export type { CapabilitiesMode } from './project-config-loader';
 
 // 生效约束集（ADR-0001：唯一生效集来源）
-export * from './effective-constraints';
+export {
+  getEffectiveConstraints,
+  lintEffectiveConfig,
+} from './effective-constraints';
+export type { EffectiveConfigLint } from './effective-constraints';