F4: verify task recovery and document Prompt background jobs

implement-stage/ASSUMPTIONS.md

@@ -12,9 +12,11 @@
 | A-007 | 通知 | 进度仅网页；完成/失败在线时触发前台总结；离线结果保留供查询 | semantic | default |
 | A-008 | 恢复 | 单进程；重启恢复观察有远端句柄的任务，不自动重新发送未知提交 | semantic | default |
 | A-009 | 远端配置 | 地址/工作目录/Basic鉴权由管理员工具配置，任务冻结连接信息；LLM不能改地址和目录 | interface | default |
-| A-010 | 补充输入 | 同一运行任务可发送文本；权限/问题交互显式等待管理员处理，不自动批准 | semantic | default |
+| A-010 | 补充输入 | 本版仅支持回答远端问题及权限确认；任意实时修改要求需先停止再提交，不自动批准权限 | semantic | default |
 | A-011 | 验证边界 | 未提供真实远端服务，使用httpx MockTransport验证协议和真实Pipecat验证调度；真实联调待部署配置 | semantic | default |
 | A-012 | 外部编码变更 | 仅明确调用任务工具时会启动远端执行，不因查看页面自动执行 | semantic | default |
-
 | A-013 | 任意运行中修改任务 | 本版支持远端待回答的问题/权限；任意实时 steer 延后，新增要求通过停止后重新提交 | semantic | default |
 | A-014 | 任务API字段 | 与现有API一致使用camelCase；执行器内部保持Python snake_case | interface | default |
+| A-015 | 同一工作区并发修改 | 本版原生execute Job采用全局FIFO串行；排队也计入任务时限，避免同时改同一仓库 | semantic | default |
+| A-016 | 状态未知后恢复 | 网页提供显式核查/重新观察；只重连已有远端句柄，绝不重复发送原任务 | semantic | default |
+| A-017 | 自动测试边界 | task工具不出现在普通工具模拟列表；测试运行器中调用task只返回不支持，真实执行需手动语音调试 | semantic | default |

implement-stage/BUILD_NOTE.md

@@ -6,13 +6,17 @@
 | F1 | OpenCode协议适配与状态关联 | cd backend && .venv/bin/python -m unittest tests.test_background_task_native tests.test_opencode_tasks | MUST | passed |
 | F2 | 持久记录、管理API、应用宿主 | cd backend && .venv/bin/python -m unittest tests.test_background_tasks | MUST | passed |
 | F3 | 提示词绑定、任务通知、网页 | cd frontend && npx tsc --noEmit | MUST | passed |
-| F4 | 回归、文档与假设审阅 | make test | MUST | pending |
+| F4 | 回归、文档与假设审阅 | make test | MUST | checks passed; sweep pending |
 
 ## Run record
 - F0: PYTHONPATH=backend backend/.venv/bin/python -m unittest discover -s backend/tests -p test_background_task_native.py → exit 0; native-jobs-smoke.json。
 - F1: 原生 Job + httpx 模拟远端协议共 3 项测试通过；未调用真实模型。
 - F2: 累计 7 项原生Job、协议、服务生命周期与密钥保留测试通过。
 - F3: 累计9项后端任务测试通过，TypeScript检查通过，前端lint无错误（BatchTestPage已有1条warning）。
+- F4: `make test` → exit 0；360 项后端测试、4 项前端契约测试、5 项公开契约检查与生产构建通过。前端已有 BatchTestPage useEffect warning 1 条，无错误。
+- F4: 初次回归发现公开契约快照需更新；随后构建受沙箱 Google Fonts 网络限制，联网重试通过；未修改字体设计。
+- F4: 补充待回答问题的状态核查保留与原生超时清理检查；任务生命周期专项测试通过。假设审阅待执行。
+- 新增迁移区间 SQL：`cd backend && .venv/bin/python -m alembic upgrade 20260907_0025:head --sql` → exit 0。旧历史迁移含数据库读取，未声称全历史离线生成通过。
 ## Deferred
 - 真实远程 OpenCode + 模型联调：未提供服务地址/凭证。
 - 多进程分布式总线及通用插件发现：超出单进程 MVP。