@dommaker/harness 1.8.1 → 1.10.0

package/dist/core/constraints/checkers/no-test-simplification.js

@@ -4,7 +4,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.noTestSimplification = void 0;
-// m 标志必需：真实 diff 首行恒为 `diff --git`，缺 m 则 ^ 永不命中删除行（铁律静默失效）
+// m 标志必需：真实 diff 首行恒为 `diff --git`，缺 m 则 ^ 永不命中删除行（checker 静默失效）
 const DELETED_TEST_PATTERNS = [
     /^-\s*(test|it|describe)\s*\(/m, // 删除 test/it/describe
     /^-\s*expect\s*\(/m, // 删除 expect

package/dist/core/constraints/checkers/no-test-simplification.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-test-simplification.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAIH,2DAA2D;AAC3D,MAAM,qBAAqB,GAAG;IAC5B,+BAA+B,EAAE,sBAAsB;IACvD,mBAAmB,EAAe,YAAY;IAC9C,mBAAmB,EAAe,aAAa;CAChD,CAAC;AAEW,QAAA,oBAAoB,GAAoB;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,qBAAqB,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,SAAS;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,gBAAgB;QAC/B,CAAC;IACH,CAAC;CACF,CAAC"}
+{"version":3,"file":"no-test-simplification.js","sourceRoot":"","sources":["../../../../src/core/constraints/checkers/no-test-simplification.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAIH,iEAAiE;AACjE,MAAM,qBAAqB,GAAG;IAC5B,+BAA+B,EAAE,sBAAsB;IACvD,mBAAmB,EAAe,YAAY;IAC9C,mBAAmB,EAAe,aAAa;CAChD,CAAC;AAEW,QAAA,oBAAoB,GAAoB;IACnD,EAAE,EAAE,wBAAwB;IAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG;QAChB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,OAAO,IAAI,qBAAqB,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,SAAS;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,gBAAgB;QAC/B,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/core/constraints/checkers/types.d.ts

@@ -87,7 +87,7 @@ export declare const MAX_EVIDENCE_ITEMS = 10;
 /**
  * 组装证据行：一行说明 + 逐条依据（超限截断）
  *
- * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / 铁律异常文案）决定，trace 原样存。
+ * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / error 级异常文案）决定，trace 原样存。
  * 修复入口不写在这里：那是各约束自己的事，写进各自的 summary 行（docs_freshness 的
  * 幽灵条目与 sync-docs 无关，共用一个指针会误导）。
  */

package/dist/core/constraints/checkers/types.js

@@ -44,7 +44,7 @@ exports.MAX_EVIDENCE_ITEMS = 10;
 /**
  * 组装证据行：一行说明 + 逐条依据（超限截断）
  *
- * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / 铁律异常文案）决定，trace 原样存。
+ * 每行自描述且不带缩进——缩进由消费端（CLI / gate 理由 / error 级异常文案）决定，trace 原样存。
  * 修复入口不写在这里：那是各约束自己的事，写进各自的 summary 行（docs_freshness 的
  * 幽灵条目与 sync-docs 无关，共用一个指针会误导）。
  */

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

@@ -1,11 +1,11 @@
 /**
- * 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 declare const GUIDELINES: Record<string, Constraint>;
+export declare const WARNING_CONSTRAINTS: Record<string, Constraint>;
 //# sourceMappingURL=guidelines.d.ts.map

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

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

package/dist/core/constraints/definitions/guidelines.js

@@ -1,15 +1,15 @@
 "use strict";
 /**
- * check · guideline 定义（ADR-0001：kind 二元模型）
+ * check 约束定义（severity='warning' 组，ADR-0029）
  *
- * 只保留带真实 checker 的指导原则。每条必须：
+ * 只保留带真实 checker 的约束。每条必须：
  * - kind: 'check'
- * - level: 'guideline'
+ * - severity: 'warning'（违规告警不阻断）
  * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.GUIDELINES = void 0;
-exports.GUIDELINES = {
+exports.WARNING_CONSTRAINTS = void 0;
+exports.WARNING_CONSTRAINTS = {
     /**
      * 禁止硬编码凭证
      * 原因：密码/token/密钥泄露是最严重的安全漏洞，一旦提交到版本控制即不可逆
@@ -19,26 +19,10 @@ exports.GUIDELINES = {
         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 无新增警告。未通过时回退修复，不得跳过。',
     },
     /**
      * 功能清单同步
@@ -49,7 +33,7 @@ exports.GUIDELINES = {
         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：
@@ -76,7 +60,7 @@ exports.GUIDELINES = {
         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 文件，描述目录职责和上下文。
@@ -104,7 +88,7 @@ exports.GUIDELINES = {
         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/dist/core/constraints/definitions/guidelines.js.map

@@ -1 +1 @@
-{"version":3,"file":"guidelines.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,UAAU,GAA+B;IACpD;;;OAGG;IACH,wBAAwB,EAAE;QACxB,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,4EAA4E;QAClF,OAAO,EAAE,sCAAsC;QAC/C,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACzE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,4KAA4K;QACzL,eAAe,EAAE,sDAAsD;KACxE;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,mCAAmC;QAChD,eAAe,EAAE,8EAA8E;KAChG;IAED;;;OAGG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,6BAA6B;QACtC,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;QAC1F,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;;;;yFAawE;KACtF;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,oDAAoD;QAC7D,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;;;;;;;+BAac;KAC5B;IAED;;;;OAIG;IACH,mBAAmB,EAAE;QACnB,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,yGAAyG;QAC/G,OAAO,EAAE,8EAA8E;QACvF,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACjH,WAAW,EAAE,2BAA2B;QACxC,WAAW,EAAE;;;;;;oDAMmC;KACjD;CACF,CAAC"}
+{"version":3,"file":"guidelines.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/guidelines.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,mBAAmB,GAA+B;IAC7D;;;OAGG;IACH,wBAAwB,EAAE;QACxB,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,4EAA4E;QAClF,OAAO,EAAE,sCAAsC;QAC/C,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,CAAC,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACzE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,4KAA4K;KAC1L;IAED;;;OAGG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,6BAA6B;QACtC,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;QAC1F,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;;;;yFAawE;KACtF;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,oDAAoD;QAC7D,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;;;;;;;+BAac;KAC5B;IAED;;;;OAIG;IACH,mBAAmB,EAAE;QACnB,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,yGAAyG;QAC/G,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,SAAS;QACnB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,CAAC;QACjH,WAAW,EAAE,2BAA2B;QACxC,WAAW,EAAE;;;;;;oDAMmC;KACjD;CACF,CAAC"}

package/dist/core/constraints/definitions/iron-laws.d.ts

@@ -1,11 +1,11 @@
 /**
- * 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 declare const IRON_LAWS: Record<string, Constraint>;
+export declare const ERROR_CONSTRAINTS: Record<string, Constraint>;
 //# sourceMappingURL=iron-laws.d.ts.map

package/dist/core/constraints/definitions/iron-laws.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"iron-laws.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAkIhD,CAAC"}
+{"version":3,"file":"iron-laws.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAyDxD,CAAC"}

package/dist/core/constraints/definitions/iron-laws.js

@@ -1,15 +1,15 @@
 "use strict";
 /**
- * check · iron_law 定义（ADR-0001：kind 二元模型）
+ * check 约束定义（severity='error' 组，ADR-0029）
  *
- * 只保留带真实 checker 的铁律。每条必须：
+ * 只保留带真实 checker 的约束。每条必须：
  * - kind: 'check'
- * - level: 'iron_law'
+ * - severity: 'error'（违规即阻断）
  * - 在 checkers/ 注册表中有对应实现（注册表闭环，缺失即加载期抛错）
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.IRON_LAWS = void 0;
-exports.IRON_LAWS = {
+exports.ERROR_CONSTRAINTS = void 0;
+exports.ERROR_CONSTRAINTS = {
     /**
      * 禁止无验证声明完成
      * 原因：质量底线，必须有验证命令
@@ -19,92 +19,22 @@ exports.IRON_LAWS = {
         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: `在编写测试时，不能因为遇到困难而简化或跳过测试。
@@ -118,18 +48,17 @@ 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/dist/core/constraints/definitions/iron-laws.js.map

@@ -1 +1 @@
-{"version":3,"file":"iron-laws.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,SAAS,GAA+B;IACnD;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,sFAAsF;QACnG,eAAe,EAAE,+EAA+E;KACjG;IAED;;;;OAIG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;kFAmBiE;QAC9E,eAAe,EAAE,uFAAuF;KACzG;IAED;;;;OAIG;IACH,qCAAqC,EAAE;QACrC,EAAE,EAAE,uCAAuC;QAC3C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,oFAAoF;QAC1F,OAAO,EAAE,4BAA4B;QACrC,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;+BAmBc;QAC3B,eAAe,EAAE,wJAAwJ;KAC1K;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;QACR,eAAe,EAAE,wFAAwF;KAC1G;IAED;;;OAGG;IACH,cAAc,EAAE;QACd,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,qDAAqD;QAC9D,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE;kFACiE;KAC/E;CACF,CAAC"}
+{"version":3,"file":"iron-laws.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAIU,QAAA,iBAAiB,GAA+B;IAC3D;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,sFAAsF;KACpG;IAED;;;;OAIG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;KACT;IAED;;;OAGG;IACH,cAAc,EAAE;QACd,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE;kFACiE;KAC/E;CACF,CAAC"}

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

@@ -1,20 +1,18 @@
 /**
  * 约束定义（薄聚合层）
  *
- * 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';
-export { IRON_LAWS, GUIDELINES, PROMPTS };
+/** 全部内置约束（check 层全量，severity 在条目上） */
+export declare const CONSTRAINTS: Record<string, Constraint>;
 /**
- * 获取所有约束（check + prompt 全量，带 kind）
+ * 获取所有约束（check 全量，带 kind/severity）
  */
 export declare function getAllConstraints(): Constraint[];
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEhD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AAM1C;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAMhD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAKjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEhE"}
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAI5E,sCAAsC;AACtC,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAGlD,CAAC;AAMF;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAEhD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAKjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEhE"}

package/dist/core/constraints/definitions.js

@@ -2,36 +2,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）。
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.PROMPTS = exports.GUIDELINES = exports.IRON_LAWS = void 0;
+exports.CONSTRAINTS = void 0;
 exports.getAllConstraints = getAllConstraints;
 exports.findConstraintsByTrigger = findConstraintsByTrigger;
 exports.getConstraint = getConstraint;
 const iron_laws_1 = require("./definitions/iron-laws");
-Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return iron_laws_1.IRON_LAWS; } });
 const guidelines_1 = require("./definitions/guidelines");
-Object.defineProperty(exports, "GUIDELINES", { enumerable: true, get: function () { return guidelines_1.GUIDELINES; } });
-const prompts_1 = require("./definitions/prompts");
-Object.defineProperty(exports, "PROMPTS", { enumerable: true, get: function () { return prompts_1.PROMPTS; } });
+/** 全部内置约束（check 层全量，severity 在条目上） */
+exports.CONSTRAINTS = {
+    ...iron_laws_1.ERROR_CONSTRAINTS,
+    ...guidelines_1.WARNING_CONSTRAINTS,
+};
 // ========================================
 // 辅助函数
 // ========================================
 /**
- * 获取所有约束（check + prompt 全量，带 kind）
+ * 获取所有约束（check 全量，带 kind/severity）
  */
 function getAllConstraints() {
-    return [
-        ...Object.values(iron_laws_1.IRON_LAWS),
-        ...Object.values(guidelines_1.GUIDELINES),
-        ...Object.values(prompts_1.PROMPTS),
-    ];
+    return Object.values(exports.CONSTRAINTS);
 }
 /**
  * 根据触发条件查找适用的约束
@@ -46,6 +43,6 @@ function findConstraintsByTrigger(trigger) {
  * 根据 ID 获取约束
  */
 function getConstraint(id) {
-    return iron_laws_1.IRON_LAWS[id] || guidelines_1.GUIDELINES[id] || prompts_1.PROMPTS[id];
+    return exports.CONSTRAINTS[id];
 }
 //# sourceMappingURL=definitions.js.map

package/dist/core/constraints/definitions.js.map

@@ -1 +1 @@
-{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAgBH,8CAMC;AAKD,4DAKC;AAKD,sCAEC;AApCD,uDAAoD;AAI3C,0FAJA,qBAAS,OAIA;AAHlB,yDAAsD;AAGlC,2FAHX,uBAAU,OAGW;AAF9B,mDAAgD;AAEhB,wFAFvB,iBAAO,OAEuB;AAEvC,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,OAAO;QACL,GAAG,MAAM,CAAC,MAAM,CAAC,qBAAS,CAAC;QAC3B,GAAG,MAAM,CAAC,MAAM,CAAC,uBAAU,CAAC;QAC5B,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAO,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,OAA0B;IACjE,OAAO,iBAAiB,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/F,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,EAAU;IACtC,OAAO,qBAAS,CAAC,EAAE,CAAC,IAAI,uBAAU,CAAC,EAAE,CAAC,IAAI,iBAAO,CAAC,EAAE,CAAC,CAAC;AACxD,CAAC"}
+{"version":3,"file":"definitions.js","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAmBH,8CAEC;AAKD,4DAKC;AAKD,sCAEC;AAnCD,uDAA4D;AAC5D,yDAA+D;AAE/D,sCAAsC;AACzB,QAAA,WAAW,GAA+B;IACrD,GAAG,6BAAiB;IACpB,GAAG,gCAAmB;CACvB,CAAC;AAEF,2CAA2C;AAC3C,OAAO;AACP,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,mBAAW,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CAAC,OAA0B;IACjE,OAAO,iBAAiB,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;QAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/F,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,aAAa,CAAC,EAAU;IACtC,OAAO,mBAAW,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC"}

package/dist/core/constraints/index.d.ts

@@ -1,14 +1,11 @@
 /**
  * 约束模块入口
  */
-export { IRON_LAWS, GUIDELINES, PROMPTS, getAllConstraints, findConstraintsByTrigger, getConstraint, } from './definitions';
+export { CONSTRAINTS, getAllConstraints, findConstraintsByTrigger, getConstraint, } from './definitions';
 export { ConstraintChecker, checkConstraint, checkConstraints, checkBeforeExecution, constraintChecker, } from './checker';
 export type { CheckConstraintsOptions, TraceRecorder } from './checker';
-export { CONSTRAINTS_START_MARKER, CONSTRAINTS_END_MARKER, renderConstraintsSection, } from './injection-renderer';
 export { CheckCache } from './check-cache';
 export type { CheckCacheConfig, CheckSamplingConfig } from './check-cache';
-export { renderConstraintsByTrigger, } from './agent-prompt-renderer';
-export type { RenderConstraintsByTriggerOptions } from './agent-prompt-renderer';
-export type { ConstraintId, ConstraintKind, ConstraintLevel, ConstraintTrigger, Constraint, ConstraintResult, ConstraintContext, ConstraintCheckResult, IronLawContext, } from '../../types/constraint';
+export type { ConstraintId, ConstraintKind, ConstraintSeverity, ConstraintTrigger, Constraint, ConstraintResult, ConstraintContext, ConstraintCheckResult, IronLawContext, } from '../../types/constraint';
 export { ConstraintViolationError } from '../../types/constraint';
 //# sourceMappingURL=index.d.ts.map

package/dist/core/constraints/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EACV,OAAO,EACP,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,GACd,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAGxE,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAG3E,OAAO,EACL,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,iCAAiC,EAAE,MAAM,yBAAyB,CAAC;AAGjF,YAAY,EACV,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,GACd,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAGxE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAG3E,YAAY,EACV,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/core/constraints/index.js

@@ -3,12 +3,10 @@
  * 约束模块入口
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.ConstraintViolationError = exports.renderConstraintsByTrigger = exports.CheckCache = exports.renderConstraintsSection = exports.CONSTRAINTS_END_MARKER = exports.CONSTRAINTS_START_MARKER = exports.constraintChecker = exports.checkBeforeExecution = exports.checkConstraints = exports.checkConstraint = exports.ConstraintChecker = exports.getConstraint = exports.findConstraintsByTrigger = exports.getAllConstraints = exports.PROMPTS = exports.GUIDELINES = exports.IRON_LAWS = void 0;
-// 约束定义（kind 二元：check 层 + prompt 层）
+exports.ConstraintViolationError = exports.CheckCache = exports.constraintChecker = exports.checkBeforeExecution = exports.checkConstraints = exports.checkConstraint = exports.ConstraintChecker = exports.getConstraint = exports.findConstraintsByTrigger = exports.getAllConstraints = exports.CONSTRAINTS = void 0;
+// 约束定义（check 全量，severity 在条目上）
 var definitions_1 = require("./definitions");
-Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return definitions_1.IRON_LAWS; } });
-Object.defineProperty(exports, "GUIDELINES", { enumerable: true, get: function () { return definitions_1.GUIDELINES; } });
-Object.defineProperty(exports, "PROMPTS", { enumerable: true, get: function () { return definitions_1.PROMPTS; } });
+Object.defineProperty(exports, "CONSTRAINTS", { enumerable: true, get: function () { return definitions_1.CONSTRAINTS; } });
 Object.defineProperty(exports, "getAllConstraints", { enumerable: true, get: function () { return definitions_1.getAllConstraints; } });
 Object.defineProperty(exports, "findConstraintsByTrigger", { enumerable: true, get: function () { return definitions_1.findConstraintsByTrigger; } });
 Object.defineProperty(exports, "getConstraint", { enumerable: true, get: function () { return definitions_1.getConstraint; } });
@@ -19,17 +17,9 @@ Object.defineProperty(exports, "checkConstraint", { enumerable: true, get: funct
 Object.defineProperty(exports, "checkConstraints", { enumerable: true, get: function () { return checker_1.checkConstraints; } });
 Object.defineProperty(exports, "checkBeforeExecution", { enumerable: true, get: function () { return checker_1.checkBeforeExecution; } });
 Object.defineProperty(exports, "constraintChecker", { enumerable: true, get: function () { return checker_1.constraintChecker; } });
-// CLAUDE.md 约束注入段渲染（纯函数，init 注入与漂移校验共用）
-var injection_renderer_1 = require("./injection-renderer");
-Object.defineProperty(exports, "CONSTRAINTS_START_MARKER", { enumerable: true, get: function () { return injection_renderer_1.CONSTRAINTS_START_MARKER; } });
-Object.defineProperty(exports, "CONSTRAINTS_END_MARKER", { enumerable: true, get: function () { return injection_renderer_1.CONSTRAINTS_END_MARKER; } });
-Object.defineProperty(exports, "renderConstraintsSection", { enumerable: true, get: function () { return injection_renderer_1.renderConstraintsSection; } });
 // 约束检查缓存（H6/G5：TTL 缓存 + 计数采样，公开导出）
 var check_cache_1 = require("./check-cache");
 Object.defineProperty(exports, "CheckCache", { enumerable: true, get: function () { return check_cache_1.CheckCache; } });
-// Agent prompt 约束段渲染（H6/G6：trigger 参数化分组渲染，role 路由留 studio）
-var agent_prompt_renderer_1 = require("./agent-prompt-renderer");
-Object.defineProperty(exports, "renderConstraintsByTrigger", { enumerable: true, get: function () { return agent_prompt_renderer_1.renderConstraintsByTrigger; } });
 var constraint_1 = require("../../types/constraint");
 Object.defineProperty(exports, "ConstraintViolationError", { enumerable: true, get: function () { return constraint_1.ConstraintViolationError; } });
 //# sourceMappingURL=index.js.map

package/dist/core/constraints/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAmC;AACnC,6CAOuB;AANrB,wGAAA,SAAS,OAAA;AACT,yGAAA,UAAU,OAAA;AACV,sGAAA,OAAO,OAAA;AACP,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AAGf,QAAQ;AACR,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,0GAAA,eAAe,OAAA;AACf,2GAAA,gBAAgB,OAAA;AAChB,+GAAA,oBAAoB,OAAA;AACpB,4GAAA,iBAAiB,OAAA;AAInB,wCAAwC;AACxC,2DAI8B;AAH5B,8HAAA,wBAAwB,OAAA;AACxB,4HAAA,sBAAsB,OAAA;AACtB,8HAAA,wBAAwB,OAAA;AAG1B,mCAAmC;AACnC,6CAA2C;AAAlC,yGAAA,UAAU,OAAA;AAGnB,4DAA4D;AAC5D,iEAEiC;AAD/B,mIAAA,0BAA0B,OAAA;AAiB5B,qDAAkE;AAAzD,sHAAA,wBAAwB,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,+BAA+B;AAC/B,6CAKuB;AAJrB,0GAAA,WAAW,OAAA;AACX,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AAGf,QAAQ;AACR,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,0GAAA,eAAe,OAAA;AACf,2GAAA,gBAAgB,OAAA;AAChB,+GAAA,oBAAoB,OAAA;AACpB,4GAAA,iBAAiB,OAAA;AAInB,mCAAmC;AACnC,6CAA2C;AAAlC,yGAAA,UAAU,OAAA;AAgBnB,qDAAkE;AAAzD,sHAAA,wBAAwB,OAAA"}

package/dist/core/constraints/injection-writer.d.ts

@@ -1,33 +1,24 @@
 /**
- * 治理注入段落点写入器（架构评审候选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。
  */
-/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 优先） */
-export declare const INJECTION_FILES: readonly ["CLAUDE.md", "AGENTS.md"];
-export type InjectionFile = (typeof INJECTION_FILES)[number];
 /** 标记区间替换结果 */
 export type MarkerWrite = {
     kind: 'updated';
@@ -60,25 +51,6 @@ export declare function replaceStandaloneRange(content: string, begin: string, e
  * 区间后文恰好剥一个换行（外层标记拼接位），其余手写余文原样保留。
  */
 export declare function replaceEnclosedRange(content: string, begin: string, end: string, body: string): MarkerWrite;
-/**
- * 读侧路由：定位含完整 HARNESS_CONSTRAINTS 标记段的文件（studio #307）。
- * detectInjectionDrift 与 retire 注入段同步共用。
- */
-export declare function resolveInjectionTarget(projectRoot: string): {
-    file: InjectionFile;
-    content: string;
-    startIdx: number;
-    endIdx: number;
-} | null;
-/**
- * 写侧路由（init 落点选择，原 setupGovernanceConstraints 内联判定收于此）：
- * CLAUDE.md 有约束标记段或有旧版 `## Governance Rules` 块 → 续写 CLAUDE.md
- * （旧模型仓豁免，不制造双份正本）；否则 AGENTS.md PRESERVE:governance。
- */
-export declare function resolveGovernanceLanding(projectRoot: string): {
-    target: 'claude-md' | 'agents-md';
-    claudeContent: string | null;
-};
 /**
  * 治理正本标题字面量（单一来源，#83）：init 的标题写点与下列两个判定谓词
  * 都由它派生，仓内不再本地拼写。字面量无正则元字符，可直接拼入 RegExp。

package/dist/core/constraints/injection-writer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"injection-writer.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-writer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AASH,6CAA6C;AAC7C,eAAO,MAAM,eAAe,qCAAsC,CAAC;AACnE,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,eAAe;AACf,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErB,0CAA0C;AAC1C,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAO5D;AAWD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,MAAM,CAQ3G;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAQ7G;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAQ3G;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,GAClB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAWnF;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,GAClB;IAAE,MAAM,EAAE,WAAW,GAAG,WAAW,CAAC;IAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAMrE;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,wBAAwB,CAAC;AAcxD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAevE"}
+{"version":3,"file":"injection-writer.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-writer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAe;AACf,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAErB,0CAA0C;AAC1C,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAO5D;AAWD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,GAAG,QAAQ,GAAG,MAAM,CAQ3G;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAQ7G;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAQ3G;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,wBAAwB,CAAC;AAkBxD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAevE"}