docs: 明确 provider profile 动态 slug 规则

docs/reference/spec-v01-agentrun-mgr.md

@@ -125,7 +125,7 @@ Manager 只承接 HWLAB v0.2 Code Agent 的通用执行事实，不承接 HWLAB
 | `projectId` | 必填，例如 `pikasTech/unidesk`、`pikasTech/HWLAB`。 |
 | `workspaceRef` | 必填，描述 source/worktree/workspace，不由 runner 猜测。 |
 | `providerId` | 必填，例如 `G14`、`D601`；只表示目标 provider，不直接授予业务权限。 |
-| `backendProfile` | 必填，`v0.1` allowlist 为 `codex`、`deepseek` 与 `minimax-m3`；三者共享 Codex stdio backend kind。 |
+| `backendProfile` | 必填，必须是小写 slug；`codex`、`deepseek`、`minimax-m3`、`dsflash-go` 是内建 profile，动态 slug 通过 `agentrun-v01-provider-<profile>` SecretRef 生效。当前这些 profile 共享 Codex stdio backend kind。 |
 | `executionPolicy` | 必填或由 manager 显式补齐默认值，至少包含 sandbox、approval、timeout、network 和 secretScope。 |
 | `traceSink` | 字段必须存在；可以为 `null` 或显式 sink。 |
 
@@ -135,7 +135,7 @@ Manager 只承接 HWLAB v0.2 Code Agent 的通用执行事实，不承接 HWLAB
 
 `v0.1` 不实现独立 policy engine。Manager 只做基础边界收敛：
 
-- 校验 tenant/project/provider/backendProfile 是否在 `v0.1` 允许集合内；当前 backendProfile 允许 `codex`、`deepseek` 与 `minimax-m3`。
+- 校验 tenant/project/provider/backendProfile 是否符合 `v0.1` 允许范围；当前 backendProfile 允许内建 profile 和符合小写 slug 规则的动态 profile，动态 profile 必须有匹配 provider credential SecretRef，不能 fallback 到其他 profile。
 - 校验 workspaceRef 形态存在且与 tenant 请求一致；不替 tenant 判断某个 repo 操作是否业务授权。
 - 校验 executionPolicy 不扩大 sandbox、network、approval、timeout 和 secretScope。
 - 校验 secretScope 只引用 [spec-v01-secret-distribution.md](spec-v01-secret-distribution.md) 中允许的 SecretRef，且存在与 `backendProfile` 同名的 provider credential；manager 只校验引用形态，不读取 Secret 值。