@dommaker/harness 1.9.0 → 1.11.0

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"}

package/dist/core/constraints/injection-writer.js

@@ -1,30 +1,24 @@
 "use strict";
 /**
- * 治理注入段落点写入器（架构评审候选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。
  */
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
@@ -60,21 +54,15 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.GOVERNANCE_HEADING = exports.INJECTION_FILES = void 0;
+exports.GOVERNANCE_HEADING = void 0;
 exports.readIfExists = readIfExists;
 exports.cutMarkerBlock = cutMarkerBlock;
 exports.replaceStandaloneRange = replaceStandaloneRange;
 exports.replaceEnclosedRange = replaceEnclosedRange;
-exports.resolveInjectionTarget = resolveInjectionTarget;
-exports.resolveGovernanceLanding = resolveGovernanceLanding;
 exports.hasGovernanceContract = hasGovernanceContract;
 exports.countGovernanceHeadings = countGovernanceHeadings;
 exports.hasPreserveBlock = hasPreserveBlock;
 const fs = __importStar(require("fs"));
-const path = __importStar(require("path"));
-const injection_renderer_1 = require("./injection-renderer");
-/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 优先） */
-exports.INJECTION_FILES = ['CLAUDE.md', 'AGENTS.md'];
 function readIfExists(filePath) {
     try {
         const content = fs.readFileSync(filePath, 'utf-8');
@@ -136,35 +124,6 @@ function replaceEnclosedRange(content, begin, end, body) {
         content: content.slice(0, pair.startIdx) + body + tail,
     };
 }
-/**
- * 读侧路由：定位含完整 HARNESS_CONSTRAINTS 标记段的文件（studio #307）。
- * detectInjectionDrift 与 retire 注入段同步共用。
- */
-function resolveInjectionTarget(projectRoot) {
-    for (const file of exports.INJECTION_FILES) {
-        const content = readIfExists(path.join(projectRoot, file));
-        if (content === null)
-            continue;
-        const startIdx = content.indexOf(injection_renderer_1.CONSTRAINTS_START_MARKER);
-        const endIdx = content.indexOf(injection_renderer_1.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。
- */
-function resolveGovernanceLanding(projectRoot) {
-    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。
@@ -180,8 +139,12 @@ const GOVERNANCE_HEADING_TEXT = exports.GOVERNANCE_HEADING.replace(/^##\s+/, '')
 const GOVERNANCE_HEADING_LOOSE_RE = new RegExp(`^##\\s+${GOVERNANCE_HEADING_TEXT}`, 'm');
 /** 严格标题正则：精确拼写 + 行尾锚定（行尾仅容忍空白） */
 const GOVERNANCE_HEADING_STRICT_RE = new RegExp(`^${exports.GOVERNANCE_HEADING}[ \\t]*$`, 'gm');
-/** 约束标记裸文本（去注释壳），宽松谓词按「标记文本在场」判定，容忍壳残缺 */
-const CONSTRAINTS_START_TEXT = injection_renderer_1.CONSTRAINTS_START_MARKER.replace(/^<!--\s*|\s*-->$/g, '');
+/**
+ * 历史注入段标记裸文本（ADR-0029：注入段已关停，此处仅作历史兼容判据——
+ * 旧仓残留的 HARNESS_CONSTRAINTS 段仍算治理契约在场）。宽松谓词按「标记文本
+ * 在场」判定，容忍注释壳残缺。
+ */
+const CONSTRAINTS_START_TEXT = 'HARNESS_CONSTRAINTS_START';
 /**
  * 宽松谓词：内容里是否有治理契约在场——标题宽松匹配或 HARNESS 约束标记
  * 文本在场即算。fail-open 偏向：排版漂移宁可信其有，漏报「约束正本静默

package/dist/core/constraints/injection-writer.js.map

@@ -1 +1 @@
-{"version":3,"file":"injection-writer.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-writer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BH,oCAOC;AAeD,wCAQC;AAMD,wDAQC;AAMD,oDAQC;AAMD,wDAaC;AAOD,4DAQC;AA8BD,sDAEC;AAOD,0DAEC;AAUD,4CAeC;AAvLD,uCAAyB;AACzB,2CAA6B;AAC7B,6DAG8B;AAE9B,6CAA6C;AAChC,QAAA,eAAe,GAAG,CAAC,WAAW,EAAE,WAAW,CAAU,CAAC;AAiBnE,SAAgB,YAAY,CAAC,QAAgB;IAC3C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yBAAyB;AACzB,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtD,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ;QAAE,OAAO,MAAM,CAAC;IACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC;QACvC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/D,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW,EAAE,IAAY;IAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW,EAAE,IAAY;IAC5F,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,IAAI;KACvD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CACpC,WAAmB;IAEnB,KAAK,MAAM,IAAI,IAAI,uBAAe,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,6CAAwB,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,2CAAsB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ,EAAE,CAAC;YAC1D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAgB,wBAAwB,CACtC,WAAmB;IAEnB,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IACxE,IAAI,aAAa,KAAK,IAAI,IAAI,qBAAqB,CAAC,aAAa,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;;GAOG;AACU,QAAA,kBAAkB,GAAG,qBAAqB,CAAC;AAExD,iDAAiD;AACjD,MAAM,uBAAuB,GAAG,0BAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEzE,gDAAgD;AAChD,MAAM,2BAA2B,GAAG,IAAI,MAAM,CAAC,UAAU,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;AAEzF,kCAAkC;AAClC,MAAM,4BAA4B,GAAG,IAAI,MAAM,CAAC,IAAI,0BAAkB,UAAU,EAAE,IAAI,CAAC,CAAC;AAExF,0CAA0C;AAC1C,MAAM,sBAAsB,GAAG,6CAAwB,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;AAEzF;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAC,OAAe;IACnD,OAAO,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAe;IACrD,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;AACpE,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,OAAe,EAAE,IAAY;IAC5D,MAAM,WAAW,GAAG,iBAAiB,IAAI,MAAM,CAAC;IAChD,MAAM,SAAS,GAAG,kBAAkB,IAAI,MAAM,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YAClC,GAAG,GAAG,CAAC,CAAC;YACR,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAClE,CAAC"}
+{"version":3,"file":"injection-writer.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-writer.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBH,oCAOC;AAeD,wCAQC;AAMD,wDAQC;AAMD,oDAQC;AAkCD,sDAEC;AAOD,0DAEC;AAUD,4CAeC;AAhJD,uCAAyB;AAgBzB,SAAgB,YAAY,CAAC,QAAgB;IAC3C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yBAAyB;AACzB,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtD,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ;QAAE,OAAO,MAAM,CAAC;IACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC;QACvC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/D,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW,EAAE,IAAY;IAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW,EAAE,IAAY;IAC5F,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,IAAI;KACvD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACU,QAAA,kBAAkB,GAAG,qBAAqB,CAAC;AAExD,iDAAiD;AACjD,MAAM,uBAAuB,GAAG,0BAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEzE,gDAAgD;AAChD,MAAM,2BAA2B,GAAG,IAAI,MAAM,CAAC,UAAU,uBAAuB,EAAE,EAAE,GAAG,CAAC,CAAC;AAEzF,kCAAkC;AAClC,MAAM,4BAA4B,GAAG,IAAI,MAAM,CAAC,IAAI,0BAAkB,UAAU,EAAE,IAAI,CAAC,CAAC;AAExF;;;;GAIG;AACH,MAAM,sBAAsB,GAAG,2BAA2B,CAAC;AAE3D;;;;;GAKG;AACH,SAAgB,qBAAqB,CAAC,OAAe;IACnD,OAAO,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAe;IACrD,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;AACpE,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,OAAe,EAAE,IAAY;IAC5D,MAAM,WAAW,GAAG,iBAAiB,IAAI,MAAM,CAAC;IAChD,MAAM,SAAS,GAAG,kBAAkB,IAAI,MAAM,CAAC;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YAClC,GAAG,GAAG,CAAC,CAAC;YACR,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAClE,CAAC"}

package/dist/core/constraints/run-env.d.ts

@@ -2,7 +2,7 @@
  * 运行级观察面（ADR-0023 决策 1）
  *
  * 一次 `harness check` 一份、跑完即弃：把「本项目有哪些源码根」「最近的 trace 记录」
- * 「`.harness/config.yml` 与自定义约束文件写了什么」这类上行数据的读取收在此处，
+ * 「`.harness/config.yml` 写了什么」这类上行数据的读取收在此处，
  * 同一次运行内每个文件至多读一次。
  *
  * 为什么不是一个对象而是两个：checker 拿到的 `CheckEnv` 里含 `context`，而 `context` 正是
@@ -15,7 +15,6 @@
 import { type CapabilityVerdict } from './capabilities-reconcile';
 import { type JsonlReadResult } from '../../utils/jsonl';
 import { type ExecutionTrace } from '../../types/trace';
-import type { CustomConstraintDefinition } from '../../types/project-config';
 /** 能力表在项目根下的落点（checker 侧存在性探测与本读面共用此常量） */
 export declare const CAPABILITIES_FILE_REL = "CAPABILITIES.md";
 /**
@@ -38,14 +37,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）
      *

package/dist/core/constraints/run-env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-env.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/run-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,EAAyB,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAK7E,2CAA2C;AAC3C,eAAO,MAAM,qBAAqB,oBAAoB,CAAC;AAEvD;;;;GAIG;AACH,QAAA,MAAM,iBAAiB,KAAK,CAAC;AAE7B,MAAM,WAAW,MAAM;IACrB,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4DAA4D;IAC5D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAC1D,6BAA6B;IAC7B,WAAW,IAAI,MAAM,EAAE,CAAC;IACxB;;;;;OAKG;IACH,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IACjD;;;;;;OAMG;IACH,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAChF;;;;;;;;;;OAUG;IACH,YAAY,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG,mBAAmB,GAAG,SAAS,CAAC;CAC1E;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAuExD;AA4BD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAExC,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,MAAM,CAGxD;AAED,OAAO,EAAE,iBAAiB,EAAE,CAAC"}
+{"version":3,"file":"run-env.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/run-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAMH,OAAO,EAAyB,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAqC,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAK5E,2CAA2C;AAC3C,eAAO,MAAM,qBAAqB,oBAAoB,CAAC;AAEvD;;;;GAIG;AACH,QAAA,MAAM,iBAAiB,KAAK,CAAC;AAE7B,MAAM,WAAW,MAAM;IACrB,iDAAiD;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4DAA4D;IAC5D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;IAC1D,6BAA6B;IAC7B,WAAW,IAAI,MAAM,EAAE,CAAC;IACxB;;;;;OAKG;IACH,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC;IACjD;;;;;;;;;;OAUG;IACH,YAAY,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG,mBAAmB,GAAG,SAAS,CAAC;CAC1E;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CA8DxD;AAcD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAExC,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,MAAM,CAGxD;AAED,OAAO,EAAE,iBAAiB,EAAE,CAAC"}

package/dist/core/constraints/run-env.js

@@ -3,7 +3,7 @@
  * 运行级观察面（ADR-0023 决策 1）
  *
  * 一次 `harness check` 一份、跑完即弃：把「本项目有哪些源码根」「最近的 trace 记录」
- * 「`.harness/config.yml` 与自定义约束文件写了什么」这类上行数据的读取收在此处，
+ * 「`.harness/config.yml` 写了什么」这类上行数据的读取收在此处，
  * 同一次运行内每个文件至多读一次。
  *
  * 为什么不是一个对象而是两个：checker 拿到的 `CheckEnv` 里含 `context`，而 `context` 正是
@@ -79,7 +79,6 @@ function createRunEnv(projectPath) {
     let sourceRoots = null;
     let configLoaded = false;
     let configRaw;
-    const customDefs = new Map();
     /** 能力表 memo：undefined = 未算，null = 项目无 CAPABILITIES.md */
     let caps;
     return {
@@ -101,14 +100,6 @@ function createRunEnv(projectPath) {
             }
             return configRaw;
         },
-        customConstraints(fileName) {
-            let defs = customDefs.get(fileName);
-            if (!defs) {
-                defs = readCustomConstraints(path.join(projectPath, '.harness', fileName));
-                customDefs.set(fileName, defs);
-            }
-            return defs;
-        },
         capabilities(populationFiles) {
             if (caps === undefined) {
                 const content = readCapabilitiesContent();
@@ -142,18 +133,6 @@ function createRunEnv(projectPath) {
         return fs.existsSync(file) ? fs.readFileSync(file, 'utf-8') : undefined;
     }
 }
-/**
- * 读一个自定义约束文件并取出 `custom_constraints` 段
- *
- * 缺失 → `{}`。文档解析成空值（空 yaml 文件）时取段会抛——改前直读就是这个行为，
- * 不在此新增兜底：畸形配置文件该炸在配置上，不该被读面抹平。
- */
-function readCustomConstraints(absPath) {
-    if (!fs.existsSync(absPath))
-        return {};
-    const loaded = yaml.load(fs.readFileSync(absPath, 'utf-8'));
-    return loaded.custom_constraints ?? {};
-}
 /**
  * 读并解析一个 YAML 配置文件
  *

package/dist/core/constraints/run-env.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-env.js","sourceRoot":"","sources":["../../../src/core/constraints/run-env.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgFH,oCAuEC;AAqCD,sCAGC;AA7LD,uCAAyB;AACzB,2CAA6B;AAC7B,8CAAgC;AAChC,yEAAoE;AACpE,qEAAyF;AACzF,6CAA4F;AAC5F,6CAA4E;AAG5E,sCAAsC;AACtC,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;AAE5D,2CAA2C;AAC9B,QAAA,qBAAqB,GAAG,iBAAiB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAC;AA2KpB,8CAAiB;AAtH1B;;;;GAIG;AACH,SAAgB,YAAY,CAAC,WAAmB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC7D,IAAI,MAAM,GAAuC,IAAI,CAAC;IACtD,IAAI,WAAW,GAAoB,IAAI,CAAC;IACxC,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,SAA8C,CAAC;IACnD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsD,CAAC;IACjF,yDAAyD;IACzD,IAAI,IAA4C,CAAC;IAEjD,OAAO;QACL,WAAW;QACX,SAAS,CAAC,KAAa;YACrB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,uDAAuD;gBACvD,mDAAmD;gBACnD,6CAA6C;gBAC7C,MAAM,GAAG,IAAA,uBAAe,EAAiB,SAAS,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,WAAW,EAAE,KAAK;QAClB,SAAS;YACP,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;gBAClE,YAAY,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,iBAAiB,CAAC,QAAgB;YAChC,IAAI,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC3E,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,YAAY,CAAC,eAAyB;YACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,uBAAuB,EAAE,CAAC;gBAC1C,IAAI,GAAG,OAAO,KAAK,SAAS;oBAC1B,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC;wBACE,OAAO;wBACP,WAAW,EAAE,KAAK,EAAE;wBACpB,eAAe;wBACf,OAAO,EAAE,IAAA,8CAAqB,EAAC;4BAC7B,OAAO;4BACP,eAAe;4BACf,WAAW,EAAE,KAAK,EAAE;4BACpB,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;yBAC9D,CAAC;qBACH,CAAC;YACR,CAAC;YACD,OAAO,IAAI,IAAI,SAAS,CAAC;QAC3B,CAAC;KACF,CAAC;IAEF,yCAAyC;IACzC,SAAS,KAAK;QACZ,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,6DAA6D;IAC7D,SAAS,uBAAuB;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,6BAAqB,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAAe;IAC5C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAEzD,CAAC;IACF,OAAO,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,OAAe;IACnC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,MAAM,IAAI,EAAE,CAA4B,CAAC;AACnD,CAAC;AAUD,6CAA6C;AAC7C,SAAgB,aAAa,CAAC,MAAkB;IAC9C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjE,OAAO,YAAY,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"run-env.js","sourceRoot":"","sources":["../../../src/core/constraints/run-env.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuEH,oCA8DC;AAuBD,sCAGC;AA7JD,uCAAyB;AACzB,2CAA6B;AAC7B,8CAAgC;AAChC,yEAAoE;AACpE,qEAAyF;AACzF,6CAA4F;AAC5F,6CAA4E;AAE5E,sCAAsC;AACtC,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;AAE5D,2CAA2C;AAC9B,QAAA,qBAAqB,GAAG,iBAAiB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAC;AA4IpB,8CAAiB;AA/F1B;;;;GAIG;AACH,SAAgB,YAAY,CAAC,WAAmB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC7D,IAAI,MAAM,GAAuC,IAAI,CAAC;IACtD,IAAI,WAAW,GAAoB,IAAI,CAAC;IACxC,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,SAA8C,CAAC;IACnD,yDAAyD;IACzD,IAAI,IAA4C,CAAC;IAEjD,OAAO;QACL,WAAW;QACX,SAAS,CAAC,KAAa;YACrB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,uDAAuD;gBACvD,mDAAmD;gBACnD,6CAA6C;gBAC7C,MAAM,GAAG,IAAA,uBAAe,EAAiB,SAAS,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;YACjF,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,WAAW,EAAE,KAAK;QAClB,SAAS;YACP,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;gBAClE,YAAY,GAAG,IAAI,CAAC;YACtB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,eAAyB;YACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,uBAAuB,EAAE,CAAC;gBAC1C,IAAI,GAAG,OAAO,KAAK,SAAS;oBAC1B,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC;wBACE,OAAO;wBACP,WAAW,EAAE,KAAK,EAAE;wBACpB,eAAe;wBACf,OAAO,EAAE,IAAA,8CAAqB,EAAC;4BAC7B,OAAO;4BACP,eAAe;4BACf,WAAW,EAAE,KAAK,EAAE;4BACpB,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;yBAC9D,CAAC;qBACH,CAAC;YACR,CAAC;YACD,OAAO,IAAI,IAAI,SAAS,CAAC;QAC3B,CAAC;KACF,CAAC;IAEF,yCAAyC;IACzC,SAAS,KAAK;QACZ,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,WAAW,GAAG,IAAA,uCAAiB,EAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,6DAA6D;IAC7D,SAAS,uBAAuB;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,6BAAqB,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,OAAe;IACnC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,MAAM,IAAI,EAAE,CAA4B,CAAC;AACnD,CAAC;AAUD,6CAA6C;AAC7C,SAAgB,aAAa,CAAC,MAAkB;IAC9C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjE,OAAO,YAAY,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AAC/C,CAAC"}

package/dist/core/constraints/usage-report.d.ts

@@ -3,7 +3,7 @@
  *
  * `harness constraints report` 与 `harness constraints retire`（交互模式）共用的
  * 数据层：读取项目 traces.log，与生效集（getEffectiveConstraints）对齐，
- * 产出 check 层统计表与四类退役候选诊断。
+ * 产出 check 约束统计表与四类退役候选诊断。
  *
  * 只读：不创建目录、不写任何文件。
  */
@@ -20,7 +20,7 @@ export declare const FLAG_EVIDENCE_CONSTRAINT_IDS: ReadonlySet<string>;
  */
 export interface ConstraintUsageStats {
     id: string;
-    level: Constraint['level'];
+    severity: Constraint['severity'];
     /** trace 总行数（含 skip） */
     total: number;
     pass: number;
@@ -63,12 +63,10 @@ export declare 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 文件是否存在 */
@@ -85,7 +83,7 @@ export interface ConstraintsUsageReport {
  *
  * 坏行策略：skip（原语义不变——report 只读，不因单行损坏失败）；
  * 计数去向：透传——`skippedLines` 随本方法返回，进 `ConstraintsUsageReport.skippedLines`，
- * 消费面为 `constraints report` 的文本行 / `--json` 字段 / `--export` 摘要。
+ * 消费面为 `constraints report` 的文本行 / `--json-output` 字段 / `--export` 摘要。
  */
 export declare function readProjectTracesReport(projectRoot: string): {
     traces: ExecutionTrace[];
@@ -100,11 +98,11 @@ export declare function readProjectTraces(projectRoot: string): ExecutionTrace[]
 /**
  * 按约束聚合 trace 统计（Map: constraintId → 计数）
  */
-export declare function collectUsageByConstraint(traces: ExecutionTrace[]): Map<string, Omit<ConstraintUsageStats, 'id' | 'level' | 'evaluated' | 'failRate'>>;
+export declare function collectUsageByConstraint(traces: ExecutionTrace[]): Map<string, Omit<ConstraintUsageStats, 'id' | 'severity' | 'evaluated' | 'failRate'>>;
 /**
  * 退役候选诊断（纯函数）
  *
- * 每条 check 约束最多归入一个类别，优先级：
+ * 每条约束最多归入一个类别，优先级：
  * zero_trigger → unevaluable → high_noise → zero_intercept
  */
 export declare function diagnoseRetireCandidates(stats: ConstraintUsageStats[], thresholds?: Partial<DiagnoseThresholds>): RetireCandidate[];

package/dist/core/constraints/usage-report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"usage-report.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAIxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAE3B,wBAAwB;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IAEb,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IAEjB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAC3B,cAAc,GACd,aAAa,GACb,YAAY,GACZ,gBAAgB,CAAC;AAErB,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,mBAAmB,CAAC;IAC1B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+CAA+C;AAC/C,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAKpE,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yBAAyB;IACzB,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,gDAAgD;IAChD,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,4EAA4E;IAC5E,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,+BAA+B;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,mBAAmB;IACnB,eAAe,EAAE,OAAO,CAAC;IACzB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAM/G;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,EAAE,CAEvE;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,cAAc,EAAE,GACvB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,UAAU,CAAC,CAAC,CAgBpF;AAmBD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,oBAAoB,EAAE,EAC7B,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,eAAe,EAAE,CAiDnB;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,GAAE,MAAsB,EACnC,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,sBAAsB,CAqBxB"}
+{"version":3,"file":"usage-report.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAIxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAE3D,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAEjC,wBAAwB;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IAEb,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IAEjB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAC3B,cAAc,GACd,aAAa,GACb,YAAY,GACZ,gBAAgB,CAAC;AAErB,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,mBAAmB,CAAC;IAC1B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,+CAA+C;AAC/C,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAKpE,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yBAAyB;IACzB,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,0CAA0C;IAC1C,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,4EAA4E;IAC5E,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,2BAA2B;IAC3B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,mBAAmB;IACnB,eAAe,EAAE,OAAO,CAAC;IACzB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAM/G;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,EAAE,CAEvE;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,cAAc,EAAE,GACvB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,IAAI,GAAG,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC,CAAC,CAgBvF;AAmBD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,oBAAoB,EAAE,EAC7B,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,eAAe,EAAE,CAiDnB;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,GAAE,MAAsB,EACnC,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,sBAAsB,CAkBxB"}

package/dist/core/constraints/usage-report.js

@@ -4,7 +4,7 @@
  *
  * `harness constraints report` 与 `harness constraints retire`（交互模式）共用的
  * 数据层：读取项目 traces.log，与生效集（getEffectiveConstraints）对齐，
- * 产出 check 层统计表与四类退役候选诊断。
+ * 产出 check 约束统计表与四类退役候选诊断。
  *
  * 只读：不创建目录、不写任何文件。
  */
@@ -59,8 +59,6 @@ const effective_constraints_1 = require("../effective-constraints");
  */
 exports.FLAG_EVIDENCE_CONSTRAINT_IDS = new Set([
     'no_completion_without_verification',
-    'incremental_progress',
-    'no_implementation_without_requirement',
 ]);
 /** 候选种类的呈现名（constraints report / retire 共用） */
 exports.CANDIDATE_KIND_LABEL = {
@@ -79,7 +77,7 @@ exports.DEFAULT_DIAGNOSE_THRESHOLDS = {
  *
  * 坏行策略：skip（原语义不变——report 只读，不因单行损坏失败）；
  * 计数去向：透传——`skippedLines` 随本方法返回，进 `ConstraintsUsageReport.skippedLines`，
- * 消费面为 `constraints report` 的文本行 / `--json` 字段 / `--export` 摘要。
+ * 消费面为 `constraints report` 的文本行 / `--json-output` 字段 / `--export` 摘要。
  */
 function readProjectTracesReport(projectRoot) {
     const { records, skippedLines } = (0, jsonl_1.readJsonl)(path.join(projectRoot, trace_1.DEFAULT_TRACE_FILE), 'skip');
@@ -118,12 +116,12 @@ function collectUsageByConstraint(traces) {
     }
     return map;
 }
-function toStats(id, level, agg) {
+function toStats(id, severity, agg) {
     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,
@@ -137,7 +135,7 @@ function toStats(id, level, agg) {
 /**
  * 退役候选诊断（纯函数）
  *
- * 每条 check 约束最多归入一个类别，优先级：
+ * 每条约束最多归入一个类别，优先级：
  * zero_trigger → unevaluable → high_noise → zero_intercept
  */
 function diagnoseRetireCandidates(stats, thresholds = {}) {
@@ -190,18 +188,15 @@ function diagnoseRetireCandidates(stats, thresholds = {}) {
  */
 function buildConstraintsUsageReport(projectRoot = process.cwd(), thresholds = {}) {
     const effective = (0, effective_constraints_1.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, trace_1.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 = (0, effective_constraints_1.lintEffectiveConfig)(projectRoot);
     return {
         stats,
         candidates,
-        activePromptIds,
         lint,
         traceFileExists: fs.existsSync(tracePath),
         skippedLines,