feat: enforce device pod leases

docs/reference/spec-device-pod.md

@@ -163,6 +163,9 @@ POST /v1/device-pods/{devicePodId}/jobs
 GET  /v1/device-pods/{devicePodId}/jobs/{jobId}
 GET  /v1/device-pods/{devicePodId}/jobs/{jobId}/output
 POST /v1/device-pods/{devicePodId}/jobs/{jobId}/cancel
+POST /v1/device-pods/{devicePodId}/leases
+GET  /v1/device-pods/{devicePodId}/leases/current
+DELETE /v1/device-pods/{devicePodId}/leases/current
 ```
 
 管理员 API 由 `cloud-api` 提供：
@@ -242,6 +245,8 @@ manages: many devicePodId
 - `hwlab-device-pod` 一个实例可以列出并执行多个 `devicePodId` 的状态/job。
 - cloud-api compatibility fallback 只能返回 blocked authority payload，不得合成 fake device pod 数据或作为正式 device-pod DEV-LIVE 证据。
 - 强副作用 job 必须有 reason，并在物理互斥需要时获取 `device_leases`。
+- `POST /v1/device-pods/{devicePodId}/leases` 只对已授权 actor 创建或刷新互斥租约，响应只返回一次性 `leaseToken`；后续强副作用 job 必须通过 `leaseToken` 或 `x-hwlab-device-lease-token` 证明持有租约。
+- 撤销 device pod grant 必须释放该用户对同一 `devicePodId` 的活动 lease。
 
 ## 测试规格
 
@@ -262,8 +267,8 @@ manages: many devicePodId
 | 规格项 | 状态 | 说明 |
 | --- | --- | --- |
 | 逻辑 device-pod 模型 | 已实现为规格 | 四要素、profile shape 和 Kubernetes 口径已定义。 |
-| profile server authority | 未完全实现 | 当前 v02 device-pod 服务未读取正式 DB profile。 |
-| 用户 grant + lease | 未完全实现 | 与 spec-user-access 配套，仍待完整实现。 |
-| REST/job API | 未完全实现 | 当前只读/fake device-pod payload 已部署，正式 job lifecycle 未完成。 |
+| profile server authority | 部分实现 | cloud-api 保存正式 DB profile 并向用户返回脱敏摘要；device-pod executor 不接受用户上传 profile。 |
+| 用户 grant + lease | 部分实现 | cloud-api 已实现 admin grant、可见性过滤、lease acquire/current/release、强副作用 job lease 校验和撤销授权释放 lease。 |
+| REST/job API | 部分实现 | cloud-api 已实现 list/status/events/probe/job/output/cancel 和 lease API；无在线 gateway/device-host-cli 时返回 blocker。 |
 | 禁止 fake 作为 DEV-LIVE | 已实现/持续约束 | 规格和服务 payload 要求显式标记 fake/source。 |
 

docs/reference/spec-user-access.md

@@ -277,6 +277,7 @@ code agent prompt、runner 或 worker 不得直接绕过 cloud-api 调用 device
 | `POST /v1/admin/device-pods`、`PUT /v1/admin/device-pods/{devicePodId}` | admin 管理 device pod profile authority。 |
 | `POST /v1/admin/device-pod-grants`、`DELETE /v1/admin/device-pod-grants/{devicePodId}/{userId}` | admin 授权或撤销普通用户使用 device pod。 |
 | `GET /v1/device-pods` 和 device-pod 操作 API | 按 actor role 和 grant 过滤可见/可用 device pod。 |
+| `POST /v1/device-pods/{devicePodId}/leases`、`GET/DELETE /v1/device-pods/{devicePodId}/leases/current` | 对已授权 device pod 获取、查看和释放互斥 lease；强副作用 job 必须携带有效 lease token。 |
 | `POST /v1/agent/chat` 及 result/trace/cancel | 必须校验 `agent_sessions.owner_user_id`；admin 可跨用户查看和取消。 |
 
 ## 微服务设计
@@ -331,7 +332,7 @@ Kubernetes 只做运行时隔离和资源兜底，不承载 HWLAB 用户权限
 | 规格项 | 状态 | 说明 |
 | --- | --- | --- |
 | admin/user 两角色模型 | 部分实现 | cloud-api 已实现 `/auth/*`、bootstrap admin、admin/user 创建和 admin-only 路由。 |
-| `users`、`user_sessions`、grant/lease 表 | 部分实现 | 0001 schema 和 access-control bootstrap 覆盖 users、sessions、device_pods、grants、leases 和 jobs；lease 互斥流程仍待接入真实执行链路。 |
+| `users`、`user_sessions`、grant/lease 表 | 部分实现 | 0001 schema 和 access-control bootstrap 覆盖 users、sessions、device_pods、grants、leases 和 jobs；Device Pod 强副作用 job 已接入 lease token 校验，真实硬件执行仍依赖 gateway/device-host-cli 在线。 |
 | Code Agent owner 绑定 | 已实现 | 已在 `agent_sessions` 写入 `owner_user_id`、conversation/thread/trace 和脱敏 session evidence；trace/result cache 也按 owner/admin 限制访问。 |
 | device pod 授权模型 | 部分实现 | cloud-api 已实现 admin profile/grant、普通用户可见性和 job 持久化；无在线 gateway/device-host-cli 时返回 blocker。 |
 | 不用 Kubernetes 表达用户权限 | 已实现/持续约束 | 规格明确禁止普通用户持有 kubeconfig 或直连 Service 权限。 |