@yss123/cage-cli 0.2.0 → 0.3.1

package/templates/blank/docs/errors/CAGE-INIT-005.md

@@ -0,0 +1,52 @@
+# CAGE-INIT-005：显式组织初始化或凭据交付失败
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：init。
+
+bootstrap 配置不完整，凭据文件已存在、权限无法限制，或组织初始化事务失败。
+
+## 修复步骤
+
+1. 审查执行迁移后，提供新的凭据文件路径和实际可用连接；父目录需存在。
+2. 先修复文件权限或数据库错误，再重新执行；不能把密码转而打印到服务日志。
+
+## 正例
+
+```text
+cage bootstrap --credentials-file .cage/admin-credentials.json // 新受限文件
+```
+
+## 反例
+
+```text
+覆盖已有凭据文件，或初始化失败后继续输出“成功”
+```
+
+## 修复后验证
+
+恢复/核对配置后运行 cage init 验证，随后按流程 gen、审查迁移并 migrate；不输出凭证。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/cli/src/bootstrap.ts:19`
+- `packages/cli/src/bootstrap.ts:23`
+- `packages/cli/src/bootstrap.ts:32`
+- `packages/cli/src/bootstrap.ts:45`
+- `packages/cli/src/bootstrap.ts:61`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+ * @param file 已解析的目标路径，父目录必须存在，目标不得已存在。
+ * @throws 创建或 ACL 限制失败时抛出 CAGE-INIT-005；已创建空文件可能保留，不能视为交付成功。
+ */
+export function protectCredentialFile(file: string): void {
+  try { closeSync(openSync(file, 'wx', 0o600)); }
+```

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

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

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

@@ -34,7 +34,7 @@ calls: []，run 却调用 cancel
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/worker/scheduler.ts:38`
+- `packages/kernel/src/worker/scheduler.ts:43`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,7 +34,7 @@ reads: []，却 query.list(PurchaseOrder, ...)
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/worker/scheduler.ts:28`
+- `packages/kernel/src/worker/scheduler.ts:33`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,7 +34,7 @@ verify 将没有专属 CAGE 码的 ESLint 诊断汇总为该码。
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/verify.ts:95`
+- `packages/cli/src/verify.ts:114`
 
 实现片段（位置随框架版本更新）：
 

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

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

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

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

package/templates/blank/docs/errors/CAGE-MIG-005.md

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

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

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

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

@@ -34,7 +34,7 @@ fields: { supplier_phone: text() }
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/aggregate.ts:87`
+- `packages/kernel/src/primitives/aggregate.ts:178`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,14 +34,14 @@ event('order-submitted', fields)
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/event.ts:19`
+- `packages/kernel/src/primitives/event.ts:49`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-export function event<const N extends string, F extends Fields>(name: N, fields: F, opts?: { description?: string }): Event<N, F> {
+export function event<const N extends string, F extends Fields>(name: N, fields: F, opts?: { /** 可选事件事实说明，供本体与文档使用；不改变事件名、字段或投递语义。 */ description?: string }): Event<N, F> {
   if (!/^[A-Z][A-Za-z0-9]*$/.test(name)) throw declError('CAGE-NAME-003', `事件名 ${name} 必须是大驼峰`);
   if (Object.values(fields).some(isRelation)) throw declError('CAGE-REL-001', '事件载荷不声明持久化关系；传递 ID 数组请使用 list(id())');
+  if (Object.values(fields).some(isFile)) throw declError('CAGE-FILE-001', '事件传递文件 ID 请使用 id/list(id())，不声明文件生命周期');
   return Object.freeze({
-    [EVENT]: true as const,
 ```

package/templates/blank/docs/errors/CAGE-NAME-004.md

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

package/templates/blank/docs/errors/CAGE-NAME-005.md

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

package/templates/blank/docs/errors/CAGE-NAME-006.md

@@ -34,7 +34,7 @@ job('Expire-Stale-Orders', definition)
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/flow.ts:189`
+- `packages/kernel/src/primitives/flow.ts:345`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,16 +34,17 @@ export * from '@yss123/cage-admin/domain';
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/rules.ts:211`
-- `packages/cli/src/rules.ts:218`
-- `packages/testkit/src/env.ts:107`
+- `packages/cli/src/rules.ts:256`
+- `packages/cli/src/rules.ts:260`
+- `packages/cli/src/rules.ts:268`
+- `packages/testkit/src/env.ts:135`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
 
 /** CAGE-ORG-001：domain 必须包含框架自带的组织模型 */
-export function checkOrg(g: Ontology): Finding[] {
-  const has = (id: string) => g.nodes.some((n) => n.kind === 'aggregate' && n.id === id);
-  return has('User') && has('Dept') && has('Role')
+/**
+ * 确认 domain 注册了 User、Dept、Role 三个框架组织聚合。
+ * @param g 当前图。
 ```

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

@@ -36,15 +36,16 @@ reaction(OrderCancelled, { command: releaseLock, releases: 'inventory.lock', map
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/rules.ts:43`
-- `packages/cli/src/rules.ts:56`
+- `packages/cli/src/rules.ts:63`
+- `packages/cli/src/rules.ts:67`
+- `packages/cli/src/rules.ts:81`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
 
 /** CAGE-PAIR-002：进入某状态时获得了资源，从该状态出发的每一条迁移都必须释放它，或进入一个同样持有它的状态 */
-export function checkPairing(g: Ontology): Finding[] {
-  const { get } = index(g);
-  const findings: Finding[] = [];
+/**
+ * 检查离开持有状态的迁移是否声明释放，或进入同样持有资源的状态。
+ * @param g 当前图。
 ```

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

@@ -34,7 +34,7 @@ query('poByStatus', { reads: [PurchaseOrder], sql, build })
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/flow.ts:89`
+- `packages/kernel/src/primitives/flow.ts:166`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,7 +34,7 @@ query.sql 引用了 core.* 或 sys.*。
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/flow.ts:91`
+- `packages/kernel/src/primitives/flow.ts:168`
 
 实现片段（位置随框架版本更新）：
 
@@ -42,6 +42,6 @@ query.sql 引用了 core.* 或 sys.*。
   if (def.sql && /\bcore\.|\bsys\./i.test(def.sql)) {
     throw declError('CAGE-QUERY-002', `查询 ${name} 引用了基表，只能引用 safe.* 安全视图`);
   }
+  if (def.audit && !def.audit.purpose.trim()) throw declError('CAGE-QUERY-003', `查询 ${name} 的审计 purpose 不能为空`);
   return Object.freeze({
-    [QUERY]: true as const,
 ```

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

@@ -34,16 +34,17 @@ reads: []；SQL from safe.purchase_order
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/rules.ts:168`
-- `packages/cli/src/rules.ts:183`
-- `packages/cli/src/rules.ts:201`
+- `packages/cli/src/rules.ts:208`
+- `packages/cli/src/rules.ts:228`
+- `packages/cli/src/rules.ts:246`
+- `packages/kernel/src/primitives/flow.ts:170`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
 
 /** CAGE-QUERY-003：手写 SQL 只能引用 reads 里聚合的安全视图 */
-export function checkQueries(g: Ontology): Finding[] {
-  const { get } = index(g);
-  const findings: Finding[] = [];
+/**
+ * 从 SQL 文本检查 safe 视图与 reads 对应关系及显式基表引用。
+ * @param g 当前图。
 ```

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

@@ -34,7 +34,7 @@ target: PurchaseOrder，command 却属于 InventoryLock
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/flow.ts:46`
+- `packages/kernel/src/primitives/flow.ts:87`
 
 实现片段（位置随框架版本更新）：
 
@@ -42,6 +42,6 @@ target: PurchaseOrder，command 却属于 InventoryLock
   if (def.target && def.target !== def.command.agg) {
     throw declError('CAGE-REACT-001', `反应的 target 与 command 所属聚合不一致`);
   }
-  return Object.freeze({
-    [REACTION]: true as const,
+  if (def.order !== undefined && (!Number.isSafeInteger(def.order) || def.order < 0)) {
+    throw declError('CAGE-REACT-003', '反应 order 必须为非负安全整数');
 ```

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

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

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

@@ -0,0 +1,50 @@
+# CAGE-REACT-003：集合或步骤顺序声明无效
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：声明 / 写流水线。
+
+reactionEach 没有正整数上限或排序字段，order 非法，或同事件同事务分组混用有序/无序步骤、顺序重复。
+
+## 修复步骤
+
+1. 为集合声明 maxItems、orderBy、items 和 map；排序键必须稳定、非空且唯一。
+2. 同事件同 tx 分组需要显式顺序时，为全部步骤声明不同的非负整数 order；锁资源按稳定键串行处理。
+
+## 正例
+
+```text
+reactionEach(Allocated, { command: acquire, items: e => e.assets, maxItems: 20, orderBy: 'assetId', order: 20, tx: 'same', map: item => ({ id: item.assetId }) })
+```
+
+## 反例
+
+```text
+同事件同事务一条 order: 10、另一条没有 order，或两个步骤都 order: 10
+```
+
+## 修复后验证
+
+重跑 cage check；同事务链验证共同提交/回滚，异步链检查 worker 和死信。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/kernel/src/primitives/collection.ts:68`
+- `packages/kernel/src/primitives/flow.ts:90`
+- `packages/kernel/src/registry.ts:230`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  if (!Number.isSafeInteger(def.maxItems) || def.maxItems < 1 || !def.orderBy) {
+    throw declError('CAGE-REACT-003', '集合反应必须声明正整数 maxItems 和非空 orderBy 字段');
+  }
+  const base = reaction(event, { ...def, map: () => null });
+  const expand = (payload: PayloadOf<E>): ReactionEntry<z.input<C['input']>>[] => {
+```

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

@@ -34,14 +34,17 @@ reads: {}；使用 deps.stock
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/pipeline/load.ts:86`
+- `packages/kernel/src/pipeline/load.ts:74`
+- `packages/kernel/src/pipeline/load.ts:99`
+- `packages/kernel/src/primitives/command.ts:54`
+- `packages/kernel/src/primitives/command.ts:183`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-      if (typeof prop === 'string' && !(prop in target) && prop !== 'then' && prop !== 'toJSON') {
-        throw new Error(`[CAGE-READS-001] handler 使用了未声明的读依赖 ${prop}（详见 docs/errors/CAGE-READS-001.md）`);
-      }
-      return (target as any)[prop];
-    },
+ * 仓储绑定当前事务与身份，handler 的读操作因此看到同一事务状态且不能写入。
+ * Proxy 将未声明别名转成明确 CAGE-READS-001；then/toJSON 保留为普通对象协议属性。
+ */
+export function bindReads<R extends Reads>(tx: Db, reads: R, ctx: Ctx): Record<string, ReadRepo<any>> {
+  const deps: Record<string, ReadRepo<any>> = {};
 ```

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

@@ -34,20 +34,21 @@ export * from './inventory.js'; export * from './purchase-order.js';
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/kernel.ts:113`
-- `packages/kernel/src/registry.ts:153`
-- `packages/kernel/src/registry.ts:159`
-- `packages/kernel/src/registry.ts:164`
-- `packages/kernel/src/registry.ts:168`
-- `packages/kernel/src/registry.ts:172`
-- `packages/kernel/src/registry.ts:190`
+- `packages/approval/src/route.ts:231`
+- `packages/kernel/src/kernel.ts:161`
+- `packages/kernel/src/registry.ts:209`
+- `packages/kernel/src/registry.ts:215`
+- `packages/kernel/src/registry.ts:220`
+- `packages/kernel/src/registry.ts:234`
+- `packages/kernel/src/registry.ts:238`
+- `packages/kernel/src/registry.ts:268`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-    if (!rc) {
-      throw new Error(`[CAGE-REG-001] 找不到命令 ${typeof ref === 'string' ? ref : ref.agg.name + '.?'}，它是否从 domain 导出了？`);
-    }
-    return rc;
-  }
+        for (const query of s.context.queries ?? []) if (!registry.queries.some(q => q.name === query))
+          throw declError('CAGE-REG-001', `AI 步骤引用的查询 ${query} 未导出`);
+      }
+    },
+  });
 ```

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

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

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

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

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

@@ -39,26 +39,26 @@ list({ members: manyToMany('User') }); // JSON 明细中不能声明关系
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/aggregate.ts:97`
-- `packages/kernel/src/primitives/event.ts:20`
-- `packages/kernel/src/primitives/fields.ts:94`
-- `packages/kernel/src/primitives/fields.ts:99`
-- `packages/kernel/src/primitives/fields.ts:105`
-- `packages/kernel/src/primitives/fields.ts:110`
-- `packages/kernel/src/primitives/fields.ts:167`
-- `packages/kernel/src/primitives/fields.ts:174`
-- `packages/kernel/src/primitives/fields.ts:193`
-- `packages/kernel/src/registry.ts:137`
-- `packages/kernel/src/registry.ts:141`
-- `packages/kernel/src/registry.ts:147`
-- `packages/kernel/src/registry.ts:155`
+- `packages/kernel/src/primitives/aggregate.ts:188`
+- `packages/kernel/src/primitives/event.ts:50`
+- `packages/kernel/src/primitives/fields.ts:190`
+- `packages/kernel/src/primitives/fields.ts:196`
+- `packages/kernel/src/primitives/fields.ts:203`
+- `packages/kernel/src/primitives/fields.ts:209`
+- `packages/kernel/src/primitives/fields.ts:277`
+- `packages/kernel/src/primitives/fields.ts:284`
+- `packages/kernel/src/primitives/fields.ts:335`
+- `packages/kernel/src/registry.ts:193`
+- `packages/kernel/src/registry.ts:197`
+- `packages/kernel/src/registry.ts:203`
+- `packages/kernel/src/registry.ts:211`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
     if (f && f !== 'id' && !(f in fields)) throw declError('CAGE-SCOPE-002', `${name} 的范围字段 ${f} 不存在`);
     if (f && f !== 'id' && isRelation(fields[f])) throw declError('CAGE-REL-001', `${name} 的范围字段必须是主表列，不能使用集合关系 ${f}`);
+    if (f && f !== 'id' && isFile(fields[f])) throw declError('CAGE-FILE-001', `${name} 的范围字段不能使用文件 ${f}`);
   }
   const scope: ScopeSpec = Object.freeze({ ...sc, ownerField });
-
 ```

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

@@ -34,14 +34,15 @@ app.post('/api/order/submit', handler)
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/src/rules/no-manual-routes.ts:11`
+- `packages/lint/src/rules/no-manual-routes.ts:3`
+- `packages/lint/src/rules/no-manual-routes.ts:23`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-    docs: { description: '禁止在业务项目里手写 HTTP 路由' },
-    messages: { route: '[CAGE-ROUTE-001] 不要手写路由 {{call}}：在 domain 里声明命令或查询，路由由框架生成' },
-    schema: [],
-  },
-  create(context) {
+ * 检查业务代码是否绕过声明直接注册 HTTP 路由。
+ * 通过常见接收器名、HTTP 方法和路径形状识别调用，命中返回 CAGE-ROUTE-001。
+ * 这是有界语法检查，不解析任意变量别名或运行时动态路由；框架自己的 HTTP 实现由其维护边界管理。
+ */
+// 业务项目里禁止手写 HTTP 路由：没有声明就没有路由，所有写入都经过内核
 ```

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

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

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

@@ -34,7 +34,7 @@ scope.deptSubtree('departmentId')，fields 只有 deptId
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/aggregate.ts:96`
+- `packages/kernel/src/primitives/aggregate.ts:187`
 
 实现片段（位置随框架版本更新）：
 
@@ -42,6 +42,6 @@ scope.deptSubtree('departmentId')，fields 只有 deptId
   for (const f of [sc.deptField, ownerField]) {
     if (f && f !== 'id' && !(f in fields)) throw declError('CAGE-SCOPE-002', `${name} 的范围字段 ${f} 不存在`);
     if (f && f !== 'id' && isRelation(fields[f])) throw declError('CAGE-REL-001', `${name} 的范围字段必须是主表列，不能使用集合关系 ${f}`);
+    if (f && f !== 'id' && isFile(fields[f])) throw declError('CAGE-FILE-001', `${name} 的范围字段不能使用文件 ${f}`);
   }
-  const scope: ScopeSpec = Object.freeze({ ...sc, ownerField });
 ```

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

@@ -34,8 +34,8 @@ secret: 'ERP_API_TOKEN'，运行环境提供该变量
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/connectors/src/runtime.ts:22`
-- `packages/http/src/routes.ts:74`
+- `packages/connectors/src/runtime.ts:25`
+- `packages/http/src/routes.ts:88`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,7 +34,7 @@ verify: hmacSha256('ERP_WEBHOOK_SECRET')
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/src/rules/no-secret-literal.ts:19`
+- `packages/lint/src/rules/no-secret-literal.ts:34`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,15 +34,15 @@ event('OrderChanged', { phone: text().sensitive('phone') })
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/rules.ts:114`
-- `packages/cli/src/rules.ts:128`
+- `packages/cli/src/rules.ts:144`
+- `packages/cli/src/rules.ts:163`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
 
 /** CAGE-SENS-001：敏感字段不得原样进入事件载荷 */
-export function checkSensitiveEvents(g: Ontology): Finding[] {
-  const { get, out } = index(g);
-  const findings: Finding[] = [];
+/**
+ * 检查事件同名载荷字段是否保留聚合敏感标记。
+ * @param g 当前图。
 ```

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

@@ -34,7 +34,7 @@ sql: 'select id from safe.purchase_order where status = :status'
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/src/rules/no-sql-concat.ts:19`
+- `packages/lint/src/rules/no-sql-concat.ts:32`
 
 实现片段（位置随框架版本更新）：
 

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

@@ -34,7 +34,7 @@ sql.raw(input.orderBy)
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/src/rules/no-sql-concat.ts:20`
+- `packages/lint/src/rules/no-sql-concat.ts:33`
 
 实现片段（位置随框架版本更新）：