@dommaker/harness 1.9.0 → 1.10.0

package/src/monitoring/traces.ts

@@ -38,8 +38,8 @@ const DEFAULT_CONFIG: TraceCollectorConfig = {
  * ```typescript
  * const collector = new TraceCollector({ projectPath: '/path/to/project' });
  * collector.record({
- *   constraintId: 'no_fix_without_root_cause',
- *   level: 'iron_law',
+ *   constraintId: 'no_completion_without_verification',
+ *   severity: 'error',
  *   timestamp: Date.now(),
  *   result: 'fail',
  * });
@@ -92,12 +92,12 @@ export class TraceCollector {
    */
   recordPass(
     constraintId: string,
-    level: 'iron_law' | 'guideline',
+    severity: 'error' | 'warning',
     options?: Partial<ExecutionTrace>
   ): void {
     this.record({
       constraintId,
-      level,
+      severity,
       timestamp: Date.now(),
       result: 'pass',
       ...options,
@@ -109,12 +109,12 @@ export class TraceCollector {
    */
   recordFail(
     constraintId: string,
-    level: 'iron_law' | 'guideline',
+    severity: 'error' | 'warning',
     options?: Partial<ExecutionTrace>
   ): void {
     this.record({
       constraintId,
-      level,
+      severity,
       timestamp: Date.now(),
       result: 'fail',
       ...options,
@@ -184,8 +184,8 @@ export class TraceCollector {
         return false;
       }
 
-      // 层级
-      if (filter.level && trace.level !== filter.level) {
+      // 严重性
+      if (filter.severity && trace.severity !== filter.severity) {
         return false;
       }
 

package/src/presets/__tests__/standard.test.ts

@@ -1,7 +1,7 @@
 /**
  * presets 纯数据测试
  *
- * 预设只保留数据（ADR-0001：筛选逻辑统一在 mergeConstraints），
+ * 预设只保留数据（ADR-0029：键按 severity 命名；筛选逻辑统一在 mergeConstraints），
  * 这里锁定数据形状与 strict→standard 别名语义。
  */
 
@@ -16,43 +16,39 @@ describe('预设数据', () => {
   describe('STRICT_PRESET', () => {
     it('应该启用所有约束', () => {
       expect(STRICT_PRESET.name).toBe('strict');
-      expect(STRICT_PRESET.ironLaws).toBeNull();
-      expect(STRICT_PRESET.guidelines).toBeNull();
-      expect(STRICT_PRESET.prompts).toBeNull();
+      expect(STRICT_PRESET.errors).toBeNull();
+      expect(STRICT_PRESET.warnings).toBeNull();
     });
   });
 
   describe('STANDARD_PRESET', () => {
     it('应该启用所有约束', () => {
       expect(STANDARD_PRESET.name).toBe('standard');
-      expect(STANDARD_PRESET.ironLaws).toBeNull();
-      expect(STANDARD_PRESET.guidelines).toBeNull();
-      expect(STANDARD_PRESET.prompts).toBeNull();
+      expect(STANDARD_PRESET.errors).toBeNull();
+      expect(STANDARD_PRESET.warnings).toBeNull();
     });
   });
 
   describe('RELAXED_PRESET', () => {
     it('应该只启用核心约束', () => {
       expect(RELAXED_PRESET.name).toBe('relaxed');
-      expect(RELAXED_PRESET.ironLaws).toHaveLength(3);
-      expect(RELAXED_PRESET.guidelines).toHaveLength(2);
-      expect(RELAXED_PRESET.prompts).toEqual([]);
+      expect(RELAXED_PRESET.errors).toHaveLength(1);
+      expect(RELAXED_PRESET.warnings).toHaveLength(1);
     });
 
     it('应该包含 no_completion_without_verification', () => {
-      expect(RELAXED_PRESET.ironLaws).toContain('no_completion_without_verification');
+      expect(RELAXED_PRESET.errors).toContain('no_completion_without_verification');
     });
 
-    it('应该包含 no_bypass_checkpoint', () => {
-      expect(RELAXED_PRESET.guidelines).toContain('no_bypass_checkpoint');
+    it('应该包含 no_hardcoded_credentials', () => {
+      expect(RELAXED_PRESET.warnings).toContain('no_hardcoded_credentials');
     });
   });
 
   describe('PRESETS_BY_NAME', () => {
     it('strict 是 standard 的别名（同为全部启用）', () => {
-      expect(PRESETS_BY_NAME['strict']?.ironLaws).toBeNull();
-      expect(PRESETS_BY_NAME['strict']?.guidelines).toBeNull();
-      expect(PRESETS_BY_NAME['strict']?.prompts).toBeNull();
+      expect(PRESETS_BY_NAME['strict']?.errors).toBeNull();
+      expect(PRESETS_BY_NAME['strict']?.warnings).toBeNull();
     });
 
     it('三个预设名均可解析', () => {

package/src/presets/standard.ts

@@ -2,10 +2,10 @@
  * 约束预设（纯数据）
  *
  * 预设定义哪些内置约束被启用。筛选与合并逻辑统一在
- * core/project-config-loader.ts 的 mergeConstraints（ADR-0001 生效集链路），
+ * core/project-config-loader.ts 的 mergeConstraints（生效集链路），
  * 本文件只保留预设数据，不再含函数。
  *
- * ADR-0001：kind 二元（check + prompt 纯注入层）。
+ * ADR-0029：桶按 severity 命名（errors / warnings），取代三层命名。
  */
 
 /**
@@ -15,14 +15,11 @@ export interface PresetConfig {
   /** 预设名称 */
   name: string;
 
-  /** 启用的铁律 ID 列表（null 表示全部启用） */
-  ironLaws: string[] | null;
+  /** 启用的 severity='error' 约束 ID 列表（null 表示全部启用） */
+  errors: string[] | null;
 
-  /** 启用的指导原则 ID 列表（null 表示全部启用） */
-  guidelines: string[] | null;
-
-  /** 启用的提示 ID 列表（null 表示全部启用） */
-  prompts: string[] | null;
+  /** 启用的 severity='warning' 约束 ID 列表（null 表示全部启用） */
+  warnings: string[] | null;
 }
 
 /**
@@ -32,40 +29,34 @@ export interface PresetConfig {
  */
 export const STRICT_PRESET: PresetConfig = {
   name: 'strict',
-  ironLaws: null,    // 全部启用
-  guidelines: null,  // 全部启用
-  prompts: null,     // 全部启用
+  errors: null,    // 全部启用
+  warnings: null,  // 全部启用
 };
 
 /**
  * 标准预设
  *
- * 铁律全部启用，指导原则和提示选择性启用
+ * 全部约束启用
  */
 export const STANDARD_PRESET: PresetConfig = {
   name: 'standard',
-  ironLaws: null,    // 全部启用
-  guidelines: null,  // 全部启用
-  prompts: null,     // 全部启用
+  errors: null,    // 全部启用
+  warnings: null,  // 全部启用
 };
 
 /**
  * 宽松预设
  *
- * 仅启用核心铁律，禁用提示
+ * 仅启用核心 error 级与凭证扫描
  */
 export const RELAXED_PRESET: PresetConfig = {
   name: 'relaxed',
-  ironLaws: [
+  errors: [
     'no_completion_without_verification',
-    'incremental_progress',
-    'no_implementation_without_requirement',
   ],
-  guidelines: [
-    'no_bypass_checkpoint',
+  warnings: [
     'no_hardcoded_credentials',
   ],
-  prompts: [],  // 禁用提示
 };
 
 /**

package/src/types/__tests__/types.test.ts

@@ -17,7 +17,7 @@ describe('ConstraintViolationError', () => {
   it('应该使用 result.message 作为错误消息', () => {
     const error = new ConstraintViolationError({
       id: 'test',
-      level: 'iron_law',
+      severity: 'error',
       satisfied: false,
       message: '测试违规消息',
       checkedAt: new Date(),
@@ -31,7 +31,7 @@ describe('ConstraintViolationError', () => {
   it('应该在 message 为空时使用默认消息', () => {
     const error = new ConstraintViolationError({
       id: 'test',
-      level: 'iron_law',
+      severity: 'error',
       satisfied: false,
       checkedAt: new Date(),
     });
@@ -42,7 +42,7 @@ describe('ConstraintViolationError', () => {
   it('应该在 message 为空字符串时使用默认消息', () => {
     const error = new ConstraintViolationError({
       id: 'test',
-      level: 'iron_law',
+      severity: 'error',
       satisfied: false,
       message: '',
       checkedAt: new Date(),

package/src/types/constraint.ts

@@ -1,11 +1,12 @@
 /**
  * 约束类型定义
  *
- * kind 二元模型（ADR-0001）：
- * - check：必须带真实 checker，参与运行时检查与 trace 统计
- *   - iron_law：绝对禁止，无例外，违背即阻止执行
- *   - guideline：优先建议，违背发警告但不阻止
- * - prompt：纯文本提示，仅参与 prompt 注入，不占检查位、不产生 trace
+ * severity 显式模型（ADR-0029，取代 ADR-0001 的三层命名与 kind 二元模型）：
+ * - 全部约束 kind='check'：必须带真实 checker，参与运行时检查与 trace 统计
+ * - severity 直接写死在定义上：error = 违规即阻断；warning = 违规告警不阻断；
+ *   info = 仅记录
+ * - 纯文本提示层（kind='prompt' / promptInjection / 注入段渲染）已整体关停，
+ *   文本规则由消费方手写治理段承接
  */
 
 /**
@@ -14,16 +15,14 @@
 export type ConstraintId = string;
 
 /**
- * 约束类别：check = 可执行检查；prompt = 纯文本注入
+ * 约束类别（ADR-0029 收窄为单值）：check = 可执行检查
  */
-export type ConstraintKind = 'check' | 'prompt';
+export type ConstraintKind = 'check';
 
 /**
- * 约束层级
- *
- * check 层只使用 'iron_law' | 'guideline'；prompt 类统一为 'prompt'。
+ * 约束严重性（显式字段，取代三层 level 命名）
  */
-export type ConstraintLevel = 'iron_law' | 'guideline' | 'prompt';
+export type ConstraintSeverity = 'error' | 'warning' | 'info';
 
 /**
  * 约束触发条件（开放扩展）
@@ -41,9 +40,8 @@ export interface Constraint {
   id: ConstraintId;
 
   /**
-   * 约束类别（ADR-0001）：
-   * - check：必须带真实 checker，参与运行时检查
-   * - prompt：纯文本提示，仅参与注入，不执行 checker
+   * 约束类别（ADR-0029）：恒为 'check'——必须带真实 checker，参与运行时检查；
+   * 纯文本提示（kind='prompt'）已随文本注入层一并关停
    */
   kind: ConstraintKind;
 
@@ -53,8 +51,8 @@ export interface Constraint {
   /** 约束消息（中文） */
   message: string;
   
-  /** 约束层级 */
-  level: ConstraintLevel;
+  /** 约束严重性：error = 违规即阻断；warning = 违规告警不阻断；info = 仅记录 */
+  severity: ConstraintSeverity;
   
   /** 触发条件（支持多个 trigger） */
   trigger: ConstraintTrigger | ConstraintTrigger[];
@@ -65,20 +63,8 @@ export interface Constraint {
   /** 约束描述 */
   description?: string;
 
-  /** 软约束 prompt 注入（引导 Agent 行为的提示文本） */
-  promptInjection?: string;
-
-  /** 是否注入 Agent prompt（默认 iron_law=true, guideline=false） */
-  injectPrompt?: boolean;
-
   /** 是否启用 */
   enabled?: boolean;
-
-  /**
-   * 适用场景标签（prompt 类专用，如 'agent-skill'、'llm-app'）。
-   * 未标注表示通用场景。消费端（init 注入 / studio 路由）可按标签过滤。
-   */
-  appliesTo?: string[];
 }
 
 /**
@@ -88,8 +74,8 @@ export interface ConstraintResult {
   /** 约束 ID */
   id: ConstraintId;
   
-  /** 约束层级 */
-  level: ConstraintLevel;
+  /** 约束严重性 */
+  severity: ConstraintSeverity;
   
   /** 是否满足 */
   satisfied: boolean;
@@ -186,10 +172,10 @@ export interface ConstraintContext {
   /** 是否已进行复用检查 */
   hasReuseCheck?: boolean;
   
-  /** 是否只处理单个任务（用于 incremental_progress） */
+  /** 是否只处理单个任务（证据标志，当前无内置 checker 消费，供自定义约束用） */
   hasSingleTask?: boolean;
   
-  /** 是否有需求文档（用于 no_implementation_without_requirement） */
+  /** 是否有需求文档（证据标志，当前无内置 checker 消费，供自定义约束用） */
   hasRequirement?: boolean;
 
   /** worktree 路径（用于 worktree 相关检查） */
@@ -203,8 +189,8 @@ export class ConstraintViolationError extends Error {
   public readonly result: ConstraintResult;
 
   constructor(result: ConstraintResult) {
-    // 铁律违规在 checkConstraints 处直接 throw，CLI 的结构化输出块走不到这里，
-    // error.message 是判定证据唯一的外溢面（harness#119）
+    // severity='error' 的违规在 checkConstraints 处直接 throw，CLI 的结构化输出块
+    // 走不到这里，error.message 是判定证据唯一的外溢面（harness#119）
     const detail = result.evidence?.length
       ? `：\n${result.evidence.map((line) => `  - ${line}`).join('\n')}`
       : '';
@@ -215,16 +201,16 @@ export class ConstraintViolationError extends Error {
 }
 
 /**
- * 约束检查结果（check 层）
+ * 约束检查结果（按 severity 分桶）
  */
 export interface ConstraintCheckResult {
-  /** 铁律检查结果（必须全部通过） */
-  ironLaws: ConstraintResult[];
+  /** severity='error' 的检查结果（必须全部通过） */
+  errors: ConstraintResult[];
   
-  /** 指导原则检查结果（警告，不阻止） */
-  guidelines: ConstraintResult[];
+  /** severity='warning' 的检查结果（警告，不阻止） */
+  warnings: ConstraintResult[];
   
-  /** 是否通过（铁律全部通过） */
+  /** 是否通过（error 级全部通过） */
   passed: boolean;
   
   /** 警告数量 */

package/src/types/passes-gate.ts

@@ -94,17 +94,17 @@ export interface TestResult {
  * PassesGate 验证违规
  */
 export interface PassesGateViolation {
-  /** Iron Law ID */
+  /** 约束 ID */
   id: string;
 
-  /** Iron Law 规则 */
+  /** 约束规则 */
   rule: string;
 
   /** 中文消息 */
   message: string;
 
-  /** 约束层级 */
-  level: 'iron_law';
+  /** 约束严重性（PassesGate 违规恒为阻断级） */
+  severity: 'error';
 }
 
 /**
@@ -114,7 +114,7 @@ export interface PassesGateCheckResult {
   /** 是否允许标记完成 */
   allowed: boolean;
 
-  /** Iron Law 违规列表 */
+  /** 阻断级违规列表 */
   violations?: PassesGateViolation[];
 
   /** 原始测试结果 */

package/src/types/project-config.ts

@@ -1,57 +1,11 @@
 /**
- * 项目级自定义约束配置
+ * 项目级约束配置
  *
- * 允许项目定义自己的约束，扩展或覆盖 harness 内置约束
+ * 允许项目启用/禁用 harness 内置约束（ADR-0029：项目自定义纯文本约束
+ * 已随文本注入层关停一并退役，文本规则由项目手写治理段承接）
  */
 
-import type { Constraint, ConstraintLevel } from './constraint';
-
-/**
- * 自定义约束定义
- */
-export interface CustomConstraintDefinition {
-  /** 约束 ID */
-  id: string;
-
-  /** 约束层级（可选，缺省 guideline） */
-  level?: ConstraintLevel;
-
-  /** 约束规则（可选） */
-  rule?: string;
-
-  /** 约束消息（可选） */
-  message?: string;
-
-  /** 触发条件（可选） */
-  trigger?: string | string[];
-
-  /** 描述（可选） */
-  description?: string;
-
-  /**
-   * Prompt 注入文本（可选）
-   *
-   * 自定义约束统一 kind='prompt'（无 checker），该字段是进入 CLAUDE.md
-   * 注入段（renderConstraintsSection）的唯一通道——缺省不出现在注入段，
-   * 与内置无 promptInjection 的 check 条目行为一致。
-   */
-  promptInjection?: string;
-
-  /** 是否启用（可选，默认 true） */
-  enabled?: boolean;
-
-  /**
-   * 退役元数据（studio#82 D6 统一落点）
-   *
-   * 存在即视为已退役：不进生效集、不注入 CLAUDE.md。恢复 = 删除该段。
-   * 落点在 custom-constraints.yml 条目内（一处真相，不拆 config.yml 第二处）。
-   */
-  retired?: {
-    at?: string;
-    reason?: string;
-    stats?: { total: number; fail: number; failRate: number };
-  };
-}
+import type { Constraint } from './constraint';
 
 /**
  * 文档同步配置
@@ -257,26 +211,12 @@ export interface ProjectConfig {
   /** CI 接线平台（harness#143，缺省 github） */
   ci?: CiConfig;
 
-  /**
-   * 项目适用场景标签（ADR-0001，如 'agent-skill'、'llm-app'）
-   *
-   * 带 appliesTo 标签的 prompt 仅当 scenes 与其交集非空时进入生效集；
-   * 无 appliesTo 的条目不受影响。缺省为空 = 场景专属 prompt 默认不注入。
-   */
-  scenes?: string[];
-
   /** 治理配置 */
   governance?: GovernanceConfig;
 
   /** 内置约束启用/禁用配置 */
   constraints?: Record<string, { enabled?: boolean }>;
 
-  /** 自定义约束文件路径 */
-  custom_constraints_file?: string;
-
-  /** 自定义约束（直接定义） */
-  custom_constraints?: Record<string, CustomConstraintDefinition>;
-
   /** Spec 验证配置 */
   spec?: {
     /** 是否启用 Spec 验证 */
@@ -291,26 +231,17 @@ export interface ProjectConfig {
 }
 
 /**
- * 完整的约束配置（合并内置 + 自定义）
+ * 完整的约束配置（合并内置 + preset 裁剪 + config.yml 禁用）
  */
 export interface MergedConstraintsConfig {
-  /** Iron Laws（合并后） */
-  ironLaws: Record<string, Constraint>;
-
-  /** Guidelines（合并后） */
-  guidelines: Record<string, Constraint>;
-
-  /** Prompts（合并后，ADR-0001 新增；可选以兼容旧调用方，缺省回落内置 PROMPTS） */
-  prompts?: Record<string, Constraint>;
+  /** 生效的约束（合并后，单桶；severity 在条目上） */
+  constraints: Record<string, Constraint>;
 
   /** 禁用的约束 ID */
   disabled: string[];
 
-  /** 自定义约束 ID */
-  custom: string[];
-
   /**
-   * config.yml `constraints.<id>` 中既非内置也非自定义的未知 id（ADR-0001）
+   * config.yml `constraints.<id>` 中非内置的未知 id
    *
    * 例如禁用了已被本版移除的约束 id 的残留配置。生效集计算静默忽略，
    * 在此列出供诊断（lintEffectiveConfig / report）使用。

package/src/types/trace.ts

@@ -31,8 +31,8 @@ export interface ExecutionTrace {
   /** 约束 ID */
   constraintId: string;
 
-  /** 约束层级 */
-  level: 'iron_law' | 'guideline' | 'prompt';
+  /** 约束严重性（ADR-0029：显式 severity 取代三层 level 命名） */
+  severity: 'error' | 'warning' | 'info';
 
   /** 检查时间（Unix timestamp） */
   timestamp: number;
@@ -47,9 +47,6 @@ export interface ExecutionTrace {
   /** 操作类型（触发条件） */
   operation?: string;
 
-  /** 严重性（从约束定义继承） */
-  severity?: 'error' | 'warning' | 'info';
-
   /** 项目路径（用于区分多项目） */
   projectPath?: string;
 
@@ -84,8 +81,8 @@ export interface TraceSummary {
   /** 约束 ID */
   constraintId: string;
 
-  /** 约束层级 */
-  level: 'iron_law' | 'guideline' | 'prompt';
+  /** 约束严重性 */
+  severity: 'error' | 'warning' | 'info';
 
   /** 统计时间范围 */
   timeRange: {
@@ -148,8 +145,8 @@ export interface TraceAnomaly {
   /** 约束 ID */
   constraintId: string;
 
-  /** 约束层级 */
-  level: 'iron_law' | 'guideline' | 'prompt';
+  /** 约束严重性 */
+  severity: 'error' | 'warning' | 'info';
 
   /** 异常描述 */
   message: string;
@@ -175,8 +172,8 @@ export interface TraceFilter {
   /** 约束 ID（可选，不指定则查全部） */
   constraintId?: string;
 
-  /** 约束层级（可选） */
-  level?: 'iron_law' | 'guideline' | 'prompt';
+  /** 约束严重性（可选） */
+  severity?: 'error' | 'warning' | 'info';
 
   /** 结果类型（可选） */
   result?: 'pass' | 'fail' | 'skip';

package/dist/core/constraints/agent-prompt-renderer.d.ts

@@ -1,32 +0,0 @@
-/**
- * Agent prompt 约束段渲染（H6/G6：trigger 参数化分组渲染 API）
- *
- * 收编 studio prompt-injection.ts 的渲染层：role→trigger 路由留在 studio，
- * 本模块只做 trigger 参数化 + 生效集过滤 + 层级分组渲染。
- *
- * 数据源 = getEffectiveConstraints（内置 → preset → config.yml 禁用 →
- * custom 追加 → scenes 过滤），与 init 注入、harness check 同一来源。
- *
- * 输出按层级分组：铁律 → 指导原则 → 行为提示；无 promptInjection 的约束
- * （如 docs_freshness）不渲染。
- */
-import type { ConstraintTrigger } from '../../types/constraint';
-/**
- * renderConstraintsByTrigger 选项
- */
-export interface RenderConstraintsByTriggerOptions {
-    /** 项目根路径（决定 config.yml 生效集），缺省 process.cwd() */
-    projectRoot?: string;
-}
-/**
- * 按触发条件渲染约束分组文本（注入 Agent system prompt 用）
- *
- * 过滤：生效集内 trigger 与入参存在交集的约束；无 promptInjection 的不渲染。
- * 分组：按层级 iron_law → guideline → prompt 顺序渲染为标题 + 条目列表；
- * 无适用约束时返回空字符串。
- *
- * @param triggers 触发条件（单个或多个；空数组返回空字符串）
- * @param options.projectRoot 项目根路径（决定 config.yml 生效集）
- */
-export declare function renderConstraintsByTrigger(triggers: ConstraintTrigger | ConstraintTrigger[], options?: RenderConstraintsByTriggerOptions): string;
-//# sourceMappingURL=agent-prompt-renderer.d.ts.map

package/dist/core/constraints/agent-prompt-renderer.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"agent-prompt-renderer.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/agent-prompt-renderer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAmB,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAIjF;;GAEG;AACH,MAAM,WAAW,iCAAiC;IAChD,gDAAgD;IAChD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AASD;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,iBAAiB,GAAG,iBAAiB,EAAE,EACjD,OAAO,CAAC,EAAE,iCAAiC,GAC1C,MAAM,CAqBR"}

package/dist/core/constraints/agent-prompt-renderer.js

@@ -1,55 +0,0 @@
-"use strict";
-/**
- * Agent prompt 约束段渲染（H6/G6：trigger 参数化分组渲染 API）
- *
- * 收编 studio prompt-injection.ts 的渲染层：role→trigger 路由留在 studio，
- * 本模块只做 trigger 参数化 + 生效集过滤 + 层级分组渲染。
- *
- * 数据源 = getEffectiveConstraints（内置 → preset → config.yml 禁用 →
- * custom 追加 → scenes 过滤），与 init 注入、harness check 同一来源。
- *
- * 输出按层级分组：铁律 → 指导原则 → 行为提示；无 promptInjection 的约束
- * （如 docs_freshness）不渲染。
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.renderConstraintsByTrigger = renderConstraintsByTrigger;
-const triggers_1 = require("./triggers");
-const effective_constraints_1 = require("../effective-constraints");
-/** 层级分组定义（渲染顺序即声明顺序） */
-const LEVEL_GROUPS = [
-    { level: 'iron_law', heading: '### 铁律（绝对禁止，无例外）' },
-    { level: 'guideline', heading: '### 指导原则（优先建议）' },
-    { level: 'prompt', heading: '### 行为提示' },
-];
-/**
- * 按触发条件渲染约束分组文本（注入 Agent system prompt 用）
- *
- * 过滤：生效集内 trigger 与入参存在交集的约束；无 promptInjection 的不渲染。
- * 分组：按层级 iron_law → guideline → prompt 顺序渲染为标题 + 条目列表；
- * 无适用约束时返回空字符串。
- *
- * @param triggers 触发条件（单个或多个；空数组返回空字符串）
- * @param options.projectRoot 项目根路径（决定 config.yml 生效集）
- */
-function renderConstraintsByTrigger(triggers, options) {
-    const requested = Array.isArray(triggers) ? triggers : [triggers];
-    if (requested.length === 0)
-        return '';
-    const constraints = (0, effective_constraints_1.getEffectiveConstraints)(options?.projectRoot);
-    const applicable = constraints.filter(c => c.promptInjection && (0, triggers_1.matchesTrigger)(c, requested));
-    if (applicable.length === 0)
-        return '';
-    const lines = ['\n## 行为约束（前置声明）\n'];
-    for (const group of LEVEL_GROUPS) {
-        const items = applicable.filter(c => c.level === group.level);
-        if (items.length === 0)
-            continue;
-        lines.push(`${group.heading}\n`);
-        for (const c of items) {
-            lines.push(`- **${c.id}**: ${c.promptInjection}`);
-        }
-        lines.push('');
-    }
-    return lines.join('\n');
-}
-//# sourceMappingURL=agent-prompt-renderer.js.map

package/dist/core/constraints/agent-prompt-renderer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"agent-prompt-renderer.js","sourceRoot":"","sources":["../../../src/core/constraints/agent-prompt-renderer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;AA+BH,gEAwBC;AApDD,yCAA4C;AAC5C,oEAAmE;AAUnE,wBAAwB;AACxB,MAAM,YAAY,GAA+D;IAC/E,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,kBAAkB,EAAE;IAClD,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE;IACjD,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE;CACzC,CAAC;AAEF;;;;;;;;;GASG;AACH,SAAgB,0BAA0B,CACxC,QAAiD,EACjD,OAA2C;IAE3C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,WAAW,GAAG,IAAA,+CAAuB,EAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,IAAA,yBAAc,EAAC,CAAC,EAAE,SAAS,CAAC,CACvD,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,KAAK,GAAa,CAAC,mBAAmB,CAAC,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/constraints/checkers/no-bypass-checkpoint.d.ts

@@ -1,6 +0,0 @@
-/**
- * no_bypass_checkpoint：检查变更文件内容是否有 skip/bypass 关键词（工单 21）
- */
-import type { ConstraintCheck } from './types';
-export declare const noBypassCheckpoint: ConstraintCheck;
-//# sourceMappingURL=no-bypass-checkpoint.d.ts.map