@yss123/cage-cli 0.2.0 → 0.3.1

package/templates/app/docs/errors/CAGE-CONN-013.md

@@ -0,0 +1,49 @@
+# CAGE-CONN-013：出站幂等键无效或请求冲突
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：声明、图规则或 worker。
+
+幂等键不是非空字符串，或同租户、连接器、操作、幂等键已经对应另一份请求。
+
+## 修复步骤
+
+1. 使用同一业务操作的稳定声明键；重试保持键和请求内容不变。
+2. 新业务操作使用新键，不能覆盖已有执行记录。远端收到的键还包含租户隔离前缀。
+
+## 正例
+
+```text
+idempotencyKey: payload => payload.id // 同业务操作的稳定键
+```
+
+## 反例
+
+```text
+复用旧键发送不同金额，或每次重试生成随机键
+```
+
+## 修复后验证
+
+先 cage check；涉及网络时检查同步记录、外部幂等结果与成功回写。fake 与真实联调分别报告。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/connectors/src/runtime.ts:219`
+- `packages/connectors/src/runtime.ts:244`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  const key = ob.idempotencyKey(row.payload as any);
+  if (!key || typeof key !== 'string') throw new ConnectorError('[CAGE-CONN-013] 出站幂等键必须为非空字符串', null, false);
+  const requestHash = createHash('sha256').update(canonical(body)).digest('hex');
+  const identity = { tenant_id: row.tenant_id, connector: ob.op.connector.name, operation: ob.op.name, idempotency_key: key };
+  const locate = (db: typeof k.app) => db.selectFrom('sys.connector_execution').selectAll()
+```

package/templates/app/docs/errors/CAGE-CONN-014.md

@@ -0,0 +1,48 @@
+# CAGE-CONN-014：不可重试外部写入结果未知
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：声明、图规则或 worker。
+
+不可安全重试的外部写入超时或中断，无法确认远端是否已经生效。
+
+## 修复步骤
+
+1. 先凭远端幂等键和同步记录人工核对结果，再选择连接器专用的受控恢复或业务补偿。当前没有通用回执确认或解除 unknown 的入口，普通死信重放不会解除。
+2. 需要自动恢复时先让远端提供可靠幂等协议，再使用 retryableWrite；不盲目重放未知结果写入。
+
+## 正例
+
+```text
+核对远端已生成凭证，再通过受控命令落实本地结果
+```
+
+## 反例
+
+```text
+超时等于远端没执行，直接再次扣款
+```
+
+## 修复后验证
+
+先 cage check；涉及网络时检查同步记录、外部幂等结果与成功回写。fake 与真实联调分别报告。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/connectors/src/runtime.ts:245`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  if (claim.kind === 'conflict') throw new ConnectorError(`[CAGE-CONN-013] ${consumer} 同一幂等键对应不同请求；禁止覆盖已有执行`, null, false);
+  if (claim.kind === 'unknown') throw new ConnectorError(`[CAGE-CONN-014] ${consumer} 的不可重试调用结果未知；人工核对远端后再恢复`, null, false, 'unknown');
+  if (claim.kind === 'busy') throw new ConnectorError(`${consumer} 的调用仍由其他执行者持有`, null, true);
+  if (claim.kind === 'receipt') return { skipped: false, response: ob.op.response.parse(claim.response) };
+  let response: unknown;
+```

package/templates/app/docs/errors/CAGE-CONN-015.md

@@ -0,0 +1,49 @@
+# CAGE-CONN-015：连接器超时或限流参数无效
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：声明、图规则或 worker。
+
+timeoutMs 不是 1 至 300000 的整数，或 rateLimit.perSecond 不是有限正数。
+
+## 修复步骤
+
+1. 按第三方服务的实际边界设置有界超时和每秒限额。
+2. 首阶段额度在单进程内生效；多进程共享限额需要额外设计，不能按本地额度推断全局限流。
+
+## 正例
+
+```text
+timeoutMs: 10000, rateLimit: { perSecond: 5 }
+```
+
+## 反例
+
+```text
+timeoutMs: Infinity 或 rateLimit: { perSecond: 0 }
+```
+
+## 修复后验证
+
+先 cage check；涉及网络时检查同步记录、外部幂等结果与成功回写。fake 与真实联调分别报告。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/connectors/src/primitives.ts:65`
+- `packages/connectors/src/primitives.ts:68`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  if (def.timeoutMs !== undefined && (!Number.isSafeInteger(def.timeoutMs) || def.timeoutMs <= 0 || def.timeoutMs > 300_000)) {
+    throw declError('CAGE-CONN-015', '连接器 timeoutMs 必须是 1～300000 毫秒的整数');
+  }
+  if (def.rateLimit && (!Number.isFinite(def.rateLimit.perSecond) || def.rateLimit.perSecond <= 0)) {
+    throw declError('CAGE-CONN-015', '连接器 rateLimit.perSecond 必须为有限正数');
+```

package/templates/app/docs/errors/CAGE-CREATE-001.md

@@ -35,18 +35,19 @@ cage create . 覆盖当前已有业务项目
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/create-prompt.ts:12`
 - `packages/cli/src/create-prompt.ts:17`
-- `packages/cli/src/create.ts:20`
-- `packages/cli/src/create.ts:22`
-- `packages/cli/src/create.ts:29`
+- `packages/cli/src/create-prompt.ts:24`
+- `packages/cli/src/create-prompt.ts:29`
+- `packages/cli/src/create.ts:45`
+- `packages/cli/src/create.ts:47`
+- `packages/cli/src/create.ts:54`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-  if (template !== undefined && !isAppTemplate(template))
-    throw new Error('[CAGE-CREATE-001] --template 只能是 blank 或 purchase');
-
-  // 管道和 CI 没有可操作的终端，不隐式选择业务模板，也不让安装任务挂在提示上。
-  if ((!target || !template) && (!process.stdin.isTTY || !process.stdout.isTTY))
+ * @returns 完整创建选择；用户取消返回 null，由入口转换为取消退出码。
+ * @throws 非交互缺项或模板名无效时抛出 CAGE-CREATE-001。
+ */
+export async function chooseApp(
+  target?: string,
 ```

package/templates/app/docs/errors/CAGE-DECL-001.md

@@ -34,8 +34,8 @@ export function build() { return aggregate('Order', definition); }
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/static-check.ts:188`
-- `packages/cli/src/static-check.ts:195`
+- `packages/cli/src/static-check.ts:232`
+- `packages/cli/src/static-check.ts:239`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-DECL-002.md

@@ -34,14 +34,15 @@ export * from './purchase-order.js'; // index.ts
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/static-check.ts:254`
+- `packages/cli/src/doctor.ts:96`
+- `packages/cli/src/static-check.ts:304`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
-    .map((s) => ({
-      code: 'CAGE-DECL-002',
-      at: `${s.file}:${s.line}`,
-      reason: `声明 ${s.exportName} 没有从 domain 入口导出，内核和抽取器都看不到它`,
-      fix: `从所属模块 index.ts 导出 ${s.exportName}，再由 domain 的统一入口转导出；源文件 ${s.file}`,
+    exports: result.registration?.find(entry => entry.name === site.exportName && entry.file === site.file),
+    registered: !result.findings.some(f => f.code === 'CAGE-DECL-002' && f.at === `${site.file}:${site.line}`),
+    nodes: result.graph?.nodes.filter(n => n.file === site.file && n.line === site.line).map(n => ({ key: `${n.kind}:${n.id}`, attrs: n.kind === 'reaction' ? { event: n.attrs.event, command: n.attrs.command, tx: n.attrs.tx, order: n.attrs.order, collection: n.attrs.collection } : undefined })) ?? [] }));
+  const verifyFile = abs(cfg, '.cage/verify.json');
+  return { schemaVersion: 1, cliVersion: VERSION, observedAt, project: cfg.name, registryHash, sourceHash, registryHashSource: compiledExists ? compiledEntry : /\.js$/.test(cfg.domain) ? cfg.domain : null, ok: checks.every(c => c.status !== 'fail'), complete: checks.every(c => c.status !== 'unknown'), checks, findings, registration,
 ```

package/templates/app/docs/errors/CAGE-DECL-003.md

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

package/templates/app/docs/errors/CAGE-DECL-004.md

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

package/templates/app/docs/errors/CAGE-DEP-001.md

@@ -34,8 +34,8 @@ import pg from 'pg'; // domain 直接操作数据库
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/static-check.ts:144`
-- `packages/lint/dependency-cruiser.cjs:8`
+- `packages/cli/src/static-check.ts:188`
+- `packages/lint/dependency-cruiser.cjs:13`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-DEP-002.md

@@ -34,7 +34,7 @@ packages/adapters 依赖数据库访问包并可能直接写业务表。
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/dependency-cruiser.cjs:17`
+- `packages/lint/dependency-cruiser.cjs:22`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-DEP-003.md

@@ -34,7 +34,7 @@ import { approve } from '@app/domain'
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/dependency-cruiser.cjs:24`
+- `packages/lint/dependency-cruiser.cjs:29`
 
 实现片段（位置随框架版本更新）：
 
@@ -42,6 +42,6 @@ import { approve } from '@app/domain'
       severity: 'error',
       comment: '[CAGE-DEP-003] 前端只能依赖 @app/contracts',
       from: { path: '^apps/web' },
-      to: { path: '^packages/domain|node_modules/@yss123/cage-(kernel|http|admin|connectors|approval|testkit)/' },
+      to: { path: '^packages/domain|node_modules/@yss123/cage-(kernel|http|files|admin|connectors|approval|testkit|ai|ontology)/' },
     },
 ```

package/templates/app/docs/errors/CAGE-DEP-004.md

@@ -34,7 +34,7 @@ handler 里 await fetch(...) 或动态 import 数据库模块
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/static-check.ts:155`
+- `packages/cli/src/static-check.ts:199`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-DEP-005.md

@@ -34,7 +34,7 @@ domain 从 '@app/contracts' 导入自己生成的快照
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/lint/dependency-cruiser.cjs:31`
+- `packages/lint/dependency-cruiser.cjs:36`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-DIAG-001.md

@@ -0,0 +1,53 @@
+# CAGE-DIAG-001：运行诊断输入或连接失败
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：doctor / timeline / explain。
+
+诊断 URL、Cookie 文件、输入文件或筛选项无效，或受控诊断请求无法完成。
+
+## 修复步骤
+
+1. 使用不含用户信息、查询参数或片段的 HTTP(S) 地址；通过 --cookie-file 提供受控会话。
+2. 按 reason 检查目标接口、权限、输入和服务状态；unknown 不能视为通过。不要在 URL 中携带令牌。
+
+## 正例
+
+```text
+cage doctor --runtime-url http://127.0.0.1:3000 --cookie-file .cage/diagnostic-cookie.txt
+```
+
+## 反例
+
+```text
+把密码或 Cookie 写进 --runtime-url 的查询参数
+```
+
+## 修复后验证
+
+核对诊断输入、受控会话和目标服务，再重新获取实际运行证据；未知不当作通过。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/cli/src/main.ts:150`
+- `packages/cli/src/runtime-diagnostics.ts:23`
+- `packages/cli/src/runtime-diagnostics.ts:26`
+- `packages/cli/src/runtime-diagnostics.ts:27`
+- `packages/cli/src/runtime-diagnostics.ts:29`
+- `packages/cli/src/runtime-diagnostics.ts:32`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  if (command === 'timeline' || command === 'explain') {
+    if (command === 'explain' && (!target || !o['input-file'])) throw new Error('[CAGE-DIAG-001] 使用 cage explain <命令> --input-file <JSON文件> --runtime-url <地址> --cookie-file <文件>');
+    const body = command === 'explain' ? { command: target, input: JSON.parse(readFileSync(abs(cfg, o['input-file']!), 'utf8')), userId: o['user-id'] } : undefined;
+    const result = await (await import('./runtime-diagnostics.js')).runtimeDiagnostic(cfg, { runtimeUrl: o['runtime-url'], cookieFile: o['cookie-file'] }, `/api/sys/diagnostics/${command === 'timeline' ? 'timeline' : 'authorization'}`, {
+      query: command === 'timeline' ? { requestId: o['request-id'], outboxId: o['outbox-id'], aggregate: o.aggregate, aggregateId: o['aggregate-id'] } : undefined, body,
+```

package/templates/app/docs/errors/CAGE-DLQ-001.md

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

package/templates/app/docs/errors/CAGE-ENV-001.md

@@ -36,10 +36,10 @@ API、worker、迁移或初始化没有取得所需的数据库连接。
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/init.ts:74`
-- `packages/cli/src/migrate.ts:22`
-- `packages/kernel/src/db/connect.ts:74`
-- `packages/kernel/src/kernel.ts:100`
+- `packages/cli/src/init.ts:94`
+- `packages/cli/src/migrate.ts:39`
+- `packages/kernel/src/db/connect.ts:91`
+- `packages/kernel/src/kernel.ts:146`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-ENV-002.md

@@ -0,0 +1,51 @@
+# CAGE-ENV-002：运行配置不满足安全边界
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：init / migrate / 启动。
+
+生产启动缺少足够强的 Cookie 密钥，或服务配置中的认证并发、超时等参数无效。
+
+## 修复步骤
+
+1. 按诊断的配置项设置合法值；生产提供独立生成的随机 Cookie 密钥并重启服务。
+2. 只报告配置项名称和错误码，不输出密钥或整个环境文件。
+
+## 正例
+
+```text
+由受控环境变量提供随机 CAGE_COOKIE_SECRET，并设置有界认证并发及队列
+```
+
+## 反例
+
+```text
+生产继续使用固定开发 Cookie 密钥，或给并发上限填入无穷值
+```
+
+## 修复后验证
+
+重跑原先失败的命令，确认使用预期库与账号；输出脱敏信息。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/http/src/auth.ts:69`
+- `packages/http/src/auth.ts:72`
+- `packages/http/src/server.ts:111`
+- `packages/http/src/server.ts:115`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+
+  /** concurrency 是同时派生个数，queueLimit 是额外等待个数；非法配置在启动期抛 CAGE-ENV-002。 */
+  constructor(private readonly concurrency = 4, private readonly queueLimit = 32) {
+    if (!Number.isSafeInteger(concurrency) || concurrency < 1 || !Number.isSafeInteger(queueLimit) || queueLimit < 0) {
+      throw new Error('[CAGE-ENV-002] passwordConcurrency 必须为正整数，passwordQueueLimit 必须为非负整数');
+```

package/templates/app/docs/errors/CAGE-ENV-003.md

@@ -0,0 +1,48 @@
+# CAGE-ENV-003：服务启动不能隐式初始化组织
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：init / migrate / 启动。
+
+createServer 显式传入 bootstrap: true。初始化不能混入日常服务启动并输出密码。
+
+## 修复步骤
+
+1. 移除启动参数中的 bootstrap: true；先审查执行迁移，再显式执行 cage bootstrap。
+2. 使用 --credentials-file 指定新的受限凭据文件；组织已有用户时不重置凭据。
+
+## 正例
+
+```text
+pnpm exec cage bootstrap --credentials-file .cage/admin-credentials.json
+```
+
+## 反例
+
+```text
+createServer({ domain, bootstrap: true })
+```
+
+## 修复后验证
+
+重跑原先失败的命令，确认使用预期库与账号；输出脱敏信息。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/http/src/server.ts:113`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+  }
+  if (opts.bootstrap) throw new Error('[CAGE-ENV-003] 服务启动不再隐式初始化组织；请在受控初始化入口显式调用 bootstrapOrg 并安全交付初始凭据');
+  const readinessTimeoutMs = opts.readinessTimeoutMs ?? 2000;
+  if (!Number.isSafeInteger(readinessTimeoutMs) || readinessTimeoutMs < 1) throw new Error('[CAGE-ENV-002] readinessTimeoutMs 必须为正整数');
+  // 开发会话密钥也是随机值，重启会使旧 CSRF/OIDC cookie 失效；多实例必须显式共享配置。
+```

package/templates/app/docs/errors/CAGE-EVENT-001.md

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

package/templates/app/docs/errors/CAGE-EVENT-002.md

@@ -34,17 +34,17 @@ note: text().optional() // 新增字段
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/rules.ts:225`
-- `packages/cli/src/rules.ts:237`
-- `packages/cli/src/rules.ts:244`
-- `packages/cli/src/rules.ts:254`
+- `packages/cli/src/rules.ts:275`
+- `packages/cli/src/rules.ts:293`
+- `packages/cli/src/rules.ts:300`
+- `packages/cli/src/rules.ts:310`
 
 实现片段（位置随框架版本更新）：
 
 ```ts
 
 /** CAGE-EVENT-002：事件载荷只允许向后兼容的变更（只能新增可选字段） */
-export function checkEventCompat(base: Ontology, head: Ontology): Finding[] {
-  const findings: Finding[] = [];
-  const b = new Map(base.nodes.filter((n) => n.kind === 'event').map((n) => [n.id, n]));
+/**
+ * 比较同名事件字段的删除、类型改变及新增必填项。
+ * @param base 旧本体，代表可能仍有在途事件的声明。
 ```

package/templates/app/docs/errors/CAGE-FIELD-001.md

@@ -34,7 +34,7 @@ text().sensitive('自定义随意字符串')
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/kernel/src/primitives/fields.ts:100`
+- `packages/kernel/src/primitives/fields.ts:197`
 
 实现片段（位置随框架版本更新）：
 
@@ -43,5 +43,5 @@ text().sensitive('自定义随意字符串')
     if (!SENSITIVE_KINDS.includes(kind)) throw declError('CAGE-FIELD-001', `未知的敏感种类 ${kind}`);
     return this.with({ sensitiveKind: kind });
   }
-  /** 唯一约束（租户内） */
+  /** 返回要求租户内唯一的新字段；实际约束由 DDL/迁移落实，不是仅一次应用查询。文件和集合已有专用归属/配对语义，拒绝该修饰。 */
 ```

package/templates/app/docs/errors/CAGE-FIELD-002.md

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

package/templates/app/docs/errors/CAGE-FIELD-003.md

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

package/templates/app/docs/errors/CAGE-FIELD-004.md

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

package/templates/app/docs/errors/CAGE-FILE-001.md

@@ -0,0 +1,56 @@
+# CAGE-FILE-001：文件字段或上传配置无效
+
+[返回错误码册](README.md) · [业务排错](../ai/troubleshooting.md)
+
+> 本页由框架生成。正反例为局部声明或操作说明，完整写法见业务开发指南及本项目 domain。
+
+## 何时出现
+
+阶段：字段声明 / 私有文件服务配置。
+
+文件缺少明确的大小/MIME 限制，多文件数量无效，文件嵌入 JSON/事件/范围字段，或存储分片配置超出适配器限制。
+
+## 修复步骤
+
+1. 文件直接声明在聚合 fields 中，设置正整数 maxBytes、明确 MIME accept；files 还需 1–100 的 maxCount。
+2. 不使用 sensitive/hidden/unique 修饰文件；事件只传 id/list(id())。上传 partBytes/maxFileBytes 必须符合存储适配器分片限制。
+
+## 正例
+
+```text
+attachments: files({ maxBytes: 20971520, maxCount: 10, accept: ['application/pdf'] })
+```
+
+## 反例
+
+```text
+list({ contract: file({ maxBytes: 0, accept: ['*/*'] }) })
+```
+
+## 修复后验证
+
+重跑 cage check、gen 和文件回归；实际验证暂停、续传、命令绑定及当前权限下载，云存储联调单独报告。
+
+## 框架内的检查位置
+
+以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
+
+- `packages/files/src/service.ts:95`
+- `packages/files/src/service.ts:98`
+- `packages/kernel/src/primitives/aggregate.ts:189`
+- `packages/kernel/src/primitives/event.ts:51`
+- `packages/kernel/src/primitives/fields.ts:195`
+- `packages/kernel/src/primitives/fields.ts:202`
+- `packages/kernel/src/primitives/fields.ts:208`
+- `packages/kernel/src/primitives/fields.ts:305`
+- `packages/kernel/src/primitives/fields.ts:336`
+
+实现片段（位置随框架版本更新）：
+
+```ts
+    };
+    for (const [name, value] of Object.entries(this.options)) if (!Number.isSafeInteger(value) || value < 1) throw new Error(`[CAGE-FILE-001] ${name} 必须为正安全整数`);
+    const limits = this.storage.limits;
+    if (this.options.partBytes < limits.minPartBytes || this.options.partBytes > limits.maxPartBytes || Math.ceil(this.options.maxFileBytes / this.options.partBytes) > limits.maxParts)
+      throw new Error('[CAGE-FILE-001] 分片配置超出存储适配器限制');
+```

package/templates/app/docs/errors/CAGE-GEN-001.md

@@ -34,8 +34,8 @@ gen --check/verify 比较发现需提交的生成文件缺失或与声明不一
 
 以下路径相对框架源码仓库，不是要求业务项目创建这些文件。当前项目先修业务声明、配置或授权；明确属于框架缺口时反馈错误码和脱敏上下文。
 
-- `packages/cli/src/gen/index.ts:48`
-- `packages/cli/src/gen/index.ts:90`
+- `packages/cli/src/gen/index.ts:76`
+- `packages/cli/src/gen/index.ts:122`
 
 实现片段（位置随框架版本更新）：
 

package/templates/app/docs/errors/CAGE-GEN-002.md

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