用途：构建与审计"基础设施本身即对手"的系统，即保护使用中的工作负载与数据不被云运维方、hypervisor、节点管理员、共租户或可物理访问内存者获取。任务开始须显式选择两种模式之一。
BUILD模式：先命名对手，若无可成立对手则停止，普通TLS+静态加密+KMS已足够；按升级阶梯选取最低足够层级（传输/静态→HSM/KMS→机密VM→进程enclave→PET），并写入设计文档；按工作负载形态从选型表选TEE技术，使用最新稳定平台代次并在设计时核实厂商支持；部署前设计远程证明：证据、验证方（托管或自托管）、策略，以及证明结果门控什么（密钥释放、密钥注入、通道建立）——不门控任何东西的证明只是装饰；K8s上区分机密节点（排除运维方、不排除集群管理员）与机密Pod/CoCo（两者均排除），密钥经KBS"先证明后释放"而非K8s Secrets，并预先规划降级调试方案；若不可接受硬件信任则评估PETs（多数"需要FHE"实为TEE或差分隐私问题），仅在适用时使用标准参数集与经审计库。须记录诚实限制：侧信道、可用性（从不保护，主机总能杀死工作负载）、TEE厂商位于TCB内。交付物：命名对手与所选层级、TEE/PET选型理由、证明流程图（RATS角色）及门控内容、验证策略（拒绝调试模式、TCB处理、新鲜性）、残余风险清单。
AUDIT模式：清查使用中数据暴露面→对照定义核查声明（须为经证明的硬件TEE，仅内存加密不等于机密计算）→端到端走查证明链（有无消费结果？是否拒绝调试模式？TCB是否最新？nonce是否新鲜？）→K8s上核对层级与威胁声明是否匹配→PETs核查参数/库/威胁模型→执行各已加载规则文件的审计清单。
严重度：Critical如无证明或证明不门控、生产接受调试模式TEE、经被排除方控制的通道交付密钥、手写FHE/ZKP参数或电路；High如需要SNP级完整性却用普通SEV/SEV-ES、证据未链到厂商根或未查TCB、缺少重新证明与参考值轮换；Medium如侧信道姿态过时未记录、证明结果未作安全信号监控、机密Pod缺客户机内存储加密；Low为卫生问题。发现格式：file:line | rule | severity | effort | fix。
规则索引：01-威胁模型与选型（CCC定义测试、五级阶梯、对手→机制决策表，每次任务先读）；02-TEE技术（SEV→SEV-ES→SEV-SNP不足阶梯、TDX、ARM CCA、SGX、Nitro Enclaves、NVIDIA机密GPU、Wasm-in-TEE、侧信道与物理攻击姿态、工作负载选型表）；03-远程证明（RATS/RFC 9334角色映射、证明门控模式、证据硬规则、托管与自托管验证方、参考值管理与TCB恢复、RA-TLS、重新证明与监控）；04-机密Kubernetes（机密节点vs机密Pod两种威胁模型、CoCo栈、运维变化、镜像供应链、局限）；05-PETs（判定优先的分诊、FHE方案族BGV/BFV、CKKS、TFHE与标准化锚点、MPC/阈值与合谋假设、ZKP工程风险、PSI/OPRF、TEE-vs-PET-vs-DP选型与混合）。
十大不可妥协：无证明即无机密计算；证明必须门控；选最低足够层级；生产拒绝调试模式并核验证据链至芯片厂商根，TCB过期须作策略决策而非静默接受；新鲜性是证明一部分；须SNP级完整性；Nitro信任模型须诚实说明（提供商仍在TCB内）；机密节点≠机密Pod；侧信道与可用性按设计超出范围须记录；PETs只用经审计库与标准参数集。