任务：对照模型独立复核整体（阶段 4）

阶段清单里第 4 阶段的“对照模型独立复核整体”一直没有做：各任务都按各自的任务页复核过，但没有人从模型出发，把整个 Hub 对一遍。这个任务只读代码、只写一份复核记录，不改任何代码。

  • 分支和工作树：hub-model-review，目录 circle-hub-model-review（依赖已装好）
  • 可以改的路径：只新增 docs/hub-r4-model-review.md（复核记录）。别的文件一律不动。
  • 先读：AGENTS.md；docs/hub-r4-architecture.md；node tools/show-element.ts --help 和 --pending；contracts/model.json 的元素列表、classificationRules、resolvedConflicts。
  • 规则：同前（不推送、不建 PR、不发布、不部署，不碰 7420、钥匙串、环境配置文件和任何真实系统）。

要做的

  1. 列出模型的全部元素（node tools/show-element.ts 逐个读），每个元素给出：这个里程碑范围内是否要实现（架构第 1 节“不在这个里程碑”的元素记为不在范围）；在范围内的，它的每条规则落在哪个文件、哪个测试（写相对路径和测试名）；没有落实或只有一半的，写清缺什么。
  2. 横向的几条硬规则逐一核：核心代码里没有产品名、命令名、客户名；枚举只来自生成的词表（grep 出所有 z.enum([、as const 的字面量数组，逐个说明是不是词表轴，是轴而手写的列出来）；未知从不映射成错误；记录只追加；每个精确值都能解析到引用。
  3. 已定的引擎读法（进度页决定 17 和任务页 engine-readings.md）在代码里是否一致。
  4. 记录写成表格加结论：在范围内且落实的元素数、部分落实的、没落实的，各自列出；最后单列“需要所有者知道的偏离”。
  5. 不确定的地方写成问题，不要猜。

完成后在终端里回报：提交号、元素总数和三类各多少、最重要的五条偏离。