@dommaker/harness 1.8.1 → 1.10.0

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

@@ -1,15 +1,15 @@
 /**
- * check · guideline 定义（ADR-0001：kind 二元模型）
+ * check 约束定义（severity='warning' 组，ADR-0029）
  *
- * 只保留带真实 checker 的指导原则。每条必须：
+ * 只保留带真实 checker 的约束。每条必须：
  * - kind: 'check'
- * - level: 'guideline'
+ * - severity: 'warning'（违规告警不阻断）
  * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 
 import type { Constraint } from '../../../types/constraint';
 
-export const GUIDELINES: Record<string, Constraint> = {
+export const WARNING_CONSTRAINTS: Record<string, Constraint> = {
   /**
    * 禁止硬编码凭证
    * 原因：密码/token/密钥泄露是最严重的安全漏洞，一旦提交到版本控制即不可逆
@@ -19,27 +19,10 @@ export const GUIDELINES: Record<string, Constraint> = {
     kind: 'check',
     rule: 'NO HARDCODED PASSWORDS, TOKENS, SECRETS, OR CREDENTIALS IN ANY SOURCE FILE',
     message: '禁止在代码/文档/配置文件中硬编码密码、token、密钥、API key',
-    level: 'guideline',
+    severity: 'warning',
     trigger: ['code_implementation', 'doc_update', 'config_change', 'commit'],
     enforcement: 'credential-scan',
     description: `凭证（密码/token/密钥/API key）必须从环境变量或加密配置读取，严禁以明文形式出现在任何源代码文件中。包括但不限于：源码、Markdown 文档、YAML/JSON 配置、脚本文件。模板文件（.example/.sample/.template）允许占位符但不得包含真实值。建议配合 pre-commit hook 做自动扫描。`,
-    promptInjection: '禁止在代码中硬编码密码、API 密钥、Token 等凭证。使用环境变量或安全的凭证管理方案存储敏感信息。',
-  },
-
-  /**
-   * 禁止跳过检查点验证
-   * 原因：安全底线，检查点是质量门控
-   */
-  no_bypass_checkpoint: {
-    id: 'no_bypass_checkpoint',
-    kind: 'check',
-    rule: 'NO BYPASSING CHECKPOINTS',
-    message: '禁止跳过检查点验证',
-    level: 'guideline',
-    trigger: 'code_implementation',
-    enforcement: 'checkpoint-required',
-    description: '所有检查点必须通过，不能跳过验证步骤。检查点是质量的最后一道防线。',
-    promptInjection: '每个关键步骤后有 checkpoint 验证点，必须通过才能继续。通过标准：测试通过、类型检查无错误、lint 无新增警告。未通过时回退修复，不得跳过。',
   },
 
   /**
@@ -51,7 +34,7 @@ export const GUIDELINES: Record<string, Constraint> = {
     kind: 'check',
     rule: 'CODE CHANGES MUST UPDATE CAPABILITIES.MD',
     message: '核心模块变更必须同步功能清单（支持模块级目录条目登记）',
-    level: 'guideline',
+    severity: 'warning',
     trigger: ['module_creation', 'module_modification', 'module_deletion', 'module_extension'],
     enforcement: 'update-capabilities',
     description: `在创建/修改/删除/扩展核心模块时，必须同步更新 CAPABILITIES.md：
@@ -79,7 +62,7 @@ export const GUIDELINES: Record<string, Constraint> = {
     kind: 'check',
     rule: 'KEY DIRECTORIES SHOULD HAVE CONTEXT.MD',
     message: '关键目录缺少 CONTEXT.md，运行 harness sync-docs 创建模板后填写实际内容',
-    level: 'guideline',
+    severity: 'warning',
     trigger: 'module_modification',
     enforcement: 'context-check',
     description: `项目的关键目录应包含 CONTEXT.md 文件，描述目录职责和上下文。
@@ -108,7 +91,7 @@ export const GUIDELINES: Record<string, Constraint> = {
     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',
+    severity: 'warning',
     trigger: ['file_modification', 'module_creation', 'module_modification', 'doc_update', 'config_change', 'commit'],
     enforcement: 'governance-presence-check',
     description: `治理契约（约束清单正本）必须在场，两处居其一：

package/src/core/constraints/definitions/iron-laws.ts

@@ -1,15 +1,15 @@
 /**
- * check · iron_law 定义（ADR-0001：kind 二元模型）
+ * check 约束定义（severity='error' 组，ADR-0029）
  *
- * 只保留带真实 checker 的铁律。每条必须：
+ * 只保留带真实 checker 的约束。每条必须：
  * - kind: 'check'
- * - level: 'iron_law'
+ * - severity: 'error'（违规即阻断）
  * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 
 import type { Constraint } from '../../../types/constraint';
 
-export const IRON_LAWS: Record<string, Constraint> = {
+export const ERROR_CONSTRAINTS: Record<string, Constraint> = {
   /**
    * 禁止无验证声明完成
    * 原因：质量底线，必须有验证命令
@@ -19,95 +19,23 @@ export const IRON_LAWS: Record<string, Constraint> = {
     kind: 'check',
     rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION EVIDENCE',
     message: '禁止无验证声明完成，必须运行验证命令',
-    level: 'iron_law',
+    severity: 'error',
     trigger: 'code_implementation',
     enforcement: 'verify-completion',
     description: '在声明任何任务完成之前，必须运行新鲜的验证命令（项目声明的测试 + type check），以新鲜输出作为完成证据。验证命令集由项目自行声明，全量验证留给 CI 流程。',
-    promptInjection: '在声明任务完成前，必须重新运行新鲜的验证命令（项目声明的测试 + type check），使用新鲜的输出作为完成证据，不得复用旧结果，不得凭记忆声称完成。',
-  },
-
-  /**
-   * 禁止一次做多个任务（one-shotting）
-   * 来源：Anthropic AI Harness - Effective Harnesses for Long-running Agents
-   * 原因：避免中途耗尽 context，保持专注和可控
-   */
-  incremental_progress: {
-    id: 'incremental_progress',
-    kind: 'check',
-    rule: 'ONE TASK PER SESSION',
-    message: '禁止一次做多个任务，每次只做一件事',
-    level: 'iron_law',
-    trigger: 'code_implementation',
-    enforcement: 'single-task-check',
-    description: `一个 session 只处理一个任务，避免 one-shotting。
-
-【禁止】
-- 一次做多个任务 → 中途耗尽 context
-- 大改动一次性完成 → 失控
-- 没有拆分的复杂任务 → 无法回滚
-
-【必须】
-- 一个 session 一个任务 → 保持专注
-- 大任务拆分为小步骤 → 分步执行
-- 每步都有 checkpoint → 可回滚
-
-【判断标准】
-- 改动涉及多个模块 → 需拆分
-- 改动超过 100 行 → 需拆分
-- 改动影响多个文件 → 需拆分
-
-【参考】
-Anthropic AI: "Effective Harnesses for Long-running Agents"
-https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agents`,
-    promptInjection: '一次只处理一个任务。改动涉及多个模块、超过 100 行、或影响多个文件时，必须拆分为小步骤分步执行，每步有独立 checkpoint 可回滚。不要试图一次性完成所有改动。',
-  },
-
-  /**
-   * 禁止无需求就开始实现（吸收 no_implementation_without_requirement_review）
-   * 原因：没有需求就没有验收标准，实现方向不可控；
-   *       实现完成后必须逐条对照 AC 验证，避免偏离需求
-   */
-  no_implementation_without_requirement: {
-    id: 'no_implementation_without_requirement',
-    kind: 'check',
-    rule: 'NO IMPLEMENTATION WITHOUT REQUIREMENTS, AND REVIEW AGAINST AC AFTER IMPLEMENTATION',
-    message: '禁止无需求就开始实现，实现后必须逐条对照 AC 验证',
-    level: 'iron_law',
-    trigger: ['code_implementation', 'design_request'],
-    enforcement: 'requirement-exists',
-    description: `在开始实现之前，必须有明确的需求定义；实现完成后，必须逐条对照验收标准（AC）验证。
-
-【实现前必须执行】
-1. 确认需求来源（Spec/Issue/Roadmap/用户指令）
-2. 确认验收标准（AC）已定义
-3. 确认边界情况已明确
-
-【实现后必须执行】（吸收自 no_implementation_without_requirement_review）
-1. 回顾需求文档（Spec/Roadmap/Issue）
-2. 逐条检查实现是否符合每条 AC
-3. 确认边界情况已覆盖
-4. 输出验证清单（AC × 实现 × 状态）
-
-【禁止】
-- 没有需求就开始写代码、凭假设开始实现
-- 实现后不对比需求直接提交，只测"功能能跑"不验证 AC
-- 跳过边界情况验证，假设"差不多就行"
-
-【正确流程】
-需求确认 → AC 定义 → 实现 → 逐条对照 AC 验证`,
-    promptInjection: '开始编写代码前，必须确认：需求来源明确（Spec/Issue/Roadmap/用户指令）、验收标准(AC)已定义、边界情况已明确。不要凭假设或猜测开始实现。实现完成后，必须逐条对比原始需求文档中的验收标准(AC)，确认每条 AC 已实现且边界情况已覆盖，输出验证清单。不得仅凭"功能能跑"就认为完成。',
   },
 
   /**
    * 禁止简化测试
    * 原因：质量底线，测试困难必须解决
+   * （harness#174：checker 承载执行）
    */
   no_test_simplification: {
     id: 'no_test_simplification',
     kind: 'check',
     rule: 'NO SIMPLIFYING TESTS TO AVOID DIFFICULTY',
     message: '禁止简化测试绕过困难',
-    level: 'iron_law',
+    severity: 'error',
     trigger: 'test_creation',
     enforcement: 'full-test-coverage',
     description: `在编写测试时，不能因为遇到困难而简化或跳过测试。
@@ -121,19 +49,18 @@ https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agent
 - 为了绕过 mock 困难而删除测试用例
 - 为了绕过异步问题而跳过断言
 - 降低测试覆盖率要求`,
-    promptInjection: '编写测试时遇到困难（mock、异步、环境），不得删除用例或跳过断言。正确做法：分析问题 → 查阅文档 → 尝试解决 → 仍不行则向用户说明困难请求指示。不得降低覆盖率要求。',
   },
 
   /**
    * 文档新鲜度
-   * 原因：guideline 只警告不阻断，导致文档持续腐烂。
+   * 原因：只警告不阻断会导致文档持续腐烂。
    */
   docs_freshness: {
     id: 'docs_freshness',
     kind: 'check',
     rule: 'CAPABILITIES.MD MUST BE IN SYNC WITH CODE',
     message: 'CAPABILITIES.md 与源码不同步，运行 harness sync-docs 更新后重新提交',
-    level: 'iron_law',
+    severity: 'error',
     trigger: ['file_modification', 'module_creation', 'module_modification'],
     enforcement: 'docs-sync-check',
     description: `CAPABILITIES.md 中列出的文件必须在 src/ 中实际存在。删除源文件时须从 CAPABILITIES.md 同步移除。运行 harness sync-docs 自动修复过期引用。

package/src/core/constraints/definitions.ts

@@ -1,34 +1,33 @@
 /**
  * 约束定义（薄聚合层）
  *
- * kind 二元模型（ADR-0001）：
- * - IRON_LAWS / GUIDELINES：check 层，必须带真实 checker（注册表闭环）
- * - PROMPTS：prompt 层，纯文本注入，不占检查位
+ * severity 显式模型（ADR-0029，取代 ADR-0001 三层命名）：
+ * 全部内置约束 kind='check'，severity 写死在定义上（error / warning），
+ * 纯文本提示层（prompts.ts）已随文本注入层关停整体删除。
  *
- * 工单 20：字面量定义按层拆至 ./definitions/{iron-laws,guidelines,prompts}.ts；
+ * 工单 20：字面量定义按 severity 分组放 ./definitions/{iron-laws,guidelines}.ts；
  * 本文件保持原路径做薄聚合（studio rule-scanner 按此路径解析，P0 #8）。
  */
 
 import type { Constraint, ConstraintTrigger } from '../../types/constraint';
-import { IRON_LAWS } from './definitions/iron-laws';
-import { GUIDELINES } from './definitions/guidelines';
-import { PROMPTS } from './definitions/prompts';
+import { ERROR_CONSTRAINTS } from './definitions/iron-laws';
+import { WARNING_CONSTRAINTS } from './definitions/guidelines';
 
-export { IRON_LAWS, GUIDELINES, PROMPTS };
+/** 全部内置约束（check 层全量，severity 在条目上） */
+export const CONSTRAINTS: Record<string, Constraint> = {
+  ...ERROR_CONSTRAINTS,
+  ...WARNING_CONSTRAINTS,
+};
 
 // ========================================
 // 辅助函数
 // ========================================
 
 /**
- * 获取所有约束（check + prompt 全量，带 kind）
+ * 获取所有约束（check 全量，带 kind/severity）
  */
 export function getAllConstraints(): Constraint[] {
-  return [
-    ...Object.values(IRON_LAWS),
-    ...Object.values(GUIDELINES),
-    ...Object.values(PROMPTS),
-  ];
+  return Object.values(CONSTRAINTS);
 }
 
 /**
@@ -45,5 +44,5 @@ export function findConstraintsByTrigger(trigger: ConstraintTrigger): Constraint
  * 根据 ID 获取约束
  */
 export function getConstraint(id: string): Constraint | undefined {
-  return IRON_LAWS[id] || GUIDELINES[id] || PROMPTS[id];
+  return CONSTRAINTS[id];
 }

package/src/core/constraints/index.ts

@@ -2,11 +2,9 @@
  * 约束模块入口
  */
 
-// 约束定义（kind 二元：check 层 + prompt 层）
+// 约束定义（check 全量，severity 在条目上）
 export {
-  IRON_LAWS,
-  GUIDELINES,
-  PROMPTS,
+  CONSTRAINTS,
   getAllConstraints,
   findConstraintsByTrigger,
   getConstraint,
@@ -22,28 +20,15 @@ export {
 } from './checker';
 export type { CheckConstraintsOptions, TraceRecorder } from './checker';
 
-// CLAUDE.md 约束注入段渲染（纯函数，init 注入与漂移校验共用）
-export {
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-  renderConstraintsSection,
-} from './injection-renderer';
-
 // 约束检查缓存（H6/G5：TTL 缓存 + 计数采样，公开导出）
 export { CheckCache } from './check-cache';
 export type { CheckCacheConfig, CheckSamplingConfig } from './check-cache';
 
-// Agent prompt 约束段渲染（H6/G6：trigger 参数化分组渲染，role 路由留 studio）
-export {
-  renderConstraintsByTrigger,
-} from './agent-prompt-renderer';
-export type { RenderConstraintsByTriggerOptions } from './agent-prompt-renderer';
-
 // 类型导出
 export type {
   ConstraintId,
   ConstraintKind,
-  ConstraintLevel,
+  ConstraintSeverity,
   ConstraintTrigger,
   Constraint,
   ConstraintResult,
@@ -52,4 +37,4 @@ export type {
   IronLawContext,
 } from '../../types/constraint';
 
-export { ConstraintViolationError } from '../../types/constraint';
+export { ConstraintViolationError } from '../../types/constraint';

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

@@ -1,41 +1,26 @@
 /**
- * 治理注入段落点写入器（架构评审候选1，ADR-0011）
+ * 标记区间写入器 + 治理正本探测（架构评审候选1，ADR-0011）
  *
- * 「按渲染 body 替换标记区间 + 尾换行规一」的切片数学此前手抄 4 份
- * （init.ts 三个 writer / constraints-retire 一份），落点路由读写两侧各抄一份。
- * 本模块是唯一 writer：init/retire 退化为「渲染 body + 调 writer」。
+ * ADR-0029：约束注入段（HARNESS_CONSTRAINTS）已整体关停——本模块不再承担
+ * 注入段渲染/落点路由（resolveInjectionTarget / resolveGovernanceLanding 随删），
+ * 保留的是通用机制：
  *
- * 形状两种（排版约定不同，非"算哪些"的差异，故合法分叉）：
+ * 「按渲染 body 替换标记区间 + 尾换行规一」的切片数学。形状两种
+ * （排版约定不同，非"算哪些"的差异，故合法分叉）：
  * - replaceStandaloneRange：区间独立成节，END 标记后折叠为恰好一个空行
- *   （CLAUDE.md 约束段 / Output Style 段 / retire 注入段同步）
+ *   （CLAUDE.md Output Style 段）
  * - replaceEnclosedRange：区间后紧跟外层收口标记（AGENTS.md PRESERVE 段内
- *   的 HARNESS_CONSTRAINTS 区间）——恰好剥一个换行，手写余文原样落回
+ *   区间）——恰好剥一个换行，手写余文原样落回
  *
  * 半标记守护：单边缺失或顺序颠倒 → 'half'，拒写（旧实现此时或追加出双份
  * 正本或产生乱序切片，属二次损坏路径，收紧为告警交人工，见 ADR-0011）。
  *
- * 落点路由同规则一份：
- * - resolveInjectionTarget：读侧（漂移检测/retire 同步）——CLAUDE.md 有完整
- *   标记段优先（旧模型仓豁免），否则 AGENTS.md（新模型仓住 PRESERVE 段内）
- * - resolveGovernanceLanding：写侧（init 落点选择）——额外承认 CLAUDE.md
- *   无标记的 `## Governance Rules` 旧块（续写不制造双份正本）
- *
  * 探测/判定同住本模块（#83，ADR-0011 补注：收口范围含探测器，不只写器）——
- * 「这份文档里有没有治理契约 / 有几个正本标题」此前手抄 4 份且正则已漂移，
- * 见文末 GOVERNANCE_HEADING / hasGovernanceContract / countGovernanceHeadings /
- * hasPreserveBlock。
+ * 「这份文档里有没有治理契约 / 有几个正本标题」，见文末 GOVERNANCE_HEADING /
+ * hasGovernanceContract / countGovernanceHeadings / hasPreserveBlock。
  */
 
 import * as fs from 'fs';
-import * as path from 'path';
-import {
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-} from './injection-renderer';
-
-/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 优先） */
-export const INJECTION_FILES = ['CLAUDE.md', 'AGENTS.md'] as const;
-export type InjectionFile = (typeof INJECTION_FILES)[number];
 
 /** 标记区间替换结果 */
 export type MarkerWrite =
@@ -111,40 +96,6 @@ export function replaceEnclosedRange(content: string, begin: string, end: string
   };
 }
 
-/**
- * 读侧路由：定位含完整 HARNESS_CONSTRAINTS 标记段的文件（studio #307）。
- * detectInjectionDrift 与 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;
-}
-
-/**
- * 写侧路由（init 落点选择，原 setupGovernanceConstraints 内联判定收于此）：
- * CLAUDE.md 有约束标记段或有旧版 `## Governance Rules` 块 → 续写 CLAUDE.md
- * （旧模型仓豁免，不制造双份正本）；否则 AGENTS.md PRESERVE:governance。
- */
-export function resolveGovernanceLanding(
-  projectRoot: string
-): { target: 'claude-md' | 'agents-md'; claudeContent: string | null } {
-  const claudeContent = readIfExists(path.join(projectRoot, 'CLAUDE.md'));
-  if (claudeContent !== null && hasGovernanceContract(claudeContent)) {
-    return { target: 'claude-md', claudeContent };
-  }
-  return { target: 'agents-md', claudeContent };
-}
-
 /**
  * 治理正本标题字面量（单一来源，#83）：init 的标题写点与下列两个判定谓词
  * 都由它派生，仓内不再本地拼写。字面量无正则元字符，可直接拼入 RegExp。
@@ -164,8 +115,12 @@ const GOVERNANCE_HEADING_LOOSE_RE = new RegExp(`^##\\s+${GOVERNANCE_HEADING_TEXT
 /** 严格标题正则：精确拼写 + 行尾锚定（行尾仅容忍空白） */
 const GOVERNANCE_HEADING_STRICT_RE = new RegExp(`^${GOVERNANCE_HEADING}[ \\t]*$`, 'gm');
 
-/** 约束标记裸文本（去注释壳），宽松谓词按「标记文本在场」判定，容忍壳残缺 */
-const CONSTRAINTS_START_TEXT = CONSTRAINTS_START_MARKER.replace(/^<!--\s*|\s*-->$/g, '');
+/**
+ * 历史注入段标记裸文本（ADR-0029：注入段已关停，此处仅作历史兼容判据——
+ * 旧仓残留的 HARNESS_CONSTRAINTS 段仍算治理契约在场）。宽松谓词按「标记文本
+ * 在场」判定，容忍注释壳残缺。
+ */
+const CONSTRAINTS_START_TEXT = 'HARNESS_CONSTRAINTS_START';
 
 /**
  * 宽松谓词：内容里是否有治理契约在场——标题宽松匹配或 HARNESS 约束标记

package/src/core/constraints/run-env.ts

@@ -2,7 +2,7 @@
  * 运行级观察面（ADR-0023 决策 1）
  *
  * 一次 `harness check` 一份、跑完即弃：把「本项目有哪些源码根」「最近的 trace 记录」
- * 「`.harness/config.yml` 与自定义约束文件写了什么」这类上行数据的读取收在此处，
+ * 「`.harness/config.yml` 写了什么」这类上行数据的读取收在此处，
  * 同一次运行内每个文件至多读一次。
  *
  * 为什么不是一个对象而是两个：checker 拿到的 `CheckEnv` 里含 `context`，而 `context` 正是
@@ -20,7 +20,6 @@ import { detectSourceRoots } from '../../utils/detect-source-roots';
 import { reconcileCapabilities, type CapabilityVerdict } from './capabilities-reconcile';
 import { readJsonlWindow, type JsonlWindow, type JsonlReadResult } from '../../utils/jsonl';
 import { DEFAULT_TRACE_FILE, type ExecutionTrace } from '../../types/trace';
-import type { CustomConstraintDefinition } from '../../types/project-config';
 
 /** config.yml 在项目根下的相对路径（读取口径唯一落点） */
 const CONFIG_FILE_REL = path.join('.harness', 'config.yml');
@@ -49,14 +48,6 @@ export interface RunEnv {
    * 空文件 → `{}`；YAML 解析失败 → **抛出**（兜底与否属各消费方的判定，不在读面上替它决定）。
    */
   rawConfig(): Record<string, unknown> | undefined;
-  /**
-   * `.harness/<fileName>` 里的自定义约束定义（一次运行内同名文件至多读一次）
-   *
-   * 文件名由消费方（ProjectConfigLoader）从合并后的 config 解析后传入——
-   * 「`custom_constraints_file` 怎么写才算数」属加载器口径，不在读面上判。
-   * 文件缺失或无 `custom_constraints` 段 → `{}`（与改前的直读逐字一致）。
-   */
-  customConstraints(fileName: string): Record<string, CustomConstraintDefinition>;
   /**
    * `CAPABILITIES.md` 的读取 + 解析 + 与代码实况的对照判定（ADR-0023 决策 4）
    *
@@ -97,7 +88,6 @@ export function createRunEnv(projectPath: string): RunEnv {
   let sourceRoots: string[] | null = null;
   let configLoaded = false;
   let configRaw: Record<string, unknown> | undefined;
-  const customDefs = new Map<string, Record<string, CustomConstraintDefinition>>();
   /** 能力表 memo：undefined = 未算，null = 项目无 CAPABILITIES.md */
   let caps: ProjectCapabilities | null | undefined;
 
@@ -120,14 +110,6 @@ export function createRunEnv(projectPath: string): RunEnv {
       }
       return configRaw;
     },
-    customConstraints(fileName: string) {
-      let defs = customDefs.get(fileName);
-      if (!defs) {
-        defs = readCustomConstraints(path.join(projectPath, '.harness', fileName));
-        customDefs.set(fileName, defs);
-      }
-      return defs;
-    },
     capabilities(populationFiles: string[]) {
       if (caps === undefined) {
         const content = readCapabilitiesContent();
@@ -164,20 +146,6 @@ export function createRunEnv(projectPath: string): RunEnv {
   }
 }
 
-/**
- * 读一个自定义约束文件并取出 `custom_constraints` 段
- *
- * 缺失 → `{}`。文档解析成空值（空 yaml 文件）时取段会抛——改前直读就是这个行为，
- * 不在此新增兜底：畸形配置文件该炸在配置上，不该被读面抹平。
- */
-function readCustomConstraints(absPath: string): Record<string, CustomConstraintDefinition> {
-  if (!fs.existsSync(absPath)) return {};
-  const loaded = yaml.load(fs.readFileSync(absPath, 'utf-8')) as {
-    custom_constraints?: Record<string, CustomConstraintDefinition>;
-  };
-  return loaded.custom_constraints ?? {};
-}
-
 /**
  * 读并解析一个 YAML 配置文件
  *

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

@@ -3,7 +3,7 @@
  *
  * `harness constraints report` 与 `harness constraints retire`（交互模式）共用的
  * 数据层：读取项目 traces.log，与生效集（getEffectiveConstraints）对齐，
- * 产出 check 层统计表与四类退役候选诊断。
+ * 产出 check 约束统计表与四类退役候选诊断。
  *
  * 只读：不创建目录、不写任何文件。
  */
@@ -23,8 +23,6 @@ import type { EffectiveConfigLint } from '../effective-constraints';
  */
 export const FLAG_EVIDENCE_CONSTRAINT_IDS: ReadonlySet<string> = new Set([
   'no_completion_without_verification',
-  'incremental_progress',
-  'no_implementation_without_requirement',
 ]);
 
 /**
@@ -32,7 +30,7 @@ export const FLAG_EVIDENCE_CONSTRAINT_IDS: ReadonlySet<string> = new Set([
  */
 export interface ConstraintUsageStats {
   id: string;
-  level: Constraint['level'];
+  severity: Constraint['severity'];
 
   /** trace 总行数（含 skip） */
   total: number;
@@ -98,12 +96,10 @@ export const DEFAULT_DIAGNOSE_THRESHOLDS: DiagnoseThresholds = {
  * report 数据模型
  */
 export interface ConstraintsUsageReport {
-  /** check 层统计表（生效集内每条 check 约束一行，零出现 total=0） */
+  /** check 约束统计表（生效集内每条约束一行，零出现 total=0） */
   stats: ConstraintUsageStats[];
   /** 退役候选诊断（按 zero_trigger → unevaluable → high_noise → zero_intercept 排序） */
   candidates: RetireCandidate[];
-  /** 当前生效的 prompt 条目 id（注入清单） */
-  activePromptIds: string[];
   /** 配置健康诊断（unknownIds 等） */
   lint: EffectiveConfigLint;
   /** trace 文件是否存在 */
@@ -145,7 +141,7 @@ export function readProjectTraces(projectRoot: string): ExecutionTrace[] {
  */
 export function collectUsageByConstraint(
   traces: ExecutionTrace[]
-): Map<string, Omit<ConstraintUsageStats, 'id' | 'level' | 'evaluated' | 'failRate'>> {
+): Map<string, Omit<ConstraintUsageStats, 'id' | 'severity' | 'evaluated' | 'failRate'>> {
   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);
@@ -163,12 +159,12 @@ export function collectUsageByConstraint(
   return map;
 }
 
-function toStats(id: string, level: Constraint['level'], agg: { total: number; pass: number; fail: number; skip: number; firstAt?: number; lastAt?: number } | undefined): ConstraintUsageStats {
+function toStats(id: string, severity: Constraint['severity'], 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,
-    level,
+    severity,
     total: a.total,
     pass: a.pass,
     fail: a.fail,
@@ -183,7 +179,7 @@ function toStats(id: string, level: Constraint['level'], agg: { total: number; p
 /**
  * 退役候选诊断（纯函数）
  *
- * 每条 check 约束最多归入一个类别，优先级：
+ * 每条约束最多归入一个类别，优先级：
  * zero_trigger → unevaluable → high_noise → zero_intercept
  */
 export function diagnoseRetireCandidates(
@@ -248,21 +244,18 @@ export function buildConstraintsUsageReport(
   thresholds: Partial<DiagnoseThresholds> = {}
 ): ConstraintsUsageReport {
   const effective = getEffectiveConstraints(projectRoot);
-  const checkConstraints = effective.filter(c => c.kind === 'check');
-  const activePromptIds = effective.filter(c => c.kind === 'prompt').map(c => c.id);
 
   const tracePath = path.join(projectRoot, DEFAULT_TRACE_FILE);
   const { traces, skippedLines } = readProjectTracesReport(projectRoot);
   const usage = collectUsageByConstraint(traces);
 
-  const stats = checkConstraints.map(c => toStats(c.id, c.level, usage.get(c.id)));
+  const stats = effective.map(c => toStats(c.id, c.severity, usage.get(c.id)));
   const candidates = diagnoseRetireCandidates(stats, thresholds);
   const lint = lintEffectiveConfig(projectRoot);
 
   return {
     stats,
     candidates,
-    activePromptIds,
     lint,
     traceFileExists: fs.existsSync(tracePath),
     skippedLines,