@dommaker/harness 1.8.1 → 1.10.0

package/src/core/effective-constraints.ts

@@ -1,26 +1,22 @@
 /**
- * 生效约束集（ADR-0001）
+ * 生效约束集（ADR-0029，链路承自 ADR-0001）
  *
  * `getEffectiveConstraints(projectRoot)` 是全仓唯一的生效集来源：
- * 内置 → preset → config.yml 禁用 → custom 追加 → scenes 过滤。
- * init 注入、`harness check`、外部消费者（studio 等）全部消费它，
- * 不再直接读 IRON_LAWS/GUIDELINES/PROMPTS 全集。
+ * 内置 → preset → config.yml 禁用。
+ * `harness check`、外部消费者（studio 等）全部消费它，
+ * 不再直接读 CONSTRAINTS 全集。
  */
 
 import type { Constraint } from '../types/constraint';
 import type { MergedConstraintsConfig } from '../types/project-config';
-import { PROMPTS } from './constraints/definitions';
 import { ProjectConfigLoader } from './project-config-loader';
 import type { RunTarget } from './constraints/run-env';
 
 /**
- * 获取项目当前生效的约束集（check + prompt，带 kind）
+ * 获取项目当前生效的约束集（check 全量，带 kind/severity）
  *
  * 生效集链路同 getMergedConstraintsConfig：内置 → preset 裁剪 → config.yml
- * `constraints.<id>.enabled:false` 删除（内置与 custom 同效）→ custom-constraints
- * 追加（禁用/已退役的 custom 不追加）→ scenes 过滤
- * （带 appliesTo 的 prompt 仅当 config.yml `scenes` 与其交集非空时保留，
- * 缺省 scenes=[] 即场景专属 prompt 默认不进入生效集）。
+ * `constraints.<id>.enabled:false` 删除。
  *
  * @param target 项目根路径，或本 run 的运行级观察面（缺省 process.cwd()）
  *   传观察面 = config.yml 读取与本 run 其余消费方共用同一份（ADR-0023 决策 2）
@@ -37,22 +33,18 @@ export function getEffectiveConstraints(
 /**
  * 从已算好的合并配置取出生效集清单（与 getEffectiveConstraints 同一形状）
  *
- * 给已经持有 `MergedConstraintsConfig` 的消费方复用（CLI check 把这一份同时交给
- * 漂移检测，避免生效集链路在一次运行里算两遍，ADR-0023 步骤 4.5）。
+ * 给已经持有 `MergedConstraintsConfig` 的消费方复用（CLI check 复用这一份，
+ * 避免生效集链路在一次运行里算两遍，ADR-0023 步骤 4.5）。
  */
 export function constraintsFromMerged(merged: MergedConstraintsConfig): Constraint[] {
-  return [
-    ...Object.values(merged.ironLaws),
-    ...Object.values(merged.guidelines),
-    ...Object.values(merged.prompts ?? {}),
-  ];
+  return Object.values(merged.constraints);
 }
 
 /**
- * 获取项目当前生效的合并约束配置（ADR-0001 唯一来源的完整形状）
+ * 获取项目当前生效的合并约束配置（唯一来源的完整形状）
  *
  * 与 getEffectiveConstraints 同一生效集链路，返回完整 MergedConstraintsConfig
- * （含 disabled/custom/unknownIds），供 check 等需要诊断信息的消费方使用。
+ * （含 disabled/unknownIds），供 check 等需要诊断信息的消费方使用。
  *
  * options.preset（CLI --preset）仅在项目无自定义配置时覆盖 config.yml 的
  * preset（工单 23 语义：项目自定义配置优先于 CLI 预设）；不传 preset 时
@@ -77,24 +69,15 @@ export function getMergedConstraintsConfig(
  */
 export interface EffectiveConfigLint {
   /**
-   * config.yml `constraints.<id>` 中既非内置也非自定义的未知 id
+   * config.yml `constraints.<id>` 中非内置的未知 id
    * （如禁用了已被本版移除的约束的残留配置）。生效集计算静默忽略，
    * 在此列出供 report 提示。
    */
   unknownIds: string[];
-
-  /** 项目配置的场景标签（config.yml `scenes`，缺省 []） */
-  scenes: string[];
-
-  /**
-   * 因 scenes 过滤而未进入生效集的场景专属 prompt id
-   * （已被 preset/config 禁用的不重复列出）
-   */
-  sceneExcluded: string[];
 }
 
 /**
- * 诊断项目约束配置：未知 id 残留、scenes 生效情况
+ * 诊断项目约束配置：未知 id 残留
  *
  * 不抛错、不修改任何文件，供 report / check 的诊断输出使用。
  *
@@ -102,23 +85,9 @@ export interface EffectiveConfigLint {
  */
 export function lintEffectiveConfig(projectRoot: string = process.cwd()): EffectiveConfigLint {
   const loader = new ProjectConfigLoader(projectRoot);
-  const config = loader.load();
+  loader.load();
   const merged = loader.mergeConstraints();
-  const scenes = config.scenes ?? [];
-
-  const sceneExcluded = Object.values(PROMPTS)
-    .filter(
-      c =>
-        c.appliesTo &&
-        c.appliesTo.length > 0 &&
-        !c.appliesTo.some(scene => scenes.includes(scene)) &&
-        !merged.disabled.includes(c.id)
-    )
-    .map(c => c.id);
-
   return {
     unknownIds: merged.unknownIds ?? [],
-    scenes,
-    sceneExcluded,
   };
 }

package/src/core/index.ts

@@ -5,11 +5,9 @@
  * 不再暴露位置参数版。
  */
 
-// 约束系统（三层：Iron Laws / Guidelines / Tips）
+// 约束系统（severity 显式模型，ADR-0029）
 export {
-  IRON_LAWS,
-  GUIDELINES,
-  PROMPTS,
+  CONSTRAINTS,
   getAllConstraints,
   findConstraintsByTrigger,
   getConstraint,
@@ -18,21 +16,16 @@ export {
   checkConstraints,
   checkBeforeExecution,
   constraintChecker,
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-  renderConstraintsSection,
   CheckCache,
-  renderConstraintsByTrigger,
   ConstraintViolationError,
 } from './constraints';
 export type {
   CheckConstraintsOptions,
   CheckCacheConfig,
   CheckSamplingConfig,
-  RenderConstraintsByTriggerOptions,
   ConstraintId,
   ConstraintKind,
-  ConstraintLevel,
+  ConstraintSeverity,
   ConstraintTrigger,
   Constraint,
   ConstraintResult,

package/src/core/project-config-loader.ts

@@ -6,15 +6,14 @@
  * ADR-0023 决策 2），一次运行内各至多读一次。
  */
 
-import type { Constraint, ConstraintTrigger } from '../types/constraint';
+import type { Constraint } from '../types/constraint';
 import type {
   ProjectConfig,
-  CustomConstraintDefinition,
   MergedConstraintsConfig,
   CapabilitiesConfig,
   GovernanceConfig,
 } from '../types/project-config';
-import { IRON_LAWS, GUIDELINES, PROMPTS } from './constraints/definitions';
+import { CONSTRAINTS } from './constraints/definitions';
 import { PRESETS_BY_NAME, STANDARD_PRESET } from '../presets';
 import { filterEnabledEntries } from './effective-set';
 import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-env';
@@ -24,7 +23,6 @@ import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-en
  */
 const DEFAULT_CONFIG: ProjectConfig = {
   preset: 'standard',
-  custom_constraints_file: 'custom-constraints.yml',
 };
 
 /**
@@ -103,25 +101,6 @@ export function getCapabilitiesMode(target: RunTarget): CapabilitiesMode {
   return 'file';
 }
 
-/**
- * 退役判定单点（studio#82 D6 一处真相）
- *
- * 两个落点合成一条规则：禁用（config.yml `constraints.<id>.enabled: false`，内置约束的
- * 退役落点）或 custom 条目自带 `retired` 元数据（custom 约束的退役落点，不拆 config.yml
- * 第二处）。`mergeConstraints` 的 custom 追加跳过与 `harness constraints retire` 的
- * already_retired 检查共用本函数——后者此前是这条规则的手写复印（harness#137 收口）。
- *
- * `disabled` 由调用方给：mergeConstraints 传的是含 preset 裁剪的完整禁用集，
- * retire 传的是 config.yml 单点（退役落点只有这一处，preset 语义不掺进退役判定）。
- * `retired` 按 truthiness 判，与 mergeConstraints 历史口径逐字一致。
- */
-export function isConstraintRetired(
-  customDef: { retired?: unknown } | undefined,
-  disabled: boolean
-): boolean {
-  return disabled || Boolean(customDef?.retired);
-}
-
 /**
  * 项目配置加载器
  */
@@ -129,7 +108,6 @@ export class ProjectConfigLoader {
   private env: RunEnv;
   private projectPath: string;
   private config: ProjectConfig;
-  private customConstraints: Record<string, CustomConstraintDefinition>;
 
   /**
    * @param target 项目根路径，或本 run 已构造的运行级观察面（ADR-0023 决策 2）
@@ -139,51 +117,23 @@ export class ProjectConfigLoader {
     this.env = resolveRunEnv(target);
     this.projectPath = this.env.projectPath;
     this.config = { ...DEFAULT_CONFIG };
-    this.customConstraints = {};
   }
 
   /**
-   * 加载项目配置
+   * 加载项目配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
    */
   load(): ProjectConfig {
-    // 1. 加载主配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
     const raw = this.env.rawConfig();
     if (raw) {
       this.config = { ...DEFAULT_CONFIG, ...(raw as Partial<ProjectConfig>) };
     }
-
-    // 2. 加载自定义约束
-    this.loadCustomConstraints();
-
     return this.config;
   }
 
   /**
-   * 加载自定义约束
-   *
-   * 文件读取经观察面（ADR-0023 决策 2）：同一次运行内多个加载器共用同一份内容，
-   * 「哪个文件名算数」与合并顺序仍由本函数决定（方式 1 文件 → 方式 2 主配置内联，后者覆盖）。
-   */
-  private loadCustomConstraints(): void {
-    // 方式 1：从单独文件加载
-    if (this.config.custom_constraints_file) {
-      const defs = this.env.customConstraints(this.config.custom_constraints_file);
-      this.customConstraints = { ...this.customConstraints, ...defs };
-    }
-
-    // 方式 2：从主配置文件中加载
-    if (this.config.custom_constraints) {
-      this.customConstraints = { ...this.customConstraints, ...this.config.custom_constraints };
-    }
-  }
-
-  /**
-   * 合并内置约束和自定义约束（ADR-0001 生效集完整链路）
+   * 合并内置约束（生效集完整链路，ADR-0029）
    *
-   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
-   * 删除（对内置与 custom 同效）→ custom-constraints 追加
-   * （禁用/已退役的 custom 不追加）→ scenes 过滤
-   * （带 appliesTo 的 prompt 仅当 scenes 交集非空时保留）。
+   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false` 删除。
    *
    * config.yml 中未知约束 id（如已移除约束的禁用残留）静默忽略，
    * 记录在结果 unknownIds 中供诊断。
@@ -199,6 +149,9 @@ export class ProjectConfigLoader {
       console.error(`[harness] 未知预设 "${presetName}"，已回落 standard`);
       preset = STANDARD_PRESET;
     }
+    // preset 按 severity 分键；展开为「id → 是否启用」的单桶视图
+    const bySeverity = (severity: 'error' | 'warning'): Record<string, Constraint> =>
+      Object.fromEntries(Object.entries(CONSTRAINTS).filter(([, c]) => c.severity === severity));
     const pick = (
       source: Record<string, Constraint>,
       ids: string[] | null
@@ -215,104 +168,36 @@ export class ProjectConfigLoader {
       ids: string[] | null
     ): string[] => (ids === null ? [] : Object.keys(source).filter(id => !ids.includes(id)));
 
+    const errorConstraints = bySeverity('error');
+    const warningConstraints = bySeverity('warning');
+
     const unknownIds: string[] = [];
     const result: MergedConstraintsConfig = {
-      ironLaws: pick(IRON_LAWS, preset.ironLaws),
-      guidelines: pick(GUIDELINES, preset.guidelines),
-      prompts: pick(PROMPTS, preset.prompts),
+      constraints: {
+        ...pick(errorConstraints, preset.errors),
+        ...pick(warningConstraints, preset.warnings),
+      },
       disabled: [
-        ...presetDisabled(IRON_LAWS, preset.ironLaws),
-        ...presetDisabled(GUIDELINES, preset.guidelines),
-        ...presetDisabled(PROMPTS, preset.prompts),
+        ...presetDisabled(errorConstraints, preset.errors),
+        ...presetDisabled(warningConstraints, preset.warnings),
       ],
-      custom: [],
       unknownIds,
     };
 
     // 1. 处理启用/禁用配置（未知 id 静默忽略，记录供诊断）
     if (this.config.constraints) {
-      const knownIds = new Set([
-        ...Object.keys(IRON_LAWS),
-        ...Object.keys(GUIDELINES),
-        ...Object.keys(PROMPTS),
-        ...Object.keys(this.customConstraints),
-      ]);
+      const knownIds = new Set(Object.keys(CONSTRAINTS));
       const filtered = filterEnabledEntries(knownIds, this.config.constraints);
       unknownIds.push(...filtered.unknownIds);
       for (const constraintId of filtered.disabledIds) {
         result.disabled.push(constraintId);
-        // 从对应层级中移除
-        delete result.ironLaws[constraintId];
-        delete result.guidelines[constraintId];
-        delete result.prompts![constraintId];
-      }
-    }
-
-    // 2. 添加自定义约束（config.yml 禁用的 id 不追加：step 1 已将其
-    // 收集进 disabled，custom 在 step 1 时尚未入桶，须在此兜底跳过；
-    // 条目带 retired 元数据的同样不追加——studio#82 D6 退役落点在条目自身）
-    for (const [id, customDef] of Object.entries(this.customConstraints)) {
-      if (isConstraintRetired(customDef, result.disabled.includes(id))) {
-        continue;
-      }
-      const constraint = this.toConstraint(customDef, id);
-
-      result.custom.push(id);
-
-      const level = customDef.level || 'guideline';
-      switch (level) {
-        case 'iron_law':
-          result.ironLaws[id] = constraint;
-          break;
-        case 'guideline':
-          result.guidelines[id] = constraint;
-          break;
-        case 'prompt':
-          result.prompts![id] = constraint;
-          break;
-      }
-    }
-
-    // 3. scenes 过滤（ADR-0001）：带 appliesTo 标签的 prompt 仅当项目 scenes
-    // 与其交集非空时保留；无 appliesTo 的条目不受影响。缺省 scenes=[] 即
-    // 场景专属 prompt 默认不进入生效集。
-    const scenes = this.config.scenes ?? [];
-    for (const [id, constraint] of Object.entries(result.prompts!)) {
-      if (
-        constraint.appliesTo &&
-        constraint.appliesTo.length > 0 &&
-        !constraint.appliesTo.some(scene => scenes.includes(scene))
-      ) {
-        delete result.prompts![id];
+        delete result.constraints[constraintId];
       }
     }
 
     return result;
   }
 
-  /**
-   * 将自定义约束定义转换为 Constraint
-   *
-   * kind 推导（ADR-0001）：自定义约束没有注册表中的 checker，统一归为
-   * kind='prompt'（不执行 checker，check() 短路通过），level 仅决定其所在
-   * 桶与严重性行为，保持与历史"未注册默认通过"相同的执行语义。
-   */
-  private toConstraint(def: CustomConstraintDefinition, defaultId: string): Constraint {
-    const level = def.level || 'guideline';
-    return {
-      id: def.id || defaultId,
-      kind: 'prompt',
-      level,
-      rule: def.rule || '',
-      message: def.message || '',
-      trigger: (def.trigger || 'manual') as ConstraintTrigger | ConstraintTrigger[],
-      description: def.description,
-      promptInjection: def.promptInjection,
-      enabled: def.enabled !== false,
-      enforcement: 'custom',
-    };
-  }
-
   /**
    * 获取当前配置
    */
@@ -320,20 +205,10 @@ export class ProjectConfigLoader {
     return this.config;
   }
 
-  /**
-   * 获取自定义约束
-   */
-  getCustomConstraints(): Record<string, CustomConstraintDefinition> {
-    return this.customConstraints;
-  }
-
   /**
    * 检查是否有自定义配置
    */
   hasCustomConfig(): boolean {
-    return (
-      Object.keys(this.customConstraints).length > 0 ||
-      (this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0)
-    );
+    return this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0;
   }
 }

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

@@ -97,7 +97,7 @@ export class PassesGate {
    * - 业务层自己运行测试，传入结果
    *
    * @param testResult 测试结果（由业务层运行测试后传入）
-   * @returns 验证结果（是否允许标记完成 + Iron Law 违规）
+   * @returns 验证结果（是否允许标记完成 + 阻断级违规）
    *
    * @example
    * ```typescript
@@ -107,7 +107,7 @@ export class PassesGate {
    *
    * if (!passesResult.allowed) {
    *   return res.status(400).json({
-   *     error: 'Iron Law 违规',
+   *     error: '约束违规',
    *     violations: passesResult.violations,
    *   });
    * }
@@ -116,23 +116,23 @@ export class PassesGate {
   check(testResult: TestResult): PassesGateCheckResult {
     const violations: PassesGateViolation[] = [];
 
-    // 1. 测试未通过 → Iron Law #2: NO SELF APPROVAL WITHOUT TEST EVIDENCE
+    // 1. 测试未通过 → NO SELF APPROVAL WITHOUT TEST EVIDENCE
     if (!testResult.passed) {
       violations.push({
         id: 'no_self_approval',
         rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
         message: '测试未通过',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 
-    // 2. 缺少证据 → Iron Law #3: NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
+    // 2. 缺少证据 → NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
     if (this.config.requireEvidence && !testResult.evidence) {
       violations.push({
         id: 'no_completion_without_verification',
         rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION',
         message: '缺少测试证据',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 

package/src/failure/CONTEXT.md

@@ -22,6 +22,6 @@
 - 分类器基于规则匹配，不调用 LLM
 - S4 约束违规处理策略模块（ConstraintViolationHandler / executeWithBlock /
   executeWithCollect / executeWithSafeBoolean）已删除（架构评审候选1）：
-  COLLECT 对真实 checker 结构上不可交付（checker 首个铁律违规即 throw，
+  COLLECT 对真实 checker 结构上不可交付（checker 首个 error 级违规即 throw，
   handler 的 catch 只能吞证据造假绿）。语义归宿——阻断 = `checkConstraints` 本体，
   收集 = `checker.collectConstraints`（report 直调）；BLOCK/SAFE_BOOLEAN 零生产消费者随迁

package/src/hooks/CONTEXT.md

@@ -1,34 +1,24 @@
 # hooks/
 
 ## 职责
-通用 Hook 管线：注册 → 排序 → 错误隔离 → 采样执行。无业务逻辑，consumer 自行定义 hook 名称和语义。
+Harness 运行环境的组合根：一次调用装配起约束检查器、会话管理器与 trace 记录器，并加载项目配置。
 
-H5（#44）起增加两个机制（G2/G7）：
-- **注册表闭环**：`assertHookRegistryClosed(configs, hooks)` 声明（HookConfig）↔ 实现（HookDefinition）双向校验——引用未注册/注册无定义/重复均抛错，复制 checker 闭环模式；断言限构建/测试期，不进运行时热路径
-- **配置归一**：`HookConfig { name, enabled, errorStrategy }` 为 per-hook 配置唯一真相，且自 #159 起是 `enabled` / `errorStrategy` 的**唯一声明点**——`HookDefinition` 不再携带这两个字段，注册环节以配置表填充有效值（`EffectiveHook`），声明一处、读取一处，两侧矛盾在构造上不可能出现；`toErrorStrategy(blocking)` 承载 studio `blocking` → errorStrategy 的无损映射
+ADR-0027（#170）起本层只剩 bootstrap 一个面。原先的通用 hook 管线（`registry` / `pipeline` / `config` / `types` 四文件：注册 → 排序 → 错误隔离 → 采样执行）双仓零生产消费者，整体删除——裁决记录 `docs/adr/0027-hooks-pipeline-surface-trim.md`，事实前提 studio#562（studio 侧 hooks 层删除）。目录名沿用历史，不再表示「提供 hook 能力」。
 
 ## 核心导出
-- `HookRegistry` — Hook 注册表（register/registerAll/unregister/get/getEnabled/listNames/listAll/setEnabled/clear；register 以 HookConfig 填充有效值）
-- `HookPipeline` — Hook 执行管线（注册/排序/错误隔离/采样；errorStrategy block/warn；`run(phase)` 时机粒度、`runFull` 全套、`runOne(name)` 按名执行单个 hook——#167 新增：enabled:false 返回 skipped:true 记录且实现体零调用，block 失败抛错 / warn 失败返回 passed:false 记录，未知名抛错（口径同注册表闭环），采样与错误隔离复用 executeOne 单路径）
-- `assertHookRegistryClosed` — 注册表闭环双向校验（构建/测试期）
-- `HookConfig`（type）— per-hook 配置声明（enabled / errorStrategy 唯一声明点）
-- `EffectiveHook`（type）— HookDefinition + 配置填充的有效 enabled / errorStrategy（管线与注册表判定只读它）
-- `toErrorStrategy` — blocking → errorStrategy 无损映射（G7）
-- `bootstrapHarness` / `bootstrapHarnessSync` — Harness 启动引导；也是 trace 记录器的组合根：`new ConstraintChecker(new TraceCollector({ projectPath }))`（harness#88 接线，core 不上行依赖 monitoring，故由本层接线；#139 收根：两个入口本就收 projectPath，落点随之锚定，不再取 cwd 锚定的 `getTraceCollector()` 单例）
+- `bootstrapHarness` — 异步组合根（S9：配置异步加载，不阻塞事件循环）；也是 trace 记录器的接线点：`new ConstraintChecker(new TraceCollector({ projectPath }))`（harness#88：core 不上行依赖 monitoring，故由本层接线；#139 收根：两个入口本就收 projectPath，落点随之锚定，不再取 cwd 锚定的 `getTraceCollector()` 单例）
+- `bootstrapHarnessSync` — 同形状的同步版，配置走 `readFileSync`，供不支持 top-level await 的环境与 `bootstrapHarness` 失败时的回落路径
+- `HarnessBootstrap`（type）— 返回值形状 `{ checker, sessions, projectPath, mergedConstraints }`
 
 ## 依赖关系
-- 类型正本在**本模块** `src/hooks/types.ts`（`HookPhase`/`HookErrorStrategy`/`HookConfig`/`HookDefinition`/`EffectiveHook`/`HookResult`/`PipelineResult`）；`src/types/` 里没有 hook 类型，本层只从 `src/types/project-config` 取 `MergedConstraintsConfig` 类型
-- 向下依赖（仅 `bootstrap.ts` 组合根）：`core/constraints/checker`、`core/project-config-loader`、`context/session-manager`、`monitoring/traces`——`registry/pipeline/config/types` 四文件零上层依赖，是纯管线
-- 消费方：包根 `src/index.ts` 的 `./hooks` 出口与下游项目（studio 的 hook 装配）。**harness 内部无生产消费方**——core/cli 侧的调用边已随零消费者清账删除（harness#141 同判据，ADR-0022），「被 core 核心引擎/CLI 初始化流程消费」的旧说法已失效（harness#142 核对）
+- 向下依赖：`core/constraints/checker`、`core/project-config-loader`、`context/session-manager`、`monitoring/traces`；类型面只从 `src/types/project-config` 取 `MergedConstraintsConfig`
+- 消费方：包根 `src/index.ts` 的 bootstrap 三符号出口，与下游项目的运行环境初始化。生产唯一调用方是 studio（经 studio-shared `runtime/bootstrap.ts`，**无参调用**、只以类型持有 `HarnessBootstrap`）。**harness 内部无生产消费方**——core/cli 侧的调用边已随零消费者清账删除（harness#141 同判据，ADR-0022）
 
 ## 约定
-- 无业务逻辑，只提供管线能力
-- Consumer 自行定义 hook 名称和触发时机
-- **闭环**：声明配置与注册实现必须一一对应，缺一抛错（消灭「hook 定义不注册 = 死代码」类人记规矩）
-- **映射语义**：blocking=true → 'block'（失败阻断管线，停止后续 hook、passed=false）；blocking=false → 'warn'（记录警告继续）；有效策略集合仅 'block' | 'warn'（#159 起原 'ignore' 与「未声明 strategy」形态退出有效面——策略由 HookConfig 必填声明）
-- 错误隔离：单个 hook 失败不影响其他 hook
+- 参数面只有 `projectPath`（缺省 `process.cwd()`）：不给 hook 定义、不给配置表，`hookDefinitions` / `hookConfigs` 与注册闭环语义随管线面一同退场
+- 组合根只做装配不做判定，`mergedConstraints` 原样透出，用不用由调用方决定
+- 本层无内置 hook 定义，也不再提供 hook 管线能力；provider 侧的 PreToolUse 执法入口是 `src/pretool-use-hook.ts`（门禁 CLI 的另一条路），与本目录无关
 
 ## 注意事项
-- 通用管线设计，不绑定特定生命周期
-- 采样执行用于高频 hook(减少性能影响)
-- 闭环断言是纯函数，由 consumer 在其注册点/测试中调用；harness 无内置 hook 定义，不自动断言
+- 无 unload/dispose：`SessionManager` 与 `TraceCollector` 随进程生命周期，本层不提供逆操作（口径同 `src/CONTEXT.md` 术语「文件驱动 CLI」）
+- 删除属公共面 breaking：包根不再可达的符号有 4 个值符号（注册表、管线、闭环断言、blocking 映射）与 8 个类型，迁移路径 = 删引用；可达性负钉在 `src/__tests__/public-exports.test.ts`，两道全量清单闸（`public-exports` / `public-type-surface`）的条目已同步收缩