@dommaker/harness 1.3.0 → 1.5.0

package/dist/core/constraints/git-evidence.js

@@ -0,0 +1,88 @@
+"use strict";
+/**
+ * git 证据适配器（架构评审 #87）
+ *
+ * 全仓唯一的 git 取证点：context-builder（触发推断）与 checker 层（CheckEnv 证据）
+ * 共用同一实例 = 共用同一证据来源。此前两处各自抓真 git，一次 CLI check 里
+ * `git diff --cached --name-only` 实跑两遍。
+ *
+ * seam 上的两个真 adapter：
+ * - 缺省 realGitCommandRunner：真 git 子进程
+ * - 注入 runner：委托/计数/命令表（测试与定制场景）
+ *
+ * memo 落在实例层（命令 → 结果，含失败结果），实例生命周期 = 一次 check run，
+ * 因此不存在隐式全局（工单 18 的 run 级收益保留，形状改为显式传递）。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.realGitCommandRunner = void 0;
+exports.parseHeadDirs = parseHeadDirs;
+exports.createGitEvidence = createGitEvidence;
+exports.splitFileNames = splitFileNames;
+const child_process_1 = require("child_process");
+/** 与 utils/exec.runCommand 同一缓冲上限（大 diff 不 ENOBUFS） */
+const GIT_MAX_BUFFER = 1024 * 1024;
+/**
+ * 真 git adapter：同步 spawn，失败抛错交由 memo 归类
+ *
+ * execSync 声明返回 string | Buffer（Buffer 无 trim），故显式归一为 string——
+ * 与迁移前 context-builder 的 `String(output)` 取值语义一致。
+ */
+const realGitCommandRunner = (command, cwd) => String((0, child_process_1.execSync)(command, { cwd, stdio: 'pipe', encoding: 'utf-8', maxBuffer: GIT_MAX_BUFFER })).trim();
+exports.realGitCommandRunner = realGitCommandRunner;
+const STAGED_DIFF = 'git diff --cached';
+const STAGED_DIFF_NAMES = 'git diff --cached --name-only';
+const UNSTAGED_DIFF_NAMES = 'git diff --name-only';
+const HEAD_TREE = 'git ls-tree -r --name-only HEAD';
+/**
+ * 从 `git ls-tree -r --name-only HEAD` 输出提取 HEAD 中存在的所有目录
+ *
+ * 工单 18 批量语义：一次命令替代逐文件 ls-tree。
+ */
+function parseHeadDirs(treeOutput) {
+    const dirs = new Set();
+    for (const file of treeOutput.split('\n')) {
+        if (!file)
+            continue;
+        const parts = file.split('/');
+        for (let i = 1; i < parts.length; i++) {
+            dirs.add(parts.slice(0, i).join('/'));
+        }
+    }
+    return dirs;
+}
+/**
+ * 构造 git 证据 adapter（生产侧唯一构造点）
+ *
+ * @param projectPath 取证目录
+ * @param run 命令执行器，缺省真 git；测试注入计数/替身执行器即可脱离子进程
+ */
+function createGitEvidence(projectPath, run = exports.realGitCommandRunner) {
+    const memo = new Map();
+    const once = (command) => {
+        let result = memo.get(command);
+        if (!result) {
+            try {
+                result = { ok: true, stdout: run(command, projectPath) };
+            }
+            catch {
+                result = { ok: false, stdout: '' };
+            }
+            memo.set(command, result);
+        }
+        return result;
+    };
+    return {
+        projectPath,
+        stagedDiff: () => once(STAGED_DIFF).stdout,
+        changedFileNames: (staged) => once(staged ? STAGED_DIFF_NAMES : UNSTAGED_DIFF_NAMES).stdout,
+        headDirs: () => {
+            const result = once(HEAD_TREE);
+            return result.ok ? parseHeadDirs(result.stdout) : null;
+        },
+    };
+}
+/** 变更文件名列表 → 路径数组（git 无输出时为空集合） */
+function splitFileNames(names) {
+    return names.split('\n').filter(Boolean);
+}
+//# sourceMappingURL=git-evidence.js.map

package/dist/core/constraints/git-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git-evidence.js","sourceRoot":"","sources":["../../../src/core/constraints/git-evidence.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAqDH,sCAUC;AAQD,8CA8BC;AAGD,wCAEC;AAxGD,iDAAyC;AA2BzC,uDAAuD;AACvD,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,CAAC;AAEnC;;;;;GAKG;AACI,MAAM,oBAAoB,GAAqB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CACrE,MAAM,CACJ,IAAA,wBAAQ,EAAC,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,CACxF,CAAC,IAAI,EAAE,CAAC;AAHE,QAAA,oBAAoB,wBAGtB;AAEX,MAAM,WAAW,GAAG,mBAAmB,CAAC;AACxC,MAAM,iBAAiB,GAAG,+BAA+B,CAAC;AAC1D,MAAM,mBAAmB,GAAG,sBAAsB,CAAC;AACnD,MAAM,SAAS,GAAG,iCAAiC,CAAC;AAEpD;;;;GAIG;AACH,SAAgB,aAAa,CAAC,UAAkB;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAgB,iBAAiB,CAC/B,WAAmB,EACnB,MAAwB,4BAAoB;IAG5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE9C,MAAM,IAAI,GAAG,CAAC,OAAe,EAAiB,EAAE;QAC9C,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC;gBACH,MAAM,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;YAC3D,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YACrC,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO;QACL,WAAW;QACX,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM;QAC1C,gBAAgB,EAAE,CAAC,MAAe,EAAE,EAAE,CACpC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM;QAC/D,QAAQ,EAAE,GAAG,EAAE;YACb,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/B,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,mCAAmC;AACnC,SAAgB,cAAc,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC"}

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

@@ -16,9 +16,8 @@
  * 纯检测、只读：不改任何文件。check 仅警告不阻断，详细差异进 report。
  * 两处均无标记段 = 未注入，不算漂移（report 一句话提示，check 不警告）。
  */
-/** 注入段落点文件名（检测顺序即路由优先级：旧模型仓 CLAUDE.md 豁免优先） */
-declare const INJECTION_FILES: readonly ["CLAUDE.md", "AGENTS.md"];
-export type InjectionFile = (typeof INJECTION_FILES)[number];
+import { type InjectionFile } from './injection-writer';
+export type { InjectionFile };
 /** 注入漂移检测结果 */
 export interface InjectionDrift {
     /** 是否存在任一漂移（版本/内容/重复章节） */
@@ -47,27 +46,11 @@ export interface InjectionDrift {
 }
 /** 修复指引（重跑 init 幂等同步注入段） */
 export declare const INJECTION_DRIFT_FIX_HINT = "\u91CD\u8DD1 `npx @dommaker/harness init` \u540C\u6B65\u6CE8\u5165\u6BB5\uFF08\u6F02\u79FB\u4EC5\u8B66\u544A\uFF0C\u4E0D\u963B\u65AD\uFF09";
-/**
- * 解析治理约束注入段落点（studio #307，ADR 2026-08-21 落点模型）
- *
- * 与 init 的 setupGovernanceConstraints 路由一致：CLAUDE.md 含标记段优先
- * （旧模型仓豁免），否则看 AGENTS.md（新模型仓注入段在 PRESERVE:governance 内）；
- * 两处均无完整标记段 → null（未注入）。
- *
- * detectInjectionDrift 与 constraints retire 的注入段同步共用本路由。
- */
-export declare function resolveInjectionTarget(projectRoot: string): {
-    file: InjectionFile;
-    content: string;
-    startIdx: number;
-    endIdx: number;
-} | null;
 /**
  * 检测约束注入段漂移
  *
  * @param projectRoot 项目根路径
- * @param currentVersion 当前 harness 版本（缺省读 package.json；测试可显式传入）
+ * @param currentVersion 当前 harness 版本（缺省经 getHarnessPackageVersion 正本读取；测试可显式传入）
  */
 export declare function detectInjectionDrift(projectRoot: string, currentVersion?: string): InjectionDrift;
-export {};
 //# sourceMappingURL=injection-drift.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"injection-drift.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,+CAA+C;AAC/C,QAAA,MAAM,eAAe,qCAAsC,CAAC;AAC5D,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC;IACrB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,iCAAiC;IACjC,YAAY,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD;;;OAGG;IACH,YAAY,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,2CAA2C;IAC3C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,4BAA4B;AAC5B,eAAO,MAAM,wBAAwB,+IAAqD,CAAC;AAwC3F;;;;;;;;GAQG;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;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,cAAc,GAAE,MAA4B,GAC3C,cAAc,CAkDhB"}
+{"version":3,"file":"injection-drift.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EAAE,aAAa,EAAE,CAAC;AAE9B,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC;IACrB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,iCAAiC;IACjC,YAAY,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD;;;OAGG;IACH,YAAY,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,2CAA2C;IAC3C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,4BAA4B;AAC5B,eAAO,MAAM,wBAAwB,+IAAqD,CAAC;AAiB3F;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,cAAc,GAAE,MAAmC,GAClD,cAAc,CAkDhB"}

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