@yss123/cage-cli 0.3.2 → 0.4.0

package/templates/blank/docs/development/guides/relations.md

@@ -23,40 +23,57 @@
 下面可作为 `packages/domain/src/modules/note/note.ts`。它是[最小便笺](../reference/primitives.md)的关系版本，按需要替换原文件，避免重复声明 Note。
 
 ```ts
+/**
+ * 便笺关系示例，由 domain 入口导出后参与注册、契约和图谱生成。
+ * Note 维护协作人集合，NoteComment 通过 noteId 归属便笺；命令只返回变化，持久化由内核完成。
+ * 名称使用 description/describe/labels 写入本体，中文注释不代替这些结构化信息。
+ */
 import {
   aggregate, command, fail, hasMany, manyToMany, ref, scope, states, text,
 } from '@yss123/cage-kernel';
 import { z } from 'zod';
 
+/** 部门便笺独立维护状态和协作人；评论有自己的聚合，本例没有提供便笺归档命令。 */
 export const Note = aggregate('Note', {
   description: '部门便笺',
   fields: {
-    title: text(120),
-    deptId: ref('Dept'),
-    createdBy: ref('User'),
+    title: text(120).describe('便笺标题'),
+    deptId: ref('Dept').describe('所属部门'),
+    createdBy: ref('User').describe('创建人'),
     // 这是 ID 集合。框架负责物理中间表、约束、关联写入和事务。
     members: manyToMany('User', { description: '协作成员' }),
     // 从评论上的 noteId 反查；这不是一份可写的评论 ID 数组。
     comments: hasMany('NoteComment', { mappedBy: 'noteId', description: '便笺评论' }),
   },
-  states: states('active', 'archived', { terminal: ['archived'] }),
+  states: states('active', 'archived', {
+    terminal: ['archived'],
+    labels: { active: '使用中', archived: '已归档' },
+  }),
   scope: scope.deptSubtree('deptId'),
   invariants: { titleNotBlank: (note) => note.title.trim().length > 0 },
 });
 
+/** 评论以 noteId 归属便笺；创建命令读取便笺并复制部门，不依赖 ref 自动继承范围。 */
 export const NoteComment = aggregate('NoteComment', {
   description: '便笺评论',
   fields: {
-    noteId: ref('Note'),
-    body: text(2000),
-    deptId: ref('Dept'),
-    createdBy: ref('User'),
+    noteId: ref('Note').describe('所属便笺'),
+    body: text(2000).describe('评论内容'),
+    deptId: ref('Dept').describe('所属部门'),
+    createdBy: ref('User').describe('评论人'),
   },
+  // 与框架默认的 active/deleted 生命周期相同，仅显式补齐图谱名称，不新增删除操作。
+  states: states('active', 'deleted', {
+    terminal: ['deleted'],
+    labels: { active: '有效评论', deleted: '已删除' },
+  }),
   scope: scope.deptSubtree('deptId'),
 });
 
+/** 创建使用中的便笺，可选初始协作人；部门与创建人由内核按当前主体填入。 */
 export const createNote = command(Note, {
   name: 'create', from: 'new', to: 'active',
+  description: '创建部门便笺',
   input: z.object({
     title: z.string().trim().min(1).max(120),
     members: z.array(z.string().uuid()).optional(),
@@ -65,23 +82,29 @@ export const createNote = command(Note, {
   handler: (draft) => draft,
 });
 
+/** 完整替换使用中便笺的协作人，空数组表示全部解绑；调用方负责提供完整目标集合。 */
 export const setNoteMembers = command(Note, {
   name: 'setMembers', from: 'active', to: null,
+  description: '替换便笺协作人',
   input: z.object({ id: z.string().uuid(), members: z.array(z.string().uuid()) }),
   // 完整替换集合；[] 表示全部解绑。只改关系也会递增便笺版本并写审计。
   handler: (_draft, input) => ({ members: input.members }),
 });
 
+/** 向完整草稿追加协作人，保留既有关联；内核在事务中校验新增目标并规范化集合。 */
 export const addNoteMembers = command(Note, {
   name: 'addMembers', from: 'active', to: null,
+  description: '追加便笺协作人',
   input: z.object({ id: z.string().uuid(), memberIds: z.array(z.string().uuid()) }),
   // 草稿包含完整的既有关联。增量追加可以保留当前操作者看不到的旧成员。
   // 数组去重与排序由框架统一处理，业务不再维护第二套集合规范化。
   handler: (draft, input) => ({ members: [...draft.members, ...input.memberIds] }),
 });
 
+/** 读取当前可见便笺后创建评论；便笺不可见或已归档时拒绝，成功时沿用其部门。 */
 export const createNoteComment = command(NoteComment, {
   name: 'create', from: 'new', to: 'active', reads: { notes: Note },
+  description: '评论便笺',
   input: z.object({ noteId: z.string().uuid(), body: z.string().trim().min(1).max(2000) }),
   handler: async (_draft, input, { notes }) => {
     const note = await notes.get(input.noteId);

package/templates/blank/docs/development/reference/commenting.md

@@ -79,14 +79,17 @@ export const Note = aggregate('Note', {
   description: '部门便笺',
   fields: {
     /** 便笺标题，最多 120 个字符；命令去除首尾空白后要求非空，不接受 null。 */
-    title: text(120),
+    title: text(120).describe('便笺标题'),
     /** 所属部门 UUID；创建输入不允许指定，内核从当前主体部门补入，用于范围判断。 */
-    deptId: ref('Dept'),
+    deptId: ref('Dept').describe('所属部门'),
     /** 创建人 UUID；内核在新建结果中填入操作者，已有记录更新时保留原值。 */
-    createdBy: ref('User'),
+    createdBy: ref('User').describe('创建人'),
   },
   /** active 可改标题；archived 为终态，update 的 from 会拒绝对归档记录的修改。 */
-  states: states('active', 'archived', { terminal: ['archived'] }),
+  states: states('active', 'archived', {
+    terminal: ['archived'],
+    labels: { active: '使用中', archived: '已归档' },
+  }),
   /** 声明部门范围字段和建议范围，实际授权由角色决定，并非自动授予部门可见权。 */
   scope: scope.deptSubtree('deptId'),
   invariants: {

package/templates/blank/docs/development/reference/primitives.md

@@ -31,6 +31,8 @@
 
 字段可链式使用 `.optional()`、`.unique()`、`.sensitive('phone')`、`.hidden()` 等。可用敏感种类以包导出的 `SENSITIVE_KINDS` 为准；hidden 字段不会作为普通公开读字段，sensitive 字段按权限掩码。不要通过前端隐藏来替代它们。
 
+业务含义同步写在框架能抽取的位置：字段 `.describe('所属部门')`、对象和操作的 `description`、每个状态的 `labels`。普通注释与前端文案不替代这些名称；完整填写位置、对象关系与检查方式见[本体建模指南](../guides/ontology-modeling.md)。
+
 集合关系也放在 `fields` 中，但不是普通 SQL 列，不支持上述四种修饰。完整声明、成员命令、分页接口、权限与迁移见[对象关系指南](../guides/relations.md)。纯关联不手写 NoteMember 聚合，具有职位、状态等业务属性的关联仍应建业务聚合。
 
 不要定义 `id/version/status/createdAt/updatedAt/tenantId` 同名业务字段。聚合名和事件名用大驼峰，字段、命令、查询和任务名用小驼峰，状态名用小写下划线。
@@ -70,10 +72,10 @@ handler: async (order, _input, { stock }) => {
 ```ts
 // 片段：放在采购 approve 的配置中。
 invokedBy: 'process',
-constraints: [sod.notSameAs('createdBy'), ceiling('amount')],
+constraints: [sod.notSameAs('createdBy')],
 ```
 
-`sod` 防止提单人审批自己；`ceiling` 读取审批人该能力上的额度参数，没有额度也拒绝。管理员在 `/admin` 给角色配置 `PurchaseOrder.approve` 的 `ceiling`，不是把额度写死进页面。
+`sod` 防止提单人审批自己。审批流程的业务条件按需声明：采购示例按金额决定是否进入财务节点；其他流程也可以按类型、部门等字段分流，或不使用金额。
 
 不变量写在 `aggregate(..., { invariants: { 名称: 对象 => boolean } })`，在最终结果合并和目标状态确定后检查。例如 `Number(o.amount) > 0`。约束回答“这次操作允许吗”，不变量回答“结果对象合法吗”。可用 `Constraint` 类型定义自定义约束对象；先核对公开导出，不假设所有内部 helper 都是公共 API。
 
@@ -209,7 +211,7 @@ export const poRoute = route('po-approval', [
 
 内置选人器是 `approver.deptLeader(字段名)`、`approver.role(角色code)`、`approver.user(用户id)`。条件使用 `gt/gte/lt/lte/eq/ne/isIn` 等封闭表达式。`mode: 'any'/'all'` 描述一步内的人如何完成，不表示任意并行分支。人工节点可通过 `actions: { transfer: true, delegate: true, addSign: true }` 显式开放转办、委派归还和当前节点并行必签，默认关闭；任务版本、权限、SDK 与边界见[审批任务流转](../guides/approvals.md)。任意函数选人、前后加签和并行流程分支仍需扩展。
 
-被选中的审批人还要具备结论命令所需能力、范围和额度。部门负责人为空会产生 `CAGE-APPR-007`，详见[排错](../tools/troubleshooting.md)。
+被选中的审批人还要具备结论命令所需能力和范围。部门负责人为空会产生 `CAGE-APPR-007`，详见[排错](../tools/troubleshooting.md)。
 
 ## 连接器、定时任务和逃生口
 

package/templates/blank/docs/development/skills/cage-development/SKILL.md

@@ -5,7 +5,9 @@ description: 使用 Cage 框架开发、修改和排查业务应用。适用于
 
 # 使用 Cage 开发业务
 
-阅读用户描述、业务文档和现有实现，主动提出疑问与建议，与用户共同确定业务规则，再转换成 Cage 声明，把声明、生成契约、页面和实际执行连接起来。按当前任务使用本指南，保留项目自己的业务规则和用户授权边界。本文由框架维护，适用于不同业务和 agent；案例中的对象、角色和流程不代表当前应用的需求。
+本 Skill 是编程 agent 的工作流程：**读项目 → 理解需求并澄清 → 查证框架与现有实现 → 说明实现映射 → 编码 → 按业务验收**。先知道用户要什么、Cage 如何实现，再改代码；不要从一句需求直接套用熟悉的技术方案。
+
+按当前任务使用本流程，保留项目自己的业务规则和用户授权边界。案例中的对象、角色和流程不代表当前应用的需求。这里指导开发阶段的 agent；应用内原生 AI 的接入另见[智能化指南](../../guides/intelligence.md)。
 
 ## 先建立正确的运行模型
 
@@ -42,6 +44,8 @@ Cage 是由业务声明驱动的框架。应用定义业务含义，框架执行
 
 ## 2. 提出疑问和建议，与用户共同确定业务
 
+先用业务语言整理本次目标：谁要完成什么事，操作前后发生什么变化，哪些条件必须成立，怎样才算完成。区分用户明确提出的规则、文档和代码提供的事实、尚待决定的问题及可选建议；只整理本次相关内容，不能用一份功能名列表代替业务理解。
+
 按[业务澄清与共同设计](../../guides/business-collaboration.md)处理不完整的描述和不清楚的文档。主动指出可能影响业务含义、使用体验、实现范围或验收的疑点，不等到实现失败才询问，也不默默补成自定规则。
 
 - 先读相关上下文；API、版本与当前行为由 agent 查文档、公开签名和实现证据。查证后仍涉及业务取舍的，交给用户选择。
@@ -50,26 +54,14 @@ Cage 是由业务声明驱动的框架。应用定义业务含义，框架执行
 - 沿用用户已给出的选择和授权，不重复确认。普通技术细节自行解决；用户明确委托 agent 决定时，在委托范围内选择并说明依据。推荐、预选和未回复均不等于用户已选择。
 - 将回答更新为业务规则和验收例子，再映射到框架；实现中发现新疑问仍按此方式处理，用户改主意时同步调整受影响的部分。
 
-业务条件明确后，按[业务设计与能力选择](../../guides/recipes.md)形成简短的实现映射：
-
-| 需要确定的事实 | 对应设计 |
-| --- | --- |
-| 管理什么、哪些数据必须共同成立 | 聚合边界、字段、不变量和对象关系 |
-| 谁在什么阶段做什么 | 命令、输入、允许状态、调用身份、硬约束 |
-| 数据归谁、各主体可以看到什么 | 归属字段、角色能力及范围，敏感字段掩码 |
-| 成功后发生什么、失败要恢复什么 | 事件、反应、审批、连接器、资源释放及补偿 |
-| 页面如何展示和操作 | 生成的读取/写入契约、查询、URL、加载与失败状态 |
-| 如何知道实现正确 | 持久结果、另一主体的观察结果和关键拒绝路径 |
-
-仅记录与本次改动有关的设计，不要求每个任务生成额外计划文件。对每个新增业务按钮，能指出它调用的真实契约；对每个范围要求，能指出服务端使用的归属字段与授权。缺少对应关系时，先补设计。
-
 ## 3. 选择已有能力并核对用法
 
-按下表阅读相关章节；先看最小接入，再查高级选项。不要一次加载所有专题。
+带着已理解的业务动作，按[业务设计与能力选择](../../guides/recipes.md)判断聚合、一致性和能力边界，再按下表查用法。先看当前应用有没有对应实现，再决定复用、修改还是新增；不要先设计一套通用后端，再尝试套进 Cage。先看最小接入，再查高级选项，不要一次加载所有专题。
 
 | 需求 | 选择方法与学习入口 |
 | --- | --- |
 | 新对象、状态、业务操作 | [原语](../../reference/primitives.md)：先确定命令意图；已有记录只改字段使用 `to: null`，仍检查允许状态 |
+| 对象/状态看不懂、关系和联动不清楚 | [本体建模](../../guides/ontology-modeling.md)：业务含义落实到真实声明，名称完整性与业务正确性分别核对 |
 | 一对多、多对多 | [关系](../../guides/relations.md)：只读反查选 hasMany；纯链接选 manyToMany；关系有独立状态/属性时再建聚合 |
 | 列表、详情、统计 | 普通 list/get 优先；汇总或联表使用[query](../../reference/primitives.md#两种查询写法)，显式 reads 与安全视图 |
 | 角色、本人/部门范围、敏感字段 | [授权模型](../../getting-started/architecture.md#权限是几层判断)：先定归属字段，再配置能力和范围，核对当前会话公开字段 |
@@ -79,7 +71,7 @@ Cage 是由业务声明驱动的框架。应用定义业务含义，框架执行
 | 导入、导出 | [数据传输](../../guides/transfers.md)：导入逐条或原子执行命令，导出异步读取；跟踪任务到终态 |
 | 第三方系统 | [连接器配方](../../guides/recipes.md#接入外部系统)：外呼、验签、幂等、回写命令与失败恢复 |
 | 原生 AI、AI 审批、随页助理 | [智能化](../../guides/intelligence.md)：先检查已有框架能力和 domain 启用状态，再配置策略、授权、模型与界面 |
-| 页面、导航、会话 | [目录](../../reference/project-structure.md)与[路由](../../guides/routing.md)：模块公开入口、独立 URL、会话恢复与用户缓存清理 |
+| 页面、导航、会话与组件 | [目录](../../reference/project-structure.md)、[路由](../../guides/routing.md)与[前端组件](../../guides/frontend-ui.md)：AI 生成真实 React 页面、Ant Design 组合、模块公开入口、独立 URL、会话恢复与用户缓存清理 |
 
 知道任务类别时直接阅读上表的章节；需要定位具体术语时先用本地文本搜索。在应用根目录使用：
 
@@ -93,7 +85,24 @@ pnpm exec cage context "当前业务关键词" --format json
 
 调用前确认真实签名、参数、返回结果和前提。类型断言不能增加服务端实际未返回的字段。若当前版本确有缺口，说明具体缺口，给出有依据的可行方案及其业务影响，让用户选择涉及目标或范围变化的方案，同时继续处理独立部分；不要编造 API、复制框架运行时或用本地模拟补足正式业务。
 
-## 4. 沿一条真实链路实施，再扩展
+## 4. 写代码前说明实现映射
+
+对准备实现的部分，向用户简述以下对应关系；示例见[规则到实现的映射](../../guides/recipes.md#写代码前的实现映射)。这一步应发生在修改业务代码之前，不能写完后再补一份解释。
+
+| 要说明什么 | 必须有的依据 |
+| --- | --- |
+| 本次要实现的业务行为 | 已明确的目标、规则和来源；尚待决定的事项单列 |
+| Cage 如何实现 | 已查证的聚合、命令、状态、范围及必要的后续流程；具体指南、公开签名或现有声明位置 |
+| 具体改哪里 | 复用或修改的模块与导出、需要生成的契约/迁移、页面入口及运行前提；区分框架已提供和应用需完成的部分 |
+| 怎样证明完成 | 用户能观察到的成功结果，以及相关的权限、状态、边界值或失败情形 |
+
+每个业务提交按钮应对应真实契约，每项可见范围应有服务端归属和授权依据，每个自动后续动作应有执行与失败处理路径。对应不上时先查证或补设计；涉及业务取舍则回到第 2 步，不用猜测、类型断言或模拟数据填空。
+
+新建或修改领域时，按[本体建模](../../guides/ontology-modeling.md)说明相关对象的业务含义、关系方向/基数、状态与动作前后结果，再映射到 ref/集合关系、states、命令及必要的触发链。自然语言、文档、表格和原型都是需求证据；不能按页面建表、按字段名猜外键，或把读取箭头当自动联动。聚合/字段/命令等填写结构化描述，每个状态填写 labels；普通注释和页面文案不会自动进入图谱。
+
+清楚的小改动用一两句话即可，不要求新建计划文件，也不要求用户批准普通技术方案。已有明确需求与授权就继续实施；只有尚未确定的业务选择阻塞依赖它的部分。需求或能力证据变化时更新这份映射，避免实现与已选规则脱节。
+
+## 5. 沿一条真实链路实施，再扩展
 
 新业务先完成一个动作的保存与读取；已有业务只贯通受影响的动作。按[开发步骤](../../getting-started/workflow.md)操作：
 
@@ -105,13 +114,14 @@ pnpm exec cage context "当前业务关键词" --format json
 
 编写时同步遵守[中文注释规范](../../reference/commenting.md)：说明职责、输入输出、调用关系和实际边界。注释中的保证必须能在代码中找到实现。
 
-## 5. 用观察结果决定完成程度
+## 6. 用观察结果决定完成程度
 
-验证与改动匹配，不因小改动运行全部数据库测试。以双方确定的业务规则和验收例子为依据，检查选择是否落实；待决定事项不能报告为已完成。对新的业务读写链，至少核对所涉及的以下证据：
+验证与改动匹配，不因小改动运行全部数据库测试。逐项回到编码前的规则与验收例子，检查实现和生成结果是否落实了选择、是否混入未要求的业务行为；待决定事项不能报告为已完成。对新的业务读写链，至少核对所涉及的以下证据：
 
 | 要证明什么 | 应取得的证据 |
 | --- | --- |
 | 声明与接口相符 | check、生成一致性、类型检查以及实际契约调用 |
+| 本体可理解且符合需求 | 处理本次声明的 CAGE-ONTOLOGY-001，按业务用语检查图谱/context；逐项核对关系、状态和触发依据，再用业务例子验证，名称齐全不等于业务正确 |
 | 数据持久保存 | 命令成功后通过安全接口独立读取；页面重新加载使用同一服务端记录 |
 | 权限与范围生效 | 允许主体成功，范围外或缺能力主体的直接请求被拒绝 |
 | 流程真正执行 | 提交、待办、决定、结论命令及最终业务状态对应起来 |
@@ -121,7 +131,7 @@ pnpm exec cage context "当前业务关键词" --format json
 
 检查通过不能扩大解释为未检查的业务结果。交付分别报告通过、跳过、未执行，附具体行为与证据；缺少运行条件时明确剩余验证，不伪造成功记录。
 
-## 6. 遇到失败，沿边界定位
+## 7. 遇到失败，沿边界定位
 
 先保留 `code / at / reason / fix` 和相关操作事实，查[排错方法](../../tools/troubleshooting.md)与[错误码册](../../../errors/README.md)。从页面真实调用开始，定位第一个不符合预期的边界，再做最小修正：
 

package/templates/blank/docs/development/tools/diagnostics.md

@@ -8,12 +8,15 @@ pnpm exec cage capabilities reactionEach --format json
 pnpm exec cage capabilities "AI审批" --format json
 pnpm exec cage capabilities "页面上下文" --format json
 pnpm exec cage capabilities "性格" --format json
+pnpm exec cage capabilities "状态名称" --format json
 pnpm exec cage context "设备归还" --format json
 pnpm exec cage doctor --format json
 ```
 
 公开能力报告包含包版本、真实签名、公开导出名、声明位置与本地学习指南。未安装的包标为未检查；未命中关键词不能证明能力不存在。完整例子见 [原语](../reference/primitives.md) 和 [任务配方](../guides/recipes.md)。
 
+“本体建模”“状态名称”“对象关系”分别召回真实的领域声明、状态 labels 和关系 API。按[本体建模指南](../guides/ontology-modeling.md)填写结构化名称；`CAGE-ONTOLOGY-001` 对本地可定位且支持命名的节点检查非空名称，默认警告，`graph.naming: 'required'` 时阻止 check/gen/verify。它不从注释或页面推断含义，也不把名称存在判为业务关系正确。
+
 原生智能化可用“AI审批”“业务助理”“随页助理”“模型管理”“性格”“Responses”“上下文预算”等关键词检索，结果指向[智能化指南](../guides/intelligence.md)。例如 AI 审批返回现有 `step` 的重载及 `AiStepOptions`，不是另造 `aiStep` 原语。公开能力可被检索，不代表本应用已经导出 `ai()`、执行迁移、配置模型或授予角色权限；接着核对项目启用状态，最后进行实际功能验证。
 
 `doctor` 复用 `check`、`gen --check`，输出统一的 `schemaVersion / observedAt / checks / findings / registration / routes`。每个检查包含 `status / source / reason / next`。`pass` 表示相应证据通过，`fail` 表示已发现问题，`unknown` 表示未检查；`complete: false` 不能作为完整验收通过。注册报告列出声明位置、domain 入口、注册节点和对应路由，集合反应还包含上限、排序键、顺序和事务。
@@ -26,7 +29,7 @@ pnpm exec cage doctor --format json
 pnpm exec cage doctor --runtime-url http://127.0.0.1:3000 --cookie-file .cage/diagnostic-cookie.txt
 ```
 
-此模式只调用受 `Sys.ops.read` 保护的诊断接口。证据缺失、服务未运行、没有权限或没有 worker 心跳时标记 `unknown`；接口显示已加载版本和注册指纹，不能仅凭磁盘源码推断进程已经更新。能力已配置给某个角色也不代表任意用户具备范围、额度或调用身份。完成修改后仍需运行 `verify` 和实际业务验收。
+此模式只调用受 `Sys.ops.read` 保护的诊断接口。证据缺失、服务未运行、没有权限或没有 worker 心跳时标记 `unknown`；接口显示已加载版本和注册指纹，不能仅凭磁盘源码推断进程已经更新。能力已配置给某个角色也不代表任意用户具备范围或调用身份。完成修改后仍需运行 `verify` 和实际业务验收。
 
 运行指纹优先使用项目标准 `src→dist` 的实际编译入口，并逐文件检查源码与对应产物的修改时间。缺少构建或使用非标准输出布局时标记未知；编译后还需要重启 API 和 worker。源码经不同转换器执行时的函数文本可能不同，因此不把源码指纹直接当作生产产物指纹。
 

package/templates/blank/docs/development/tools/ontology-context.md

@@ -58,7 +58,7 @@ export const purchaseOverview = businessProcess('purchase-overview', {
 
 `cage check` 用 [CAGE-BIZ-001](../../errors/CAGE-BIZ-001.md) 和 [CAGE-BIZ-002](../../errors/CAGE-BIZ-002.md) 检查声明与实现关系。它不执行 handler、map 或审批，所以仍需业务回归证明运行行为。
 
-阶段直接使用 `title`、`description`、`actor` 的中文文案；操作和字段等继续用 `graph.labels`，审批角色可用 `"role:finance": "财务"`。状态也可在 `states(..., { labels: { draft: '草稿' } })` 中维护中文名；这些名称不更改原有状态标识。
+阶段直接使用 `title`、`description`、`actor` 的业务文案；对象和操作使用声明的 `description`，字段使用 `.describe(...)`，每个状态都在 `states(..., { labels: { draft: '草稿' } })` 中填写名称。`graph.labels` 用于显示覆盖及无通用描述选项的节点，例如 `"role:finance": "财务"`。普通注释与前端状态映射不会被抽取，`CAGE-ONTOLOGY-001` 会报告缺失的结构化名称；填写位置与业务验收边界见[本体建模指南](../guides/ontology-modeling.md)。这些名称不更改机器标识。
 
 ## 开发一项需求的入口
 

package/templates/blank/docs/development/tools/troubleshooting.md

@@ -10,7 +10,7 @@
 
 先保留完整诊断的 code、源码位置、reason/fix、requestId 或 outboxId。检查所在阶段，再修复原因；不要通过改业务状态、给全局权限、注释约束或禁用 lint 消除现象。
 
-先执行 `pnpm exec cage doctor` 查看各阶段证据；异步动作按 requestId/outboxId/业务对象用 `cage timeline` 关联实际执行记录。能力、范围、调用身份或额度不清楚时，有权诊断的管理员可使用 `cage explain`，不会执行目标命令。完整参数与权限见[诊断指南](diagnostics.md)。
+先执行 `pnpm exec cage doctor` 查看各阶段证据；异步动作按 requestId/outboxId/业务对象用 `cage timeline` 关联实际执行记录。能力、范围或调用身份不清楚时，有权诊断的管理员可使用 `cage explain`，不会执行目标命令。完整参数与权限见[诊断指南](diagnostics.md)。
 
 ## 按现象定位
 
@@ -19,7 +19,7 @@
 | dev 启不动 | `.env` 是否在项目根目录，数据库服务是否可连接 | 缺连接、密码/端口错误、没执行迁移、端口占用 |
 | init 提示账号已存在 | CAGE-INIT-002；找已有 APP/READ/MIGRATE 连接 | 角色在 PG 集群内共享；不应覆盖原密码 |
 | 新业务不出现在接口/图谱 | 顶层 export const 和 domain/index.ts | 漏导出、重名导出、放进函数/条件声明 |
-| API 403 | code/detail、角色能力、调用身份、硬约束 | 能力不足、CSRF、职责分离、额度缺失/超限 |
+| API 403 | code/detail、角色能力、调用身份、硬约束 | 能力不足、CSRF、职责分离或其他业务约束不满足 |
 | 详情 404 | 记录 id、租户和数据范围 | 不存在或在范围外；不能仅凭 404 断言被删除 |
 | 列表为空 | read 能力、范围与相应字段 | 默认本人范围、无 owner 字段或部门不匹配 |
 | 电话看不到明文 | sensitive 标注、unmask 能力 | 默认掩码是正常安全行为 |
@@ -42,7 +42,7 @@
 | `approver.role('finance')` | 创建 code 为 finance 的角色，并给实际用户分配 | 选人看角色 code，不是中文显示名称 |
 | `approver.user(id)` | 使用存在的用户 UUID，核对业务可用性 | 把用户名或角色名当成 UUID |
 
-选人成功后，再检查此人所需能力、数据范围、额度。示例中提单人不能审批自己，经理的 `PurchaseOrder.approve` 必须有 ceiling 参数。
+选人成功后，再检查此人所需能力、数据范围及结论命令的业务约束。示例中提单人不能审批自己；采购金额决定是否进入财务节点，不需要配置角色额度。
 
 若事件已进入死信，在 `/admin` 查看对应 outboxId 的错误并修正配置，再点击重放。原 submit 通常已提交，单据处于 pending_approval；不要重复提交，更不要直接 SQL 改回 draft。重放后确认待办及后续事件，不把“点击重放成功”当成整条链路已经完成。
 

package/templates/blank/docs/errors/CAGE-APPR-007.md

@@ -15,7 +15,7 @@ worker 启动或推进审批步骤时选人器没有找到人，或字段选人/
 1. 先看本项目 approvals.ts：deptLeader 读取单据部门的负责人；role 使用角色 code；user 使用实际用户 UUID。
 2. 在 /admin 设置单据所属部门的负责人，或创建对应 code 的角色并分配实际用户。给用户经理角色，并不等于设置了部门负责人。
 3. field 使用提交时保存的 routable 人员字段；检查 UUID 对应账号是否全部在当前租户且 active。不能删掉不合格人员后默认为审批通过；字段快照错误需按业务撤回/重提修正。
-4. 再核对审批人的结论能力、数据范围、ceiling 额度和职责分离。选中审批人不等于允许完成审批。
+4. 再核对审批人的结论能力、数据范围和职责分离。选中审批人不等于允许完成审批。
 5. 若 OrderSubmitted 已入死信，修复后在 /admin 按 outboxId 重放，确认待办生成；原提交已成功时不重复提交或 SQL 改回草稿。
 
 ## 正例

package/templates/blank/docs/errors/CAGE-GRANT-001.md

@@ -1,4 +1,4 @@
-# CAGE-GRANT-001：授予超出自己的能力或额度
+# CAGE-GRANT-001：授予超出自己的能力或参数
 
 [返回错误码册](README.md) · [业务排错](../development/tools/troubleshooting.md)
 
@@ -8,16 +8,16 @@
 
 阶段：组织命令。
 
-管理员授予自己没有的能力/更高参数，或分配含越权能力的角色。
+管理员授予自己没有的能力/更高数值参数、分配含越权能力的角色，或尝试维护受保护的超级管理员角色与账号。
 
 ## 修复步骤
 
-1. 由具备足够能力和参数的管理员操作；降低授予范围到自身权限内，不禁用防提权约束。
+1. 由具备足够能力和参数的管理员操作；超级管理员角色和账号由超级管理员维护。目标用户的角色不可见时需先取得角色读取能力和全部范围，不禁用防提权约束。
 
 ## 正例
 
 ```text
-有 approve=100000 额度的管理员授予不超过自身的额度
+自己有采购审批能力时，给普通角色授予该能力
 ```
 
 ## 反例
@@ -34,16 +34,22 @@
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/admin/src/domain/constraints.ts:39`
-- `packages/admin/src/domain/constraints.ts:42`
-- `packages/admin/src/domain/constraints.ts:78`
+- `packages/admin/src/domain/constraints.ts:38`
+- `packages/admin/src/domain/constraints.ts:40`
+- `packages/admin/src/domain/constraints.ts:55`
+- `packages/admin/src/domain/constraints.ts:61`
+- `packages/admin/src/domain/constraints.ts:67`
+- `packages/admin/src/domain/constraints.ts:69`
+- `packages/admin/src/domain/constraints.ts:85`
+- `packages/admin/src/domain/constraints.ts:88`
+- `packages/admin/src/domain/constraints.ts:124`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-    const mine = ctx.capabilities.get(input.capability);
-    if (!mine) return violation('[CAGE-GRANT-001] 不能授出自己没有的能力点');
-    for (const [k, v] of Object.entries(input.params ?? {})) {
-      if (typeof v === 'number' && typeof mine[k] === 'number' && v > (mine[k] as number)) {
-        return violation(`[CAGE-GRANT-001] 参数 ${k}=${v} 超过了你自己的 ${mine[k]}`);
+    if (!role.capabilities?.some((entry: { capability: string }) => entry.capability === '*') || ctx.actor?.kind === 'system') return ok();
+    if (!ctx.capabilities.has('*')) return violation('[CAGE-GRANT-001] 只有超级管理员可以维护超级管理员角色');
+    if (meta.capability === 'Role.archive' || (meta.capability === 'Role.revokeCapability' && input.capability === '*'))
+      return violation('[CAGE-GRANT-001] 不能停用超级管理员角色或移除全部能力标记');
+    return ok();
 ```

package/templates/blank/docs/errors/CAGE-GRANT-002.md

@@ -34,8 +34,8 @@
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/admin/src/domain/constraints.ts:59`
-- `packages/admin/src/domain/constraints.ts:82`
+- `packages/admin/src/domain/constraints.ts:105`
+- `packages/admin/src/domain/constraints.ts:128`
 
 实现片段（位置随框架版本更新）：
 

package/templates/blank/docs/errors/CAGE-GRANT-003.md

@@ -8,11 +8,11 @@
 
 阶段：组织命令。
 
-授权请求引用了注册表没有声明的能力点。
+授权请求引用了注册表没有声明的能力点，或普通授权操作使用了初始化专用的全部能力标记。
 
 ## 修复步骤
 
-1. 先在 domain 声明并导出相应命令/聚合，再查看能力目录；不要在管理页面凭空发明能力名称。
+1. 先在 domain 声明并导出相应命令/聚合，再查看能力目录；不要在管理页面凭空发明能力名称。全部能力标记仅由首次初始化写入。
 
 ## 正例
 
@@ -35,7 +35,7 @@ PurchaseOrder.anything // 没有对应声明
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
 - `packages/admin/src/domain/constraints.ts:21`
-- `packages/admin/src/domain/constraints.ts:26`
+- `packages/admin/src/domain/constraints.ts:27`
 
 实现片段（位置随框架版本更新）：
 

package/templates/blank/docs/errors/CAGE-ONTOLOGY-001.md

@@ -0,0 +1,52 @@
+# CAGE-ONTOLOGY-001：本体节点缺少结构化业务名称
+
+[返回错误码册](README.md) · [业务排错](../development/tools/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：check / gen / verify / 图谱与上下文诊断。
+
+当前项目可定位的聚合、字段、状态、命令、事件、查询或任务没有非空业务名称，图谱只能回退机器标识。默认警告，graph.naming 为 required 时作为门禁错误。
+
+## 修复步骤
+
+1. 按 reason 的完整节点 key 定位声明。字段和状态的位置指向所属聚合，继续在其中查找成员；无本地源码位置的依赖节点不在本检查范围。
+2. 对象、命令、查询和任务填写 description；事件在第三个参数填写 description；字段用 .describe(...) 或关系选项 description；每个状态都在 states 的 labels 中命名。旧声明可用 graph.labels 的完整 key 覆盖显示。
+3. 普通注释与前端 statusLabel 不会自动进入本体。名称用用户的业务用语，不为翻译改表名、状态值或能力点；详见 docs/development/guides/ontology-modeling.md。
+4. 补齐后重跑 check 并查看 graph/context；完整性不验证语言、名称质量或任意业务关系，仍按已明确规则验证外键方向、基数、状态迁移及真实触发链。
+
+## 正例
+
+```text
+states('active', 'archived', { terminal: ['archived'], labels: { active: '使用中', archived: '已归档' } })
+```
+
+## 反例
+
+```text
+states('active', 'archived', { terminal: ['archived'] }) // 只在页面或注释中翻译状态，没有结构化名称
+```
+
+## 修复后验证
+
+重跑 cage check，再在 graph/context 中按业务用语核对名称；对象关系与运行行为仍需独立业务用例验证。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/cli/src/ontology-names.ts:27`
+- `packages/cli/src/ontology-names.ts:42`
+- `packages/cli/src/sync.ts:42`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+ * @param presentation 与图谱同一次抽取产生的名称，配置短标题优先于声明文案。
+ * @returns 每个缺名节点一条 CAGE-ONTOLOGY-001；不推断语言、不从注释或前端反推业务名称。
+ */
+export function checkOntologyNames(cfg: CageConfig, graph: Ontology, presentation: GraphPresentation): Finding[] {
+  const aggregates = new Map(graph.nodes.filter(node => node.kind === 'aggregate').map(node => [node.id, node]));
+```

package/templates/blank/docs/errors/CAGE-STATE-003.md

@@ -12,7 +12,7 @@
 
 ## 修复步骤
 
-1. 状态标识使用 pending_approval 等，中文名称通过页面/graph.labels 显示。
+1. 状态标识使用 pending_approval 等，业务名称在 states 的 labels 中填写，graph.labels 可覆盖显示；页面文案和普通注释不会自动进入本体。
 
 ## 正例
 

package/templates/blank/docs/errors/CAGE-SYNC-001.md

@@ -34,9 +34,9 @@ sync --check 发现框架规则需更新，或 begin/end 标记缺失一边、
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/sync.ts:66`
 - `packages/cli/src/sync.ts:73`
-- `packages/cli/src/sync.ts:84`
+- `packages/cli/src/sync.ts:80`
+- `packages/cli/src/sync.ts:91`
 
 实现片段（位置随框架版本更新）：
 

package/templates/blank/docs/errors/README.md

@@ -8,6 +8,12 @@
 
 每页包含触发阶段、具体原因、修复步骤、正反例、验证方法与当前版实现位置。例子为局部说明，不能替代完整业务输入。
 
+## 本体业务名称
+
+| 诊断码 | 含义 |
+| --- | --- |
+| [CAGE-ONTOLOGY-001](CAGE-ONTOLOGY-001.md) | 本体节点缺少结构化业务名称 |
+
 ## 智能运行时
 
 | 诊断码 | 含义 |
@@ -181,7 +187,7 @@
 
 | 诊断码 | 含义 |
 | --- | --- |
-| [CAGE-GRANT-001](CAGE-GRANT-001.md) | 授予超出自己的能力或额度 |
+| [CAGE-GRANT-001](CAGE-GRANT-001.md) | 授予超出自己的能力或参数 |
 | [CAGE-GRANT-002](CAGE-GRANT-002.md) | 授予超出自己的数据范围 |
 | [CAGE-GRANT-003](CAGE-GRANT-003.md) | 能力不在代码目录中 |
 

package/templates/blank/docs/errors/runtime.md

@@ -13,7 +13,7 @@
 | NOT_FOUND | 404 | 记录不存在或超出范围 | 用当前用户检查 id/租户/范围，不泄漏范围外数据 |
 | INVALID_INPUT | 400 | Zod/协议输入错误、外键或检查约束等 | 按输入 schema 修正字段和格式，不直接扩大 schema |
 | INVALID_TRANSITION | 409 | 当前状态不允许该命令 | 刷新记录，按真实生命周期显示允许操作 |
-| CONSTRAINT_VIOLATED | 403 | 职责分离、额度、二次认证、防提权等拒绝 | 看约束原因，调整业务操作或由有权管理员配置；不删除约束 |
+| CONSTRAINT_VIOLATED | 403 | 职责分离、二次认证、防提权等拒绝 | 看约束原因，调整业务操作或由有权管理员配置；不删除约束 |
 | INVARIANT_VIOLATED | 409 | 命令结果不满足聚合不变量 | 修正输入或 handler，保持合法结果 |
 | CONFLICT | 409 | 版本、唯一性、数据库串行化/死锁等冲突 | 看 detail、重新读取再决定是否重试；不要盲目重复创建 |
 | DOMAIN_ERROR | 422 | handler 返回 fail | 读取 domainCode，展示业务文案和必要 detail |

package/templates/blank/docs/examples/purchase-admin/apps/web/src/app/styles/global.css

@@ -19,16 +19,17 @@
 body {
   margin: 0;
 }
-button,
+button:not(.ant-btn),
 input {
   font: inherit;
 }
-button,
+button:not(.ant-btn),
 a,
 input {
   outline-offset: 4px;
 }
-button {
+/* 原生按钮规则服务于范例中现有的手写 DOM 控件，不覆盖新增的 Ant Design Button。 */
+button:not(.ant-btn) {
   border: 1px solid var(--line);
   background: #fff;
   color: var(--green);
@@ -37,10 +38,10 @@ button {
   cursor: pointer;
   transition: background 0.15s;
 }
-button:hover {
+button:not(.ant-btn):hover {
   background: #edf2e8;
 }
-button:disabled {
+button:not(.ant-btn):disabled {
   opacity: 0.45;
   cursor: default;
 }
@@ -295,7 +296,7 @@ header {
   gap: 7px;
   flex-wrap: wrap;
 }
-.filters button {
+.filters button:not(.ant-btn) {
   border: 0;
   background: none;
   font-size: 12px;
@@ -305,7 +306,7 @@ header {
   background: #edf3e6;
   color: var(--green);
 }
-.toolbar > button {
+.toolbar > button:not(.ant-btn) {
   font-size: 11px;
 }
 /**
@@ -373,7 +374,7 @@ tr:last-child td {
   display: flex;
   gap: 7px;
 }
-.actions button {
+.actions button:not(.ant-btn) {
   font-size: 11px;
   padding: 6px 9px;
 }
@@ -386,7 +387,7 @@ tr:last-child td {
   font-size: 11px;
   color: var(--muted);
 }
-.pagination button {
+.pagination button:not(.ant-btn) {
   font-size: 11px;
   margin-left: 7px;
 }
@@ -442,7 +443,7 @@ tr:last-child td {
   font-size: 12px;
   margin-bottom: 20px;
 }
-.notice button {
+.notice button:not(.ant-btn) {
   background: transparent;
   border: 0;
 }
@@ -459,7 +460,7 @@ tr:last-child td {
   align-items: end;
   padding: 22px;
 }
-.stock-form button {
+.stock-form button:not(.ant-btn) {
   margin-bottom: 18px;
 }
 label {