@yss123/cage-cli 0.3.1 → 0.4.0

package/templates/blank/docs/development/examples/note/note-detail-page.tsx

@@ -0,0 +1,106 @@
+/**
+ * 入门课详情页，从 URL 的 id 独立读取便笺并通过契约修改或归档。
+ * 由 app 组合到 /notes/:id；query 缓存与退出清理由现有应用会话层管理。
+ * 每次写入传服务端记录版本；冲突后刷新而不自动覆盖，归档后仅展示结果。
+ */
+import { useRef, useState } from 'react';
+import { Link, useParams } from 'react-router-dom';
+import { note, useNote } from '@app/contracts';
+import { useCan } from '@yss123/cage-client';
+
+/** 加载独立详情；标题草稿为 null 时显示服务端标题，空字符串仍表示用户正在编辑。 */
+export function NoteDetailPage() {
+  const { id = '' } = useParams();
+  const query = useNote(id);
+  const canUpdate = useCan('Note.update');
+  const canArchive = useCan('Note.archive');
+  const [draft, setDraft] = useState<{ id: string; title: string } | null>(null);
+  const [error, setError] = useState('');
+  const [saving, setSaving] = useState(false);
+  const submitting = useRef(false);
+  const record = query.data;
+  const title = draft?.id === id ? draft.title : (record?.title ?? '');
+
+  /**
+   * 保存或归档当前记录，使用读取版本防止覆盖并发变更；失败保留草稿，成功后清除草稿并读取。
+   * 冲突刷新后要求用户核对再提交；按钮禁用与引用锁限制本页同时提交，不替代内核检查。
+   */
+  async function save(action: 'update' | 'archive') {
+    if (!record || submitting.current) return;
+    submitting.current = true;
+    setSaving(true);
+    setError('');
+    try {
+      const result =
+        action === 'update'
+          ? await note.update(record.id, { title }, record.version)
+          : await note.archive(record.id, record.version);
+      if (!result.ok) {
+        setError(
+          result.code === 'CONFLICT'
+            ? '记录已变化，请核对最新数据和当前草稿后再提交。'
+            : `操作失败：${result.code}`,
+        );
+        if (result.code === 'CONFLICT') await query.refetch();
+        return;
+      }
+      setDraft(null);
+      await query.refetch();
+    } catch {
+      setError('请求未完成，请重新读取记录确认结果。');
+    } finally {
+      submitting.current = false;
+      setSaving(false);
+    }
+  }
+
+  return (
+    <section>
+      <Link to="/notes">返回列表</Link>
+      {query.isPending && <p role="status">正在加载…</p>}
+      {query.isError && (
+        <p role="alert">
+          无法读取记录：可能不存在、会话失效或不在可见范围。
+          <button onClick={() => void query.refetch()}>重试</button>
+        </p>
+      )}
+      {record && (
+        <>
+          <h1>{record.title}</h1>
+          <p>
+            状态：{record.status}；版本：{record.version}
+          </p>
+          {record.status === 'active' && (
+            <>
+              {canUpdate && (
+                <form
+                  onSubmit={(event) => {
+                    event.preventDefault();
+                    void save('update');
+                  }}
+                >
+                  <label>
+                    标题
+                    <input
+                      value={title}
+                      required
+                      maxLength={120}
+                      onChange={(event) => setDraft({ id, title: event.target.value })}
+                    />
+                  </label>
+                  <button disabled={saving || !title.trim()}>保存</button>
+                </form>
+              )}
+              {canArchive && (
+                <button disabled={saving} onClick={() => void save('archive')}>
+                  归档
+                </button>
+              )}
+            </>
+          )}
+        </>
+      )}
+      {error && <p role="alert">{error}</p>}
+    </section>
+  );
+}

package/templates/blank/docs/development/examples/note/note.ts

@@ -0,0 +1,71 @@
+/**
+ * 框架入门课的部门便笺声明，由学习者放入应用领域模块后从 domain 入口导出。
+ * 聚合维护标题、归属和状态；命令仅描述业务变化，实际权限、事务与持久化由内核执行。
+ * 本文件作为教材分发，不自动注册到空白应用；不存在文件、审批或外部 IO 副作用。
+ */
+import { aggregate, command, ref, scope, states, text } from '@yss123/cage-kernel';
+import { z } from 'zod';
+
+/**
+ * 部门便笺以标题和生命周期为一致性边界，通过部门与创建人字段支持安全读取。
+ * 声明被 domain 导出后参与注册和生成；实际可见范围取决于角色授权，本声明不授予权限。
+ * 所有命令结果均须满足非空标题不变量，归档保留记录并关闭修改入口。
+ */
+export const Note = aggregate('Note', {
+  description: '部门便笺',
+  fields: {
+    /** 标题最多 120 字符；命令先去除两端空白，不变量拒绝空白标题。 */
+    title: text(120).describe('便笺标题'),
+    /** 内核新建时按当前主体填充的部门，用于服务端范围过滤。 */
+    deptId: ref('Dept').describe('所属部门'),
+    /** 内核新建时记录的创建人，可用于本人范围；不接受客户端指定。 */
+    createdBy: ref('User').describe('创建人'),
+  },
+  // 机器状态用于命令和存储，业务名供图谱与上下文读取；普通注释不会替代 labels。
+  states: states('active', 'archived', {
+    terminal: ['archived'],
+    labels: { active: '使用中', archived: '已归档' },
+  }),
+  scope: scope.deptSubtree('deptId'),
+  invariants: { titleNotBlank: (record) => record.title.trim().length > 0 },
+});
+
+/**
+ * 创建 active 便笺，输入只有去除两端空白后的标题，草稿直接作为业务结果返回。
+ * 内核填写归属并执行 Note.create 授权、审计及事务；空标题、无能力或不合格范围会拒绝写入。
+ * 不发布额外业务事件，也不接受客户端指定归属字段。
+ */
+export const createNote = command(Note, {
+  name: 'create',
+  description: '创建便笺',
+  from: 'new',
+  to: 'active',
+  input: z.object({ title: z.string().trim().min(1).max(120) }),
+  handler: (draft) => draft,
+});
+
+/**
+ * 修改 active 便笺标题；id 用于内核按范围锁定记录，页面另传已读取的 expectedVersion。
+ * to: null 保留状态，返回值只包含标题变化；归档或版本冲突由内核拒绝，handler 不直接写库。
+ */
+export const updateNote = command(Note, {
+  name: 'update',
+  description: '修改便笺标题',
+  from: 'active',
+  to: null,
+  input: z.object({ id: z.string().uuid(), title: z.string().trim().min(1).max(120) }),
+  handler: (_draft, input) => ({ title: input.title }),
+});
+
+/**
+ * 归档 active 便笺，输入沿用已有对象命令的默认 id，返回草稿以保留标题与归属。
+ * 内核检查 Note.archive、范围与版本，再设置 archived；已有归档记录的修改和重复归档会拒绝。
+ * 本动作不删除历史记录，不发布需 worker 处理的业务事件。
+ */
+export const archiveNote = command(Note, {
+  name: 'archive',
+  description: '归档便笺',
+  from: 'active',
+  to: 'archived',
+  handler: (draft) => draft,
+});

package/templates/blank/docs/development/examples/note/notes-page.tsx

@@ -0,0 +1,87 @@
+/**
+ * 入门课的便笺列表与创建页面，通过生成契约读写服务端记录，不维护本地业务仓储。
+ * 由 app 路由在已登录且具备 Note.read 的页面内挂载；服务端仍执行全部权限与范围判断。
+ * 表单状态只保留未提交标题，失败不清空；创建成功后重新查询列表，详情使用独立 URL。
+ */
+import { useRef, useState, type FormEvent } from 'react';
+import { Link } from 'react-router-dom';
+import { note, useNoteList } from '@app/contracts';
+import { useCan } from '@yss123/cage-client';
+
+/** 显示当前主体可见的第一页便笺并提供创建入口；分页扩展应按路由规范放入 URL 参数。 */
+export function NotesPage() {
+  const query = useNoteList();
+  const canCreate = useCan('Note.create');
+  const [title, setTitle] = useState('');
+  const [error, setError] = useState('');
+  const [saving, setSaving] = useState(false);
+  const submitting = useRef(false);
+
+  /**
+   * 提交一次创建，立即锁住重复点击；业务失败保留输入，成功后从安全接口重新读取。
+   * 此锁只限制当前页面的并发点击，不承诺跨刷新重试去重；业务需恢复同次请求时另保存幂等键。
+   */
+  async function create(event: FormEvent<HTMLFormElement>) {
+    event.preventDefault();
+    if (submitting.current) return;
+    submitting.current = true;
+    setSaving(true);
+    setError('');
+    try {
+      const result = await note.create({ title });
+      if (!result.ok) {
+        setError(`创建失败：${result.code}`);
+        return;
+      }
+      setTitle('');
+      await query.refetch();
+    } catch {
+      setError('请求未完成，请重新读取列表确认结果后再决定是否重试。');
+    } finally {
+      submitting.current = false;
+      setSaving(false);
+    }
+  }
+
+  return (
+    <section>
+      <h1>部门便笺</h1>
+      {canCreate && (
+        <form onSubmit={create}>
+          <label>
+            标题
+            <input
+              value={title}
+              maxLength={120}
+              required
+              onChange={(event) => setTitle(event.target.value)}
+            />
+          </label>
+          <button disabled={saving || !title.trim()}>{saving ? '正在保存…' : '创建'}</button>
+        </form>
+      )}
+      {error && <p role="alert">{error}</p>}
+      {query.isPending && <p role="status">正在加载…</p>}
+      {query.isError && (
+        <p role="alert">
+          读取失败，请检查会话和读取权限。<button onClick={() => void query.refetch()}>重试</button>
+        </p>
+      )}
+      {query.data && (
+        <>
+          <p>
+            共 {query.data.total} 条，当前显示 {query.data.items.length} 条。
+          </p>
+          <ul>
+            {query.data.items.map((record) => (
+              <li key={record.id}>
+                <Link to={`/notes/${encodeURIComponent(record.id)}`}>{record.title}</Link>（{record.status}）
+              </li>
+            ))}
+          </ul>
+          {query.data.items.length === 0 && <p>当前可见范围内没有便笺。</p>}
+        </>
+      )}
+    </section>
+  );
+}

package/templates/{app/docs/ai → blank/docs/development/examples}/purchase-example.md

@@ -1,6 +1,6 @@
 # 标准采购范例：从声明到业务页面
 
-[返回学习入口](README.md) · [业务任务配方](recipes.md)
+[返回学习入口](../README.md) · [业务任务配方](../guides/recipes.md)
 
 选择 `--template purchase` 创建的是可运行的采购应用，下面的路径相对应用根目录；选择 `--template blank` 时，同一份范例仅作为参考源码保存在 `docs/examples/purchase-admin`，下面路径相对该参考目录，它不参与当前应用的编译、注册或迁移。框架能力来自 npm 依赖。先沿一条真实链路读代码，再把需要的模式应用到自己的业务。
 
@@ -22,7 +22,7 @@
 | `packages/contracts/src/aggregates/purchase-order/index.ts` | 生成的前端协议与类型 | 只读它，不手改；process/external 命令不生成浏览器写方法 |
 | `apps/web/src/main.tsx`、`app` | 挂载、全局 Provider、会话与导航组合 | 入口保持简洁，从模块公开入口组装页面 |
 | `apps/web/src/modules/purchase`、`inventory`、`approval` | 各业务页面与交互 | 调契约、处理错误、刷新列表、展示导出任务；不互相穿透 |
-| `packages/domain/src/modules/purchase/purchase-order.test.ts` | 有业务数据的成功/拒绝用例 | 越权、自审批、额度、库存锁、晚到 ERP 回执 |
+| `packages/domain/src/modules/purchase/purchase-order.test.ts` | 有业务数据的成功/拒绝用例 | 越权、自审批、库存锁、晚到 ERP 回执 |
 
 ## 一次正常采购发生了什么
 
@@ -37,7 +37,7 @@
   → 申请启用专业复核时：所选专业人员全部会签
   → 金额 > 50000 时：财务共享候选任务，由 finance 成员领取后处理
   → 流程完成 → 调用 approve
-      → 职责分离、额度、库存检查
+      → 职责分离、库存检查
       → approved + OrderApproved
       → 同事务 lockOnApprove → InventoryLock.held
   → worker 消费 OrderApproved → fake/真实 ERP 推单
@@ -71,20 +71,20 @@ submit 返回成功只表示单据和事件已提交，不表示待办、ERP 或
 
 ## 首次体验所需业务配置
 
-以下体验需要采购模板；空白模板不会出现采购页面和审批配置。先按[开发步骤](workflow.md)准备已有数据库并启动 API、worker、Web。首次管理员凭证按 API 提示获取，不把凭证写到仓库。以下是业务配置，不是需要写进框架内核的逻辑。
+以下体验需要采购模板；空白模板不会出现采购页面和审批配置。先按[开发步骤](../getting-started/workflow.md)准备已有数据库并启动 API、worker、Web。首次管理员凭证按 API 提示获取，不把凭证写到仓库。以下是业务配置，不是需要写进框架内核的逻辑。
 
 | 对象 | 配置要点 |
 | --- | --- |
 | 采购员 | 创建/查看/提交/取消采购单等所需能力，所属部门，以及采购单数据范围；配置专业复核需 `PurchaseOrder.setReviewers` 和 `ApprovalMember.read` |
 | 智能助理使用人 | 显式授予 `Sys.ai.use`；编辑用途还需 `PurchaseOrder.explainPurpose` |
-| 模型管理者 | `Sys.ai.models.manage`；在 `/admin/#/models` 配置并启用 `main`，部署主密钥见[智能能力指南](intelligence.md) |
+| 模型管理者 | `Sys.ai.models.manage`；在 `/admin/#/models` 配置并启用 `main`，部署主密钥见[智能能力指南](../guides/intelligence.md) |
 | 助理性格管理者 | `Sys.ai.personalities.manage`；在 `/admin/#/personalities` 编辑预设、自定义性格、设置默认并试聊 |
 | AI 预审角色 | 创建 code 为 `purchase_ai_reviewer` 的角色，授予 `PurchaseOrder.read/returnForChanges` 及覆盖申请范围的数据权限；本例 AI 仅预审，不执行最终 approve |
-| 经理 | `PurchaseOrder.read/approve/reject/returnForChanges`，适当数据范围，`approve` 的 `ceiling` 额度参数 |
-| 专业协作人 | 真实账号及同样的审批能力、范围、额度；由名录管理员通过 `ApprovalMember.create` 登记公开业务姓名、专业说明；需要在任务中选人时授予 `ApprovalMember.read` |
+| 经理 | `PurchaseOrder.read/approve/reject/returnForChanges` 和适当数据范围 |
+| 专业协作人 | 真实账号及所需审批能力和范围；由名录管理员通过 `ApprovalMember.create` 登记公开业务姓名、专业说明；需要在任务中选人时授予 `ApprovalMember.read` |
 | 名录管理员 | 显式授予 `ApprovalMember.create/update/retire/read`；登记、更新资料或退役不修改用户角色，不自动给采购参与者授予 `User.read` |
 | 部门 | 将采购员所属部门的负责人设为经理；不能为空 |
-| 财务 | 角色 **code** 为 `finance`，给至少两位实际用户分配以体验共享候选池；配置审批所需权限、范围及足够额度；领取后才能处理 |
+| 财务 | 角色 **code** 为 `finance`，给至少两位实际用户分配以体验共享候选池；配置审批所需权限和范围；领取后才能处理 |
 | 库存台账 | 预先登记与采购明细相同的 sku，数量满足演示检查 |
 | 连接器环境 | fake 阶段使用 worker 注册的 fake；真实环境另配 host 对应密钥及回调签名密钥 |
 
@@ -110,11 +110,11 @@ submit 返回成功只表示单据和事件已提交，不表示待办、ERP 或
 
 `apps/web` 中对字段和按钮的中文名称属于业务文案。图谱名称来自 `cage.config.json` 的 `graph.labels`，比如 `command:PurchaseOrder.submit` 对应“提交审批”。替换业务时别忘了更新这些名称，不要改英文能力标识来做翻译。
 
-导出按钮是调用通用异步接口的一个例子；框架不规定所有业务都要放相同的按钮。导入、导出、任务列表与错误报告应按客户页面需要接入，参考[开发步骤](workflow.md)中的客户端方法。
+导出按钮是调用通用异步接口的一个例子；框架不规定所有业务都要放相同的按钮。导入、导出、任务列表与错误报告应按客户页面需要接入，参考[开发步骤](../getting-started/workflow.md)中的客户端方法。
 
 ## 把示例改成自己的业务
 
-先按[目录规范](project-structure.md)新增自己的领域模块和前端模块，完成一条完整链路，再逐步移除不需要的采购导出、路由、反应、连接器和页面引用。`@app/domain`、`@app/contracts` 是应用内包名，可以保留；npm 框架包也不需要重命名。
+先按[目录规范](../reference/project-structure.md)新增自己的领域模块和前端模块，完成一条完整链路，再逐步移除不需要的采购导出、路由、反应、连接器和页面引用。`@app/domain`、`@app/contracts` 是应用内包名，可以保留；npm 框架包也不需要重命名。
 
 若数据库尚未投入使用，可为新应用审查和规划初始结构；只要迁移已执行或已发布，就不能通过覆盖 `0001_init.sql` 来假装采购表从未存在。用新迁移表达后续变更，并明确已有数据处理方式。
 

package/templates/{app/docs/ai → blank/docs/development/getting-started}/architecture.md

@@ -1,6 +1,6 @@
 # 架构与执行模型
 
-[返回学习入口](README.md) · [下一篇：原语](primitives.md)
+[返回学习入口](../README.md) · [下一篇：原语](../reference/primitives.md)
 
 ## 业务声明是一份可执行规格
 
@@ -34,7 +34,7 @@ domain/index.ts 导出的声明
 
 一个采购单可以有明细列表，也可以引用库存等其他聚合。跨聚合写入要调用对方的命令，通过反应表达关系，不能拿到对方数据库表直接更新。
 
-对象关联统一写在 fields：ref 为本表外键，hasMany 依据目标外键反查，manyToMany 自动生成中间表。多对多链接属于来源对象的命令事务，但不授权修改目标内容；公开关联通过两侧安全视图分页读取。完整模式见[对象关系](relations.md)。
+对象关联统一写在 fields：ref 为本表外键，hasMany 依据目标外键反查，manyToMany 自动生成中间表。多对多链接属于来源对象的命令事务，但不授权修改目标内容；公开关联通过两侧安全视图分页读取。完整模式见[对象关系](../guides/relations.md)。
 
 ## 一次写入的完整路径
 
@@ -43,7 +43,7 @@ domain/index.ts 导出的声明
   → 校验输入、上下文、调用身份与能力
   → 幂等检查
   → 按范围加载并锁定记录，检查状态与版本
-  → 硬约束（职责分离、额度、二次认证等）
+  → 硬约束（职责分离、二次认证等）
   → 绑定 reads，只运行 handler 的业务计算
   → 合并结果，内核设置目标状态，校验字段及不变量
   → 写记录、版本、审计和 outbox，执行同事务反应
@@ -69,7 +69,7 @@ worker → 消费 outbox → 异步反应 / 审批 / 连接器
 
 资源标签 `acquires: 'inventory.lock'`、`releases: 'inventory.lock'` 为图规则提供证据。它们不会自动加锁或释放，真正效果来自 `acquireLock/releaseLock` 命令。
 
-有界批量步骤可用 `reactionEach`：声明目标命令、最大项数、唯一排序键和映射，按稳定顺序串行调用。`order` 表达同一事件的步骤依赖，同事务链仍整体回滚。具体声明见[原语指南](primitives.md#有界集合与步骤顺序)。
+有界批量步骤可用 `reactionEach`：声明目标命令、最大项数、唯一排序键和映射，按稳定顺序串行调用。`order` 表达同一事件的步骤依赖，同事务链仍整体回滚。具体声明见[原语指南](../reference/primitives.md#有界集合与步骤顺序)。
 
 出站分成外部执行与短事务回写两个阶段。框架先领取本地执行租约，用 `${tenantId}:${declaredKey}` 作为远端幂等键，可靠保存回执后再在短事务调用成功命令；回写失败可复用已保存回执。远端必须实际支持幂等，框架不能承诺任意外部系统恰好一次。不可安全重试的写入结果未知时隔离并要求核对，不能把超时当作远端未执行。
 
@@ -85,12 +85,12 @@ worker → 消费 outbox → 异步反应 / 审批 / 连接器
 | 调用身份 | `user/process/job/external` | `process` 命令不给浏览器生成直接写接口；这不是角色名 |
 | 能力点 | `PurchaseOrder.submit`、`PurchaseOrder.read` | 代码声明能力目录，管理员在目录范围内授权 |
 | 数据范围 | 本人、本部门、部门及下级、指定部门、全部 | 决定能触及哪些记录，越范围详情通常表现为 404 |
-| 业务硬约束 | 不是提单人、额度不超过 ceiling | 即使被选为审批人也必须通过 |
+| 业务硬约束 | 不是提单人 | 即使被选为审批人也必须通过 |
 | 明文能力 | `PurchaseOrder.unmask.phone` | 没有该能力时，安全读侧对电话掩码 |
 
 `scope.deptSubtree('deptId')` 描述聚合的部门字段和建议范围；**实际范围取决于角色授权数据**。`scope.none()` 表示没有部门/创建人范围字段，仍然需要能力和适当的 `all` 范围授权，不能理解成“任何人能读”。多角色范围合并为并集，缺少显式范围时默认本人范围，不是全部。
 
-`useCan()`、`can()` 只决定按钮呈现；前端隐藏按钮不能代替后端授权。新增命令不会自动授给已有生产角色，角色分配和额度调整也受防提权约束。
+`useCan()`、`can()` 只决定按钮呈现；前端隐藏按钮不能代替后端授权。新增命令不会自动授给普通生产角色，角色分配也受防提权约束。首次初始化的超级管理员拥有当前及以后新增的全部能力和本租户全部范围。
 
 授权通知监听异常时不再复用缓存，每次重新读取授权；重新订阅后清空缓存，并阻止旧请求回填旧上下文。`/readyz` 反映数据库和授权监听健康，`/healthz` 仅表示存活。诊断入口受 `Sys.ops.read` 及相关对象 read/范围控制，`explain` 解释调用身份、能力、范围、状态与硬约束，不能预测 handler 的业务结果；新建对象的最终范围无法提前确定时返回 unknown。
 
@@ -141,8 +141,8 @@ APP、READ、MIGRATE 指向**同一个已经存在的数据库**，用不同账
 
 ## 本体图为什么有这些连线
 
-图谱抽取命令状态迁移与事件、反应调用、审批 start/cancelOn、约束/路由字段、查询读依赖和外部映射；另以虚线标记按标识推导的所属聚合。关系解释区分显式声明、规则推导与文本匹配，箭头要按各自含义阅读。开发前可用[本体上下文工具](ontology-context.md)检索相关业务与源码。
+图谱抽取命令状态迁移与事件、反应调用、审批 start/cancelOn、约束/路由字段、查询读依赖和外部映射；另以虚线标记按标识推导的所属聚合。关系解释区分显式声明、规则推导与文本匹配，箭头要按各自含义阅读。开发前可用[本体上下文工具](../tools/ontology-context.md)检索相关业务与源码。
 
-`cage analyze` 将图写到 `.cage/ontology.json`；`cage graph` 提供浏览器工作台。中文显示名写在 `cage.config.json` 的 `graph.labels`，例如 `"command:PurchaseOrder.submit": "提交审批"`。显示名不更改能力标识、源码符号或表名。
+`cage analyze` 将图写到 `.cage/ontology.json`；`cage graph` 提供浏览器工作台。业务名称优先与领域声明一起维护：对象和操作用 `description`，字段用 `.describe(...)`，状态用 `states` 的 `labels`。`cage.config.json` 的 `graph.labels` 可覆盖显示名，例如 `"command:PurchaseOrder.submit": "提交审批"`。这些名称不更改能力标识、源码符号或表名；普通注释和页面翻译不会自动进入图谱。详见[本体建模指南](../guides/ontology-modeling.md)。
 
-图规则能检查“离开持有状态是否声明了释放”等结构问题，无法证明 `map` 的任意分支或 handler 计算一定正确。因此重要的资源释放条件、权限拒绝、额度边界仍需对应业务回归用例。
+图规则能检查“离开持有状态是否声明了释放”等结构问题，无法证明 `map` 的任意分支或 handler 计算一定正确。因此重要的资源释放条件、权限拒绝、业务条件边界仍需对应业务回归用例。

package/templates/blank/docs/development/getting-started/first-feature.md

@@ -0,0 +1,66 @@
+# 第一条完整业务链
+
+[学习入口](../README.md) · [框架开发 Skill](../skills/cage-development/SKILL.md) · [原语参考](../reference/primitives.md)
+
+本课教会你把声明、契约、页面和持久数据连接起来。以“部门便笺”解释方法：创建便笺、查看列表与详情、修改标题、归档。这个对象只用于教学；开发真实业务时替换对象含义和规则，不需要向用户项目添加便笺。
+
+## 先确定业务，再选择声明
+
+一条便笺有标题、所属部门和创建人，状态为 active 或 archived。创建、修改标题、归档都是命令；列表和详情使用生成的读取接口。标题不能为空是不变量，归档后不能修改由 update 的 from 表达。
+
+归属字段使用 `deptId: ref('Dept')` 与 `createdBy: ref('User')`，内核新建时根据当前主体填写；`scope.deptSubtree('deptId')` 描述范围字段。实际授权仍由角色配置决定，普通用户不能通过提交任意部门 ID 把记录放进其他部门。公司、项目组等自定义归属不能仅改一个字段名字就假定沿用同样规则，应核对当前支持的范围模型。
+
+完整领域代码见[便笺声明](../examples/note/note.ts)。依次阅读聚合、createNote、updateNote、archiveNote，注意命令导出名不同于 `name` 指定的能力名称。
+
+## 让声明进入应用
+
+把本课声明放入应用的 `packages/domain/src/modules/note/note.ts`，在模块 index.ts 导出它，再从 domain 总入口导出模块。保留原有组织模型及其他业务；不要让不同模块的 `export *` 带来重名导出。
+
+在应用根目录执行：
+
+```sh
+pnpm exec cage check
+pnpm gen
+```
+
+检查生成的 Note 契约、图节点、路由信息及迁移草稿。应能找到 `note.create`、`note.update`、`note.archive`、`note.list` 和 `note.get`。这里验证的是注册和生成；尚未证明数据库里有表或用户有权执行。
+
+数据库初次准备按[开发步骤](workflow.md#第一次启动应用)进行；已有项目复用现有配置。审查新迁移后执行 `pnpm migrate`，再按当前环境启动/重启 API 与 worker。不要改已执行迁移，也不要为学习案例覆盖业务数据库配置。
+
+## 给真实主体配置权限
+
+在独立验收环境准备有能力的主体、同部门另一主体和范围外主体。为所需角色明确配置 `Note.read`、`Note.create`、`Note.update`、`Note.archive` 及对应数据范围。按业务分别选择本人、部门或部门及下级等范围；创建一个角色名称不会自动获得这些能力。
+
+`scope.none()` 缺少部门/创建人范围表达，不能拿它替代“仅看本部门”。当前框架合并多角色能力与范围；只切换前端门户不会把后端权限自动缩减到所选角色。产品确需切换执行身份时，先确认当前公开协议是否支持该语义，不能通过本地 role 变量伪装授权。
+
+## 页面调用真实契约
+
+[列表与新建页面](../examples/note/notes-page.tsx)演示创建成功后重新读取服务端列表；[详情页面](../examples/note/note-detail-page.tsx)从 URL 读取 ID，直接加载服务端记录，修改和归档带上读取到的版本。它们是可编译的完整教学组件，样式由应用自行设计。
+
+将组件放到 `apps/web/src/modules/note/pages`，从模块 index.ts 公开导出。再在已有 app 路由组合层导入模块入口，在登录后的 Outlet 内加入以下路由片段：
+
+```tsx
+<Route path="notes" element={<RequireCapability capability="Note.read" home="/workspace"><NotesPage /></RequireCapability>} />
+<Route path="notes/:id" element={<RequireCapability capability="Note.read" home="/workspace"><NoteDetailPage /></RequireCapability>} />
+```
+
+片段中的 Route、RequireCapability 和两个页面要从当前应用真实入口导入；保留已有会话恢复、退出清理和 404。新增菜单使用 Link 指向 `/notes`。完整导航要求见[路由与浏览器验收](../guides/routing.md)。
+
+创建按钮检查 `Note.create` 只是界面提示。提交后检查 `result.ok`，成功才清空输入并重新读取；失败展示错误并保留输入。详情请求可能返回范围外的 NOT_FOUND，不能显示“该记录已删除”这种未经证明的结论。编辑冲突后重新读取版本并让用户核对，不静默覆盖他人修改。
+
+## 沿操作观察结果
+
+| 操作 | 预期观察 | 若失败，优先检查 |
+| --- | --- | --- |
+| 有权用户创建便笺 | 真实请求成功，服务端返回 ID，独立 list/get 可读 | 契约调用、迁移、能力与归属字段 |
+| 新标签页打开详情 URL | 重新请求后显示同一条记录 | URL ID、会话恢复、读取范围 |
+| 另一位有同部门范围的用户查看 | 服务端读取同一条记录 | 实际部门、角色范围、接口结果 |
+| 范围外主体直接请求详情 | 请求拒绝或安全地返回不可见 | 服务端范围，不能只看菜单是否隐藏 |
+| 两个页面使用同一旧版本修改 | 后一次得到冲突，不覆盖新值 | expectedVersion 和页面刷新策略 |
+| 归档后再次修改 | 业务状态拒绝；页面重新读取为 archived | from/to 与真实状态 |
+
+运行受影响包的类型检查和构建、生成一致性与必要业务测试，再按浏览器配方操作。未配置测试账号、未连接独立测试库或没有浏览器能力时，写清未执行项；不要用编译通过替代本表结果。
+
+## 从本课迁移到其他业务
+
+先替换对象、字段、归属与动作，保留“声明 → 导出 → 生成 → 运行配置 → 契约 → 观察结果”的方法。只有需求需要时再增加能力：审批学习[审批单元](../guides/approvals.md)，附件学习[文件单元](../guides/files.md)，关联学习[关系单元](../guides/relations.md)，跨对象联动参考[事务选择](architecture.md#同事务与异步的选择)。完整组合范例见[采购导读](../examples/purchase-example.md)，无需一次复制全部采购实现。

package/templates/{app/docs/ai → blank/docs/development/getting-started}/workflow.md

@@ -1,6 +1,8 @@
 # 开发步骤与交付要求
 
-[返回学习入口](README.md) · [范例导读](purchase-example.md) · [详细中文注释](commenting.md)
+[返回学习入口](../README.md) · [框架开发 Skill](../skills/cage-development/SKILL.md) · [完整入门课](first-feature.md) · [详细中文注释](../reference/commenting.md)
+
+本页提供应用启动、修改和验证的操作命令。需求理解、与用户澄清、能力查证和编码前的实现映射统一按[Skill](../skills/cage-development/SKILL.md)执行；下列操作用于落实已经明确的设计。
 
 本页命令在**应用根目录**执行，除非注明“框架根目录”。使用项目安装的 CLI：`pnpm exec cage ...`。项目脚本可简写为 `pnpm gen / pnpm migrate / pnpm dev / pnpm verify`；不要假定机器已全局安装 cage。
 
@@ -25,21 +27,22 @@ pnpm dev
 
 `init` 自动创建独立账号与随机密码，填写 APP/READ/MIGRATE 连接和 Cookie 密钥，成功后删除文件中的管理员连接。三个连接使用同一数据库。已有 Cage 集群账号时复用原连接，不能重置其他应用的账号密码。生产环境可由平台直接提供账号连接，不必执行本地 init。
 
-`bootstrap` 独立初始化组织，不自动授予业务能力。管理员凭据只进入新的受限文件，不进入服务控制台；已有用户时不重置。交付后移除凭据文件。日常 API 启动不初始化组织；生产缺少合格 Cookie 密钥会拒绝启动。具体文件权限与诊断用法见[能力发现与状态诊断](diagnostics.md)。
+`bootstrap` 独立初始化组织，并给初始超级管理员当前及以后新增的全部能力和本租户全部数据范围。超级管理员可以直接为普通角色配置能力和范围；普通角色不会自动获得新增能力。管理员凭据只进入新的受限文件，不进入服务控制台；已有用户时不重置账号，也不会自动升级已有角色。交付后移除凭据文件。日常 API 启动不初始化组织；生产缺少合格 Cookie 密钥会拒绝启动。具体文件权限与诊断用法见[能力发现与状态诊断](../tools/diagnostics.md)。
 
 `.env.example` 是配置说明，`.env` 是本机私密配置，二者不混用。CLI 自动加载应用 `.env`，部署环境同名变量优先。API 和 worker 启动需重启后读取变更；不要输出整个 `.env` 排障。
 
 框架仓库首次先在根目录 `pnpm install`、`pnpm build`，再进入 `examples/purchase-admin` 配置。`dev` 不自动执行迁移；生成新迁移后要审查并显式运行 migrate。
 
-## 做一项业务修改
+## 按已明确的设计修改业务
+
+只执行实现映射涉及的操作；文案或样式调整无需修改 domain、生成迁移或重新授权。实现过程中发现业务规则尚不清楚，回到[业务澄清](../guides/business-collaboration.md)处理相关部分。
 
-1. 读 AGENTS.md、[目录规范](project-structure.md)和[详细中文注释规范](commenting.md)，确认需求落在领域模块、前端模块、组织配置还是框架。先 `pnpm exec cage context "需求关键词"`，按需 `graph search/inspect/path` 定位，确认候选入口后阅读对应源码、范例与测试；证据和边界见[本体上下文指南](ontology-context.md)。发现能力缺口先说明，不编造 API。
-2. 涉及已存在业务含义变化时，**修改前**运行 `pnpm exec cage snapshot save before-change` 保存命名基线；也可使用真实 Git 提交或独立本体图文件。
-3. 在所属领域模块写字段、状态、不变量和命令输入；再实现 handler、事件、查询与审批。跨模块反应放 workflows，第三方协议放 integrations。从模块 index 到 domain 总入口逐层导出，避免跨文件 export 名冲突。同步编写详细中文注释：文件职责与调用链、导出声明及输入字段、权限/状态/reads/事件/事务、关键步骤和失败边界；涉及已有行为时补齐受影响的上下游说明。
-4. `pnpm exec cage check` 检查声明和图规则；`pnpm gen` 更新契约与迁移草稿。聚合和命令填写中文 `description`，需要覆盖时补 `cage.config.json` 的 `graph.labels`（如 `aggregate:Note`、`command:Note.archive`、`capability:Note.export`）。这些名称同时用于图谱和 `/admin` 授权界面；修改后重启 API。不重命名实际能力点来实现翻译。在图谱确认连接与资源生命周期。
-5. 审查数据库变更，特别是非空字段、数据回填、删列和索引。已执行的迁移不可改写。需要落库时显式 `pnpm migrate`。
-6. 页面和表单放 `apps/web/src/modules/<业务>`，从模块公开入口接入 app 的 URL 路由；依赖生成 contracts，处理失败结果。列表、详情等多页面使用 React Router，筛选和分页进入 URL；组件状态只管理页面内临时交互。新增能力由管理员授权，页面按钮可用 `useCan` 控制。按[路由与浏览器验收](routing.md)检查直达、刷新、前进后退和登录回跳。
-7. 补足重要业务反例并运行相关验证；测试解释夹具目的、所保护的规则和覆盖边界。按注释规范审查本次 diff，核对页面、组件/hooks、类型字段、脚本副作用和恢复流程的说明是否完整准确。提交源声明、契约和审查过的迁移，报告跳过及未执行项。
+1. **保存基线。** 涉及已存在业务含义变化时，修改前运行 `pnpm exec cage snapshot save before-change`；也可使用真实 Git 提交或独立本体图文件。
+2. **修改声明与导出。** 按[目录规范](../reference/project-structure.md)在所属领域模块修改字段、状态、不变量、命令及必要的后续流程。按[本体建模指南](../guides/ontology-modeling.md)把对象含义、关系方向与基数、状态和操作结果写进真实声明；名称用 description、字段 .describe 和每个状态的 labels 维护，普通注释与页面翻译不能代替。跨模块反应放 workflows，第三方协议放 integrations；从模块 index 到 domain 总入口逐层导出，避免重名丢失。按[注释规范](../reference/commenting.md)同步解释职责、输入、权限/状态/reads、事件/事务与失败边界。
+3. **检查与生成。** `pnpm exec cage check` 检查声明和图规则，处理 `CAGE-ONTOLOGY-001` 指出的缺名；`pnpm gen` 更新契约与迁移草稿，不手改生成物。名称显示覆盖可写 `cage.config.json` 的 `graph.labels`（如 `aggregate:Note`、`command:Note.archive`、`capability:Note.export`），不重命名能力点来翻译。图谱中核对业务名称、关系、状态迁移与资源生命周期；名称齐全不能证明联动已经实现。
+4. **审查与迁移。** 核对非空字段、回填、删列和索引，保留已执行迁移；有结构变化且需落库时显式 `pnpm migrate`。按需要配置能力、范围和外部服务，API/worker 使用一致声明。
+5. **接入页面。** 在 `apps/web/src/modules/<业务>` 使用真实生成契约，从模块入口接入 app 路由。处理业务失败与版本冲突；多页面使用独立 URL，筛选/分页进入 URL。`useCan` 只控制按钮，服务端仍校验授权；成功后重新读取或失效查询。按[浏览器验收](../guides/routing.md)检查对应操作和导航。
+6. **核对规则与交付。** 对照编码前的规则与验收例子，补足关键反例，执行下文与改动匹配的检查。审查 diff 中的业务变化、生成物和中文注释；交付源声明、契约、审查过的迁移及配置要求，分别报告通过、跳过、未执行。
 
 ### 如何保存和比较基线
 
@@ -62,7 +65,7 @@ pnpm exec cage impact --base main
 | --- | --- | --- |
 | 增加字段 | 修改 aggregate；按命令更新 input/handler；重新生成 | 是否敏感、是否可选、旧数据如何回填、查询/事件/页面受影响吗 |
 | 增加状态或撤回 | 修改 states 和 command；声明事件及资源处理 | 可达性、非终态出边、审批 cancelOn、CAGE-PAIR-002 |
-| 修改审批 | 修改 route/approval；按需要增加 routable | 负责人/role code、步骤 mode、结论命令、额度和职责分离 |
+| 修改审批 | 修改 route/approval；按需要增加 routable | 负责人/role code、步骤 mode、业务分支条件、结论命令和职责分离 |
 | 增加报表 | 声明 query 的 reads、input 和 sql/build | 安全视图、参数化、调用人 read 权限、生成 queries 契约 |
 | 接入第三方 | 声明 connector/op/outbound/inbound；配置运行环境密钥 | 请求响应白名单、幂等、超时、验签、永久/可重试错误和补偿 |
 | 改后台管理配置 | 通过组织模型与系统接口修改 | 防提权、实际授权范围、角色缓存刷新、操作人权限 |
@@ -98,7 +101,7 @@ if (!result.ok) {
 - `atomic: true` 请求整批原子处理，普通逐行导入需展示成功/失败计数及报告。HTTP 202 仅代表接受任务，不能立即提示处理完成。
 - worker 必须运行；任务可能 queued/retrying/failed/expired。下载会再次校验当前权限。导出的系统列和掩码值不能原样回导。
 
-CSV 编码、限制、SDK 与完整接口见本项目自带的[业务页导入导出](transfers.md)。给新业务做入口时按实际生成的签名调用，不硬编码采购单专属逻辑进框架。
+CSV 编码、限制、SDK 与完整接口见本项目自带的[业务页导入导出](../guides/transfers.md)。给新业务做入口时按实际生成的签名调用，不硬编码采购单专属逻辑进框架。
 
 ## 工具做什么，结果在哪里
 
@@ -106,12 +109,12 @@ CSV 编码、限制、SDK 与完整接口见本项目自带的[业务页导入
 | --- | --- | --- |
 | `pnpm exec cage analyze` | 抽取显式声明与源码位置 | `.cage/ontology.json` |
 | `pnpm exec cage capabilities 关键词 --format json` | 查询当前安装版本的公开能力 | 公开签名、声明位置和学习入口 |
-| `pnpm exec cage doctor` | 统一核对注册、生成、构建及可用运行证据 | pass / fail / unknown 与下一步；见[诊断指南](diagnostics.md) |
+| `pnpm exec cage doctor` | 统一核对注册、生成、构建及可用运行证据 | pass / fail / unknown 与下一步；见[诊断指南](../tools/diagnostics.md) |
 | `pnpm exec cage snapshot save 名称` | 保存不可覆盖的命名基线 | `.cage/snapshots`；配合 `impact --snapshot 名称` |
 | `pnpm exec cage check` | 静态检查、注册表与图规则 | 终端 `code/at/reason/fix` |
 | `pnpm exec cage graph` | 启动中文本体图谱 | 默认 `http://127.0.0.1:15418`，按终端地址访问 |
 | `pnpm exec cage context "需求或节点"` | 开发前取得相关子图、原因、源码与候选验证 | 默认终端 Markdown；`--format json --out .cage/context.json` 保存结构化报告 |
-| `pnpm exec cage graph search/inspect/path ...` | 检索候选 / 精确节点 / 关系路径 | 同源中文与证据；每次重新抽取，见[用法](ontology-context.md) |
+| `pnpm exec cage graph search/inspect/path ...` | 检索候选 / 精确节点 / 关系路径 | 同源中文与证据；每次重新抽取，见[用法](../tools/ontology-context.md) |
 | `pnpm gen` | 更新契约、结构说明、迁移草稿 | `packages/contracts/src`、`db/migrations`、`generated`、`.cage/ontology.json` |
 | `pnpm exec cage gen --check` | 只比较需提交的生成物 | 不一致时报 CAGE-GEN；不是实际数据库漂移扫描 |
 | `pnpm exec cage test --only project` | 项目测试 | `.cage/test-results.json` 与终端 |
@@ -127,26 +130,18 @@ CSV 编码、限制、SDK 与完整接口见本项目自带的[业务页导入
 ## 验证要与改动匹配
 
 - 文档、文案、可逆的小改动：检查链接、格式、资料分发；不需要重复运行全套数据库测试。
-- 所有源码变更：按[注释交付清单](commenting.md#交付前逐项核对)人工核对中文职责、接口与关键流程说明；静态检查不能替代注释准确性检查。仅补注释时不新增复述实现的测试、不改写已执行迁移。
-- 命令/约束/反应变化：针对成功路径及真正的风险增加用例，如越权拒绝、额度边界、资源释放、同事务回滚。不要写只复述实现的测试。
+- 所有源码变更：按[注释交付清单](../reference/commenting.md#交付前逐项核对)人工核对中文职责、接口与关键流程说明；静态检查不能替代注释准确性检查。仅补注释时不新增复述实现的测试、不改写已执行迁移。
+- 命令/约束/反应变化：针对成功路径及真正的风险增加用例，如越权拒绝、业务条件边界、资源释放、同事务回滚。不要写只复述实现的测试。
 - 领域结构变化：check、gen、生成一致性、类型检查；有数据库影响时在独立测试库验证迁移和读写。
-- 页面或导航变化：构建后按[浏览器配方](routing.md)实际操作，包含深链接、新标签页、刷新、前进后退、登录回跳、无权限和 404。check/verify 不自动执行浏览器验收；未操作时明确报告未执行，不能写“页面功能完整”。
+- 页面或导航变化：构建后按[浏览器配方](../guides/routing.md)实际操作，包含深链接、新标签页、刷新、前进后退、登录回跳、无权限和 404。check/verify 不自动执行浏览器验收；未操作时明确报告未执行，不能写“页面功能完整”。
 - 发布前：按项目要求执行完整 verify/build/test，核对分发包。没有执行的项目明确写出原因。
 
 测试使用真实 PostgreSQL。`CAGE_TEST_DATABASE_URL` 供独立测试集群使用，测试工具会准备角色和临时数据库；不要指向业务/生产集群。没有设置时 testkit 可使用内嵌的真实 PostgreSQL，这与 dev 的固定已有库流程不同。
 
 派生测试无法凭空推断所有业务合法输入，会报告跳过。它们证明的是通用性质，不能代替采购 happy path、审批配置和第三方真实联调。
 
-## 可以交给 AI 的任务描述
+## 交付说明
 
-```text
-先读 AGENTS.md 和它指定的 docs/ai/README.md，再参考对应标准范例。
-需求：为某业务增加……
-先用 cage context 查询现有业务，必要时 graph inspect/path，确认候选与关系后阅读实现。
-说明字段、状态、能力与范围、事件/资源的影响，再修改 domain、生成契约和迁移草稿、接入业务页面。
-使用真实公开 API；不要手写业务路由、直接写表或新增本地数据库生命周期命令。
-按 docs/ai/commenting.md 给新建和修改代码写详细中文注释，覆盖职责、API/字段、步骤、原因和边界，同步修正相关上下游说明。
-按改动运行必要检查，报告通过/跳过/未执行项和需要的管理员配置。
-```
+可复用的需求输入见[任务模板](../guides/recipes.md#给编程工具的任务模板)，工作流程使用 Skill，不另维护一套提示词。
 
 交付说明至少包含行为变化、源文件、生成物/迁移、角色授权需求、详细中文注释覆盖的主要职责与边界、验证结果，以及尚未做的真实外部联调。注释未覆盖项如实说明，不能用聊天中的解释代替源码注释。遇到错误先修复根因；不把待办未生成、任务已接受或 fake 成功写成业务全部完成。