# P3-WP06 本地工程验证证据

验证日期：2026-08-11。范围仅限 P3-WP06 受影响代码；未执行全量回归。

| Gate | Evidence | Result |
| --- | --- | --- |
| 访问决策、默认拒绝、脱敏、provider fail-closed、法务保全 | `tests/security/test_trusted_delivery*.py` | pass |
| 策略/授权/订阅/控制 HTTP 边界、RBAC、no-store、闭合 schema | `tests/test_trusted_delivery*.py` | pass |
| OpenAPI 路径、权限、no-store、部署副本 | `tests/test_trusted_delivery_openapi_contract.py` | 2 passed |
| 迁移契约 | `tests/test_phase3_wp06_subscription_migration_contract.py` | pass |
| PostgreSQL 幂等、并发、重启、lease/fence、回执/证据 append-only、保全、订阅死信、控制门禁，以及三身份 runtime 网关负例 | `tests/integration/test_phase3_wp06_*.py` | pass |
| 总定向测试批次 | 21 个 WP06 受影响测试文件 | **63 passed** |
| Alembic | 临时 DBA 仅预置角色/成员关系/依赖权限；NOSUPERUSER/NOCREATEROLE migrator 执行 `480 -> 495 -> 480 -> 495`，并执行 `494 -> 495 -> 494 -> 495`，head/current | pass; `20260811_495` |
| 可交付门禁 | Ruff、`py_compile`、JSON、OpenAPI 再生、468 operations、source/deployment/migration byte parity、`git diff --check` | pass |

## 本次 RED 与修复

- 第一次定向批次在未设置项目导入路径时，两个直接导入 `app` 的控制测试未能收集；使用项目测试环境的 `PYTHONPATH=.` 后，完整批次通过。
- 定向 Ruff 发现 9 个仅涉及 import 排序/未使用导入的静态问题；已自动格式化并重新验证通过。
- `20260811_490` 初版触发器以 `CASE` 同时引用异构行的 `NEW.actor_uid` 与 `NEW.created_by`；PostgreSQL 会在分支求值前解析字段。`20260811_491` 改为先在 PL/pgSQL 中选择 actor，并以真实 runtime login 覆盖合法、伪造、缺失和过期审批事实。
- `20260811_494` 使 provision adapter 仅能在已独立提交的 outbox intent 且持有数据库时间 lease/fence 后执行；失败回到 pending，过期后可重领，旧 worker 不可写回。`20260811_495` 拒绝零宽字符与常见西里尔同形字符伪装的 URL/credential 证据。
- 真实 Flask + PostgreSQL 请求已验证：成功写入可由独立连接读取；在提交点注入失败后，请求返回失败且数据库中不残留策略写入。

## 外部边界

`security_legal`、`identity`、`network` 与真实 KMS/HSM、DLP、SIEM、IAM、数据库/API/文件目标、审批事实、行业控制和供应链平台证据均为 `TBD_EXTERNAL`。本地 fake provider 仅为确定性合同测试，不是企业集成、企业 UAT 或生产就绪证据。