@dommaker/harness 1.9.0 → 1.10.0

package/src/__tests__/iron-laws.test.ts

@@ -1,12 +1,10 @@
 /**
- * 约束系统测试（ADR-0001：kind 二元模型，26 条清单构成 + 注册表闭环）
+ * 约束系统测试（ADR-0029：severity 显式模型——三层命名废弃、prompt 面删除、注册表闭环保留）
  */
 
 import { describe, it, expect } from '@jest/globals';
 import {
-  IRON_LAWS,
-  GUIDELINES,
-  PROMPTS,
+  CONSTRAINTS,
   getAllConstraints,
   findConstraintsByTrigger,
   getConstraint
@@ -16,32 +14,28 @@ import { getConstraintCheck, registeredCheckCount } from '../core/constraints/ch
 import type { ConstraintContext } from '../types/constraint';
 
 describe('Constraint System', () => {
-  describe('清单构成（ADR-0001：42 → 26）', () => {
-    it('getAllConstraints 返回 26 条：10 check + 16 prompt', () => {
+  describe('清单构成（ADR-0029：16 → 7，全部 kind=check）', () => {
+    it('getAllConstraints 返回 7 条 check 约束', () => {
       const all = getAllConstraints();
-      expect(all).toHaveLength(26);
-      expect(all.filter(c => c.kind === 'check')).toHaveLength(10);
-      expect(all.filter(c => c.kind === 'prompt')).toHaveLength(16);
+      expect(all).toHaveLength(7);
+      expect(all.every(c => c.kind === 'check')).toBe(true);
     });
 
-    it('check 层 = 5 iron + 5 guideline', () => {
-      expect(Object.keys(IRON_LAWS)).toHaveLength(5);
-      expect(Object.keys(GUIDELINES)).toHaveLength(5);
-      Object.values(IRON_LAWS).forEach(c => {
+    it('severity 分桶 = 3 error + 4 warning', () => {
+      const errors = Object.values(CONSTRAINTS).filter(c => c.severity === 'error');
+      const warnings = Object.values(CONSTRAINTS).filter(c => c.severity === 'warning');
+      expect(errors).toHaveLength(3);
+      expect(warnings).toHaveLength(4);
+      Object.values(CONSTRAINTS).forEach(c => {
         expect(c.kind).toBe('check');
-        expect(c.level).toBe('iron_law');
-      });
-      Object.values(GUIDELINES).forEach(c => {
-        expect(c.kind).toBe('check');
-        expect(c.level).toBe('guideline');
       });
     });
 
-    it('prompt 层 16 条，level 统一为 prompt', () => {
-      expect(Object.keys(PROMPTS)).toHaveLength(16);
-      Object.values(PROMPTS).forEach(c => {
-        expect(c.kind).toBe('prompt');
-        expect(c.level).toBe('prompt');
+    it('prompt 面字段已删除（promptInjection / injectPrompt / appliesTo 不存在）', () => {
+      Object.values(CONSTRAINTS).forEach(c => {
+        expect('promptInjection' in c).toBe(false);
+        expect('injectPrompt' in c).toBe(false);
+        expect('appliesTo' in c).toBe(false);
       });
     });
 
@@ -78,20 +72,48 @@ describe('Constraint System', () => {
       }
     });
 
-    it('场景标签：no_skill_without_test / no_model_for_deterministic', () => {
-      expect(PROMPTS['no_skill_without_test'].appliesTo).toEqual(['agent-skill']);
-      expect(PROMPTS['no_model_for_deterministic'].appliesTo).toEqual(['llm-app']);
+    it('harness#174 删除的 10 条不再存在', () => {
+      const removed = [
+        'incremental_progress',
+        'no_implementation_without_requirement',
+        'no_bypass_checkpoint',
+        'simplest_solution_first',
+        'no_simplification_without_approval',
+        'follow_conventions',
+        'first_principles_first',
+        'no_conflict_blending',
+        'no_performative_agreement',
+        'no_skill_without_test',
+      ];
+      for (const id of removed) {
+        expect(getConstraint(id)).toBeUndefined();
+        expect(getConstraintCheck(id)).toBeUndefined();
+      }
+    });
+
+    it('ADR-0029：prompt 类 9 条随文本注入层关停删除', () => {
+      const removed = [
+        'no_fuzzy_completion_claim',
+        'no_fix_without_root_cause',
+        'no_code_without_test',
+        'fix_the_problem_not_the_gate',
+        'verify_external_capability',
+        'no_delete_without_context',
+        'design_decision_requires_discussion',
+        'surgical_changes_only',
+        'no_model_for_deterministic',
+      ];
+      for (const id of removed) {
+        expect(getConstraint(id)).toBeUndefined();
+        expect(getConstraintCheck(id)).toBeUndefined();
+      }
     });
 
     it('no_completion_without_verification 不硬编码具体命令示例（#25：口径由项目声明）', () => {
-      const law = IRON_LAWS['no_completion_without_verification'];
-      expect(law.promptInjection).not.toMatch(/npm test|npm run build/);
+      const law = CONSTRAINTS['no_completion_without_verification'];
       expect(law.description).not.toMatch(/npm test|npm run build/);
-      expect(law.promptInjection).not.toContain('完整');
       expect(law.description).not.toContain('完整');
-      expect(law.promptInjection).toContain('项目声明的测试');
       expect(law.description).toContain('项目声明的测试');
-      expect(law.promptInjection).toContain('不得凭记忆声称完成');
     });
   });
 
@@ -107,12 +129,6 @@ describe('Constraint System', () => {
       const checkCount = getAllConstraints().filter(c => c.kind === 'check').length;
       expect(registeredCheckCount()).toBe(checkCount);
     });
-
-    it('prompt 约束不注册 checker', () => {
-      for (const c of Object.values(PROMPTS)) {
-        expect(getConstraintCheck(c.id)).toBeUndefined();
-      }
-    });
   });
 
   describe('Helper Functions', () => {
@@ -122,10 +138,10 @@ describe('Constraint System', () => {
     });
 
     it('should get single constraint by id', () => {
-      const constraint = getConstraint('no_fix_without_root_cause');
+      const constraint = getConstraint('no_completion_without_verification');
       expect(constraint).toBeDefined();
-      expect(constraint?.kind).toBe('prompt');
-      expect(constraint?.level).toBe('prompt');
+      expect(constraint?.kind).toBe('check');
+      expect(constraint?.severity).toBe('error');
     });
 
     it('should return undefined for unknown constraint', () => {
@@ -147,16 +163,7 @@ describe('Constraint Checker', () => {
     };
 
     const result = constraintChecker.findApplicableConstraints(context);
-    expect(result.ironLaws.length + result.guidelines.length).toBeGreaterThan(0);
-  });
-
-  it('prompt 约束 check() 短路 satisfied，不查注册表', async () => {
-    const context: ConstraintContext = {
-      operation: 'code_implementation',
-    };
-
-    const result = await constraintChecker.check(PROMPTS['no_fix_without_root_cause'], context);
-    expect(result.satisfied).toBe(true);
+    expect(result.errors.length + result.warnings.length).toBeGreaterThan(0);
   });
 
   it('kind=check 但未注册 checker 的约束应抛错（不许静默 pass）', async () => {
@@ -169,7 +176,7 @@ describe('Constraint Checker', () => {
         {
           id: 'ghost_check_constraint',
           kind: 'check',
-          level: 'guideline',
+          severity: 'warning',
           rule: 'GHOST',
           message: 'test',
           trigger: 'code_implementation',
@@ -189,66 +196,40 @@ describe('Constraint Checker', () => {
     };
 
     const result = await constraintChecker.checkConstraints(context);
-    expect(result.ironLaws.length + result.guidelines.length).toBeGreaterThan(0);
+    expect(result.errors.length + result.warnings.length).toBeGreaterThan(0);
   });
 
-  it('should skip incremental_progress when hasSingleTask is undefined（未接线不评估）', async () => {
+  it('should skip no_completion_without_verification when hasVerificationEvidence is undefined（未接线不评估）', async () => {
     const context: ConstraintContext = {
       operation: 'code_implementation',
     };
 
-    const result = await constraintChecker.check(IRON_LAWS['incremental_progress'], context);
+    const result = await constraintChecker.check(CONSTRAINTS['no_completion_without_verification'], context);
     expect(result.skipped).toBe(true);
     expect(result.satisfied).toBe(true);
   });
 
-  it('should pass incremental_progress when hasSingleTask is true', async () => {
+  it('should pass no_completion_without_verification when hasVerificationEvidence is true', async () => {
     const context: ConstraintContext = {
       operation: 'code_implementation',
-      hasSingleTask: true,
-    };
-
-    const result = await constraintChecker.check(IRON_LAWS['incremental_progress'], context);
-    expect(result.satisfied).toBe(true);
-  });
-
-  it('should skip no_implementation_without_requirement when hasRequirement is undefined（未接线不评估）', async () => {
-    const context: ConstraintContext = {
-      operation: 'code_implementation',
-    };
-
-    const result = await constraintChecker.check(IRON_LAWS['no_implementation_without_requirement'], context);
-    expect(result.skipped).toBe(true);
-    expect(result.satisfied).toBe(true);
-  });
-
-  it('should pass no_implementation_without_requirement when hasRequirement is true', async () => {
-    const context: ConstraintContext = {
-      operation: 'code_implementation',
-      hasRequirement: true,
+      hasVerificationEvidence: true,
     };
 
-    const result = await constraintChecker.check(IRON_LAWS['no_implementation_without_requirement'], context);
+    const result = await constraintChecker.check(CONSTRAINTS['no_completion_without_verification'], context);
     expect(result.satisfied).toBe(true);
   });
 });
 
-describe('Constraint Levels', () => {
-  it('should have correct level for iron laws', () => {
-    Object.values(IRON_LAWS).forEach(law => {
-      expect(law.level).toBe('iron_law');
-    });
-  });
-
-  it('should have correct level for guidelines', () => {
-    Object.values(GUIDELINES).forEach(guideline => {
-      expect(guideline.level).toBe('guideline');
+describe('Constraint Severity', () => {
+  it('error 级约束 severity 均为 error', () => {
+    ['no_completion_without_verification', 'no_test_simplification', 'docs_freshness'].forEach(id => {
+      expect(CONSTRAINTS[id].severity).toBe('error');
     });
   });
 
-  it('should have correct level for prompts', () => {
-    Object.values(PROMPTS).forEach(prompt => {
-      expect(prompt.level).toBe('prompt');
+  it('warning 级约束 severity 均为 warning', () => {
+    ['no_hardcoded_credentials', 'capability_sync', 'context_doc_sync', 'governance_presence'].forEach(id => {
+      expect(CONSTRAINTS[id].severity).toBe('warning');
     });
   });
 });

package/src/__tests__/passes-gate-check.test.ts

@@ -30,7 +30,7 @@ describe('PassesGate.check()', () => {
     expect(result.violations).toBeDefined();
     expect(result.violations?.length).toBe(1);
     expect(result.violations?.[0]?.id).toBe('no_self_approval');
-    expect(result.violations?.[0]?.level).toBe('iron_law');
+    expect(result.violations?.[0]?.severity).toBe('error');
     expect(result.testResult).toEqual(testResult);
   });
 
@@ -47,7 +47,7 @@ describe('PassesGate.check()', () => {
     expect(result.violations).toBeDefined();
     expect(result.violations?.length).toBe(1);
     expect(result.violations?.[0]?.id).toBe('no_completion_without_verification');
-    expect(result.violations?.[0]?.level).toBe('iron_law');
+    expect(result.violations?.[0]?.severity).toBe('error');
     expect(result.testResult).toEqual(testResult);
   });
 

package/src/__tests__/project-config-loader-extra.test.ts

@@ -1,9 +1,12 @@
 /**
  * ProjectConfigLoader 补充测试
+ *
+ * ADR-0029：custom 纯文本约束面（custom_constraints / getCustomConstraints /
+ * isConstraintRetired 的 custom 落点）已随文本注入层关停一并退役，相关用例移除。
  */
 
 import { describe, it, expect, beforeAll, afterAll, jest } from '@jest/globals';
-import { ProjectConfigLoader, isConstraintRetired } from '../core/project-config-loader';
+import { ProjectConfigLoader } from '../core/project-config-loader';
 import * as fs from 'fs';
 import * as path from 'path';
 import * as os from 'os';
@@ -27,7 +30,7 @@ describe('ProjectConfigLoader - 补充覆盖', () => {
   });
 
   describe('禁用约束', () => {
-    it('应该禁用指定约束', () => {
+    it('未知 id 的禁用配置静默忽略（生效集不变）', () => {
       fs.writeFileSync(
         path.join(harnessDir, 'config.yml'),
         `
@@ -43,69 +46,18 @@ constraints:
       loader.load();
       const merged = loader.mergeConstraints();
 
-      expect(merged.disabled).toContain('legacy_disabled_a');
-      expect(merged.disabled).toContain('legacy_disabled_b');
+      // 未知 id 进 unknownIds 供诊断（filterEnabledEntries 历史口径：未知但 enabled:false 的 id 同时也进 disabled）
+      expect(merged.unknownIds).toContain('legacy_disabled_a');
+      expect(merged.unknownIds).toContain('legacy_disabled_b');
     });
-  });
-
-  describe('自定义约束层级', () => {
-    it('应该正确分类 iron_law 级别约束', () => {
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        `
-custom_constraints:
-  my_iron_law:
-    rule: MY IRON LAW
-    message: Iron law message
-    level: iron_law
-    trigger: commit
-`
-      );
-
-      const loader = new ProjectConfigLoader(tempDir);
-      loader.load();
-      const merged = loader.mergeConstraints();
-
-      expect(merged.ironLaws['my_iron_law']).toBeDefined();
-    });
-
-    it('默认应该分类为 guideline', () => {
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        `
-custom_constraints:
-  my_guideline:
-    rule: MY GUIDELINE
-    message: Guideline message
-    trigger: commit
-`
-      );
-
-      const loader = new ProjectConfigLoader(tempDir);
-      loader.load();
-      const merged = loader.mergeConstraints();
-
-      expect(merged.guidelines['my_guideline']).toBeDefined();
-    });
-  });
 
-  describe('自定义约束 promptInjection', () => {
-    it('应该透传 promptInjection 并进入注入段渲染', async () => {
+    it('内置 id 的禁用配置从生效集移除并进 disabled', () => {
       fs.writeFileSync(
         path.join(harnessDir, 'config.yml'),
         `
-custom_constraints:
-  my_prompt_rule:
-    rule: MY PROMPT RULE
-    message: Prompt rule message
-    level: guideline
-    trigger: commit
-    promptInjection: 我的自定义注入文本
-  my_silent_rule:
-    rule: MY SILENT RULE
-    message: No injection text
-    level: guideline
-    trigger: commit
+constraints:
+  capability_sync:
+    enabled: false
 `
       );
 
@@ -113,16 +65,8 @@ custom_constraints:
       loader.load();
       const merged = loader.mergeConstraints();
 
-      // 字段透传
-      expect(merged.guidelines['my_prompt_rule']?.promptInjection).toBe('我的自定义注入文本');
-      // 未定义 promptInjection 的自定义约束保持不注入（与内置无注入文本条目一致）
-      expect(merged.guidelines['my_silent_rule']?.promptInjection).toBeUndefined();
-
-      // 端到端：进入 CLAUDE.md 注入段渲染
-      const { renderConstraintsSection } = await import('../core/constraints/injection-renderer');
-      const section = renderConstraintsSection(Object.values(merged.guidelines), '0.0.0-test');
-      expect(section).toContain('- **my_prompt_rule**: 我的自定义注入文本');
-      expect(section).not.toContain('my_silent_rule');
+      expect(merged.disabled).toContain('capability_sync');
+      expect(merged.constraints['capability_sync']).toBeUndefined();
     });
   });
 
@@ -130,7 +74,7 @@ custom_constraints:
     /**
      * `isConstraintEnabled` / `getConstraintSource` 属 ADR-0022 型漏收：
      * 除本文件与自身测试外双仓零消费者，生效集判定唯一来源是
-     * `mergeConstraints` → `getEffectiveConstraints`（ADR-0001），这两个查询函数是它的平行复印。
+     * `mergeConstraints` → `getEffectiveConstraints`，这两个查询函数是它的平行复印。
      */
     it('isConstraintEnabled / getConstraintSource 已从类面删除', () => {
       const loader = new ProjectConfigLoader(tempDir);
@@ -145,26 +89,6 @@ custom_constraints:
     });
   });
 
-  describe('isConstraintRetired（退役判定单点，harness#137）', () => {
-    it('config.yml enabled:false 即已退役，与 custom 条目无关', () => {
-      expect(isConstraintRetired(undefined, true)).toBe(true);
-    });
-
-    it('custom 条目带 retired 元数据即已退役（studio#82 D6 落点在条目自身）', () => {
-      expect(isConstraintRetired({ retired: { at: '2026-08-08T12:00:00.000Z' } }, false)).toBe(true);
-    });
-
-    it('两个落点都没命中 → 未退役', () => {
-      expect(isConstraintRetired(undefined, false)).toBe(false);
-      expect(isConstraintRetired({ retired: undefined }, false)).toBe(false);
-    });
-
-    it('retired 段的假值（null / 空串）不算退役——mergeConstraints 用的是 truthiness', () => {
-      expect(isConstraintRetired({ retired: null }, false)).toBe(false);
-      expect(isConstraintRetired({ retired: '' }, false)).toBe(false);
-    });
-  });
-
   describe('hasCustomConfig', () => {
     it('无自定义配置应该返回 false', () => {
       // 清空配置
@@ -179,15 +103,13 @@ custom_constraints:
       expect(loader.hasCustomConfig()).toBe(false);
     });
 
-    it('有自定义约束应该返回 true', () => {
+    it('有 constraints 段应该返回 true', () => {
       fs.writeFileSync(
         path.join(harnessDir, 'config.yml'),
         `
-custom_constraints:
-  custom_for_has:
-    rule: CUSTOM
-    message: Custom
-    trigger: commit
+constraints:
+  capability_sync:
+    enabled: false
 `
       );
 
@@ -220,10 +142,8 @@ custom_constraints:
       loader.load();
       const merged = loader.mergeConstraints({ preset: 'relaxed' });
 
-      // relaxed 仅启用 3 条铁律 + 2 条指导原则，禁用提示
-      expect(Object.keys(merged.ironLaws)).toHaveLength(3);
-      expect(Object.keys(merged.guidelines)).toHaveLength(2);
-      expect(Object.keys(merged.prompts ?? {})).toHaveLength(0);
+      // relaxed 仅启用 1 条 error 级 + 1 条 warning 级
+      expect(Object.keys(merged.constraints)).toHaveLength(2);
       expect(merged.disabled.length).toBeGreaterThan(0);
     });
 
@@ -249,25 +169,4 @@ custom_constraints:
       }
     });
   });
-
-  describe('getCustomConstraints', () => {
-    it('应该返回自定义约束', () => {
-      fs.writeFileSync(
-        path.join(harnessDir, 'config.yml'),
-        `
-custom_constraints:
-  get_custom_test:
-    rule: TEST
-    message: Test
-    trigger: commit
-`
-      );
-
-      const loader = new ProjectConfigLoader(tempDir);
-      loader.load();
-
-      const customs = loader.getCustomConstraints();
-      expect(customs['get_custom_test']).toBeDefined();
-    });
-  });
-});
+});

package/src/__tests__/project-config-loader.test.ts

@@ -32,23 +32,18 @@ describe('ProjectConfigLoader', () => {
       const config = loader.load();
 
       expect(config.preset).toBe('standard');
-      expect(config.custom_constraints_file).toBeDefined();
     });
 
     it('应该加载 config.yml', () => {
       fs.writeFileSync(
         path.join(harnessDir, 'config.yml'),
-        `
-preset: custom
-custom_constraints_file: my-constraints.yml
-`
+        `preset: custom`
       );
 
       const loader = new ProjectConfigLoader(tempDir);
       const config = loader.load();
 
       expect(config.preset).toBe('custom');
-      expect(config.custom_constraints_file).toBe('my-constraints.yml');
     });
   });
 
@@ -59,29 +54,8 @@ custom_constraints_file: my-constraints.yml
 
       const merged = loader.mergeConstraints();
 
-      expect(merged.ironLaws).toBeDefined();
-      expect(merged.guidelines).toBeDefined();
-      expect(Object.keys(merged.ironLaws).length).toBeGreaterThan(0);
-    });
-
-    it('应该加载自定义约束', () => {
-      fs.writeFileSync(
-        path.join(harnessDir, 'custom-constraints.yml'),
-        `
-custom_rules:
-  my_rule:
-    rule: MY CUSTOM RULE
-    message: Custom message
-    level: guideline
-    trigger: commit
-`
-      );
-
-      const loader = new ProjectConfigLoader(tempDir);
-      loader.load();
-
-      const merged = loader.mergeConstraints();
-      expect(merged.custom).toBeDefined();
+      expect(merged.constraints).toBeDefined();
+      expect(Object.keys(merged.constraints).length).toBeGreaterThan(0);
     });
   });
 
@@ -96,8 +70,6 @@ custom_rules:
       const config = loader.load();
 
       expect(config.preset).toBe('minimal');
-      // 默认值应该保留
-      expect(config.custom_constraints_file).toBe('custom-constraints.yml');
     });
   });
 
@@ -113,10 +85,10 @@ custom_rules:
       expect(() => loader.load()).toThrow();
     });
 
-    it('自定义约束文件不存在应该不崩溃', () => {
+    it('config.yml 只有无关键时 mergeConstraints 不崩溃', () => {
       fs.writeFileSync(
         path.join(harnessDir, 'config.yml'),
-        `custom_constraints_file: nonexistent.yml`
+        `preset: standard`
       );
 
       const loader = new ProjectConfigLoader(tempDir);

package/src/__tests__/public-exports.test.ts

@@ -19,8 +19,7 @@ import * as path from 'path';
 
 const EXPECTED_RUNTIME_EXPORTS = [
   'AgentLifecycle',
-  'CONSTRAINTS_END_MARKER',
-  'CONSTRAINTS_START_MARKER',
+  'CONSTRAINTS',
   'CSOValidator',
   'CheckCache',
   'CheckpointValidator',
@@ -43,8 +42,6 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'FailureRecorder',
   'FileKnowledgeStore',
   'GATE_DEFINITIONS',
-  'GUIDELINES',
-  'IRON_LAWS',
   'KnowledgeAudit',
   'KnowledgeHealthScorer',
   'KnowledgeIngest',
@@ -53,7 +50,6 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'KnowledgeLinter',
   'KnowledgeQuery',
   'PHASE_SUBJECT_RE',
-  'PROMPTS',
   'PassesGate',
   'PerformanceGate',
   'ReferenceTracker',
@@ -109,8 +105,6 @@ const EXPECTED_RUNTIME_EXPORTS = [
   'matchGlob',
   'migrateKnowledgeEntries',
   'registeredGateCount',
-  'renderConstraintsByTrigger',
-  'renderConstraintsSection',
   'resolveGlobs',
   'runGates',
   'sanitizeExternalContent',

package/src/__tests__/public-type-surface.test.ts

@@ -145,7 +145,7 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ConstraintContext',
     'ConstraintId',
     'ConstraintKind',
-    'ConstraintLevel',
+    'ConstraintSeverity',
     'ConstraintResult',
     'ConstraintTrigger',
     'ConsumptionEvent',
@@ -159,7 +159,6 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ContractGateConfig',
     'ContractPresenceContext',
     'ContractPresenceResult',
-    'CustomConstraintDefinition',
     'DecayConfig',
     'DecisionRecord',
     'DeclarationInfo',
@@ -215,7 +214,6 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'QueryFilter',
     'QueryResult',
     'ReferenceRecord',
-    'RenderConstraintsByTriggerOptions',
     'ReviewGateConfig',
     'SchemaLoader',
     'SecurityGateConfig',
@@ -265,14 +263,13 @@ const PUBLISHED_ENTRY_TYPES: Record<string, string[]> = {
     'ConstraintContext',
     'ConstraintId',
     'ConstraintKind',
-    'ConstraintLevel',
+    'ConstraintSeverity',
     'ConstraintResult',
     'ConstraintTrigger',
     'ContextFilesResolution',
     'EffectiveConfigLint',
     'IronLawContext',
     'PassesGateConfig',
-    'RenderConstraintsByTriggerOptions',
     'RunEnv',
     'RunTarget',
     'SpecSchemaDefinition',

package/src/__tests__/public-value-surface.test.ts

@@ -47,16 +47,12 @@ const ENTRY_SUBPATHS: string[] = Object.keys(EXPORTS_MAP);
 /** 每个已发布子路径入口的值面全量清单。增删任一项即公共面 breaking，见文件头。 */
 const PUBLISHED_ENTRY_VALUES: Record<string, string[]> = {
   './core': [
-    'CONSTRAINTS_END_MARKER',
-    'CONSTRAINTS_START_MARKER',
+    'CONSTRAINTS',
     'CSOValidator',
     'CheckCache',
     'CheckpointValidator',
     'ConstraintChecker',
     'ConstraintViolationError',
-    'GUIDELINES',
-    'IRON_LAWS',
-    'PROMPTS',
     'PassesGate',
     'ProjectConfigLoader',
     'SpecValidator',
@@ -73,8 +69,6 @@ const PUBLISHED_ENTRY_VALUES: Record<string, string[]> = {
     'getGovernanceConfig',
     'lintEffectiveConfig',
     'loadRawProjectConfig',
-    'renderConstraintsByTrigger',
-    'renderConstraintsSection',
     'resolveContextFiles',
   ],
   './presets': [