LEARN · PRACTICE · REFLECT
知识练习 · 独立作答
原理与解答已折叠。用自己的话解释核心机制、边界和验证方法,再展开对照。
先用自己的话解释
核心原理、解析、问答和迁移案例已收起。准备好后展开,对照内容找出遗漏。
动手验证 按需完成 · 建议 15 分钟
设计“今日银行支出”查询契约,给出 JOIN 导致重复累加的反例。
展开验收要求与检查点
- 业务口径显式
- 权限由可信身份决定
- 金额可确定性复核
重点检查
- 将自然语言映射到指标口径
- 理解只读与 AST 校验的局限
- 能发现权限和 JOIN 重复累加