@dommaker/harness 0.16.6 → 0.16.8

package/dist/core/constraints/definitions/iron-laws.js

@@ -0,0 +1,322 @@
+"use strict";
+/**
+ * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
+ * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IRON_LAWS = void 0;
+// ========================================
+// IRON LAWS（铁律）
+// 
+// 定义：绝对禁止，无例外，违背即阻止执行
+// ========================================
+exports.IRON_LAWS = {
+    /**
+     * 禁止跳过检查点验证
+     * 原因：安全底线，检查点是质量门控
+     */
+    no_bypass_checkpoint: {
+        id: 'no_bypass_checkpoint',
+        rule: 'NO BYPASSING CHECKPOINTS',
+        message: '禁止跳过检查点验证',
+        level: 'iron_law',
+        trigger: 'code_implementation',
+        enforcement: 'checkpoint-required',
+        description: '所有检查点必须通过，不能跳过验证步骤。检查点是质量的最后一道防线。',
+        promptInjection: '每个关键步骤后有 checkpoint 验证点，必须通过才能继续。通过标准：测试通过、类型检查无错误、lint 无新增警告。未通过时回退修复，不得跳过。',
+    },
+    /**
+     * 禁止自评通过
+     * 原因：质量底线，必须有测试证据
+     */
+    no_self_approval: {
+        id: 'no_self_approval',
+        rule: 'NO SELF APPROVAL WITHOUT TEST EVIDENCE',
+        message: '禁止自评通过，必须提供测试证据',
+        level: 'iron_law',
+        trigger: 'task_completion_claim',
+        enforcement: 'passes-gate',
+        description: '任务完成声明必须基于真实测试结果，不能由开发者自评。测试证据包括：测试报告、覆盖率数据、CI 通过记录。',
+        promptInjection: '声明任务完成时，必须提供可验证的测试证据（测试报告、覆盖率数据、CI 通过记录），不得仅凭自己的判断声称完成。',
+    },
+    /**
+     * 禁止无验证声明完成
+     * 原因：质量底线，必须有验证命令
+     */
+    no_completion_without_verification: {
+        id: 'no_completion_without_verification',
+        rule: 'NO COMPLETION CLAIMS WITHOUT FRESH VERIFICATION EVIDENCE',
+        message: '禁止无验证声明完成，必须运行验证命令',
+        level: 'iron_law',
+        trigger: 'code_implementation',
+        enforcement: 'verify-completion',
+        description: '在声明任何任务完成之前，必须运行新鲜的、完整的验证命令。验证命令包括：npm test、npm run build、CI 流程。',
+        promptInjection: '在声明任务完成前，必须重新运行完整的验证命令（npm test、npm run build、type check），使用新鲜的输出作为完成证据，不得复用旧结果。',
+    },
+    /**
+     * 禁止简化测试
+     * 原因：质量底线，测试困难必须解决
+     */
+    no_test_simplification: {
+        id: 'no_test_simplification',
+        rule: 'NO SIMPLIFYING TESTS TO AVOID DIFFICULTY',
+        message: '禁止简化测试绕过困难',
+        level: 'iron_law',
+        trigger: 'test_creation',
+        enforcement: 'full-test-coverage',
+        description: `在编写测试时，不能因为遇到困难而简化或跳过测试。
+
+遇到测试困难时：
+1. 分析问题：是 mock 问题？异步问题？环境问题？
+2. 尝试解决：查阅文档、搜索解决方案
+3. 请求帮助：向用户说明困难，请求指示
+
+禁止：
+- 为了绕过 mock 困难而删除测试用例
+- 为了绕过异步问题而跳过断言
+- 降低测试覆盖率要求`,
+        promptInjection: '编写测试时遇到困难（mock、异步、环境），不得删除用例或跳过断言。正确做法：分析问题 → 查阅文档 → 尝试解决 → 仍不行则向用户说明困难请求指示。不得降低覆盖率要求。',
+    },
+    /**
+     * 禁止一次做多个任务（one-shotting）
+     * 来源：Anthropic AI Harness - Effective Harnesses for Long-running Agents
+     * 原因：避免中途耗尽 context，保持专注和可控
+     */
+    incremental_progress: {
+        id: 'incremental_progress',
+        rule: 'ONE TASK PER SESSION',
+        message: '禁止一次做多个任务，每次只做一件事',
+        level: 'iron_law',
+        trigger: 'code_implementation',
+        enforcement: 'single-task-check',
+        description: `一个 session 只处理一个任务，避免 one-shotting。
+
+【禁止】
+- 一次做多个任务 → 中途耗尽 context
+- 大改动一次性完成 → 失控
+- 没有拆分的复杂任务 → 无法回滚
+
+【必须】
+- 一个 session 一个任务 → 保持专注
+- 大任务拆分为小步骤 → 分步执行
+- 每步都有 checkpoint → 可回滚
+
+【判断标准】
+- 改动涉及多个模块 → 需拆分
+- 改动超过 100 行 → 需拆分
+- 改动影响多个文件 → 需拆分
+
+【参考】
+Anthropic AI: "Effective Harnesses for Long-running Agents"
+https://www.anthropic.com/engineering/effective-harnesses-for-long-running-agents`,
+        promptInjection: '一次只处理一个任务。改动涉及多个模块、超过 100 行、或影响多个文件时，必须拆分为小步骤分步执行，每步有独立 checkpoint 可回滚。不要试图一次性完成所有改动。',
+    },
+    /**
+     * 禁止实现未验证的外部依赖能力
+     * 原因：假设外部系统能力存在，实现后发现不支持，浪费开发时间
+     */
+    verify_external_capability: {
+        id: 'verify_external_capability',
+        rule: 'VERIFY EXTERNAL CAPABILITY BEFORE IMPLEMENTATION',
+        message: '外部依赖能力必须先验证',
+        level: 'iron_law',
+        trigger: 'api_change',
+        enforcement: 'capability-verification',
+        description: `实现方案依赖外部系统的未确认能力时，必须先验证。
+
+【触发条件】（满足任一）
+- 依赖外部 API/服务的回调/交互机制
+- 使用未验证过的外部系统高级功能
+- 假设外部系统支持某种能力但未查阅文档
+
+【必须执行】
+1. 查阅官方文档 → 确认能力是否存在
+2. 发送最小测试 → 验证可行性
+3. 记录限制 → 作为设计约束
+
+【不触发】
+- 内部逻辑实现
+- 已熟悉的库/框架基本功能
+- 标准 CRUD 操作
+
+【案例】
+- 假设外部 API 支持某种交互模式
+- 未查阅官方文档的限制说明
+- 实现完整功能后才发现不支持
+- 浪费开发时间，需要重新设计方案
+
+【正确流程】
+设计方案 → 查阅文档限制 → 发送最小测试 → 验证可行 → 开发`,
+        promptInjection: '实现方案依赖外部 API/服务未确认的能力时，必须先查阅官方文档确认能力存在，再发送最小测试验证可行性，记录限制作为设计约束。不要假设外部系统支持某种能力就直接开发。',
+    },
+    /**
+     * 实现后必须对比需求验证
+     * 原因：避免实现偏离需求
+     */
+    no_implementation_without_requirement_review: {
+        id: 'no_implementation_without_requirement_review',
+        rule: 'REVIEW IMPLEMENTATION AGAINST REQUIREMENTS',
+        message: '实现后必须对比需求验证',
+        level: 'iron_law',
+        trigger: 'code_implementation',
+        enforcement: 'requirement-review',
+        description: `实现完成后，必须对比原始需求进行验证。
+
+【触发条件】
+- 功能开发完成
+- Bug 修复完成
+- 重构完成
+
+【必须执行】
+1. 回顾需求文档（Spec/Roadmap/Issue）
+2. 检查实现是否符合每条 AC
+3. 确认边界情况已覆盖
+4. 输出验证清单
+
+【禁止】
+- 实现后不对比需求直接提交
+- 只测试"功能能跑"不验证 AC
+- 跳过边界情况验证
+- 假设"差不多就行"
+
+【验证清单模板】
+| AC | 实现 | 状态 |
+|----|------|:----:|
+| AC-001 | xxx | ✅ |
+| AC-002 | xxx | ✅ |
+
+【案例】
+- 需求：事件触发后自动创建关联资源
+- 实现：增加了自动关联逻辑
+- 验证：✅ 检查了 Spec 定义、测试了多种场景`,
+        promptInjection: '实现完成后，必须逐条对比原始需求文档（Spec/Issue/Roadmap）中的验收标准(AC)，确认每条 AC 已实现且边界情况已覆盖，输出验证清单。不得仅凭"功能能跑"就认为完成。',
+    },
+    /**
+     * 禁止无需求就开始实现
+     * 原因：没有需求就没有验收标准，实现方向不可控
+     */
+    no_implementation_without_requirement: {
+        id: 'no_implementation_without_requirement',
+        rule: 'NO IMPLEMENTATION WITHOUT REQUIREMENTS',
+        message: '禁止无需求就开始实现',
+        level: 'iron_law',
+        trigger: ['code_implementation', 'design_request'],
+        enforcement: 'requirement-exists',
+        description: `在开始实现之前，必须有明确的需求定义。
+
+【触发条件】
+- 开始编写业务代码
+- 开始开发新功能
+
+【必须执行】
+1. 确认需求来源（Spec/Issue/Roadmap/用户指令）
+2. 确认验收标准（AC）已定义
+3. 确认边界情况已明确
+
+【禁止】
+- 没有需求就开始写代码
+- 假设"用户想要什么"就开始实现
+- 跳过需求确认直接开发
+
+【正确流程】
+需求确认 → AC 定义 → 实现 → 验证`,
+        promptInjection: '开始编写代码前，必须确认：需求来源明确（Spec/Issue/Roadmap/用户指令）、验收标准(AC)已定义、边界情况已明确。不要凭假设或猜测开始实现。',
+    },
+    /**
+     * 禁止模糊完成声明
+     * 原因：质量底线，必须有可量化证据
+     * 来源：Superpowers no_fuzzy_completion_claim
+     */
+    no_fuzzy_completion_claim: {
+        id: 'no_fuzzy_completion_claim',
+        rule: 'NO FUZZY COMPLETION CLAIMS WITHOUT QUANTIFIABLE EVIDENCE',
+        message: '禁止模糊完成声明，必须提供可量化证据',
+        level: 'iron_law',
+        trigger: ['code_implementation', 'design_request'],
+        enforcement: 'fuzzy-check',
+        description: `声明任务完成时，禁止使用模糊词语。必须提供具体、可量化的验证结果。
+
+【禁止的模糊词】
+- "应该没问题"、"大概完成了"、"可能可以了"
+- "好像通过了"、"似乎工作正常"、"应该能跑"
+- "基本完成"、"差不多"、"大部分功能可用"
+- "我记得删过了"、"之前说删了"、"已删除"（未经 ls/grep 验证）
+- "大部分实现"（未经逐 AC 对照 spec）
+- "已修复"（未经 test 验证）
+
+【必须提供】
+- 测试通过的精确数量（如 "142 tests passed"）
+- 验证命令输出（如 "npm test 全部通过"）
+- 删除操作后 ls 确认（如 "ls packages/dead-pkg → No such file"）
+- Spec AC 对照表（逐项标注 pass/fail）`,
+        promptInjection: '声明任务完成时，禁止使用模糊词语。必须提供具体的测试通过数量、覆盖率数据和验证命令输出来证明任务真的完成了。声明"已删除"前必须用 ls 确认文件不存在。声明 spec 完成前必须逐 AC 对照。',
+    },
+    /**
+     * 禁止表演性同意
+     * 原因：同意不等于理解，必须先分析再确认
+     * 来源：Superpowers no_performative_agreement
+     */
+    no_performative_agreement: {
+        id: 'no_performative_agreement',
+        rule: 'NO PERFORMATIVE AGREEMENT WITHOUT ANALYSIS',
+        message: '禁止表演性同意，必须先分析再确认',
+        level: 'iron_law',
+        trigger: ['design_request'],
+        enforcement: 'performative-check',
+        description: `收到需求或反馈时，不能仅表示"好的"、"明白了"就直接执行。必须先分析、复述理解、确认一致。
+
+【禁止模式】
+- "好的，我来做" → 无分析直接行动
+- "明白了" → 没有复述理解
+- "没问题" → 没有提出疑问
+
+【必须步骤】
+1. 复述你对需求的理解
+2. 提出潜在的疑问或边界情况
+3. 说明你的实现方案
+4. 确认理解一致后再行动`,
+        promptInjection: '先思后码。明确声明前提假设。遇不确定先提问而非猜测。存在歧义时列出多种理解路径。若存在更简方案应果断提出异议。收到需求时：①复述理解 ②提出疑问 ③说明方案 ④确认一致。',
+    },
+    /**
+     * 必须两阶段审查
+     * 原因：先验证规范合规，再检查代码质量，防止规范偏差
+     * 来源：Superpowers two_stage_review_required
+     */
+    two_stage_review_required: {
+        id: 'two_stage_review_required',
+        rule: 'REVIEW MUST COVER SPEC COMPLIANCE BEFORE CODE QUALITY',
+        message: '审查必须两阶段：先验证规范合规，再检查代码质量',
+        level: 'iron_law',
+        trigger: 'code_implementation',
+        enforcement: 'two-stage-review',
+        description: `代码审查必须分两阶段进行：
+
+【Stage 1: 规范合规审查】
+- 逐条对照验收标准(AC)验证
+- 重新运行 Executor 的测试，确认通过
+- 审计测试质量（是否只测了 happy path）
+- 补写边界条件测试，验证是否失败
+
+【Stage 2: 代码质量审查】
+- 仅在 Stage 1 全部通过后进入
+- 安全性检查（注入、泄露、权限）
+- 可读性检查（命名、结构、DRY）
+- 类型安全（type check、lint）`,
+        promptInjection: '代码审查必须分两阶段：① 规范合规审查 — 逐条对照验收标准(AC)验证实现是否满足需求，重新运行测试，审计测试质量并补写边界用例；② 代码质量审查 — 仅在 Stage 1 全部通过后，检查安全性、可读性、类型安全。Stage 1 不通过则不得进入 Stage 2。',
+    },
+    /**
+     * 文档新鲜度 — 升级为 Iron Law (2026-05-19)
+     * 原因：guideline 只警告不阻断，导致文档持续腐烂。
+     */
+    docs_freshness: {
+        id: 'docs_freshness',
+        rule: 'CAPABILITIES.MD MUST BE IN SYNC WITH CODE',
+        message: 'CAPABILITIES.md 与源码不同步，运行 harness sync-docs 更新后重新提交',
+        level: 'iron_law',
+        trigger: ['file_modification', 'module_creation', 'module_modification'],
+        enforcement: 'docs-sync-check',
+        description: `CAPABILITIES.md 中列出的文件必须在 src/ 中实际存在。删除源文件时须从 CAPABILITIES.md 同步移除。运行 harness sync-docs 自动修复过期引用。
+注: CONTEXT.md 已删除。目录描述集中在 CLAUDE.md Key Subsystems 表中。新增文件全覆盖检查待 sync-docs 完善后启用。`,
+    },
+};
+//# sourceMappingURL=iron-laws.js.map

package/dist/core/constraints/definitions/iron-laws.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iron-laws.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/iron-laws.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,2CAA2C;AAC3C,gBAAgB;AAChB,GAAG;AACH,sBAAsB;AACtB,2CAA2C;AAE9B,QAAA,SAAS,GAA+B;IACnD;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,WAAW;QACpB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE,mCAAmC;QAChD,eAAe,EAAE,8EAA8E;KAChG;IAED;;;OAGG;IACH,gBAAgB,EAAE;QAChB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,uBAAuB;QAChC,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE,sDAAsD;QACnE,eAAe,EAAE,yDAAyD;KAC3E;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE,kEAAkE;QAC/E,eAAe,EAAE,kFAAkF;KACpG;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;YAUL;QACR,eAAe,EAAE,wFAAwF;KAC1G;IAED;;;;OAIG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;kFAmBiE;QAC9E,eAAe,EAAE,uFAAuF;KACzG;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,YAAY;QACrB,WAAW,EAAE,yBAAyB;QACtC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;mCAwBkB;QAC/B,eAAe,EAAE,qFAAqF;KACvG;IAED;;;OAGG;IACH,4CAA4C,EAAE;QAC5C,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BA4BU;QACvB,eAAe,EAAE,8FAA8F;KAChH;IAED;;;OAGG;IACH,qCAAqC,EAAE;QACrC,EAAE,EAAE,uCAAuC;QAC3C,IAAI,EAAE,wCAAwC;QAC9C,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;uBAiBM;QACnB,eAAe,EAAE,gFAAgF;KAClG;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;QAClD,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;;8BAca;QAC1B,eAAe,EAAE,oGAAoG;KACtH;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,gBAAgB,CAAC;QAC3B,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;cAWH;QACV,eAAe,EAAE,uFAAuF;KACzG;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,uDAAuD;QAC7D,OAAO,EAAE,yBAAyB;QAClC,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;wBAYO;QACpB,eAAe,EAAE,wIAAwI;KAC1J;IAED;;;OAGG;IACH,cAAc,EAAE;QACd,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,2CAA2C;QACjD,OAAO,EAAE,qDAAqD;QAC9D,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QACxE,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE;kFACiE;KAC/E;CACF,CAAC"}

package/dist/core/constraints/definitions/tips.d.ts

@@ -0,0 +1,7 @@
+/**
+ * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
+ * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ */
+import type { Constraint } from '../../../types/constraint';
+export declare const TIPS: Record<string, Constraint>;
+//# sourceMappingURL=tips.d.ts.map

package/dist/core/constraints/definitions/tips.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tips.d.ts","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/tips.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAQ5D,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAiD3C,CAAC"}

package/dist/core/constraints/definitions/tips.js

@@ -0,0 +1,62 @@
+"use strict";
+/**
+ * 约束定义拆分文件（工单 20）：原 definitions.ts 按层拆分，
+ * definitions.ts 保持原路径做薄聚合（studio rule-scanner 契约）。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TIPS = void 0;
+// ========================================
+// TIPS（提示）
+//
+// 定义：信息性提示，可忽略
+// ========================================
+exports.TIPS = {
+    /**
+     * 建议写 README
+     */
+    readme_required: {
+        id: 'readme_required',
+        rule: 'NEW MODULES SHOULD HAVE README',
+        message: '建议为新模块创建 README',
+        level: 'tip',
+        trigger: 'module_creation',
+        enforcement: 'create-readme',
+        description: `创建新模块时建议同时创建 README.md，说明：
+
+- 模块用途
+- 使用方法
+- API 文档
+- 示例代码
+
+README 帮助其他开发者快速了解模块。`,
+        promptInjection: '创建新模块时，同时创建 README.md 说明模块用途、使用方法和 API 文档，帮助其他开发者快速了解模块。',
+    },
+    /**
+     * 建议写 API 文档
+     */
+    doc_required_for_public_api: {
+        id: 'doc_required_for_public_api',
+        rule: 'PUBLIC API SHOULD HAVE DOCUMENTATION',
+        message: '建议为公共 API 添加文档注释',
+        level: 'tip',
+        trigger: 'export_change',
+        enforcement: 'add-docs',
+        description: `所有导出的函数、类、接口建议添加 JSDoc 注释：
+
+\`\`\`typescript
+/**
+ * 计算两个数的和
+ * @param a 第一个数
+ * @param b 第二个数
+ * @returns 两数之和
+ */
+export function add(a: number, b: number): number {
+  return a + b;
+}
+\`\`\`
+
+文档注释帮助 IDE 提供智能提示。`,
+        promptInjection: '公共 API（导出的函数、类、接口）必须有 JSDoc 文档注释，说明参数、返回值和用法示例。',
+    },
+};
+//# sourceMappingURL=tips.js.map

package/dist/core/constraints/definitions/tips.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tips.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/tips.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,2CAA2C;AAC3C,WAAW;AACX,EAAE;AACF,eAAe;AACf,2CAA2C;AAE9B,QAAA,IAAI,GAA+B;IAC9C;;OAEG;IACH,eAAe,EAAE;QACf,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,gCAAgC;QACtC,OAAO,EAAE,iBAAiB;QAC1B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;;;sBAOK;QAClB,eAAe,EAAE,0DAA0D;KAC5E;IAED;;OAEG;IACH,2BAA2B,EAAE;QAC3B,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,eAAe;QACxB,WAAW,EAAE,UAAU;QACvB,WAAW,EAAE;;;;;;;;;;;;;;mBAcE;QACf,eAAe,EAAE,iDAAiD;KACnE;CACF,CAAC"}

package/dist/core/constraints/definitions.d.ts

@@ -1,16 +1,19 @@
 /**
- * 约束定义
+ * 约束定义（薄聚合层）
  *
  * 三层约束体系：
  * - IRON_LAWS：绝对禁止，无例外
  * - GUIDELINES：优先建议，有例外
  * - TIPS：信息性提示
+ *
+ * 工单 20：字面量定义按层拆至 ./definitions/{iron-laws,guidelines,tips}.ts；
+ * 本文件保持原路径与原导出面不变（studio rule-scanner 按此路径解析，P0 #8）。
  */
 import type { Constraint, ConstraintTrigger } from '../../types/constraint';
-export { IronLawViolationError } from '../../types/constraint';
-export declare const IRON_LAWS: Record<string, Constraint>;
-export declare const GUIDELINES: Record<string, Constraint>;
-export declare const TIPS: Record<string, Constraint>;
+import { IRON_LAWS } from './definitions/iron-laws';
+import { GUIDELINES } from './definitions/guidelines';
+import { TIPS } from './definitions/tips';
+export { IRON_LAWS, GUIDELINES, TIPS };
 /**
  * 获取所有约束（三层合并）
  */
@@ -23,20 +26,4 @@ export declare function findConstraintsByTrigger(trigger: ConstraintTrigger): Co
  * 根据 ID 获取约束
  */
 export declare function getConstraint(id: string): Constraint | undefined;
-/**
- * @deprecated 使用 getAllConstraints 代替
- */
-export declare function getAllLaws(): Constraint[];
-/**
- * @deprecated 使用 findConstraintsByTrigger 代替
- */
-export declare function findLawsByTrigger(trigger: ConstraintTrigger): Constraint[];
-/**
- * @deprecated 使用 getConstraint 代替
- */
-export declare function getLaw(id: string): Constraint | undefined;
-/**
- * @deprecated 使用 GUIDELINES 代替
- */
-export declare const filterLawsBySeverity: (severity: "error" | "warning" | "info") => Constraint[];
 //# sourceMappingURL=definitions.d.ts.map

package/dist/core/constraints/definitions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAQ/D,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA+ThD,CAAC;AAQF,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CA8oBjD,CAAC;AAQF,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAiD3C,CAAC;AAMF;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAMhD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAKjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEhE;AAMD;;GAEG;AACH,wBAAgB,UAAU,IAAI,UAAU,EAAE,CAEzC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAE1E;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEzD;AAED;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,UAAU,OAAO,GAAG,SAAS,GAAG,MAAM,KAAG,UAAU,EAMvF,CAAC"}
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/definitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE1C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAMvC;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAMhD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,GAAG,UAAU,EAAE,CAKjF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAEhE"}