运行控制台动态菜单

状态：Current — 运行控制台菜单只消费已发布 PageSpec。详细模型见 Dashboard Resource/Page 模型。实现索引：菜单生成 internal/api/console/（GET /api/v1/console/menu）、前端路由 web/config/routes.ts、菜单组装 web/src/utils/consoleMenu.ts、发布期分类 labels 仲裁 internal/service/proposal_service.go。

结论

运行控制台左侧菜单不是静态路由配置，也不是函数目录的直接投影。

菜单来源只有一个：

PublishedPageSpec[] -> ConsoleMenuSpec

前端不得为动态分类修改 web/src/locales/*/menu.ts。动态分类和页面标题必须分别来自已发布 PageSpec 的 category.labels 与 title，而不是不受约束的 metadata。

分类规则

分类 key 的确定规则只有一套：

1. PageSpec 显式声明 category.key 时，使用该值。
2. 生成器创建的 ResourcePage 必须显式写入由 resourceKey 第一个 . 前缀推导的分类。
3. 生成器创建的独立 Operation/Task/Report 页面必须显式写入由主 binding 原始 functionId 第一个 . 前缀推导的分类。
4. 仅供手工创建且缺少上述来源的 PageSpec 使用 pageKey 的第一个 . 前缀；没有 . 时使用完整 key。

其中第 2/3 条的生成器默认值定义见 ProComponents 页面生成与运行时（唯一出处）；本节只保留菜单侧的仲裁与兜底规则。

示例：

输入	最终分类
category.key = support, resourceKey = player	support
resourceKey = player.ban	player
resourceKey = mail.send	mail
resourceKey = mail	mail
functionId = analytics.retention	analytics
pageKey = custom.page（手工创建）	custom

分类仲裁

同一 category.key 可被多个 PageSpec 使用，分类的 labels 和 order 必须有唯一事实：

1. 发布时 Server 校验同一 scope 内相同 category.key 的所有已发布 PageSpec，其 category.labels 必须完全一致；不一致则发布失败，由管理员在 Page Studio 统一后重发。
2. 分类 order 取该分类下所有已发布页面 category.order 的最小值；分类内页面按各自 order 排序。
3. 分类下最后一个页面下线时分类随之消失，不存在独立的空分类配置。

确定时机

函数注册不提供运行菜单分类，也不提供分类多语言显示名。Server 可以根据 resourceKey、主 binding 原始 functionId 和契约分析给 Page Studio 提供分类建议，但最终分类必须在 PageSpec 保存或发布时确定。operation--mail.send 等生成 pageKey 不是分类推导来源。

运行控制台加载菜单时不再推断分类。它只能读取已经发布并通过校验的 category.key、category.labels 和页面 labels。

多语言

动态菜单显示名从 PageSpec 的强类型字段中取值：

{
  "category": {
    "key": "support",
    "labels": {
      "zh-CN": "客服",
      "en-US": "Support"
    }
  },
  "title": {
    "zh-CN": "封禁玩家",
    "en-US": "Ban Player"
  }
}

规则：

• category.labels 用于分类菜单标题。
• title 用于页面菜单标题。
• 静态 locale 只用于固定系统菜单，例如“运行控制台”。
• 动态菜单项必须设置 locale: false。
• 缺少系统默认语言时发布失败。
• 默认 labels 由生成器产出（见 UI 生成）；labels 不齐备的 Proposal 不得标记为 ready/basic。

路由

运行控制台保留固定参数路由承载动态菜单：

/console/home
/console/:categoryKey
/console/:categoryKey/:pageKey

/console/:categoryKey 展示该分类下的已发布页面。

/console/:categoryKey/:pageKey 渲染具体 PageSpec。如果地址中的分类和 PageSpec 发布分类不一致，前端应跳转到规范路径。URL 不是 scope：页面、菜单和执行都按全局 game_id + env context 查询；同一个 pageKey 可以存在于不同 scope。

边界

禁止：

• 维护硬编码分类表。
• 为动态分类新增静态 i18n key。
• 从前端页面里重复实现分类推断。
• 从函数目录直接生成运行控制台菜单。
• 把未发布 PageSpec 或函数注册草稿展示到运行控制台。
• 缺少分类 labels 时静默显示 key 并继续发布。

允许：

• PageSpec 保存时根据规则生成分类 key。
• Server 根据函数能力契约生成 PageSpec 建议；建议不是菜单事实源。
• 用户在 Page Studio 中覆盖分类、标题、图标和排序。

验收规则

• 新增分类不需要改前端代码。
• 切换语言后，动态分类和页面标题来自 PageSpec labels。
• 没有 PageSpec 发布时，运行控制台不展示对应菜单。
• 没有 category.labels 默认语言时发布失败。
• 函数目录、Page Studio 草稿和运行控制台菜单之间不存在第二套分类逻辑。
• 同一 scope 内相同 category.key 的 labels 冲突时发布失败。
• 切换全局 game/env 后，菜单只显示新 scope 的 active PublishedPageSpec。