docs: complete L0 side effect validation

2026-07-17 16:05:33 +02:00
parent b39eab8a2c
commit 8cae3e3090
3 changed files with 33 additions and 1 deletions
@@ -32,7 +32,13 @@ description: >-
 - 单个微服务内部、不启动服务进程且不跨服务通信的单元测试和组件测试属于 L0。
 - 适合函数逻辑、配置解析、数据转换、领域服务、微服务内部单元和本地文件操作的快速开发。
 - 只加载当前功能需要的本地依赖。
- 测试一旦跨越 API、Worker、网络、进程或前后端边界，就使用 L1。
+- 测试一旦跨越 API、Worker、网络、独立常驻进程或前后端边界，就使用 L1；native function 同步调用的有界本地 helper 进程仍属于 L0。
+- L0 的完成判定以本次变更实际触及的完整逻辑操作为边界：
+  - 变更默认值、控制标志或分支选择时，沿既有调用链核对该值实际控制的结果和副作用，不能只验证参数解析或首个返回值；
+  - 先列出本次实际触及的决策结果、mutation plan、持久状态和清理动作，只保留适用于当前操作的项目；
+  - 最小合同同时覆盖默认保留或无 mutation 分支，以及本次变更允许的显式 mutation 分支；
+  - 文件系统或有界本地 helper 进程副作用无法由纯断言证明时，使用 disposable fixture、dry-run plan 或一次最小本地 smoke，不因此升级到 L1；
+  - 未被本次问题暴露且未被代码改动触及的模块、风险和组合不扩成测试矩阵、门禁或更高等级回归。

 ## L1 Native

@@ -0,0 +1,23 @@
+# R3.1 任务报告
+
+## 暴露的问题
+
+本次 L0 首轮只验证了默认参数与远端分支结果，没有沿同一逻辑操作继续覆盖既有 local closeout 副作用，导致合并后才发现本地 branch/worktree 仍可能被清理并追加第二个修复 PR。
+
+## 泛化改进
+
+- L0 完成边界改为本次变更实际触及的完整逻辑操作，而不是单个参数或首个返回值。
+- 默认值、控制标志或分支变化必须沿既有调用链核对实际控制的结果与副作用。
+- 最小合同覆盖默认保留或无 mutation 分支，以及本次允许的显式 mutation 分支。
+- 文件系统和同步有界本地 helper 副作用可用 disposable fixture、dry-run plan 或一次最小 smoke 验证，仍属于 L0。
+- 未暴露且未被代码改动触及的风险不扩成测试矩阵、门禁或 L1-L3 回归。
+
+## 未改动范围
+
+未修改 L1、L2、L3 进入条件、生产授权、CI/CD、运行面、CLI 或业务代码。
+
+## 验证
+
+- `quick_validate.py .agents/skills/unidesk-devlevel`：通过。
+- `git diff --check`：通过。
+- 人工合同检查：新增规则可直接约束默认值与副作用链路，同时明确禁止扩测未触及面。
@@ -13,6 +13,9 @@

 执行 [UniDesk #2380](https://github.com/pikasTech/unidesk/issues/2380)：建立可复用的 Temporal 应用 native-first 敏捷开发闭环，以共享 application dispatcher 保证本地 CLI 与 `--overapi` 同合同，先仅启动 native worker 完成 PostgreSQL、workflow 和 CLI 调试，再经应用 owning YAML、GitHub PR、PaC/GitOps 自动交付独立 API/worker Pod 并线上验收；保留快速本地入口，最终沉淀到 `unidesk-temporal` 和应用专项 skill，完成任务后将详细报告写入[任务报告](./details/platform-infra-runtime-reliability/R3_Task_Report.md)。

+### R3.1 [completed]
+
+固化本次分级回环真实暴露的 L0 验收缺口：最低等级验收必须覆盖同一逻辑操作的完整可观察结果和已存在副作用面，不能只测入口参数或首个输出；先列出本次变更实际触及的决策、mutation plan、持久状态与清理动作，再以最少合同覆盖这些已触及面，未暴露且未改动的风险不扩成测试矩阵、门禁或更高等级回归，完成任务后将详细报告写入[任务报告](./details/platform-infra-runtime-reliability/R3.1_Task_Report.md)。
 ## R4 [completed]

 执行 [UniDesk #2452](https://github.com/pikasTech/unidesk/issues/2452)：修复 NC01 Target 透传在连接建立阶段连续返回 frontend ssh upstream websocket error，恢复 trans host/workspace 只读命令和 Artificer NC01/nc01-v02 preflight；保持既有 target-trans、route 与 SecretRef authority，不新增第二 SSH 路径，不触碰 PaC/Tekton/Argo 共享 CI/CD，不以固定 workspace 写入或人工交付绕过，完成任务后将详细报告写入[任务报告](./details/platform-infra-runtime-reliability/R4_Task_Report.md)。