@dommaker/harness 1.2.3 → 1.4.0

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

@@ -52,33 +52,17 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.INJECTION_DRIFT_FIX_HINT = void 0;
-exports.resolveInjectionTarget = resolveInjectionTarget;
 exports.detectInjectionDrift = detectInjectionDrift;
-const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const effective_constraints_1 = require("../effective-constraints");
+const package_version_1 = require("../../utils/package-version");
 const injection_renderer_1 = require("./injection-renderer");
-/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 豁免优先） */
-const INJECTION_FILES = ['CLAUDE.md', 'AGENTS.md'];
+const injection_writer_1 = require("./injection-writer");
 /** 修复指引（重跑 init 幂等同步注入段） */
 exports.INJECTION_DRIFT_FIX_HINT = '重跑 `npx @dommaker/harness init` 同步注入段（漂移仅警告，不阻断）';
 const VERSION_LINE_RE = /<!-- version: ([^ ]+) -->/;
 const ENTRY_LINE_RE = /^- \*\*.+?\*\*: .+$/;
 const GROUP_HEADING_RE = /^### .+$/;
-const GOVERNANCE_HEADING_RE = /^## Governance Rules[ \t]*$/gm;
-/**
- * 读取当前 harness 包版本（与 init 注入时写入的版本同源）
- */
-function getPackageVersion() {
-    try {
-        const pkgPath = path.join(__dirname, '..', '..', '..', 'package.json');
-        const pkg = JSON.parse(fs.readFileSync(pkgPath, 'utf-8'));
-        return pkg.version ?? 'unknown';
-    }
-    catch {
-        return 'unknown';
-    }
-}
 /**
  * 提取参与条目级比对的"有效行"：注入条目（- **id**: text）与分组标题（### ...）。
  * 标记行、版本行、空行不参与——版本单独比对，空行/标记属排版噪音。
@@ -89,66 +73,35 @@ function significantLines(section) {
         .map(l => l.trim())
         .filter(l => ENTRY_LINE_RE.test(l) || GROUP_HEADING_RE.test(l));
 }
-function readIfExists(filePath) {
-    try {
-        const content = fs.readFileSync(filePath, 'utf-8');
-        return typeof content === 'string' ? content : null;
-    }
-    catch {
-        return null;
-    }
-}
-/**
- * 解析治理约束注入段落点（studio #307，ADR 2026-08-21 落点模型）
- *
- * 与 init 的 setupGovernanceConstraints 路由一致：CLAUDE.md 含标记段优先
- * （旧模型仓豁免），否则看 AGENTS.md（新模型仓注入段在 PRESERVE:governance 内）；
- * 两处均无完整标记段 → null（未注入）。
- *
- * detectInjectionDrift 与 constraints retire 的注入段同步共用本路由。
- */
-function resolveInjectionTarget(projectRoot) {
-    for (const file of 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;
-}
 /**
  * 检测约束注入段漂移
  *
  * @param projectRoot 项目根路径
- * @param currentVersion 当前 harness 版本（缺省读 package.json；测试可显式传入）
+ * @param currentVersion 当前 harness 版本（缺省经 getHarnessPackageVersion 正本读取；测试可显式传入）
  */
-function detectInjectionDrift(projectRoot, currentVersion = getPackageVersion()) {
+function detectInjectionDrift(projectRoot, currentVersion = (0, package_version_1.getHarnessPackageVersion)()) {
     const result = {
         hasDrift: false,
         notInjected: false,
         duplicateHeading: false,
         fixHint: exports.INJECTION_DRIFT_FIX_HINT,
     };
-    const target = resolveInjectionTarget(projectRoot);
+    const target = (0, injection_writer_1.resolveInjectionTarget)(projectRoot);
     if (!target) {
         // 两处均无标记段 = 未注入，不算漂移（check 不警告）。
         // 重复章节仍如实记录供 report 提示：旧落点 CLAUDE.md 优先，其次 AGENTS.md。
-        const legacy = readIfExists(path.join(projectRoot, 'CLAUDE.md')) ??
-            readIfExists(path.join(projectRoot, 'AGENTS.md'));
+        const legacy = (0, injection_writer_1.readIfExists)(path.join(projectRoot, 'CLAUDE.md')) ??
+            (0, injection_writer_1.readIfExists)(path.join(projectRoot, 'AGENTS.md'));
         if (legacy !== null) {
-            result.duplicateHeading = (legacy.match(GOVERNANCE_HEADING_RE) ?? []).length > 1;
+            result.duplicateHeading = (0, injection_writer_1.countGovernanceHeadings)(legacy) > 1;
         }
         result.notInjected = true;
         return result;
     }
     result.injectionFile = target.file;
     const { content, startIdx, endIdx } = target;
-    // 重复章节：全文统计 `## Governance Rules` 标题数（含标记段所属的合法标题）
-    const headingCount = (content.match(GOVERNANCE_HEADING_RE) ?? []).length;
+    // 重复章节：全文统计治理标题数（严格计数 injection-writer.countGovernanceHeadings，#83）
+    const headingCount = (0, injection_writer_1.countGovernanceHeadings)(content);
     result.duplicateHeading = headingCount > 1;
     const actualSection = content.slice(startIdx, endIdx + injection_renderer_1.CONSTRAINTS_END_MARKER.length);
     // 1. 版本漂移

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

@@ -1 +1 @@
-{"version":3,"file":"injection-drift.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsFH,wDAaC;AAQD,oDAqDC;AA9JD,uCAAyB;AACzB,2CAA6B;AAC7B,oEAAmE;AACnE,6DAI8B;AAE9B,+CAA+C;AAC/C,MAAM,eAAe,GAAG,CAAC,WAAW,EAAE,WAAW,CAAU,CAAC;AAwB5D,4BAA4B;AACf,QAAA,wBAAwB,GAAG,kDAAkD,CAAC;AAE3F,MAAM,eAAe,GAAG,2BAA2B,CAAC;AACpD,MAAM,aAAa,GAAG,qBAAqB,CAAC;AAC5C,MAAM,gBAAgB,GAAG,UAAU,CAAC;AACpC,MAAM,qBAAqB,GAAG,+BAA+B,CAAC;AAE9D;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QACvE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1D,OAAO,GAAG,CAAC,OAAO,IAAI,SAAS,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,OAAe;IACvC,OAAO,OAAO;SACX,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,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;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CACpC,WAAmB;IAEnB,KAAK,MAAM,IAAI,IAAI,eAAe,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;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,WAAmB,EACnB,iBAAyB,iBAAiB,EAAE;IAE5C,MAAM,MAAM,GAAmB;QAC7B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,KAAK;QACvB,OAAO,EAAE,gCAAwB;KAClC,CAAC;IAEF,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,iCAAiC;QACjC,sDAAsD;QACtD,MAAM,MAAM,GACV,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YACjD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,gBAAgB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC;IACnC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE7C,mDAAmD;IACnD,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACzE,MAAM,CAAC,gBAAgB,GAAG,YAAY,GAAG,CAAC,CAAC;IAE3C,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,GAAG,2CAAsB,CAAC,MAAM,CAAC,CAAC;IAEtF,UAAU;IACV,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9D,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,MAAM,CAAC,YAAY,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC5E,CAAC;IAED,2BAA2B;IAC3B,MAAM,eAAe,GAAG,IAAA,6CAAwB,EAAC,IAAA,+CAAuB,EAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IACvG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,YAAY,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC;IAC1G,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"injection-drift.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4DH,oDAqDC;AA/GD,2CAA6B;AAC7B,oEAAmE;AACnE,iEAAuE;AACvE,6DAAwF;AACxF,yDAK4B;AAyB5B,4BAA4B;AACf,QAAA,wBAAwB,GAAG,kDAAkD,CAAC;AAE3F,MAAM,eAAe,GAAG,2BAA2B,CAAC;AACpD,MAAM,aAAa,GAAG,qBAAqB,CAAC;AAC5C,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAEpC;;;GAGG;AACH,SAAS,gBAAgB,CAAC,OAAe;IACvC,OAAO,OAAO;SACX,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,WAAmB,EACnB,iBAAyB,IAAA,0CAAwB,GAAE;IAEnD,MAAM,MAAM,GAAmB;QAC7B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,KAAK;QACvB,OAAO,EAAE,gCAAwB;KAClC,CAAC;IAEF,MAAM,MAAM,GAAG,IAAA,yCAAsB,EAAC,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,iCAAiC;QACjC,sDAAsD;QACtD,MAAM,MAAM,GACV,IAAA,+BAAY,EAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YACjD,IAAA,+BAAY,EAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,gBAAgB,GAAG,IAAA,0CAAuB,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChE,CAAC;QACD,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC;IACnC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE7C,oEAAoE;IACpE,MAAM,YAAY,GAAG,IAAA,0CAAuB,EAAC,OAAO,CAAC,CAAC;IACtD,MAAM,CAAC,gBAAgB,GAAG,YAAY,GAAG,CAAC,CAAC;IAE3C,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,GAAG,2CAAsB,CAAC,MAAM,CAAC,CAAC;IAEtF,UAAU;IACV,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9D,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,MAAM,CAAC,YAAY,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC5E,CAAC;IAED,2BAA2B;IAC3B,MAAM,eAAe,GAAG,IAAA,6CAAwB,EAAC,IAAA,+CAAuB,EAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IACvG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,YAAY,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC;IAC1G,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,113 @@
+/**
+ * 治理注入段落点写入器（架构评审候选1，ADR-0011）
+ *
+ * 「按渲染 body 替换标记区间 + 尾换行规一」的切片数学此前手抄 4 份
+ * （init.ts 三个 writer / constraints-retire 一份），落点路由读写两侧各抄一份。
+ * 本模块是唯一 writer：init/retire 退化为「渲染 body + 调 writer」。
+ *
+ * 形状两种（排版约定不同，非"算哪些"的差异，故合法分叉）：
+ * - replaceStandaloneRange：区间独立成节，END 标记后折叠为恰好一个空行
+ *   （CLAUDE.md 约束段 / Output Style 段 / retire 注入段同步）
+ * - 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。
+ */
+/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 优先） */
+export declare const INJECTION_FILES: readonly ["CLAUDE.md", "AGENTS.md"];
+export type InjectionFile = (typeof INJECTION_FILES)[number];
+/** 标记区间替换结果 */
+export type MarkerWrite = {
+    kind: 'updated';
+    content: string;
+} | {
+    kind: 'absent';
+} | {
+    kind: 'half';
+};
+/** 完整标记块的内容切分（inner 含首尾标记行外的全部文本，含原换行） */
+export interface MarkerBlock {
+    before: string;
+    inner: string;
+    /** 后标记之后的原文（未规一） */
+    after: string;
+}
+export declare function readIfExists(filePath: string): string | null;
+/**
+ * 切出完整标记块（before + begin + inner + end + after）。
+ * 'absent' = 两俱无；'half' = 残缺/乱序，拒切。
+ */
+export declare function cutMarkerBlock(content: string, begin: string, end: string): MarkerBlock | 'absent' | 'half';
+/**
+ * 替换独立成节的标记区间：body 为含首尾标记的完整替换文本（以换行结尾），
+ * 区间后文剥除全部前导换行、以恰好一个空行相接（幂等：重复替换结果稳定）。
+ */
+export declare function replaceStandaloneRange(content: string, begin: string, end: string, body: string): MarkerWrite;
+/**
+ * 替换后跟外层收口标记的区间：body 含首尾标记且以换行结尾（收口标记落自己行），
+ * 区间后文恰好剥一个换行（外层标记拼接位），其余手写余文原样保留。
+ */
+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。
+ *
+ * 两谓词回答两个问题，**共享字面量而非共享正则**（triage 裁决 2026-09-02）：
+ * 强行合一要么在场守护 fail-open 失效（取严格），要么重复计数引入无行尾
+ * 锚定的误报（取宽松）。
+ */
+export declare const GOVERNANCE_HEADING = "## Governance Rules";
+/**
+ * 宽松谓词：内容里是否有治理契约在场——标题宽松匹配或 HARNESS 约束标记
+ * 文本在场即算。fail-open 偏向：排版漂移宁可信其有，漏报「约束正本静默
+ * 丢失」的代价高于误报。消费方：governance_presence / sync-docs 治理计数 /
+ * init 落点路由（#83）。
+ */
+export declare function hasGovernanceContract(content: string): boolean;
+/**
+ * 严格计数：全文统计治理标题数（精确拼写 + 行尾锚定），drift 重复章节
+ * 检测专用。宽松变体（如双空格）不计入——在场判定与正本计数是两个问题，
+ * 见 GOVERNANCE_HEADING。
+ */
+export declare function countGovernanceHeadings(content: string): number;
+/**
+ * PRESERVE 标记块存在性判定：块存在且块体非空（governance_presence 在场
+ * 守护消费，#83 收编其手写切片）。标记契约与 sync-docs/preserve-block 一致：
+ * 首尾标记均须独占一行——开始标记行首锚定（行尾仅空白），结束标记行 trim
+ * 后等于标记文本。结束标记嵌在行中 / 缺失 / 乱序均为畸形块 → false，在场
+ * 守护按契约丢失报警（原 presence「行中结束标记也算在场」显式收紧，#83）。
+ * name 仅允许字母/数字/下划线/连字符（PRESERVE 命名约定，调用方传常量段名）。
+ */
+export declare function hasPreserveBlock(content: string, name: string): boolean;
+//# sourceMappingURL=injection-writer.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,228 @@
+"use strict";
+/**
+ * 治理注入段落点写入器（架构评审候选1，ADR-0011）
+ *
+ * 「按渲染 body 替换标记区间 + 尾换行规一」的切片数学此前手抄 4 份
+ * （init.ts 三个 writer / constraints-retire 一份），落点路由读写两侧各抄一份。
+ * 本模块是唯一 writer：init/retire 退化为「渲染 body + 调 writer」。
+ *
+ * 形状两种（排版约定不同，非"算哪些"的差异，故合法分叉）：
+ * - replaceStandaloneRange：区间独立成节，END 标记后折叠为恰好一个空行
+ *   （CLAUDE.md 约束段 / Output Style 段 / retire 注入段同步）
+ * - 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。
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.GOVERNANCE_HEADING = exports.INJECTION_FILES = 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');
+        return typeof content === 'string' ? content : null;
+    }
+    catch {
+        return null;
+    }
+}
+/** 定位完整标记对：两标记俱在且顺序正确 */
+function findPair(content, begin, end) {
+    const startIdx = content.indexOf(begin);
+    const endIdx = content.indexOf(end);
+    if (startIdx === -1 && endIdx === -1)
+        return 'absent';
+    if (startIdx === -1 || endIdx === -1 || endIdx < startIdx)
+        return 'half';
+    return { startIdx, endIdx };
+}
+/**
+ * 切出完整标记块（before + begin + inner + end + after）。
+ * 'absent' = 两俱无；'half' = 残缺/乱序，拒切。
+ */
+function cutMarkerBlock(content, begin, end) {
+    const pair = findPair(content, begin, end);
+    if (pair === 'absent' || pair === 'half')
+        return pair;
+    return {
+        before: content.slice(0, pair.startIdx),
+        inner: content.slice(pair.startIdx + begin.length, pair.endIdx),
+        after: content.slice(pair.endIdx + end.length),
+    };
+}
+/**
+ * 替换独立成节的标记区间：body 为含首尾标记的完整替换文本（以换行结尾），
+ * 区间后文剥除全部前导换行、以恰好一个空行相接（幂等：重复替换结果稳定）。
+ */
+function replaceStandaloneRange(content, begin, end, body) {
+    const pair = findPair(content, begin, end);
+    if (pair === 'absent' || pair === 'half')
+        return { kind: pair };
+    const after = content.slice(pair.endIdx + end.length).replace(/^\n+/, '');
+    return {
+        kind: 'updated',
+        content: content.slice(0, pair.startIdx) + body + (after ? '\n' + after : ''),
+    };
+}
+/**
+ * 替换后跟外层收口标记的区间：body 含首尾标记且以换行结尾（收口标记落自己行），
+ * 区间后文恰好剥一个换行（外层标记拼接位），其余手写余文原样保留。
+ */
+function replaceEnclosedRange(content, begin, end, body) {
+    const pair = findPair(content, begin, end);
+    if (pair === 'absent' || pair === 'half')
+        return { kind: pair };
+    const tail = content.slice(pair.endIdx + end.length).replace(/^\n/, '');
+    return {
+        kind: 'updated',
+        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。
+ *
+ * 两谓词回答两个问题，**共享字面量而非共享正则**（triage 裁决 2026-09-02）：
+ * 强行合一要么在场守护 fail-open 失效（取严格），要么重复计数引入无行尾
+ * 锚定的误报（取宽松）。
+ */
+exports.GOVERNANCE_HEADING = '## Governance Rules';
+/** 标题文本（去 `## ` 前缀），宽松谓词按 `##` + 任意空白 + 此文本匹配 */
+const GOVERNANCE_HEADING_TEXT = exports.GOVERNANCE_HEADING.replace(/^##\s+/, '');
+/** 宽松标题正则：容忍 `##  Governance Rules` 双空格等排版漂移 */
+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, '');
+/**
+ * 宽松谓词：内容里是否有治理契约在场——标题宽松匹配或 HARNESS 约束标记
+ * 文本在场即算。fail-open 偏向：排版漂移宁可信其有，漏报「约束正本静默
+ * 丢失」的代价高于误报。消费方：governance_presence / sync-docs 治理计数 /
+ * init 落点路由（#83）。
+ */
+function hasGovernanceContract(content) {
+    return GOVERNANCE_HEADING_LOOSE_RE.test(content) || content.includes(CONSTRAINTS_START_TEXT);
+}
+/**
+ * 严格计数：全文统计治理标题数（精确拼写 + 行尾锚定），drift 重复章节
+ * 检测专用。宽松变体（如双空格）不计入——在场判定与正本计数是两个问题，
+ * 见 GOVERNANCE_HEADING。
+ */
+function countGovernanceHeadings(content) {
+    return (content.match(GOVERNANCE_HEADING_STRICT_RE) ?? []).length;
+}
+/**
+ * PRESERVE 标记块存在性判定：块存在且块体非空（governance_presence 在场
+ * 守护消费，#83 收编其手写切片）。标记契约与 sync-docs/preserve-block 一致：
+ * 首尾标记均须独占一行——开始标记行首锚定（行尾仅空白），结束标记行 trim
+ * 后等于标记文本。结束标记嵌在行中 / 缺失 / 乱序均为畸形块 → false，在场
+ * 守护按契约丢失报警（原 presence「行中结束标记也算在场」显式收紧，#83）。
+ * name 仅允许字母/数字/下划线/连字符（PRESERVE 命名约定，调用方传常量段名）。
+ */
+function hasPreserveBlock(content, name) {
+    const beginMarker = `<!-- PRESERVE:${name} -->`;
+    const endMarker = `<!-- /PRESERVE:${name} -->`;
+    const lines = content.split('\n');
+    const begin = lines.findIndex(line => line.trimEnd() === beginMarker);
+    if (begin === -1)
+        return false;
+    let end = -1;
+    for (let j = begin + 1; j < lines.length; j++) {
+        if (lines[j].trim() === endMarker) {
+            end = j;
+            break;
+        }
+    }
+    if (end === -1)
+        return false;
+    return lines.slice(begin + 1, end).join('\n').trim().length > 0;
+}
+//# sourceMappingURL=injection-writer.js.map

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

@@ -0,0 +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"}

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

@@ -45,6 +45,8 @@ export interface RetireCandidate {
     /** 人类可读的诊断说明（带证据数字） */
     reason: string;
 }
+/** 候选种类的呈现名（constraints report / retire 共用） */
+export declare const CANDIDATE_KIND_LABEL: Record<RetireCandidateKind, string>;
 /**
  * 候选诊断阈值（CLI 可覆盖）
  */
@@ -71,9 +73,28 @@ export interface ConstraintsUsageReport {
     lint: EffectiveConfigLint;
     /** trace 文件是否存在 */
     traceFileExists: boolean;
+    /**
+     * trace 文件被跳过的坏行数（harness#100，与 `traceFileExists` 同一降级维度）
+     *
+     * 恒有值，0 = 无损坏。文件级口径：坏行没有 timestamp，归不进任何统计窗口。
+     */
+    skippedLines: number;
 }
 /**
- * 读取项目 traces.log（只读，容错：坏行跳过）
+ * 读取项目 traces.log 并带出坏行计数（只读，harness#100 报告入口）
+ *
+ * 坏行策略：skip（原语义不变——report 只读，不因单行损坏失败）；
+ * 计数去向：透传——`skippedLines` 随本方法返回，进 `ConstraintsUsageReport.skippedLines`，
+ * 消费面为 `constraints report` 的文本行 / `--json` 字段 / `--export` 摘要。
+ */
+export declare function readProjectTracesReport(projectRoot: string): {
+    traces: ExecutionTrace[];
+    skippedLines: number;
+};
+/**
+ * 读取项目 traces.log（只读）
+ *
+ * 兼容签名：只返回记录数组、丢坏行计数，需要计数的消费方走 `readProjectTracesReport()`。
  */
 export declare function readProjectTraces(projectRoot: string): ExecutionTrace[];
 /**

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;AAGxD,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;;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;CAC1B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,EAAE,CAgBvE;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,CAoBxB"}
+{"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"}

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

@@ -42,7 +42,8 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DEFAULT_DIAGNOSE_THRESHOLDS = exports.FLAG_EVIDENCE_CONSTRAINT_IDS = void 0;
+exports.DEFAULT_DIAGNOSE_THRESHOLDS = exports.CANDIDATE_KIND_LABEL = exports.FLAG_EVIDENCE_CONSTRAINT_IDS = void 0;
+exports.readProjectTracesReport = readProjectTracesReport;
 exports.readProjectTraces = readProjectTraces;
 exports.collectUsageByConstraint = collectUsageByConstraint;
 exports.diagnoseRetireCandidates = diagnoseRetireCandidates;
@@ -50,6 +51,7 @@ exports.buildConstraintsUsageReport = buildConstraintsUsageReport;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
 const trace_1 = require("../../types/trace");
+const jsonl_1 = require("../../utils/jsonl");
 const effective_constraints_1 = require("../effective-constraints");
 /**
  * flag 型 check 约束（证据来自 ConstraintContext flag，见 checkers/iron-flags.ts）。
@@ -60,32 +62,36 @@ exports.FLAG_EVIDENCE_CONSTRAINT_IDS = new Set([
     'incremental_progress',
     'no_implementation_without_requirement',
 ]);
+/** 候选种类的呈现名（constraints report / retire 共用） */
+exports.CANDIDATE_KIND_LABEL = {
+    zero_trigger: '零触发',
+    unevaluable: '不可评估',
+    high_noise: '高噪',
+    zero_intercept: '零拦截',
+};
 exports.DEFAULT_DIAGNOSE_THRESHOLDS = {
     zeroInterceptMinEvaluated: 50,
     highNoiseFailRate: 0.8,
     highNoiseMinEvaluated: 20,
 };
 /**
- * 读取项目 traces.log（只读，容错：坏行跳过）
+ * 读取项目 traces.log 并带出坏行计数（只读，harness#100 报告入口）
+ *
+ * 坏行策略：skip（原语义不变——report 只读，不因单行损坏失败）；
+ * 计数去向：透传——`skippedLines` 随本方法返回，进 `ConstraintsUsageReport.skippedLines`，
+ * 消费面为 `constraints report` 的文本行 / `--json` 字段 / `--export` 摘要。
+ */
+function readProjectTracesReport(projectRoot) {
+    const { records, skippedLines } = (0, jsonl_1.readJsonl)(path.join(projectRoot, trace_1.DEFAULT_TRACE_FILE), 'skip');
+    return { traces: records, skippedLines };
+}
+/**
+ * 读取项目 traces.log（只读）
+ *
+ * 兼容签名：只返回记录数组、丢坏行计数，需要计数的消费方走 `readProjectTracesReport()`。
  */
 function readProjectTraces(projectRoot) {
-    const tracePath = path.join(projectRoot, trace_1.DEFAULT_TRACE_FILE);
-    if (!fs.existsSync(tracePath))
-        return [];
-    const content = fs.readFileSync(tracePath, 'utf-8');
-    const traces = [];
-    for (const line of content.split('\n')) {
-        const trimmed = line.trim();
-        if (!trimmed)
-            continue;
-        try {
-            traces.push(JSON.parse(trimmed));
-        }
-        catch {
-            // 坏行跳过（report 只读，不因单行损坏失败）
-        }
-    }
-    return traces;
+    return readProjectTracesReport(projectRoot).traces;
 }
 /**
  * 按约束聚合 trace 统计（Map: constraintId → 计数）
@@ -187,7 +193,7 @@ function buildConstraintsUsageReport(projectRoot = process.cwd(), thresholds = {
     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 = readProjectTraces(projectRoot);
+    const { traces, skippedLines } = readProjectTracesReport(projectRoot);
     const usage = collectUsageByConstraint(traces);
     const stats = checkConstraints.map(c => toStats(c.id, c.level, usage.get(c.id)));
     const candidates = diagnoseRetireCandidates(stats, thresholds);
@@ -198,6 +204,7 @@ function buildConstraintsUsageReport(projectRoot = process.cwd(), thresholds = {
         activePromptIds,
         lint,
         traceFileExists: fs.existsSync(tracePath),
+        skippedLines,
     };
 }
 //# sourceMappingURL=usage-report.js.map