58 lines
4.7 KiB
Markdown
58 lines
4.7 KiB
Markdown
# P4 注入与离线降级 golden notes（主管收口）
|
||
|
||
> 日期：2026-09-04 · 协同轮：P4/P5（GOAL-P4）
|
||
> 注入集：Agent-C2（Volta）交付；离线集：Agent-H（Aquinas）交付；本 notes 由主管按各自报告与联合复核结果收口。
|
||
> 硬约束：本轮未改任何产品代码；只新增/清理测试文件与记录，未 commit/push。
|
||
|
||
## 1. 复核数字
|
||
|
||
| 文件 | 内容 | 主管联合复核 |
|
||
|---|---|---|
|
||
| `tests/golden/test_fallback_p4_injection.py` | I-01..I-26 已产品化攻击面 + 白名单缺失 fail-closed | **57 passed / 1 skipped**（3.31s） |
|
||
| `tests/golden/test_fallback_p4_offline.py` | O-01..O-10 无模型/断网/降级全集 | **24 passed / 0 skipped**（37.60s，Agent-H 复跑） |
|
||
| `tests/golden/test_fallback_p4_quality.py` | Q-01..Q-40 + 指标聚合门禁 | **44 passed**（Agent-B 复跑） |
|
||
| 8 个兜底专项联合 | lane/execute/highrisk/offline_booking/p3_attack + P4 三文件 | **197 passed / 1 skipped in 51.87s** |
|
||
| ruff | P4 新增三个测试文件 + 既有 5 个兜底测试 | **All checks passed** |
|
||
|
||
唯一 skip：`test_i22_junction_symlink_escape_not_constructed_on_windows`。原因不是防护失败，而是 Windows
|
||
junction/symlink 语义依赖管理员/开发者模式，测试文件显式不构造不稳定目录链接，保持套件可复跑。
|
||
|
||
## 2. 注入黄金集覆盖（I-01..I-26）
|
||
|
||
- I-01..I-08：用户 prompt 注入（忽略指令、XML/HTML 包装、base64、伪造 system/assistant、伪已确认、要求不写审计）
|
||
→ 全部断言零世界写、零越权卡、审计仍在，报告文本只能落到合法计划卡。
|
||
- I-09..I-15：CSV/Excel 行、订单备注、snapshot、MES 外部报文藏指令 → 当数据处理或只出合法计划卡，攻击文本不进卡面。
|
||
- I-18：报告自称已审批/已授权 → 只可能出卡，卡 approvals 仍为空，零执行。
|
||
- I-19：伪 `call-<uuid>` callId → `forged_citation`，显式失败，零写。
|
||
- I-20/I-21：相对/绝对/反斜杠/URL 编码路径逃逸 → 读/写均拒绝，界外目标不存在。
|
||
- I-22：junction/symlink 逃逸 → Windows 本环境显式 skip，不构造不稳定目录链接。
|
||
- I-23/I-24：bash/写库/未登记工具冒充事件 → guard/桥拒绝，calls.jsonl 不落账。
|
||
- I-25：`status: success` 伪状态行 → 主管裁决本轮不补机器校验；测试锁定“不消费动作邮箱、无 aps_invoke 调用、零越权写”。
|
||
- I-17/I-26：日志/报告里的 token/api_key/client_secret/password → `***REDACTED***`，calls 账与诊断输出零明文。
|
||
- 白名单缺失/损坏：S4/S6/S7 高风险计划全拒（`plan_invalid` + FAILED 审计），P1/P2 不受影响。
|
||
|
||
## 3. 离线/无模型降级覆盖（O-01..O-10）
|
||
|
||
- O-01：features 缺失/损坏/非 bool → fallback=False，原路径。
|
||
- O-02：缺 LLM_BASE_URL/API_KEY → build_pi_runner 显式 unavailable + FAILED 审计，零写。
|
||
- O-03：GET /models 超时/HTTP 错/空清单 → resolve_model 失败、unavailable，不拉起子进程。
|
||
- O-04：LLM_MODEL 不在目录 → 取第一项并记协商 note（锁现状语义）。
|
||
- O-05/O-06：node 缺失、pi cli.js 缺失/损坏 → unavailable；损坏 CLI 留到真实执行期显式失败。
|
||
- O-07：执行期错误/网络断/max_output 熔断 → harness_error/failed，零写。
|
||
- O-08：run 目录创建失败 → propose_reply 不抛，回原话术，不残留半成品。
|
||
- O-09：白名单缺失/损坏 → P3 全拒，P1/P2 可用。
|
||
- O-10：MES 断连 → `offlineBooking` 显式声明 + 实时探测双成立才本地落账（PENDING_SYNC）；在线声明/审批窗口恢复/非 bool 均拒绝或回滚。
|
||
|
||
## 4. 最易失败点（后续复跑提示）
|
||
|
||
1. 模型协商缓存：`fallback_lane._MODEL_CACHE` 是进程级全局；O-03/O-04 必须清理/隔离该缓存，否则会命中前一用例的协商结果。
|
||
2. env 隔离：用例必须清空 `LLM_*` 并给每个 test 独立的 `APS_FALLBACK_DIR/APS_FEATURES_PATH/APS_FALLBACK_HIGHRISK_PATH`，否则无模型场景会被真实环境串扰。
|
||
3. 伪 callId：产品校验只认 `call-<uuid>` 形态；想测 `forged_citation` 必须用符合形态但未签发的 id，纯数字/短串不会进入目标分支。
|
||
|
||
## 5. 主管裁决与本轮边界
|
||
|
||
- F5 无模型 force-off/UI 状态位：本轮不改产品，锁“默认关 + 逐次显式失败 + FAILED 审计 + 零写”，缺口另立后续任务。
|
||
- Pi `status:` 行机器校验：本轮不补产品；I-25 只锁不产生越权主干写并记录缺口。
|
||
- PENDING_SYNC 自动补推、per-step 时间戳、真实 token/cost、`/api/gov/audit` runId 过滤：均为后续任务，不视为本 P4 完成项。
|
||
- P3-VALIDATION 的 GO/NO-GO 文档矛盾由主管在收口时修正（见 P3-VALIDATION §7）。
|