@dommaker/harness 1.11.0 → 1.12.0

package/CHANGELOG.md

@@ -6,6 +6,26 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ## [Unreleased]
 
+## [1.12.0] - 2026-09-23
+
+### Changes
+- docs(capabilities): sync-docs 修正 severity 计数——no_hardcoded_credentials 升 error 级后 errors 4 / warnings 3
+- feat(gates): 命令黑名单补 git 破坏类 7 条——强推/clean -f 阻断，reset --hard 等警告（ADR-0031，wayfinder 票08 P1-6）
+- feat(knowledge): checkConstraintCandidate 知识→约束候选判定（ADR-0033，块3 子项6）
+- feat(constraints): constraints pack-proposal 升级提案打包命令（ADR-0033，块3 子项5）
+- feat(constraints): 零拦截观察名单中间态——列入挂 90 天，期满且样本足才转退役候选（ADR-0032/0033，块3 子项4）
+- test(constraints): 修预存红——32c07ed 升 error 级后 code_implementation 域无 warning 约束，改 module_modification 域
+- feat(constraints): 退休/报告执行面覆盖应用层约束（ADR-0033，块3 子项3）
+- feat(constraints): 填空式 checker 模板 regex-scan / file-exists（ADR-0033，块3 子项2）
+- feat(constraints): 两层约束模型——类型扩展 + .harness/constraints.yml 加载链 + 模板注册表闭环（ADR-0033，块3 子项1）
+- refactor(knowledge): 知识库目录收编——旧 ~/.studio/knowledge 兼容沿用退役（ADR-0034，票 02 断点 1）
+- feat(constraints): 退休幂等只认墓碑 + constraints reactivate 复活命令 + 落盘 commit 提示（ADR-0032 决策 6.4-6.6，票 02 断点 4/5/6）
+- docs(adr-0031): 修订——撤销'高危不派 kimi'派单策略，改一视同仁（能力快照会烂 + 主流 CLI 信任模型）
+- feat(constraints)!: no_hardcoded_credentials 升 error 级——安全底线 warning 不阻断等于没有（ADR-0032，wayfinder 票08 P0-1）
+- docs(positioning): harness 重新定位——一页纸原则 + ADR-0031~0034（wayfinder harness-repositioning 地图 9 票定案）
+- fix(constraints): constraints retire 知识沉淀写口走 openKnowledgeStore 统一解析点（#177）
+- docs(knowledge): 沉淀 list() 过滤层=index.json 与 tag append 去重纪律（studio#614 审计连带）
+
 ## [1.11.0] - 2026-09-21
 
 ### Changes

package/dist/cli/commands/constraints-pack-proposal.d.ts

@@ -0,0 +1,48 @@
+/**
+ * harness constraints pack-proposal <id> —— 升级提案材料打包（ADR-0033 决策 4，块 3 子项 5）
+ *
+ * 升级通道链路：studio 审卡发起/初审 → approve 后由本命令打包脱敏材料 →
+ * 人拿材料去 harness 仓开 issue（github 操作留给人，本命令不触网）。
+ *
+ * 材料内容：条文 + severity + checker 模板与参数 + traces.log 使用统计（只有计数）
+ * + 升级理由留白段。
+ *
+ * 脱敏口径（工具做路径脱敏，内容脱敏归人）：
+ * - 项目根绝对路径一律替换为 `<repoRoot>`；
+ * - 统计只有计数与首末次日期，不带样本内容；
+ * - 应用层约束的 params（正则/glob）**原文带出**并标注"请人工确认无应用内部信息"——
+ *   打包工具是质量前置，不是保密闸门。
+ */
+import type { Constraint } from '../../types/constraint';
+import { type CommandIO, type CommandResult } from '../command-contract';
+export interface PackProposalOptions {
+    projectPath?: string;
+    /** 打印到 stdout 而不落盘 */
+    stdout?: boolean;
+    /** 日期注入（测试用；缺省真实时钟） */
+    now?: Date;
+}
+/** 提案材料的输入（查找结果 + 使用统计聚合） */
+export interface ProposalMaterial {
+    constraint: Constraint;
+    stats: {
+        total: number;
+        pass: number;
+        fail: number;
+        skip: number;
+        evaluated: number;
+        firstAt?: number;
+        lastAt?: number;
+    };
+}
+/**
+ * 渲染脱敏提案材料 markdown（纯函数，导出供测试）
+ *
+ * @param projectRoot 用于路径脱敏（材料中出现的项目根绝对路径替换为 `<repoRoot>`）
+ */
+export declare function renderProposalMarkdown(material: ProposalMaterial, projectRoot: string, now?: Date): string;
+/**
+ * CLI handler: harness constraints pack-proposal <id>
+ */
+export declare function constraintsPackProposal(id: string | undefined, options?: PackProposalOptions, io?: CommandIO): Promise<CommandResult>;
+//# sourceMappingURL=constraints-pack-proposal.d.ts.map

package/dist/cli/commands/constraints-pack-proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-pack-proposal.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-pack-proposal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AASH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAA4B,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEnG,MAAM,WAAW,mBAAmB;IAClC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,sBAAsB;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,uBAAuB;IACvB,GAAG,CAAC,EAAE,IAAI,CAAC;CACZ;AAED,6BAA6B;AAC7B,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,UAAU,CAAC;IACvB,KAAK,EAAE;QACL,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,CAAC;CACH;AAgBD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,MAAM,EACnB,GAAG,GAAE,IAAiB,GACrB,MAAM,CAmDR;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAC3C,EAAE,EAAE,MAAM,GAAG,SAAS,EACtB,OAAO,GAAE,mBAAwB,EACjC,EAAE,GAAE,SAAqB,GACxB,OAAO,CAAC,aAAa,CAAC,CAwCxB"}

package/dist/cli/commands/constraints-pack-proposal.js

@@ -0,0 +1,169 @@
+"use strict";
+/**
+ * harness constraints pack-proposal <id> —— 升级提案材料打包（ADR-0033 决策 4，块 3 子项 5）
+ *
+ * 升级通道链路：studio 审卡发起/初审 → approve 后由本命令打包脱敏材料 →
+ * 人拿材料去 harness 仓开 issue（github 操作留给人，本命令不触网）。
+ *
+ * 材料内容：条文 + severity + checker 模板与参数 + traces.log 使用统计（只有计数）
+ * + 升级理由留白段。
+ *
+ * 脱敏口径（工具做路径脱敏，内容脱敏归人）：
+ * - 项目根绝对路径一律替换为 `<repoRoot>`；
+ * - 统计只有计数与首末次日期，不带样本内容；
+ * - 应用层约束的 params（正则/glob）**原文带出**并标注"请人工确认无应用内部信息"——
+ *   打包工具是质量前置，不是保密闸门。
+ */
+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.renderProposalMarkdown = renderProposalMarkdown;
+exports.constraintsPackProposal = constraintsPackProposal;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const yaml = __importStar(require("js-yaml"));
+const chalk_1 = __importDefault(require("chalk"));
+const definitions_1 = require("../../core/constraints/definitions");
+const app_constraints_loader_1 = require("../../core/app-constraints-loader");
+const usage_report_1 = require("../../core/constraints/usage-report");
+const command_contract_1 = require("../command-contract");
+/**
+ * 查找约束定义（内置 + 应用层，与 findRetireTarget 同口径但带全量字段——
+ * checker/params 是提案材料的核心内容，RetireTargetInfo 不带）
+ */
+function findProposalTarget(id, projectRoot) {
+    const builtIn = (0, definitions_1.getConstraint)(id);
+    if (builtIn)
+        return builtIn;
+    return (0, app_constraints_loader_1.loadAppConstraints)(projectRoot).find(c => c.id === id);
+}
+function formatDate(ts) {
+    return ts === undefined ? '（无记录）' : new Date(ts).toISOString().slice(0, 10);
+}
+/**
+ * 渲染脱敏提案材料 markdown（纯函数，导出供测试）
+ *
+ * @param projectRoot 用于路径脱敏（材料中出现的项目根绝对路径替换为 `<repoRoot>`）
+ */
+function renderProposalMarkdown(material, projectRoot, now = new Date()) {
+    const c = material.constraint;
+    const s = material.stats;
+    const isApp = c.source === 'app';
+    const lines = [];
+    lines.push(`# 约束升级提案材料：${c.id}`);
+    lines.push('');
+    lines.push(`- 生成日期: ${now.toISOString().slice(0, 10)}`);
+    lines.push(`- 来源: ${isApp ? '应用层（.harness/constraints.yml）' : '内置'}`);
+    lines.push(`- severity: ${c.severity}`);
+    lines.push('');
+    lines.push('## 条文');
+    lines.push('');
+    lines.push(`rule: ${c.rule}`);
+    if (c.message && c.message !== c.rule)
+        lines.push(`message: ${c.message}`);
+    if (c.description)
+        lines.push(`description: ${c.description}`);
+    lines.push('');
+    lines.push('## checker');
+    lines.push('');
+    if (isApp) {
+        lines.push(`模板: \`${c.checker}\``);
+        lines.push('');
+        lines.push('参数（原文带出，**请人工确认无应用内部信息**——工具只做路径脱敏，内容脱敏归人）:');
+        lines.push('');
+        lines.push('```yaml');
+        lines.push(yaml.dump(c.params ?? {}, { lineWidth: 120 }).trimEnd());
+        lines.push('```');
+    }
+    else {
+        lines.push('内置定制 checker（按约束 id 注册，非参数化模板）。升级到通用层前需评审：');
+        lines.push('改写为模板 + 参数，或作为通用规则保留定制实现。');
+    }
+    lines.push('');
+    lines.push('## 使用统计（traces.log 聚合，只有计数）');
+    lines.push('');
+    lines.push(`- total: ${s.total}`);
+    lines.push(`- evaluated: ${s.evaluated}（pass ${s.pass} / fail ${s.fail} / skip ${s.skip}）`);
+    lines.push(`- 首次触发: ${formatDate(s.firstAt)}`);
+    lines.push(`- 最近触发: ${formatDate(s.lastAt)}`);
+    lines.push('');
+    lines.push('## 升级理由');
+    lines.push('');
+    lines.push('> （请在此填写：为什么这条约束该进通用层——适用面、证据、与其他仓的相关性）');
+    lines.push('');
+    // 路径脱敏：项目根绝对路径一律替换
+    return lines.join('\n').split(projectRoot).join('<repoRoot>');
+}
+/**
+ * CLI handler: harness constraints pack-proposal <id>
+ */
+async function constraintsPackProposal(id, options = {}, io = command_contract_1.processIO) {
+    const projectRoot = options.projectPath || process.cwd();
+    if (!id) {
+        (0, command_contract_1.logError)(io, '❌ 缺少约束 id：harness constraints pack-proposal <id>');
+        return { kind: 'usage-error', reason: '缺少约束 id' };
+    }
+    const constraint = findProposalTarget(id, projectRoot);
+    if (!constraint) {
+        (0, command_contract_1.logError)(io, `❌ 未知约束 id: ${id}（内置与应用层 constraints.yml 均未找到），未做任何变更`);
+        return { kind: 'usage-error', reason: `未知约束 id: ${id}` };
+    }
+    const usage = (0, usage_report_1.collectUsageByConstraint)((0, usage_report_1.readProjectTraces)(projectRoot)).get(id);
+    const stats = {
+        total: usage?.total ?? 0,
+        pass: usage?.pass ?? 0,
+        fail: usage?.fail ?? 0,
+        skip: usage?.skip ?? 0,
+        evaluated: (usage?.total ?? 0) - (usage?.skip ?? 0),
+        firstAt: usage?.firstAt,
+        lastAt: usage?.lastAt,
+    };
+    const now = options.now ?? new Date();
+    const markdown = renderProposalMarkdown({ constraint, stats }, projectRoot, now);
+    if (options.stdout) {
+        (0, command_contract_1.log)(io, markdown);
+        return { kind: 'ok' };
+    }
+    const date = now.toISOString().slice(0, 10).replace(/-/g, '');
+    const outPath = path.join(projectRoot, '.harness', 'reports', `proposal-${id}-${date}.md`);
+    fs.mkdirSync(path.dirname(outPath), { recursive: true });
+    fs.writeFileSync(outPath, markdown, 'utf-8');
+    (0, command_contract_1.log)(io, chalk_1.default.green(`✅ 提案材料已生成: ${outPath}`));
+    (0, command_contract_1.log)(io, chalk_1.default.gray('   下一步：人工确认 params 无应用内部信息后，拿材料去 harness 仓开 issue（不自动开）'));
+    return { kind: 'ok' };
+}
+//# sourceMappingURL=constraints-pack-proposal.js.map

package/dist/cli/commands/constraints-pack-proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-pack-proposal.js","sourceRoot":"","sources":["../../../src/cli/commands/constraints-pack-proposal.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqDH,wDAuDC;AAKD,0DA4CC;AA3JD,uCAAyB;AACzB,2CAA6B;AAC7B,8CAAgC;AAChC,kDAA0B;AAC1B,oEAAmE;AACnE,8EAAuE;AACvE,sEAAkG;AAElG,0DAAmG;AAwBnG;;;GAGG;AACH,SAAS,kBAAkB,CAAC,EAAU,EAAE,WAAmB;IACzD,MAAM,OAAO,GAAG,IAAA,2BAAa,EAAC,EAAE,CAAC,CAAC;IAClC,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAC5B,OAAO,IAAA,2CAAkB,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CAAC,EAAsB;IACxC,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,SAAgB,sBAAsB,CACpC,QAA0B,EAC1B,WAAmB,EACnB,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC;IAC9B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3E,IAAI,CAAC,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5F,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,mBAAmB;IACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAChE,CAAC;AAED;;GAEG;AACI,KAAK,UAAU,uBAAuB,CAC3C,EAAsB,EACtB,UAA+B,EAAE,EACjC,KAAgB,4BAAS;IAEzB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAEzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,IAAA,2BAAQ,EAAC,EAAE,EAAE,kDAAkD,CAAC,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,IAAA,2BAAQ,EAAC,EAAE,EAAE,cAAc,EAAE,sCAAsC,CAAC,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,MAAM,KAAK,GAAG,IAAA,uCAAwB,EAAC,IAAA,gCAAiB,EAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC;QACxB,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC;QACtB,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC;QACtB,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC;QACtB,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC;QACnD,OAAO,EAAE,KAAK,EAAE,OAAO;QACvB,MAAM,EAAE,KAAK,EAAE,MAAM;KACtB,CAAC;IAEF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IAEjF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnB,IAAA,sBAAG,EAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAClB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC;IAC3F,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7C,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,KAAK,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC,CAAC;IAC/E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC"}

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

@@ -0,0 +1,55 @@
+/**
+ * harness constraints reactivate —— 约束复活（ADR-0032 决策 6.5，票 02 断点 5）
+ *
+ * 复活 = 撤销退休：删 config.yml `constraints.<id>` 墓碑段（与既有"恢复方法"语义一致），
+ * 同时写一条 KnowledgeStore 新条目 `constraint-reactivated-<id>`（consumptionMode: 'signal'）
+ * ——不改历史：旧 `constraint-retired-<id>` 沉淀原样保留，复活原因单独成条。
+ *
+ * 幂等口径与 retire 对偶：只认 retired 墓碑。裸 enabled:false（禁用非退休）与
+ * 从未退休的约束一律 not_retired，不落盘任何文件。
+ *
+ * 人确认闸门与 retire 同形（ADR-0001 决策 2 语义）：直达必须显式 --yes。
+ * 不提供交互批量模式——复活是低频点对点操作。
+ */
+import { type CommandIO, type CommandResult } from '../command-contract';
+export interface ReactivateExecuteOptions {
+    /** 复活原因（可空） */
+    reason?: string;
+    /** 注入当前时间（测试用） */
+    now?: Date;
+    /** 知识库路径解析的 io（缺省 processIO，与 retire 写口同形） */
+    io?: CommandIO;
+}
+export type ReactivateStatus = 'reactivated' | 'not_retired' | 'unknown_id';
+export interface ReactivateResult {
+    id: string;
+    status: ReactivateStatus;
+    /** KnowledgeStore 条目 id（status='reactivated' 时存在） */
+    knowledgeEntryId?: string;
+    /** 复活记录实际落盘的知识库根（status='reactivated' 时存在） */
+    knowledgeBaseDir?: string;
+}
+export interface ConstraintsReactivateOptions {
+    projectPath?: string;
+    reason?: string;
+    /** 直达模式显式确认（--yes）：与 retire 同一道人确认闸门，无此 flag 直达拒绝执行 */
+    yes?: boolean;
+}
+/**
+ * 执行单条约束复活（纯执行逻辑，无交互）
+ *
+ * 不存在的 id / 无 retired 墓碑的 id 通过 status 返回，由调用方提示。
+ */
+export declare function reactivateConstraint(projectRoot: string, id: string, options?: ReactivateExecuteOptions): ReactivateResult;
+/**
+ * 打印单条复活结果
+ */
+export declare function printReactivateResult(result: ReactivateResult, io?: CommandIO, projectRoot?: string): CommandResult;
+/**
+ * CLI handler: harness constraints reactivate <id>
+ *
+ * 人确认闸门与 retire 同形：直达必须显式 `--yes`，无 `--yes` 报错 + 非零退出码，
+ * 不落盘任何文件。
+ */
+export declare function constraintsReactivate(id?: string, options?: ConstraintsReactivateOptions, io?: CommandIO): Promise<CommandResult>;
+//# sourceMappingURL=constraints-reactivate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-reactivate.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-reactivate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAA4B,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAOnG,MAAM,WAAW,wBAAwB;IACvC,eAAe;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,GAAG,CAAC,EAAE,IAAI,CAAC;IACX,8CAA8C;IAC9C,EAAE,CAAC,EAAE,SAAS,CAAC;CAChB;AAED,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,aAAa,GAAG,YAAY,CAAC;AAE5E,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,gBAAgB,CAAC;IACzB,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,8CAA8C;IAC9C,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,4BAA4B;IAC3C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,GAAG,CAAC,EAAE,OAAO,CAAC;CACf;AA0DD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,EAAE,EAAE,MAAM,EACV,OAAO,GAAE,wBAA6B,GACrC,gBAAgB,CA8BlB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,GAAE,SAAqB,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,aAAa,CAgB9H;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,EAAE,CAAC,EAAE,MAAM,EACX,OAAO,GAAE,4BAAiC,EAC1C,EAAE,GAAE,SAAqB,GACxB,OAAO,CAAC,aAAa,CAAC,CAmBxB"}

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

@@ -0,0 +1,175 @@
+"use strict";
+/**
+ * harness constraints reactivate —— 约束复活（ADR-0032 决策 6.5，票 02 断点 5）
+ *
+ * 复活 = 撤销退休：删 config.yml `constraints.<id>` 墓碑段（与既有"恢复方法"语义一致），
+ * 同时写一条 KnowledgeStore 新条目 `constraint-reactivated-<id>`（consumptionMode: 'signal'）
+ * ——不改历史：旧 `constraint-retired-<id>` 沉淀原样保留，复活原因单独成条。
+ *
+ * 幂等口径与 retire 对偶：只认 retired 墓碑。裸 enabled:false（禁用非退休）与
+ * 从未退休的约束一律 not_retired，不落盘任何文件。
+ *
+ * 人确认闸门与 retire 同形（ADR-0001 决策 2 语义）：直达必须显式 --yes。
+ * 不提供交互批量模式——复活是低频点对点操作。
+ */
+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.reactivateConstraint = reactivateConstraint;
+exports.printReactivateResult = printReactivateResult;
+exports.constraintsReactivate = constraintsReactivate;
+const path = __importStar(require("path"));
+const command_contract_1 = require("../command-contract");
+const chalk_1 = __importDefault(require("chalk"));
+const project_config_loader_1 = require("../../core/project-config-loader");
+const knowledge_view_1 = require("./knowledge-view");
+const constraints_retire_1 = require("./constraints-retire");
+/**
+ * 写 KnowledgeStore 复活记录（consumptionMode: 'signal'）
+ *
+ * baseDir 走 openKnowledgeStore 同一解析点，与 retire 沉淀写口同根。
+ */
+function saveReactivateKnowledge(id, target, reason, iso, io) {
+    const entryId = `constraint-reactivated-${id}`;
+    const contentLines = [
+        `# 约束复活：${id}`,
+        '',
+        `原退役沉淀：constraint-retired-${id}（不改历史，原条目保留）`,
+        '',
+        '## 规则原文',
+        '',
+        target.description ? `description: ${target.description}` : undefined,
+        target.rule ? `rule: ${target.rule}` : undefined,
+        target.message ? `message: ${target.message}` : undefined,
+        '',
+        '## 复活原因',
+        '',
+        reason || '（未填写）',
+        '',
+        `复活日期: ${iso}`,
+    ].filter((l) => l !== undefined);
+    const entry = {
+        id: entryId,
+        type: 'decision',
+        title: `约束复活：${id}`,
+        content: contentLines.join('\n'),
+        maturity: 'verified',
+        layer: 'project',
+        created: iso,
+        lastReferenced: iso,
+        contributors: [],
+        projects: [],
+        tags: ['constraint-reactivated', `constraint:${id}`, `severity:${target.severity}`],
+        applicablePhases: [],
+        sourceReferences: [{ timestamp: iso }],
+        referencedBy: [],
+        executionResults: [],
+        consumptionMode: 'signal',
+        origin: 'human',
+    };
+    const store = (0, knowledge_view_1.openKnowledgeStore)({}, io);
+    store.save(entry);
+    return { entryId, baseDir: store.getBaseDir() };
+}
+/**
+ * 执行单条约束复活（纯执行逻辑，无交互）
+ *
+ * 不存在的 id / 无 retired 墓碑的 id 通过 status 返回，由调用方提示。
+ */
+function reactivateConstraint(projectRoot, id, options = {}) {
+    const now = options.now ?? new Date();
+    const iso = now.toISOString();
+    const target = (0, constraints_retire_1.findRetireTarget)(id, projectRoot);
+    if (!target) {
+        return { id, status: 'unknown_id' };
+    }
+    // 只认 retired 墓碑：裸 disable 与未配置一律 not_retired（与 retire 的幂等口径对偶）
+    const loader = new project_config_loader_1.ProjectConfigLoader(projectRoot);
+    loader.load();
+    const existing = loader.getConfig().constraints?.[id];
+    if (!(existing?.enabled === false && existing.retired)) {
+        return { id, status: 'not_retired' };
+    }
+    // 1. 删 config.yml constraints.<id> 墓碑段（恢复 = 回生效集）
+    (0, constraints_retire_1.removeYamlEntry)(path.join(projectRoot, '.harness', 'config.yml'), 'constraints', id);
+    // 2. KnowledgeStore 复活条目（不改历史，新写一条）
+    const { entryId: knowledgeEntryId, baseDir: knowledgeBaseDir } = saveReactivateKnowledge(id, target, options.reason ?? '', iso, options.io ?? command_contract_1.processIO);
+    return { id, status: 'reactivated', knowledgeEntryId, knowledgeBaseDir };
+}
+/**
+ * 打印单条复活结果
+ */
+function printReactivateResult(result, io = command_contract_1.processIO, projectRoot) {
+    switch (result.status) {
+        case 'unknown_id':
+            (0, command_contract_1.log)(io, chalk_1.default.red(`❌ ${result.id}: 约束不存在（内置与应用层约束中都未找到），未做任何变更`));
+            return { kind: 'skip', reason: `${result.id}: 约束不存在，未做任何变更` };
+        case 'not_retired':
+            (0, command_contract_1.log)(io, chalk_1.default.yellow(`⚠️  ${result.id}: 无 retired 墓碑（未退休或仅裸 disable），未做任何变更`));
+            return { kind: 'skip', reason: `${result.id}: 无 retired 墓碑，未做任何变更` };
+        case 'reactivated': {
+            (0, command_contract_1.log)(io, chalk_1.default.green(`✅ ${result.id}: 已复活（config.yml 墓碑段已删，约束回到生效集）`));
+            (0, command_contract_1.log)(io, `   复活沉淀: ${result.knowledgeEntryId}（${result.knowledgeBaseDir}）`);
+            if (projectRoot)
+                (0, constraints_retire_1.logCommitHint)(projectRoot, io);
+            break;
+        }
+    }
+    return { kind: 'ok' };
+}
+/**
+ * CLI handler: harness constraints reactivate <id>
+ *
+ * 人确认闸门与 retire 同形：直达必须显式 `--yes`，无 `--yes` 报错 + 非零退出码，
+ * 不落盘任何文件。
+ */
+async function constraintsReactivate(id, options = {}, io = command_contract_1.processIO) {
+    const projectRoot = options.projectPath || process.cwd();
+    if (!id) {
+        (0, command_contract_1.logError)(io, chalk_1.default.red('❌ 用法：harness constraints reactivate <id> --yes [--reason "..."]（复活是点对点操作，无交互模式）'));
+        return { kind: 'usage-error', reason: 'reactivate 缺少约束 id，未做任何变更' };
+    }
+    if (!options.yes) {
+        (0, command_contract_1.logError)(io, chalk_1.default.red(`❌ 直达复活需要显式人确认（与 retire 同一闸门），未做任何变更\n`) +
+            `   带 --yes 显式确认直达：harness constraints reactivate ${id} --yes` +
+            `${options.reason ? ` --reason "${options.reason}"` : ''}`);
+        return { kind: 'usage-error', reason: `直达复活 ${id} 缺少显式 --yes 人确认，未做任何变更` };
+    }
+    const result = reactivateConstraint(projectRoot, id, { reason: options.reason, io });
+    return printReactivateResult(result, io, projectRoot);
+}
+//# sourceMappingURL=constraints-reactivate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraints-reactivate.js","sourceRoot":"","sources":["../../../src/cli/commands/constraints-reactivate.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkGH,oDAkCC;AAKD,sDAgBC;AAQD,sDAuBC;AAtLD,2CAA6B;AAC7B,0DAAmG;AACnG,kDAA0B;AAC1B,4EAAuE;AAEvE,qDAAsD;AACtD,6DAA+G;AA6B/G;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,EAAU,EACV,MAAwB,EACxB,MAAc,EACd,GAAW,EACX,EAAa;IAEb,MAAM,OAAO,GAAG,0BAA0B,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAG;QACnB,UAAU,EAAE,EAAE;QACd,EAAE;QACF,4BAA4B,EAAE,cAAc;QAC5C,EAAE;QACF,SAAS;QACT,EAAE;QACF,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;QACrE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS;QACzD,EAAE;QACF,SAAS;QACT,EAAE;QACF,MAAM,IAAI,OAAO;QACjB,EAAE;QACF,SAAS,GAAG,EAAE;KACf,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAE9C,MAAM,KAAK,GAAmB;QAC5B,EAAE,EAAE,OAAO;QACX,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,QAAQ,EAAE,EAAE;QACnB,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,QAAQ,EAAE,UAAU;QACpB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,GAAG;QACZ,cAAc,EAAE,GAAG;QACnB,YAAY,EAAE,EAAE;QAChB,QAAQ,EAAE,EAAE;QACZ,IAAI,EAAE,CAAC,wBAAwB,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnF,gBAAgB,EAAE,EAAE;QACpB,gBAAgB,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QACtC,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,EAAE;QACpB,eAAe,EAAE,QAAQ;QACzB,MAAM,EAAE,OAAO;KAChB,CAAC;IAEF,MAAM,KAAK,GAAG,IAAA,mCAAkB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC;AAClD,CAAC;AAED;;;;GAIG;AACH,SAAgB,oBAAoB,CAClC,WAAmB,EACnB,EAAU,EACV,UAAoC,EAAE;IAEtC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAE9B,MAAM,MAAM,GAAG,IAAA,qCAAgB,EAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACtC,CAAC;IAED,+DAA+D;IAC/D,MAAM,MAAM,GAAG,IAAI,2CAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,EAAE,CAAC;IACd,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC,EAAE,CAAyD,CAAC;IAC9G,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,KAAK,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACvC,CAAC;IAED,kDAAkD;IAClD,IAAA,oCAAe,EAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IAErF,oCAAoC;IACpC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,uBAAuB,CACtF,EAAE,EACF,MAAM,EACN,OAAO,CAAC,MAAM,IAAI,EAAE,EACpB,GAAG,EACH,OAAO,CAAC,EAAE,IAAI,4BAAS,CACxB,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;AAC3E,CAAC;AAED;;GAEG;AACH,SAAgB,qBAAqB,CAAC,MAAwB,EAAE,KAAgB,4BAAS,EAAE,WAAoB;IAC7G,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,YAAY;YACf,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,EAAE,+BAA+B,CAAC,CAAC,CAAC;YAClE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,gBAAgB,EAAE,CAAC;QAChE,KAAK,aAAa;YAChB,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,EAAE,uCAAuC,CAAC,CAAC,CAAC;YAC/E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,uBAAuB,EAAE,CAAC;QACvE,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAA,sBAAG,EAAC,EAAE,EAAE,eAAK,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,EAAE,iCAAiC,CAAC,CAAC,CAAC;YACtE,IAAA,sBAAG,EAAC,EAAE,EAAE,YAAY,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,GAAG,CAAC,CAAC;YAC3E,IAAI,WAAW;gBAAE,IAAA,kCAAa,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,qBAAqB,CACzC,EAAW,EACX,UAAwC,EAAE,EAC1C,KAAgB,4BAAS;IAEzB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAEzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,IAAA,2BAAQ,EAAC,EAAE,EAAE,eAAK,CAAC,GAAG,CAAC,iFAAiF,CAAC,CAAC,CAAC;QAC3G,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;IACtE,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;QACjB,IAAA,2BAAQ,EAAC,EAAE,EACT,eAAK,CAAC,GAAG,CAAC,uCAAuC,CAAC;YAChD,oDAAoD,EAAE,QAAQ;YAC9D,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7D,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC;IAC7E,CAAC;IAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,WAAW,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,OAAO,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;AACxD,CAAC"}

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

@@ -1,13 +1,17 @@
 /**
  * harness constraints report —— 约束使用报告（ADR-0001 决策 3/4，ADR-0029 收窄）
  *
- * 只读。面向"人审约束"场景：
+ * 面向"人审约束"场景：
  * - check 约束统计表（total/pass/fail/skip、fail 率、首次/最近触发）
  * - 退役候选诊断（零触发/零拦截/不可评估/高噪），retire 交互模式的数据源
+ * - 零拦截观察名单（ADR-0032，块 3 子项 4）：零拦截命中先进观察名单挂一个季度，
+ *   进 report 但不进退役候选，期满且样本足才转候选；名单状态经 StateIO 读-改-写
+ *   `.harness/.state.json`（本命令因此不再是纯只读——唯一写点是观察名单列入）
  * - 配置健康（unknownIds 残留提示）
  * - --export [file]：脱敏 markdown 摘要（不含项目路径）
  */
 import { type ConstraintsUsageReport } from '../../core/constraints/usage-report';
+import { type StateIO } from '../state-io';
 import { type CommandIO, type CommandResult } from '../command-contract';
 export interface ConstraintsReportOptions {
     projectPath?: string;
@@ -20,6 +24,13 @@ export interface ConstraintsReportOptions {
     noiseFailRate?: number;
     /** 高噪候选最小评估样本数 */
     noiseMinTotal?: number;
+    /**
+     * 观察名单状态接缝（缺省 = fileStateIO(projectPath)）。
+     * 注入则 `.harness/.state.json` 的读写全程走注入面（ADR-0026 同口径）。
+     */
+    stateIO?: StateIO;
+    /** 观察期判定时钟（Unix ms），测试注入用——别在测试里等 90 天 */
+    now?: number;
 }
 /**
  * 渲染脱敏 markdown 摘要（ADR-0001 决策 4）

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

@@ -1 +1 @@
-{"version":3,"file":"constraints-report.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,EAIL,KAAK,sBAAsB,EAG5B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAkB,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzF,MAAM,WAAW,wBAAwB;IACvC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,MAAM,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,oBAAoB;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,oBAAoB;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kBAAkB;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAiBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,sBAAsB,EAC9B,OAAO,EAAE,MAAM,EACf,GAAG,GAAE,IAAiB,GACrB,MAAM,CA4CR;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,OAAO,GAAE,wBAA6B,EAAE,EAAE,GAAE,SAAqB,GAAG,OAAO,CAAC,aAAa,CAAC,CAsEjI"}
+{"version":3,"file":"constraints-report.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/constraints-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAKH,OAAO,EAKL,KAAK,sBAAsB,EAG5B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAe,KAAK,OAAO,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,EAAkB,KAAK,SAAS,EAAE,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzF,MAAM,WAAW,wBAAwB;IACvC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gDAAgD;IAChD,MAAM,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,oBAAoB;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,oBAAoB;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kBAAkB;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,0CAA0C;IAC1C,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAiBD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,sBAAsB,EAC9B,OAAO,EAAE,MAAM,EACf,GAAG,GAAE,IAAiB,GACrB,MAAM,CAwDR;AAED;;GAEG;AACH,wBAAsB,iBAAiB,CAAC,OAAO,GAAE,wBAA6B,EAAE,EAAE,GAAE,SAAqB,GAAG,OAAO,CAAC,aAAa,CAAC,CAwFjI"}

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

@@ -2,9 +2,12 @@
 /**
  * harness constraints report —— 约束使用报告（ADR-0001 决策 3/4，ADR-0029 收窄）
  *
- * 只读。面向"人审约束"场景：
+ * 面向"人审约束"场景：
  * - check 约束统计表（total/pass/fail/skip、fail 率、首次/最近触发）
  * - 退役候选诊断（零触发/零拦截/不可评估/高噪），retire 交互模式的数据源
+ * - 零拦截观察名单（ADR-0032，块 3 子项 4）：零拦截命中先进观察名单挂一个季度，
+ *   进 report 但不进退役候选，期满且样本足才转候选；名单状态经 StateIO 读-改-写
+ *   `.harness/.state.json`（本命令因此不再是纯只读——唯一写点是观察名单列入）
  * - 配置健康（unknownIds 残留提示）
  * - --export [file]：脱敏 markdown 摘要（不含项目路径）
  */
@@ -51,6 +54,7 @@ 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 state_io_1 = require("../state-io");
 const constraints_1 = require("./constraints");
 const command_contract_1 = require("../command-contract");
 function formatTime(ts) {
@@ -101,6 +105,18 @@ function renderExportMarkdown(report, version, now = new Date()) {
         }
     }
     lines.push('');
+    // 观察名单（块 3 子项 4）：进报告不进候选，列入时间与剩余观察期随条目带出
+    lines.push('## 观察名单');
+    lines.push('');
+    if (report.watchlist.length === 0) {
+        lines.push('（空）');
+    }
+    else {
+        for (const w of report.watchlist) {
+            lines.push(`- \`${w.id}\` — ${w.reason}（列入 ${w.listedAt.slice(0, 10)}，剩余观察 ${w.remainingDays} 天；满 ${usage_report_1.WATCHLIST_PERIOD_DAYS} 天且样本足转退役候选）`);
+        }
+    }
+    lines.push('');
     if (report.lint.unknownIds.length > 0) {
         lines.push('## 配置健康');
         lines.push('');
@@ -123,7 +139,16 @@ async function constraintsReport(options = {}, io = command_contract_1.processIO
         thresholds.highNoiseFailRate = options.noiseFailRate;
     if (options.noiseMinTotal !== undefined)
         thresholds.highNoiseMinEvaluated = options.noiseMinTotal;
-    const report = (0, usage_report_1.buildConstraintsUsageReport)(projectRoot, thresholds);
+    const stateIO = options.stateIO ?? (0, state_io_1.fileStateIO)(projectRoot);
+    const state = stateIO.read();
+    const report = (0, usage_report_1.buildConstraintsUsageReport)(projectRoot, thresholds, {
+        watchlist: state.constraintWatchlist,
+        now: options.now,
+    });
+    // 观察名单只增不删：键数变多 = 本次有新列入，经 StateIO 写回（读-改-写，不动其他字段）
+    if (Object.keys(report.nextWatchlist).length > Object.keys(state.constraintWatchlist ?? {}).length) {
+        stateIO.write({ ...state, constraintWatchlist: report.nextWatchlist });
+    }
     if (options.json) {
         (0, command_contract_1.log)(io, JSON.stringify(report, null, 2));
         return { kind: 'ok' };
@@ -154,6 +179,14 @@ async function constraintsReport(options = {}, io = command_contract_1.processIO
         (0, command_contract_1.log)(io, chalk_1.default.gray('  可运行 `harness constraints retire` 交互式处理候选'));
     }
     (0, command_contract_1.log)(io);
+    // 观察名单分组（零拦截中间态，块 3 子项 4）：无条目零噪声
+    if (report.watchlist.length > 0) {
+        (0, command_contract_1.log)(io, chalk_1.default.bold(`观察名单（${report.watchlist.length} 条，零拦截观察期 ${usage_report_1.WATCHLIST_PERIOD_DAYS} 天，期满且样本足才转退役候选）:`));
+        for (const w of report.watchlist) {
+            (0, command_contract_1.log)(io, `  [观察中] ${w.id} — ${w.reason}（列入 ${w.listedAt.slice(0, 10)}，剩余观察 ${w.remainingDays} 天）`);
+        }
+        (0, command_contract_1.log)(io);
+    }
     // 配置健康
     if (report.lint.unknownIds.length > 0) {
         (0, command_contract_1.log)(io, chalk_1.default.yellow('⚠️  配置健康:'));