john
60 lines
3.6 KiB
Markdown
60 lines
3.6 KiB
Markdown
# Page Data 交付契约
|
||
|
||
Page Data 页面只有在下面所有条件满足后才可向用户交付链接：
|
||
|
||
1. HTML 实际调用的每个 dataset 已在工作区 `.mindspace/private-data.sqlite` 注册。
|
||
2. 每个注册 dataset 的真实 SQLite 表、声明字段和读写 action 都存在。
|
||
3. page record、online publication 与 policy 使用同一个真实 page UUID。
|
||
4. 公开页完成一次受权限约束的 insert smoke；后台页完成 password auth 后的 read smoke。
|
||
|
||
`private_data_bind_workspace_page` 是硬门：它在创建 page / publication / policy 前，必须从 SQLite registry 派生权限。Agent 传入的策略不能凭空创建 dataset 或字段权限。
|
||
|
||
运行时路径必须按语义区分：
|
||
|
||
- `workspaceRoot`：`MindSpace/<user>`，保存 HTML、policy 和 private-data.sqlite。
|
||
- `storageRoot`：MindSpace service 的持久页面/资产存储。
|
||
- `usersRoot`：登录用户目录。
|
||
|
||
不要通过 `MINDSPACE_STORAGE_ROOT` 推断 Page Data 的 workspaceRoot。Portal、MindSpace service 与 sandbox MCP 必须显式使用同一 workspace contract。
|
||
|
||
回归命令：
|
||
|
||
```bash
|
||
npm run verify:page-data
|
||
npm run verify:mindspace-publish-guards:full
|
||
npm run verify:mindspace-page-sync-guards
|
||
```
|
||
|
||
涉及 H5 交付时，还必须验证：未注册 dataset 时不产生可用 Page Data policy，且最终链接交付被拒绝或进入明确 repair 状态。
|
||
|
||
## Finish 异步收尾不得留下永久 preparing
|
||
|
||
Portal 的 session SSE 在收到 Finish 后会异步执行页面同步、HTML 守卫、Page Data
|
||
绑定检查和 delivery contract ready 标记。该收尾链路是幂等的；任一瞬时异常不得被
|
||
静默吞掉并把已完成页面永久留在 `preparing`。
|
||
|
||
- `server/portal-session-routes.mjs` 必须对整段 Finish delivery finalization
|
||
执行有限重试，并记录包含 session 与 attempt 的警告
|
||
- 已产生本轮 public HTML 时，HTML 或 Page Data 守卫返回非 ready 也必须进入
|
||
有限重试；不能把 `limit`、`triggered` 等中间状态当成成功收尾
|
||
- `tkmind-proxy.mjs` 收到 SSE Finish 后必须先独立启动页面收尾，再执行计费；
|
||
重复计费或计费服务异常不得跳过 delivery finalization
|
||
- workspace-backed 资产版本使用稳定的 `workspace://` storage key；工作区文件更新
|
||
必须锁定资产并原位更新当前版本记录，禁止为同一 storage key 并发插入新 version
|
||
- 每次尝试必须成对调用 `beginSessionPageDelivery` /
|
||
`endSessionPageDelivery`，失败后不得遗留内存 busy 状态
|
||
- 只有 HTML 与 Page Data 两道守卫都通过，才允许调用
|
||
`markPageDeliveryContractReady`
|
||
- 回归用例：`server/portal-session-routes.test.mjs` 中的 transient
|
||
post-Finish failure retry 场景
|
||
|
||
## PostgreSQL 用户空间角色守卫
|
||
|
||
生产用户空间 PostgreSQL（独立于 Goose session PostgreSQL）通过 `SET LOCAL ROLE ms_u_*_agent` 隔离每个用户。必须保留以下约束：
|
||
|
||
1. provisioning 必须显式授予运行连接用户 agent role 的 `SET` 权限。
|
||
2. agent role 保持 `INHERIT FALSE`；只允许显式 `SET ROLE` 后访问用户 schema，不能让连接用户默认继承全部用户权限。
|
||
3. 已存在的用户空间在首次访问时必须幂等检查并修复缺失的 `SET` 权限，不能只修复新注册用户。
|
||
4. 验收必须使用与生产等价的非超级用户连接完成 `SET LOCAL ROLE`、建表、dataset 注册和读写；超级用户会绕过角色切换限制，不能作为该问题的验收依据。
|
||
5. 修复角色授权时禁止修改用户 schema、表和数据；生产操作前保留用户空间 PG dump、角色授权快照和回滚 SQL。
|