@dommaker/harness 1.9.0 → 1.11.0

package/src/core/project-config-loader.ts

@@ -6,15 +6,14 @@
  * ADR-0023 决策 2），一次运行内各至多读一次。
  */
 
-import type { Constraint, ConstraintTrigger } from '../types/constraint';
+import type { Constraint } from '../types/constraint';
 import type {
   ProjectConfig,
-  CustomConstraintDefinition,
   MergedConstraintsConfig,
   CapabilitiesConfig,
   GovernanceConfig,
 } from '../types/project-config';
-import { IRON_LAWS, GUIDELINES, PROMPTS } from './constraints/definitions';
+import { CONSTRAINTS } from './constraints/definitions';
 import { PRESETS_BY_NAME, STANDARD_PRESET } from '../presets';
 import { filterEnabledEntries } from './effective-set';
 import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-env';
@@ -24,7 +23,6 @@ import { resolveRunEnv, type RunEnv, type RunTarget } from './constraints/run-en
  */
 const DEFAULT_CONFIG: ProjectConfig = {
   preset: 'standard',
-  custom_constraints_file: 'custom-constraints.yml',
 };
 
 /**
@@ -103,25 +101,6 @@ export function getCapabilitiesMode(target: RunTarget): CapabilitiesMode {
   return 'file';
 }
 
-/**
- * 退役判定单点（studio#82 D6 一处真相）
- *
- * 两个落点合成一条规则：禁用（config.yml `constraints.<id>.enabled: false`，内置约束的
- * 退役落点）或 custom 条目自带 `retired` 元数据（custom 约束的退役落点，不拆 config.yml
- * 第二处）。`mergeConstraints` 的 custom 追加跳过与 `harness constraints retire` 的
- * already_retired 检查共用本函数——后者此前是这条规则的手写复印（harness#137 收口）。
- *
- * `disabled` 由调用方给：mergeConstraints 传的是含 preset 裁剪的完整禁用集，
- * retire 传的是 config.yml 单点（退役落点只有这一处，preset 语义不掺进退役判定）。
- * `retired` 按 truthiness 判，与 mergeConstraints 历史口径逐字一致。
- */
-export function isConstraintRetired(
-  customDef: { retired?: unknown } | undefined,
-  disabled: boolean
-): boolean {
-  return disabled || Boolean(customDef?.retired);
-}
-
 /**
  * 项目配置加载器
  */
@@ -129,7 +108,6 @@ export class ProjectConfigLoader {
   private env: RunEnv;
   private projectPath: string;
   private config: ProjectConfig;
-  private customConstraints: Record<string, CustomConstraintDefinition>;
 
   /**
    * @param target 项目根路径，或本 run 已构造的运行级观察面（ADR-0023 决策 2）
@@ -139,51 +117,23 @@ export class ProjectConfigLoader {
     this.env = resolveRunEnv(target);
     this.projectPath = this.env.projectPath;
     this.config = { ...DEFAULT_CONFIG };
-    this.customConstraints = {};
   }
 
   /**
-   * 加载项目配置
+   * 加载项目配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
    */
   load(): ProjectConfig {
-    // 1. 加载主配置（run 内 memo 在观察面上，同一份解析结果供全部消费方共用）
     const raw = this.env.rawConfig();
     if (raw) {
       this.config = { ...DEFAULT_CONFIG, ...(raw as Partial<ProjectConfig>) };
     }
-
-    // 2. 加载自定义约束
-    this.loadCustomConstraints();
-
     return this.config;
   }
 
   /**
-   * 加载自定义约束
-   *
-   * 文件读取经观察面（ADR-0023 决策 2）：同一次运行内多个加载器共用同一份内容，
-   * 「哪个文件名算数」与合并顺序仍由本函数决定（方式 1 文件 → 方式 2 主配置内联，后者覆盖）。
-   */
-  private loadCustomConstraints(): void {
-    // 方式 1：从单独文件加载
-    if (this.config.custom_constraints_file) {
-      const defs = this.env.customConstraints(this.config.custom_constraints_file);
-      this.customConstraints = { ...this.customConstraints, ...defs };
-    }
-
-    // 方式 2：从主配置文件中加载
-    if (this.config.custom_constraints) {
-      this.customConstraints = { ...this.customConstraints, ...this.config.custom_constraints };
-    }
-  }
-
-  /**
-   * 合并内置约束和自定义约束（ADR-0001 生效集完整链路）
+   * 合并内置约束（生效集完整链路，ADR-0029）
    *
-   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false`
-   * 删除（对内置与 custom 同效）→ custom-constraints 追加
-   * （禁用/已退役的 custom 不追加）→ scenes 过滤
-   * （带 appliesTo 的 prompt 仅当 scenes 交集非空时保留）。
+   * 合并顺序：内置 → preset 裁剪 → config.yml `constraints.<id>.enabled:false` 删除。
    *
    * config.yml 中未知约束 id（如已移除约束的禁用残留）静默忽略，
    * 记录在结果 unknownIds 中供诊断。
@@ -199,6 +149,9 @@ export class ProjectConfigLoader {
       console.error(`[harness] 未知预设 "${presetName}"，已回落 standard`);
       preset = STANDARD_PRESET;
     }
+    // preset 按 severity 分键；展开为「id → 是否启用」的单桶视图
+    const bySeverity = (severity: 'error' | 'warning'): Record<string, Constraint> =>
+      Object.fromEntries(Object.entries(CONSTRAINTS).filter(([, c]) => c.severity === severity));
     const pick = (
       source: Record<string, Constraint>,
       ids: string[] | null
@@ -215,104 +168,36 @@ export class ProjectConfigLoader {
       ids: string[] | null
     ): string[] => (ids === null ? [] : Object.keys(source).filter(id => !ids.includes(id)));
 
+    const errorConstraints = bySeverity('error');
+    const warningConstraints = bySeverity('warning');
+
     const unknownIds: string[] = [];
     const result: MergedConstraintsConfig = {
-      ironLaws: pick(IRON_LAWS, preset.ironLaws),
-      guidelines: pick(GUIDELINES, preset.guidelines),
-      prompts: pick(PROMPTS, preset.prompts),
+      constraints: {
+        ...pick(errorConstraints, preset.errors),
+        ...pick(warningConstraints, preset.warnings),
+      },
       disabled: [
-        ...presetDisabled(IRON_LAWS, preset.ironLaws),
-        ...presetDisabled(GUIDELINES, preset.guidelines),
-        ...presetDisabled(PROMPTS, preset.prompts),
+        ...presetDisabled(errorConstraints, preset.errors),
+        ...presetDisabled(warningConstraints, preset.warnings),
       ],
-      custom: [],
       unknownIds,
     };
 
     // 1. 处理启用/禁用配置（未知 id 静默忽略，记录供诊断）
     if (this.config.constraints) {
-      const knownIds = new Set([
-        ...Object.keys(IRON_LAWS),
-        ...Object.keys(GUIDELINES),
-        ...Object.keys(PROMPTS),
-        ...Object.keys(this.customConstraints),
-      ]);
+      const knownIds = new Set(Object.keys(CONSTRAINTS));
       const filtered = filterEnabledEntries(knownIds, this.config.constraints);
       unknownIds.push(...filtered.unknownIds);
       for (const constraintId of filtered.disabledIds) {
         result.disabled.push(constraintId);
-        // 从对应层级中移除
-        delete result.ironLaws[constraintId];
-        delete result.guidelines[constraintId];
-        delete result.prompts![constraintId];
-      }
-    }
-
-    // 2. 添加自定义约束（config.yml 禁用的 id 不追加：step 1 已将其
-    // 收集进 disabled，custom 在 step 1 时尚未入桶，须在此兜底跳过；
-    // 条目带 retired 元数据的同样不追加——studio#82 D6 退役落点在条目自身）
-    for (const [id, customDef] of Object.entries(this.customConstraints)) {
-      if (isConstraintRetired(customDef, result.disabled.includes(id))) {
-        continue;
-      }
-      const constraint = this.toConstraint(customDef, id);
-
-      result.custom.push(id);
-
-      const level = customDef.level || 'guideline';
-      switch (level) {
-        case 'iron_law':
-          result.ironLaws[id] = constraint;
-          break;
-        case 'guideline':
-          result.guidelines[id] = constraint;
-          break;
-        case 'prompt':
-          result.prompts![id] = constraint;
-          break;
-      }
-    }
-
-    // 3. scenes 过滤（ADR-0001）：带 appliesTo 标签的 prompt 仅当项目 scenes
-    // 与其交集非空时保留；无 appliesTo 的条目不受影响。缺省 scenes=[] 即
-    // 场景专属 prompt 默认不进入生效集。
-    const scenes = this.config.scenes ?? [];
-    for (const [id, constraint] of Object.entries(result.prompts!)) {
-      if (
-        constraint.appliesTo &&
-        constraint.appliesTo.length > 0 &&
-        !constraint.appliesTo.some(scene => scenes.includes(scene))
-      ) {
-        delete result.prompts![id];
+        delete result.constraints[constraintId];
       }
     }
 
     return result;
   }
 
-  /**
-   * 将自定义约束定义转换为 Constraint
-   *
-   * kind 推导（ADR-0001）：自定义约束没有注册表中的 checker，统一归为
-   * kind='prompt'（不执行 checker，check() 短路通过），level 仅决定其所在
-   * 桶与严重性行为，保持与历史"未注册默认通过"相同的执行语义。
-   */
-  private toConstraint(def: CustomConstraintDefinition, defaultId: string): Constraint {
-    const level = def.level || 'guideline';
-    return {
-      id: def.id || defaultId,
-      kind: 'prompt',
-      level,
-      rule: def.rule || '',
-      message: def.message || '',
-      trigger: (def.trigger || 'manual') as ConstraintTrigger | ConstraintTrigger[],
-      description: def.description,
-      promptInjection: def.promptInjection,
-      enabled: def.enabled !== false,
-      enforcement: 'custom',
-    };
-  }
-
   /**
    * 获取当前配置
    */
@@ -320,20 +205,10 @@ export class ProjectConfigLoader {
     return this.config;
   }
 
-  /**
-   * 获取自定义约束
-   */
-  getCustomConstraints(): Record<string, CustomConstraintDefinition> {
-    return this.customConstraints;
-  }
-
   /**
    * 检查是否有自定义配置
    */
   hasCustomConfig(): boolean {
-    return (
-      Object.keys(this.customConstraints).length > 0 ||
-      (this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0)
-    );
+    return this.config.constraints !== undefined && Object.keys(this.config.constraints).length > 0;
   }
 }

package/src/core/validators/passes-gate.ts

@@ -97,7 +97,7 @@ export class PassesGate {
    * - 业务层自己运行测试，传入结果
    *
    * @param testResult 测试结果（由业务层运行测试后传入）
-   * @returns 验证结果（是否允许标记完成 + Iron Law 违规）
+   * @returns 验证结果（是否允许标记完成 + 阻断级违规）
    *
    * @example
    * ```typescript
@@ -107,7 +107,7 @@ export class PassesGate {
    *
    * if (!passesResult.allowed) {
    *   return res.status(400).json({
-   *     error: 'Iron Law 违规',
+   *     error: '约束违规',
    *     violations: passesResult.violations,
    *   });
    * }
@@ -116,23 +116,23 @@ export class PassesGate {
   check(testResult: TestResult): PassesGateCheckResult {
     const violations: PassesGateViolation[] = [];
 
-    // 1. 测试未通过 → Iron Law #2: NO SELF APPROVAL WITHOUT TEST EVIDENCE
+    // 1. 测试未通过 → NO SELF APPROVAL WITHOUT TEST EVIDENCE
     if (!testResult.passed) {
       violations.push({
         id: 'no_self_approval',
         rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
         message: '测试未通过',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 
-    // 2. 缺少证据 → Iron Law #3: NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
+    // 2. 缺少证据 → NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION
     if (this.config.requireEvidence && !testResult.evidence) {
       violations.push({
         id: 'no_completion_without_verification',
         rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION',
         message: '缺少测试证据',
-        level: 'iron_law',
+        severity: 'error',
       });
     }
 

package/src/failure/CONTEXT.md

@@ -22,6 +22,6 @@
 - 分类器基于规则匹配，不调用 LLM
 - S4 约束违规处理策略模块（ConstraintViolationHandler / executeWithBlock /
   executeWithCollect / executeWithSafeBoolean）已删除（架构评审候选1）：
-  COLLECT 对真实 checker 结构上不可交付（checker 首个铁律违规即 throw，
+  COLLECT 对真实 checker 结构上不可交付（checker 首个 error 级违规即 throw，
   handler 的 catch 只能吞证据造假绿）。语义归宿——阻断 = `checkConstraints` 本体，
   收集 = `checker.collectConstraints`（report 直调）；BLOCK/SAFE_BOOLEAN 零生产消费者随迁

package/src/hooks/__tests__/bootstrap.test.ts

@@ -22,7 +22,6 @@ function setupTempDir(dir: string): string {
   fs.mkdirSync(harnessDir, { recursive: true });
   const config = {
     preset: 'standard',
-    custom_constraints_file: 'custom-constraints.yml',
   };
   fs.writeFileSync(path.join(harnessDir, 'config.yml'), yaml.dump(config), 'utf-8');
   return harnessDir;
@@ -85,7 +84,7 @@ describe('bootstrapHarness', () => {
       const result = await bootstrapHarness(noConfigDir);
       expect(result).toHaveProperty('checker');
       expect(result).toHaveProperty('projectPath', noConfigDir);
-      expect(result.mergedConstraints).toHaveProperty('ironLaws');
+      expect(result.mergedConstraints).toHaveProperty('constraints');
     } finally {
       fs.rmSync(noConfigDir, { recursive: true, force: true });
     }
@@ -121,9 +120,8 @@ describe('bootstrapHarnessSync', () => {
   it('initializes ConstraintChecker with merged constraints', () => {
     const result = bootstrapHarnessSync(tempDir);
     // Check that mergedConstraints has the expected structure
-    expect(result.mergedConstraints).toHaveProperty('ironLaws');
-    expect(result.mergedConstraints).toHaveProperty('guidelines');
-  });
+    expect(result.mergedConstraints).toHaveProperty('constraints');
+      });
 
   it('uses process.cwd() when no project path is given', () => {
     // We cannot easily test process.cwd() fallback without mocking cwd,

package/src/index.ts

@@ -3,9 +3,9 @@
  *
  * 通用工程约束框架
  *
- * 约束体系（ADR-0001 kind 二元）：
- * - check：可执行检查（Iron Laws 阻断 / Guidelines 告警）
- * - prompt：纯文本注入，不参与检查
+ * 约束体系（ADR-0029 severity 显式模型）：
+ * - 全部约束 kind='check'：可执行检查（error 阻断 / warning 告警）
+ * - 纯文本提示层已整体关停（ADR-0029）
  *
  * 门禁系统：
  * - PassesGate：测试门控
@@ -16,13 +16,13 @@
  * - CheckpointValidator：检查点验证
  *
  * 公共导出（ADR-0003）：显式清单，禁 export *。
- * 收录标准：属 harness 定位（约束数据 / 执行引擎 / 注入工具 / 知识基建）、
+ * 收录标准：属 harness 定位（约束数据 / 执行引擎 / 知识基建）、
  * 实现真实可用、无同名冲突。内部 seam
  * （ConstraintChecker / constraintChecker / ProjectConfigLoader）不进公共清单。
  */
 
 // ========================================
-// 约束类型（三层体系 + kind 二元）
+// 约束类型（severity 显式模型）
 // ========================================
 export {
   ConstraintViolationError,
@@ -31,7 +31,7 @@ export type {
   Constraint,
   ConstraintId,
   ConstraintKind,
-  ConstraintLevel,
+  ConstraintSeverity,
   ConstraintTrigger,
   ConstraintContext,
   ConstraintResult,
@@ -43,9 +43,7 @@ export type {
 // 约束数据（内置定义 + 生效集）
 // ========================================
 export {
-  IRON_LAWS,
-  GUIDELINES,
-  PROMPTS,
+  CONSTRAINTS,
   getAllConstraints,
   getConstraint,
   findConstraintsByTrigger,
@@ -56,6 +54,26 @@ export {
 } from './core/effective-constraints';
 export type { EffectiveConfigLint } from './core/effective-constraints';
 
+// ========================================
+// 约束使用报告（退役候选诊断数据层，studio#602 E1 (a) 链路消费）
+// ========================================
+export {
+  buildConstraintsUsageReport,
+  diagnoseRetireCandidates,
+  collectUsageByConstraint,
+  readProjectTraces,
+  readProjectTracesReport,
+  CANDIDATE_KIND_LABEL,
+  DEFAULT_DIAGNOSE_THRESHOLDS,
+} from './core/constraints/usage-report';
+export type {
+  ConstraintUsageStats,
+  RetireCandidate,
+  RetireCandidateKind,
+  DiagnoseThresholds,
+  ConstraintsUsageReport,
+} from './core/constraints/usage-report';
+
 // ========================================
 // 约束检查引擎（便捷 API；options 统一签名，ADR-0003）
 // ========================================
@@ -67,17 +85,10 @@ export {
 export type { CheckConstraintsOptions } from './core/constraints/checker';
 
 // ========================================
-// 约束缓存与注入渲染
+// 约束缓存
 // ========================================
 export { CheckCache } from './core/constraints/check-cache';
 export type { CheckCacheConfig, CheckSamplingConfig } from './core/constraints/check-cache';
-export { renderConstraintsByTrigger } from './core/constraints/agent-prompt-renderer';
-export type { RenderConstraintsByTriggerOptions } from './core/constraints/agent-prompt-renderer';
-export {
-  CONSTRAINTS_START_MARKER,
-  CONSTRAINTS_END_MARKER,
-  renderConstraintsSection,
-} from './core/constraints/injection-renderer';
 
 // ========================================
 // 检查点与验证器
@@ -373,7 +384,6 @@ export type {
 export type {
   ProjectConfig,
   MergedConstraintsConfig,
-  CustomConstraintDefinition,
   GovernanceConfig,
   CapabilitiesConfig,
   ChangelogConfig,

package/src/knowledge/CONTEXT.md

@@ -17,7 +17,7 @@
 - 所有模式支持 `decayAt` 硬过期
 
 ## 核心导出
-- `KnowledgeStore`（类型面）/ `FileKnowledgeStore`（`store.ts`，barrel 与包根交出的**值**符号——store 的文件系统实现，构造收 `{ baseDir }`；仓内构造点两处：`cli/commands/knowledge-view.ts` 的 `openKnowledgeStore()`（knowledge 各子命令的取数口）与 `cli/commands/constraints-retire.ts` 的退役沉淀写入）— 知识条目 CRUD + 结构化存储；`saveAll()` 全量批量写入（循环内只更新内存索引、结束一次 writeIndex，harness#107）、`applyAll()` 按 id 部分更新的批量出口（`update(id, partial)` 的批量形，语义含未知 id 逐条跳过与空批零读写，harness#134）、`getConsumptionStats()` 读 `.consumption-stats.json` 的当日消费计数（打分核心唯一的消费统计取数口，harness#134）
+- `KnowledgeStore`（类型面）/ `FileKnowledgeStore`（`store.ts`，barrel 与包根交出的**值**符号——store 的文件系统实现，构造收 `{ baseDir }`；仓内构造点两处：`cli/commands/knowledge-view.ts` 的 `openKnowledgeStore()`（knowledge 各子命令的取数口）与 `cli/commands/constraints-retire.ts` 的退役沉淀写入）— 知识条目 CRUD + 结构化存储；`saveAll()` 全量批量写入（循环内只更新内存索引、结束一次 writeIndex，harness#107）、`applyAll()` 按 id 部分更新的批量出口（`update(id, partial)` 的批量形，语义含未知 id 逐条跳过与空批零读写，harness#134）、`getConsumptionStats()` 读 `.consumption-stats.json` 的当日消费计数（打分核心唯一的消费统计取数口，harness#134）。**写入闸（E1 复盘修正 M1）**：save/saveAll/applyAll 落盘前校验 maturity/layer 枚举（update 经 save 继承），未声明值拒写抛错不静默降级；值域正本 = `types.ts` 的 `MATURITY_LEVELS`/`STORAGE_LAYERS` 常量（不进 barrel）。批量路径先整批预校验再落盘（任一脏值全批拒写）；applyAll 批内同 id 多条按序累积合并语义不变
 - `KnowledgeQuery` — 语义搜索 + 类型/标签过滤 + `queryByMode()` + `consume(taskContext)`；`query()` 是 budget 截断管线（仅用于 prompt 注入），`search()` 是全语料文本搜索（先匹配→排序→limit，交互搜索专用，勿用 query() 代替）
 - `KnowledgeLifecycle` — per-mode 生命周期管理；缺省阈值常量 `DEFAULT_DECAY_CONFIG`（`provenDecayMonths: 12` / `verifiedDecayMonths: 6` / `draftDecayMonths: 3` / `autoPromoteSources: []`，正本 `types.ts`）经构造器 `{...DEFAULT_DECAY_CONFIG, ...config}` 合并，barrel 与包根一并交出
 - `extractCodeStructure(dir)`（`primitives/code-structure.ts`，配 `CodeStructure`/`DeclarationInfo`/`ImportInfo` 三类型对外）— 目录代码结构提取；仓内零调用方，是留给下游的公开面
@@ -29,7 +29,7 @@
 - `tree-walker`（包内，不进导出面）— 知识树排除口径单点（harness#134）：`isEntryFile()` / `isInfraDir()` / `INDEX_MD_FILE` / `SNAPSHOTS_DIR`，由 store 顶层扫描、migration 顶层扫描、index-generator 递归扫描三处共同消费
 - `flywheel-metrics`（包内，不进导出面）— 知识飞轮指标唯一实现：`evaluateFlywheel(env)` 出 canonical 比例、`genuineRefs()` 出 synthetic 过滤口径，audit D6 / `knowledge stats` / `knowledge health` 三处共消费（ADR-0013）
 - `ReferenceTracker` — 知识引用关系图谱
-- `KnowledgeLinter` — 知识质量检查(完整性/一致性/时效性)
+- `KnowledgeLinter` — 知识质量检查(完整性/一致性/时效性)；maturity/layer 枚举校验两个入口共用判定正本 `invalidEnumIssues`：`run()` 经 `checkInvalidEnums()` 扫存量（缺字段即脏、issue 带 entryId，`invalid_enum` 无 autoFix 分支——映射需人工裁定），`validateEntry()` 管摄入前（字段缺省跳过以兼容只传四字段的 pre-ingest 调用方）
 - `ColdStartImporter` — 冷启动知识导入
 - `KnowledgeHealthScorer` — 知识健康评分（doctor.ts）
 
@@ -43,6 +43,7 @@
 - 知识条目文件的 frontmatter 语法只由 `src/utils/frontmatter` 定义（harness#89）：缺头/空 meta = `absent`（合法输入，按非条目静默处理、不上报——migration 对 `absent` 不计 `errors`、不迁移，只计 `skipped` 保证 `total` 计数闭环，harness#161 对齐 #89 裁决 2）；未闭合/YAML 非法 = `malformed`（必须显式上报后按消费方语义恢复——migration 落 `errors`、store 与 index-generator 打一行 stderr 后跳过或走 best-effort），禁止静默丢条目；canonical 字段序是 `store.toFrontmatter` 的私有策略，`join` 只管包裹格式
 - **知识树的排除口径只有一个正本 `tree-walker`**（harness#134）：`_index.md`（索引生成物）、`.snapshots`、`.archive` / `archived`、`resolutions` 是树基建、不是条目人口。store 与 migration 的顶层扫描、index-generator 的递归扫描三处都走它；新增 walker 禁止另立排除清单。统一的是**排除口径**不是遍历深度（store/migration 顶层、index-generator 递归）。例外须原地记名理由：`import.ts` 的 docs 扫描吃的是**项目文档树**，本口径在它那里没有对应物
 - **循环内禁止逐条 `store.update()`**（harness#134）：`update()` 的形状是 get→save、`save()` 每次全量重写 index.json，N 条修复 = N 次全量重写。批量形是 `applyAll(id → partial)`；一次 `audit --fix`、一轮 `runDecayCycle()`、一次 `updateReferencedBy()` 各只重写一次索引，计数闸见 `audit-write-count.test.ts` 与 `lifecycle.test.ts` / `reference-tracker.test.ts` 的 stringify 计数项
+- **写入闸不管读**（E1 复盘修正 M1）：枚举校验只在 save/saveAll/applyAll/update 落盘前执行，读取（parseFile）不校验——盘上脏条目可读可列，但任一写入路径触及即抛错（含「只改其他字段」的部分更新），先修脏值再写；绕过本 store 直写文件的外部写入方不受闸约束
 - **审计判定脱离文件系统可测**（harness#134）：规则表与 D1–D7 打分住 `audit-scoring.ts`，零 fs（源形状闸钉在 `audit-scoring.test.ts`）；引擎 `audit.ts` 只做 store 装配，环境数据经 `store.getConsumptionStats()` / `getSurvivalRate()` 取好喂入
 - 知识条目有明确的生命周期状态（按 consumptionMode 分化）
 - 约束退役（`harness constraints retire`，人确认）时写入 KnowledgeStore：规则原文 + 退役原因 + 历史统计
@@ -56,7 +57,7 @@
 ## 注意事项
 - Phase 1+4 实现的知识引擎核心
 - 约束"退役不删除"——retire 落盘 config.yml `enabled: false` + retired 元数据，保留规则原文 + 退役原因 + 历史统计（可回滚）
-- `MaturityLevel` 包含 6 个值: draft/verified/proven/archived/active/deprecated
+- `MaturityLevel` / `StorageLayer` 的值域不抄清单——运行时正本是 `types.ts` 的 `MATURITY_LEVELS` / `STORAGE_LAYERS` 常量（写入闸与 lint 枚举校验共用）
 - `excludeArchived` 同时排除 archived 和 deprecated
 - 仍有两处按**原始** `referencedBy.length` 判定，不属飞轮指标、ADR-0013 明确列为范围外：`lifecycle.ts` 的 signal 饱和 / reference 激活（退役阈值调整另票）、`knowledge health` 的 D1「verified 零引用」线索提示（逐条 issue 线索，非聚合分子）
 - #134 收口后仍在的逐条写点（同型问题，本票裁决点名的循环之外，需要时另票）：`lint.ts` 的三处 autoFix `store.update()`、`lifecycle.recordReference()`（逐事件调用，返回更新后条目并触发回调，批量化会改它的契约）、`ingest.mergeEntries()`；`store.list()` 每条一次 `findFile()` 线性扫索引的 O(N²) 按 #134 裁决**未动**，待把知识树实际规模重新量一次再判是否单开票

package/src/knowledge/__tests__/lint.test.ts

@@ -57,6 +57,7 @@ describe('KnowledgeLinter', () => {
       expect(report.fixed).toBe(0);
     });
 
+
     it('应该检测所有问题类型', () => {
       // 孤儿条目
       saveEntry({ id: 'orphan-1', title: 'Orphan', maturity: 'draft', contributors: [], projects: [] });
@@ -79,6 +80,39 @@ describe('KnowledgeLinter', () => {
     });
   });
 
+  // M1 收口：run() 存量扫描必须报出 maturity/layer 脏值（spec：lint 能报出存量脏条目）
+  describe('run 存量枚举校验', () => {
+    /** 绕过写入闸直写脏条目（模拟实盘直写路径） */
+    function writeDirtyFile(name: string, fm: string) {
+      const dir = path.join(tmpDir, 'knowledge');
+      fs.writeFileSync(path.join(dir, name), `---\n${fm}\n---\n\nbody content long enough.\n`, 'utf-8');
+      store.rebuildIndex();
+    }
+
+    it('盘上脏 maturity / 脏 layer 的存量条目 → run() 报 invalid_enum', () => {
+      writeDirtyFile('resolution-res_a.md',
+        'id: res_a\ntype: resolution\ntitle: Dirty M\nmaturity: pending\nlayer: project\ncreated: 2026-09-01T00:00:00.000Z');
+      writeDirtyFile('resolution-res_b.md',
+        'id: res_b\ntype: resolution\ntitle: Dirty L\nmaturity: draft\nlayer: L3_tool_behavior\ncreated: 2026-09-01T00:00:00.000Z');
+      writeDirtyFile('resolution-res_c.md',
+        'id: res_c\ntype: resolution\ntitle: Missing Layer\nmaturity: draft\ncreated: 2026-09-01T00:00:00.000Z');
+
+      const report = linter.run();
+      const enumIssues = report.issues.filter(i => i.type === 'invalid_enum');
+      expect(enumIssues).toHaveLength(3);
+      expect(enumIssues.map(i => i.entryId).sort()).toEqual(['res_a', 'res_b', 'res_c']);
+      expect(report.summary.invalid_enum).toBe(3);
+    });
+
+    it('全合法条目库 → 零 invalid_enum（存量合法条目无新噪音）', () => {
+      saveEntry({ id: 'clean-1', maturity: 'verified', layer: 'project' });
+      saveEntry({ id: 'clean-2', maturity: 'active', layer: 'tech', title: 'Another' });
+
+      const report = linter.run();
+      expect(report.summary.invalid_enum).toBe(0);
+    });
+  });
+
   describe('checkIndexConsistency', () => {
     it('应该检测索引中有但文件不存在的条目', () => {
       saveEntry({ id: 'entry-1' });
@@ -370,6 +404,56 @@ describe('KnowledgeLinter', () => {
       });
       expect(issues.some(i => i.type === 'duplicate')).toBe(true);
     });
+
+    // E1 复盘修正 M1：maturity/layer 枚举值域校验（实盘脏值：pending/canonical/L3_tool_behavior）
+    it('flags undeclared maturity value', () => {
+      const issues = linter.validateEntry({
+        title: 'Specific Entry With Valid Title',
+        content: 'This is a sufficiently long content for the enum check test case.',
+        tags: [],
+        type: 'decision',
+        maturity: 'pending',
+      });
+      const issue = issues.find(i => i.type === 'invalid_enum');
+      expect(issue).toBeDefined();
+      expect(issue!.severity).toBe('high');
+      expect(issue!.description).toContain('pending');
+    });
+
+    it('flags undeclared layer value', () => {
+      const issues = linter.validateEntry({
+        title: 'Specific Entry With Valid Title',
+        content: 'This is a sufficiently long content for the enum check test case.',
+        tags: [],
+        type: 'decision',
+        layer: 'L3_tool_behavior',
+      });
+      const issue = issues.find(i => i.type === 'invalid_enum');
+      expect(issue).toBeDefined();
+      expect(issue!.description).toContain('L3_tool_behavior');
+    });
+
+    it('accepts declared maturity/layer values', () => {
+      const issues = linter.validateEntry({
+        title: 'Specific Entry With Valid Title',
+        content: 'This is a sufficiently long content for the enum check test case.',
+        tags: [],
+        type: 'decision',
+        maturity: 'verified',
+        layer: 'project',
+      });
+      expect(issues.filter(i => i.type === 'invalid_enum')).toHaveLength(0);
+    });
+
+    it('skips enum check when maturity/layer are not provided (pre-ingest caller compat)', () => {
+      const issues = linter.validateEntry({
+        title: 'Specific Entry With Valid Title',
+        content: 'This is a sufficiently long content for the enum check test case.',
+        tags: [],
+        type: 'decision',
+      });
+      expect(issues.filter(i => i.type === 'invalid_enum')).toHaveLength(0);
+    });
   });
 
   describe('autoFix', () => {

package/src/knowledge/__tests__/store.test.ts

@@ -174,6 +174,76 @@ describe('KnowledgeStore', () => {
     });
   });
 
+  // 写入闸（E1 复盘修正 M1）：maturity/layer 是声明枚举，未声明值拒写报错，不静默降级
+  describe('schema gate: maturity/layer 枚举校验', () => {
+    it('save 拒绝未声明的 maturity 值，不落盘', () => {
+      expect(() => store.save(makeEntry({ maturity: 'pending' as KnowledgeEntry['maturity'] })))
+        .toThrow(/maturity.*pending/);
+      expect(store.get('DEC-001')).toBeUndefined();
+      expect(store.readIndex()).toHaveLength(0);
+    });
+
+    it('save 拒绝未声明的 layer 值，不落盘', () => {
+      expect(() => store.save(makeEntry({ layer: 'L3_tool_behavior' as KnowledgeEntry['layer'] })))
+        .toThrow(/layer.*L3_tool_behavior/);
+      expect(store.get('DEC-001')).toBeUndefined();
+    });
+
+    it('save 拒绝缺失 layer 的条目', () => {
+      const entry = makeEntry();
+      delete (entry as Partial<KnowledgeEntry>).layer;
+      expect(() => store.save(entry)).toThrow(/layer/);
+      expect(store.get('DEC-001')).toBeUndefined();
+    });
+
+    it('update 传入脏 maturity 值 → 拒写，既有条目不变', () => {
+      store.save(makeEntry());
+      expect(() => store.update('DEC-001', { maturity: 'canonical' as KnowledgeEntry['maturity'] }))
+        .toThrow(/maturity.*canonical/);
+      expect(store.get('DEC-001')!.maturity).toBe('draft');
+    });
+
+    it('存量脏条目（绕过闸直写文件）经 update 修补其他字段 → 拒写报错', () => {
+      // 模拟实盘脏条目：resolution.service 直写文件的形状（maturity/layer 均未声明）
+      fs.writeFileSync(
+        path.join(tempDir, 'resolution-res_1.md'),
+        '---\nid: res_1\ntype: resolution\ntitle: Dirty\nmaturity: pending\nlayer: L3_tool_behavior\ncreated: 2026-09-01T00:00:00.000Z\n---\n\nbody\n',
+        'utf-8'
+      );
+      store.rebuildIndex();
+      expect(() => store.update('res_1', { tags: ['touched'] })).toThrow(/maturity.*pending/);
+    });
+
+    it('存量脏条目经 update 把脏字段修成合法值 → 放行（清洗路径）', () => {
+      fs.writeFileSync(
+        path.join(tempDir, 'resolution-res_2.md'),
+        '---\nid: res_2\ntype: resolution\ntitle: Dirty\nmaturity: pending\nlayer: L3_tool_behavior\ncreated: 2026-09-01T00:00:00.000Z\n---\n\nbody\n',
+        'utf-8'
+      );
+      store.rebuildIndex();
+      const updated = store.update('res_2', { maturity: 'draft', layer: 'project' });
+      expect(updated!.maturity).toBe('draft');
+      expect(store.get('res_2')!.layer).toBe('project');
+    });
+
+    it('saveAll 含一条脏值 → 整批拒写（合法条目也不落盘）', () => {
+      expect(() => store.saveAll([
+        makeEntry({ id: 'DEC-001' }),
+        makeEntry({ id: 'DEC-002', layer: 'process' as KnowledgeEntry['layer'] }),
+      ])).toThrow(/layer.*process/);
+      expect(store.get('DEC-001')).toBeUndefined();
+      expect(store.readIndex()).toHaveLength(0);
+    });
+
+    it('applyAll 部分更新把 maturity 改成脏值 → 拒写', () => {
+      store.save(makeEntry());
+      expect(() => store.applyAll([
+        { id: 'DEC-001', partial: { maturity: 'pending' as KnowledgeEntry['maturity'] } },
+      ])).toThrow(/maturity.*pending/);
+      expect(store.get('DEC-001')!.maturity).toBe('draft');
+    });
+  });
+
   describe('rebuildIndex', () => {
     it('should rebuild index from files', () => {
       store.save(makeEntry({ id: 'DEC-001' }));