@dommaker/harness 0.16.9 → 0.17.1

package/dist/cli/commands/constraints-report.js

@@ -0,0 +1,233 @@
+"use strict";
+/**
+ * harness constraints report —— 约束使用报告（ADR-0001 决策 3/4）
+ *
+ * 只读。面向"人审约束"场景：
+ * - check 层统计表（total/pass/fail/skip、fail 率、首次/最近触发）
+ * - 退役候选诊断（零触发/零拦截/不可评估/高噪），retire 交互模式的数据源
+ * - 当前生效 prompt 注入清单
+ * - 配置健康（unknownIds 残留提示）
+ * - --export [file]：脱敏 markdown 摘要（不含项目路径）
+ */
+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;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderExportMarkdown = renderExportMarkdown;
+exports.renderInjectionDriftLines = renderInjectionDriftLines;
+exports.constraintsReport = constraintsReport;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const chalk_1 = __importDefault(require("chalk"));
+const usage_report_1 = require("../../core/constraints/usage-report");
+const constraints_1 = require("./constraints");
+const injection_drift_1 = require("../../core/constraints/injection-drift");
+const CANDIDATE_KIND_LABEL = {
+    zero_trigger: '零触发',
+    unevaluable: '不可评估',
+    high_noise: '高噪',
+    zero_intercept: '零拦截',
+};
+function formatTime(ts) {
+    return ts === undefined ? '-' : new Date(ts).toISOString().slice(0, 10);
+}
+function formatPct(rate) {
+    return `${Math.round(rate * 100)}%`;
+}
+/**
+ * 渲染统计表（纯文本行，供 console 与 export 共用单行内容）
+ */
+function renderStatsRow(s) {
+    return `${s.id}  total=${s.total} pass=${s.pass} fail=${s.fail} skip=${s.skip} fail率=${formatPct(s.failRate)} 首次=${formatTime(s.firstAt)} 最近=${formatTime(s.lastAt)}`;
+}
+/**
+ * 渲染脱敏 markdown 摘要（ADR-0001 决策 4）
+ *
+ * 脱敏约束：不含 projectPath 等本地敏感信息；
+ * 内容为 harness 版本、日期、统计表、候选清单、配置健康。
+ */
+function renderExportMarkdown(report, version, now = new Date()) {
+    const lines = [];
+    lines.push('# Harness Constraints Report');
+    lines.push('');
+    lines.push(`- harness 版本: ${version}`);
+    lines.push(`- 日期: ${now.toISOString().slice(0, 10)}`);
+    lines.push('');
+    lines.push('## 统计表（check 层）');
+    lines.push('');
+    lines.push('| id | total | pass | fail | skip | fail 率 | 首次触发 | 最近触发 |');
+    lines.push('| --- | ---: | ---: | ---: | ---: | ---: | --- | --- |');
+    for (const s of report.stats) {
+        lines.push(`| ${s.id} | ${s.total} | ${s.pass} | ${s.fail} | ${s.skip} | ${formatPct(s.failRate)} | ${formatTime(s.firstAt)} | ${formatTime(s.lastAt)} |`);
+    }
+    lines.push('');
+    lines.push('## 退役候选');
+    lines.push('');
+    if (report.candidates.length === 0) {
+        lines.push('（无候选）');
+    }
+    else {
+        for (const c of report.candidates) {
+            lines.push(`- [${CANDIDATE_KIND_LABEL[c.kind]}] \`${c.id}\` — ${c.reason}`);
+        }
+    }
+    lines.push('');
+    if (report.lint.unknownIds.length > 0) {
+        lines.push('## 配置健康');
+        lines.push('');
+        for (const id of report.lint.unknownIds) {
+            lines.push(`- config.yml 中禁用了不存在/已移除的约束 id: \`${id}\``);
+        }
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+/**
+ * 渲染"注入漂移"小节的文本行（ADR-0001 决策 7：详细条目级差异进 report）
+ *
+ * 返回纯文本行数组（不含 chalk 着色），调用方逐行 console.log。
+ */
+function renderInjectionDriftLines(drift) {
+    const lines = [];
+    if (drift.notInjected) {
+        lines.push('  CLAUDE.md 无约束注入标记段（未注入，不算漂移）；可运行 npx harness init 注入');
+        if (drift.duplicateHeading) {
+            lines.push('  另检测到多个 "## Governance Rules" 标题（历史遗留重复章节），建议手工清理后重跑 npx harness init');
+        }
+        return lines;
+    }
+    if (!drift.hasDrift) {
+        lines.push('  无漂移');
+        return lines;
+    }
+    if (drift.versionDrift) {
+        lines.push(`  版本漂移: 注入段版本 (${drift.versionDrift.actual}) ≠ 当前 harness 版本 (${drift.versionDrift.expected})`);
+    }
+    if (drift.contentDrift) {
+        lines.push('  内容漂移（条目级差异）:');
+        for (const l of drift.contentDrift.missing) {
+            lines.push(`    缺失: ${l}`);
+        }
+        for (const l of drift.contentDrift.extra) {
+            lines.push(`    多余: ${l}`);
+        }
+    }
+    if (drift.duplicateHeading) {
+        lines.push('  重复章节: 标记段之外还存在另一个 "## Governance Rules" 标题');
+    }
+    lines.push(`  修复: ${drift.fixHint}`);
+    return lines;
+}
+/**
+ * CLI handler: harness constraints report
+ */
+async function constraintsReport(options = {}) {
+    const projectRoot = options.projectPath || process.cwd();
+    const thresholds = {};
+    if (options.zeroInterceptMin !== undefined)
+        thresholds.zeroInterceptMinEvaluated = options.zeroInterceptMin;
+    if (options.noiseFailRate !== undefined)
+        thresholds.highNoiseFailRate = options.noiseFailRate;
+    if (options.noiseMinTotal !== undefined)
+        thresholds.highNoiseMinEvaluated = options.noiseMinTotal;
+    const report = (0, usage_report_1.buildConstraintsUsageReport)(projectRoot, thresholds);
+    if (options.json) {
+        console.log(JSON.stringify(report, null, 2));
+        return;
+    }
+    console.log(chalk_1.default.blue('📊 约束使用报告'));
+    if (!report.traceFileExists) {
+        console.log(chalk_1.default.gray('   （trace 文件不存在，全部按零触发统计）'));
+    }
+    console.log();
+    // 统计表
+    console.log(chalk_1.default.bold('统计表（check 层）:'));
+    for (const s of report.stats) {
+        console.log(`  ${renderStatsRow(s)}`);
+    }
+    console.log();
+    // 候选诊断
+    console.log(chalk_1.default.bold(`退役候选（${report.candidates.length} 条，阈值: 零拦截≥${thresholds.zeroInterceptMinEvaluated ?? usage_report_1.DEFAULT_DIAGNOSE_THRESHOLDS.zeroInterceptMinEvaluated} 次评估, 高噪 fail率>${Math.round((thresholds.highNoiseFailRate ?? usage_report_1.DEFAULT_DIAGNOSE_THRESHOLDS.highNoiseFailRate) * 100)}% 且 ≥${thresholds.highNoiseMinEvaluated ?? usage_report_1.DEFAULT_DIAGNOSE_THRESHOLDS.highNoiseMinEvaluated} 次评估）:`));
+    if (report.candidates.length === 0) {
+        console.log(chalk_1.default.green('  （无候选）'));
+    }
+    else {
+        for (const c of report.candidates) {
+            console.log(`  [${CANDIDATE_KIND_LABEL[c.kind]}] ${c.id} — ${c.reason}`);
+        }
+        console.log(chalk_1.default.gray('  可运行 `harness constraints retire` 交互式处理候选'));
+    }
+    console.log();
+    // 注入清单
+    console.log(chalk_1.default.bold(`当前生效 prompt 注入（${report.activePromptIds.length} 条）:`));
+    for (const id of report.activePromptIds) {
+        console.log(`  ${id}`);
+    }
+    console.log();
+    // 配置健康
+    if (report.lint.unknownIds.length > 0) {
+        console.log(chalk_1.default.yellow('⚠️  配置健康:'));
+        for (const id of report.lint.unknownIds) {
+            console.log(chalk_1.default.yellow(`  config.yml 中禁用了不存在/已移除的约束 id: ${id}（残留配置，建议清理）`));
+        }
+        console.log();
+    }
+    // 注入漂移（ADR-0001 决策 7：条目级差异 + 修复指引；--export 摘要不含本地漂移状态）
+    console.log(chalk_1.default.bold('注入漂移:'));
+    const drift = (0, injection_drift_1.detectInjectionDrift)(projectRoot);
+    for (const line of renderInjectionDriftLines(drift)) {
+        console.log(drift.hasDrift ? chalk_1.default.yellow(line) : line);
+    }
+    console.log();
+    // --export
+    if (options.export !== undefined && options.export !== false) {
+        const version = (0, constraints_1.getConstraintsMeta)().version;
+        const now = new Date();
+        const markdown = renderExportMarkdown(report, version, now);
+        let exportPath;
+        if (typeof options.export === 'string' && options.export.length > 0) {
+            exportPath = path.isAbsolute(options.export) ? options.export : path.join(projectRoot, options.export);
+        }
+        else {
+            const date = now.toISOString().slice(0, 10).replace(/-/g, '');
+            exportPath = path.join(projectRoot, '.harness', 'reports', `constraints-${date}.md`);
+        }
+        fs.mkdirSync(path.dirname(exportPath), { recursive: true });
+        fs.writeFileSync(exportPath, markdown, 'utf-8');
+        console.log(chalk_1.default.green(`✅ 脱敏报告已导出: ${exportPath}`));
+    }
+}
+//# sourceMappingURL=constraints-report.js.map

package/dist/cli/commands/constraints-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-report.js","sourceRoot":"","sources":["../../../src/cli/commands/constraints-report.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyDH,oDA4CC;AAOD,8DA8BC;AAKD,8CAiFC;AA9ND,uCAAyB;AACzB,2CAA6B;AAC7B,kDAA0B;AAC1B,sEAO6C;AAC7C,+CAAmD;AACnD,4EAAmG;AAenG,MAAM,oBAAoB,GAA4C;IACpE,YAAY,EAAE,KAAK;IACnB,WAAW,EAAE,MAAM;IACnB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,KAAK;CACtB,CAAC;AAEF,SAAS,UAAU,CAAC,EAAsB;IACxC,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,CAAuB;IAC7C,OAAO,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,IAAI,UAAU,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AACxK,CAAC;AAED;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,MAA8B,EAC9B,OAAe,EACf,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,EAAE,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAC/I,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,MAAM,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,SAAgB,yBAAyB,CAAC,KAAqB;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,YAAY,CAAC,MAAM,sBAAsB,KAAK,CAAC,YAAY,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC9G,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,iBAAiB,CAAC,UAAoC,EAAE;IAC5E,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzD,MAAM,UAAU,GAAgC,EAAE,CAAC;IACnD,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS;QAAE,UAAU,CAAC,yBAAyB,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC5G,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;QAAE,UAAU,CAAC,iBAAiB,GAAG,OAAO,CAAC,aAAa,CAAC;IAC9F,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;QAAE,UAAU,CAAC,qBAAqB,GAAG,OAAO,CAAC,aAAa,CAAC;IAElG,MAAM,MAAM,GAAG,IAAA,0CAA2B,EAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAEpE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO;IACT,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,MAAM;IACN,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,OAAO;IACP,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,UAAU,CAAC,MAAM,cAAc,UAAU,CAAC,yBAAyB,IAAI,0CAA2B,CAAC,yBAAyB,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,iBAAiB,IAAI,0CAA2B,CAAC,iBAAiB,CAAC,GAAG,GAAG,CAAC,QAAQ,UAAU,CAAC,qBAAqB,IAAI,0CAA2B,CAAC,qBAAqB,QAAQ,CAAC,CAAC,CAAC;IAC7X,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,MAAM,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,OAAO;IACP,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,eAAe,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,OAAO;IACP,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,MAAM,CAAC,mCAAmC,EAAE,aAAa,CAAC,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,uDAAuD;IACvD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,IAAA,sCAAoB,EAAC,WAAW,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;QACpD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,WAAW;IACX,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,IAAA,gCAAkB,GAAE,CAAC,OAAO,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAE5D,IAAI,UAAkB,CAAC;QACvB,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpE,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACzG,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9D,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,IAAI,KAAK,CAAC,CAAC;QACvF,CAAC;QAED,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,eAAK,CAAC,KAAK,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC,CAAC;IACvD,CAAC;AACH,CAAC"}

package/dist/cli/commands/constraints-retire.d.ts

@@ -0,0 +1,71 @@
+/**
+ * harness constraints retire —— 约束退役（ADR-0001 决策 2/5）
+ *
+ * 建议层全自动（候选诊断复用 report 数据层），执行层保留一次人确认。
+ * 落盘形态 = config.yml `enabled: false` + `retired` 元数据（不发明第二套状态）：
+ *
+ *   constraints:
+ *     <id>:
+ *       enabled: false
+ *       retired: { at, reason, stats: { total, fail, failRate } }
+ *
+ * 每条同时写一条 KnowledgeStore 记录（consumptionMode: 'signal'），
+ * 并同步 CLAUDE.md 注入段（存在 HARNESS_CONSTRAINTS 标记时）。
+ *
+ * retire 不是删除——恢复方法：删除 config.yml 中 constraints.<id> 段。
+ *
+ * 交互与执行分离：retireConstraint 为纯执行逻辑（同步、可测），
+ * runRetireInteractive 只做 readline 交互，IO 流可注入。
+ */
+export interface RetireExecuteOptions {
+    /** 退役原因（可空） */
+    reason?: string;
+    /** 注入当前时间（测试用） */
+    now?: Date;
+}
+export type RetireStatus = 'retired' | 'already_retired' | 'unknown_id';
+export interface RetireResult {
+    id: string;
+    status: RetireStatus;
+    /** 是否 check 层 iron（交互模式据此追加确认） */
+    isIronLaw: boolean;
+    stats: {
+        total: number;
+        fail: number;
+        failRate: number;
+    };
+    /** CLAUDE.md 注入段是否已同步 */
+    claudeMdSynced: boolean;
+    /** KnowledgeStore 条目 id（status='retired' 时存在） */
+    knowledgeEntryId?: string;
+}
+export interface ConstraintsRetireOptions {
+    projectPath?: string;
+    reason?: string;
+}
+/**
+ * 执行单条约束退役（纯执行逻辑，无交互）
+ *
+ * 不存在的 id / 已退役的 id 通过 status 返回，由调用方提示。
+ */
+export declare function retireConstraint(projectRoot: string, id: string, options?: RetireExecuteOptions): RetireResult;
+/**
+ * 打印单条退役结果（含回滚语义提示）
+ */
+export declare function printRetireResult(result: RetireResult): void;
+interface RetireIO {
+    input: NodeJS.ReadableStream;
+    output: NodeJS.WritableStream;
+}
+/**
+ * 交互式退役（候选列表 → 编号多选 → 摘要 → 确认 → 执行）
+ *
+ * IO 流可注入（测试用），默认 process.stdin/stdout。
+ */
+export declare function runRetireInteractive(projectRoot: string, io?: RetireIO): Promise<void>;
+/**
+ * CLI handler: harness constraints retire [id]
+ */
+export declare function constraintsRetire(id?: string, options?: ConstraintsRetireOptions): Promise<void>;
+export {};
+//# sourceMappingURL=constraints-retire.d.ts.map

package/dist/cli/commands/constraints-retire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-retire.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-retire.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAsBH,MAAM,WAAW,oBAAoB;IACnC,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,iBAAiB,GAAG,YAAY,CAAC;AAExE,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,YAAY,CAAC;IACrB,kCAAkC;IAClC,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,yBAAyB;IACzB,cAAc,EAAE,OAAO,CAAC;IACxB,iDAAiD;IACjD,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,wBAAwB;IACvC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AA6KD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,MAAM,EACnB,EAAE,EAAE,MAAM,EACV,OAAO,GAAE,oBAAyB,GACjC,YAAY,CAqCd;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAiB5D;AAMD,UAAU,QAAQ;IAChB,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC;CAC/B;AAiBD;;;;GAIG;AACH,wBAAsB,oBAAoB,CACxC,WAAW,EAAE,MAAM,EACnB,EAAE,GAAE,QAA2D,GAC9D,OAAO,CAAC,IAAI,CAAC,CAoFf;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,GAAE,wBAA6B,GAAG,OAAO,CAAC,IAAI,CAAC,CAc1G"}