@dommaker/harness 1.9.0 → 1.10.0

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,

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,