@dommaker/harness 1.9.0 → 1.11.0

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/cli/commands/posteval-plan.d.ts

@@ -1,15 +0,0 @@
-/**
- * harness posteval-plan 命令
- *
- * 调用 Studio PostEval API，验证 plan 文件的 checklist items 是否都有对应的 staged diff。
- * pre-commit hook 使用此命令防止"假装完成"。
- *
- * 判定经返回值外溢（架构评审候选7）：API 不可用/5xx 属"未判定"→ skip（退出码面 0 不变）；
- * 覆盖率不足与 4xx → fail，reason 指明是哪一项否决。
- */
-import { type CommandIO, type CommandResult } from '../command-contract';
-export interface PostEvalPlanOptions {
-    planPath: string;
-}
-export declare function postevalPlan(options: PostEvalPlanOptions, io?: CommandIO): Promise<CommandResult>;
-//# sourceMappingURL=posteval-plan.d.ts.map

package/dist/cli/commands/posteval-plan.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"posteval-plan.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/posteval-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAA4B,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEnG,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;CAClB;AA6BD,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,EAAE,GAAE,SAAqB,GACxB,OAAO,CAAC,aAAa,CAAC,CAkDxB"}

package/dist/cli/commands/posteval-plan.js

@@ -1,86 +0,0 @@
-"use strict";
-/**
- * harness posteval-plan 命令
- *
- * 调用 Studio PostEval API，验证 plan 文件的 checklist items 是否都有对应的 staged diff。
- * pre-commit hook 使用此命令防止"假装完成"。
- *
- * 判定经返回值外溢（架构评审候选7）：API 不可用/5xx 属"未判定"→ skip（退出码面 0 不变）；
- * 覆盖率不足与 4xx → fail，reason 指明是哪一项否决。
- */
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.postevalPlan = postevalPlan;
-const chalk_1 = __importDefault(require("chalk"));
-const command_contract_1 = require("../command-contract");
-const MAX_RETRIES = 3;
-const RETRY_DELAY_MS = 2000;
-async function fetchWithRetry(url, body, retries) {
-    let lastError;
-    for (let i = 0; i < retries; i++) {
-        try {
-            const controller = new AbortController();
-            const timeout = setTimeout(() => controller.abort(), 5000);
-            const res = await fetch(url, {
-                method: 'POST',
-                headers: { 'Content-Type': 'application/json' },
-                body,
-                signal: controller.signal,
-            });
-            clearTimeout(timeout);
-            return res;
-        }
-        catch (error) {
-            lastError = error;
-            if (i < retries - 1) {
-                await new Promise(resolve => setTimeout(resolve, RETRY_DELAY_MS * (i + 1))); // exponential backoff
-            }
-        }
-    }
-    throw lastError;
-}
-async function postevalPlan(options, io = command_contract_1.processIO) {
-    const apiPort = process.env.API_PORT || '3001';
-    const url = `http://localhost:${apiPort}/api/v1/agents/post-eval/plan-coverage`;
-    try {
-        const res = await fetchWithRetry(url, JSON.stringify({ planPath: options.planPath }), MAX_RETRIES);
-        if (!res.ok) {
-            if (res.status >= 500) {
-                // Server error — allow commit with warning (don't block on infrastructure failure)
-                (0, command_contract_1.logError)(io, chalk_1.default.yellow(`⚠️  PostEval API unavailable (${res.status}), allowing commit with warning`));
-                (0, command_contract_1.logError)(io, chalk_1.default.yellow(`   Plan: ${options.planPath}`));
-                return { kind: 'skip', reason: `PostEval API 服务端错误 ${res.status}，未判定` };
-            }
-            (0, command_contract_1.logError)(io, chalk_1.default.red(`❌ PostEval API error: ${res.status} ${res.statusText}`));
-            return { kind: 'fail', reason: `PostEval API error: ${res.status} ${res.statusText}` };
-        }
-        const report = await res.json();
-        const pct = Math.round(report.completeness * 100);
-        if (report.completeness < 1) {
-            (0, command_contract_1.logError)(io, chalk_1.default.red(`❌ Plan coverage: ${pct}% (${report.matchedAcs.length}/${report.matchedAcs.length + report.missedAcs.length})`));
-            if (report.missedAcs.length > 0) {
-                (0, command_contract_1.logError)(io, chalk_1.default.red('Missed items:'));
-                report.missedAcs.forEach((item) => (0, command_contract_1.logError)(io, chalk_1.default.red(`  - ${item}`)));
-            }
-            return {
-                kind: 'fail',
-                reason: `plan coverage ${pct}% < 100%，缺 ${report.missedAcs.length} 项: ${report.missedAcs.join('; ')}`,
-            };
-        }
-        (0, command_contract_1.log)(io, chalk_1.default.green(`✅ Plan coverage: ${pct}%`));
-        return { kind: 'ok' };
-    }
-    catch (error) {
-        // API unreachable after all retries — allow with warning (don't block commits on infra)
-        (0, command_contract_1.logError)(io, chalk_1.default.yellow(`⚠️  Studio API unreachable after ${MAX_RETRIES} retries, allowing commit with warning`));
-        (0, command_contract_1.logError)(io, chalk_1.default.yellow(`   Plan: ${options.planPath}`));
-        (0, command_contract_1.logError)(io, chalk_1.default.yellow(`   Error: ${error?.code || error?.message || String(error)}`));
-        return {
-            kind: 'skip',
-            reason: `Studio API 不可达（${error?.code || error?.message || String(error)}），未判定`,
-        };
-    }
-}
-//# sourceMappingURL=posteval-plan.js.map

package/dist/cli/commands/posteval-plan.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"posteval-plan.js","sourceRoot":"","sources":["../../../src/cli/commands/posteval-plan.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;AAoCH,oCAqDC;AAvFD,kDAA0B;AAC1B,0DAAmG;AAMnG,MAAM,WAAW,GAAG,CAAC,CAAC;AACtB,MAAM,cAAc,GAAG,IAAI,CAAC;AAE5B,KAAK,UAAU,cAAc,CAAC,GAAW,EAAE,IAAY,EAAE,OAAe;IACtE,IAAI,SAAc,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC;YAC3D,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;gBAC3B,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;gBAC/C,IAAI;gBACJ,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAC,CAAC;YACH,YAAY,CAAC,OAAO,CAAC,CAAC;YACtB,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,OAAO,KAAU,EAAE,CAAC;YACpB,SAAS,GAAG,KAAK,CAAC;YAClB,IAAI,CAAC,GAAG,OAAO,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;YACrG,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,SAAS,CAAC;AAClB,CAAC;AAEM,KAAK,UAAU,YAAY,CAChC,OAA4B,EAC5B,KAAgB,4BAAS;IAEzB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,MAAM,CAAC;IAC/C,MAAM,GAAG,GAAG,oBAAoB,OAAO,wCAAwC,CAAC;IAEhF,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;QAEnG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;gBACtB,mFAAmF;gBACnF,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,iCAAiC,GAAG,CAAC,MAAM,iCAAiC,CAAC,CAAC,CAAC;gBACzG,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,YAAY,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,sBAAsB,GAAG,CAAC,MAAM,MAAM,EAAE,CAAC;YAC1E,CAAC;YACD,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,yBAAyB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YACjF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC;QACzF,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,IAAI,EAI5B,CAAC;QAEF,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC;QAElD,IAAI,MAAM,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,oBAAoB,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACxI,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;gBACzC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrF,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,iBAAiB,GAAG,cAAc,MAAM,CAAC,SAAS,CAAC,MAAM,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACtG,CAAC;QACJ,CAAC;QAED,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,KAAK,CAAC,oBAAoB,GAAG,GAAG,CAAC,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IAAC,OAAO,KAAU,EAAE,CAAC;QACpB,wFAAwF;QACxF,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,oCAAoC,WAAW,wCAAwC,CAAC,CAAC,CAAC;QACpH,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,YAAY,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,aAAa,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1F,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,kBAAkB,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO;SAChF,CAAC;IACJ,CAAC;AACH,CAAC"}

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"no-bypass-checkpoint.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-bypass-checkpoint.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAU/C,eAAO,MAAM,kBAAkB,EAAE,eAwBhC,CAAC"}

package/dist/core/constraints/checkers/no-bypass-checkpoint.js

@@ -1,40 +0,0 @@
-"use strict";
-/**
- * no_bypass_checkpoint：检查变更文件内容是否有 skip/bypass 关键词（工单 21）
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.noBypassCheckpoint = void 0;
-const fs_1 = require("fs");
-const BYPASS_PATTERNS = [
-    /\.skip\(/, // Jest/Vitest skip
-    /\.bypass\s*=/, // bypass flag
-    /skip:\s*true/, // skip option
-    /bypass\s*checkpoint/, // explicit bypass
-    /\/\/\s*skip/, // comment skip
-];
-exports.noBypassCheckpoint = {
-    id: 'no_bypass_checkpoint',
-    async evaluate(env) {
-        const changedFiles = env.context.changedFiles || [];
-        if (changedFiles.length === 0) {
-            return true; // 无变更文件，默认通过
-        }
-        for (const file of changedFiles) {
-            if (!(0, fs_1.existsSync)(file))
-                continue;
-            try {
-                const content = (0, fs_1.readFileSync)(file, 'utf-8');
-                for (const pattern of BYPASS_PATTERNS) {
-                    if (pattern.test(content)) {
-                        return false; // 发现 bypass 关键词
-                    }
-                }
-            }
-            catch {
-                // 文件读取失败，忽略
-            }
-        }
-        return true;
-    },
-};
-//# sourceMappingURL=no-bypass-checkpoint.js.map

package/dist/core/constraints/checkers/no-bypass-checkpoint.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-bypass-checkpoint.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-bypass-checkpoint.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,2BAA8C;AAG9C,MAAM,eAAe,GAAG;IACtB,UAAU,EAAa,mBAAmB;IAC1C,cAAc,EAAS,cAAc;IACrC,cAAc,EAAS,cAAc;IACrC,qBAAqB,EAAE,kBAAkB;IACzC,aAAa,EAAU,eAAe;CACvC,CAAC;AAEW,QAAA,kBAAkB,GAAoB;IACjD,EAAE,EAAE,sBAAsB;IAC1B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,MAAM,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACpD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,CAAC,aAAa;QAC5B,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,CAAC,IAAA,eAAU,EAAC,IAAI,CAAC;gBAAE,SAAS;YAChC,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,IAAA,iBAAY,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC5C,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;oBACtC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC1B,OAAO,KAAK,CAAC,CAAC,gBAAgB;oBAChC,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,YAAY;YACd,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC"}

package/dist/core/constraints/definitions/prompts.d.ts

@@ -1,12 +0,0 @@
-/**
- * prompt 类约束定义（ADR-0001：kind 二元模型）
- *
- * 纯文本提示层：
- * - kind: 'prompt'，level 统一为 'prompt'
- * - 不带 checker，不参与运行时检查与 trace 统计
- * - promptInjection 参与 init 注入；trigger 供消费端（studio）做角色路由
- * - appliesTo 标注适用场景（如 'agent-skill'、'llm-app'），缺省为通用
- */
-import type { Constraint } from '../../../types/constraint';
-export declare const PROMPTS: Record<string, Constraint>;
-//# sourceMappingURL=prompts.d.ts.map

package/dist/core/constraints/definitions/prompts.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/prompts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAiZ9C,CAAC"}