平台服务
三层验证
分别证明实现约束、消费者行为和真实运行环境。
Code Validation
类型检查、lint、单元测试和模块级集成测试。重点覆盖分支、输入边界、错误映射、幂等逻辑和事务控制。
Contract Validation
从消费者视角执行成功、错误、权限、兼容性和副作用语义。Contract fixture 应来自权威 schema 或真实 consumer case，不要只复用实现内部类型。
Runtime Validation
在真实依赖或受控环境中验证启动、配置、鉴权、网络、数据库、队列、外部系统和观测信号。必须记录环境和 source revision。
| Layer | 能证明 | 不能证明 |
|---|---|---|
| Code | 实现满足局部约束 | consumer Contract 仍兼容 |
| Contract | 对外行为符合定义 | 真实环境依赖可用 |
| Runtime | 当前环境的完整路径可执行 | 所有代码分支都正确 |
高风险副作用需要人工 review；测试通过不自动授权生产操作。