模块 3 · 决策 vs 原则

不变量、原则
和降级不是一回事

不变量：过不了就拒或走唯一规定路径。 原则：多种写法都合法，但优先选 A。 降级：依赖坏了仍要服务，但不能悄悄突破不变量。

对照表（指挥 AI 时用）

不变量

问数仅 SELECT；审计只 INSERT → 失败时 DENY

原则

Bearer 优先于 debug 头 → review / 文档纠偏

降级

1B fact_text；Redis 会话 fail-open → 能力缩水，规则仍成立

客户线 1B：不是「放行违禁」，是换安全出口

分支 
数据查询 intent + 违禁词
  → finalize: 回退 fact_text
RAG/闲聊 + 违禁
  → COMPLIANCE_REJECT（仍不 auto transfer）
白话

降级 = 仍合规地回答问题，不是 ignore 过滤器。

若 AI 建议「违禁就删 sanitize」——违反不变量，应拒绝。

哪项属于「允许的设计降级」？

假阀门： 问数曾用「SQL 里出现 customer_id 字符串就算有过滤」——探针证明仍可能全表泄露。不变量必须在语义上可测。