feat(day2): 更新课件

slidev/pages/day2/m3-hallucination.md

@@ -44,6 +44,31 @@
 
 ---
 
+# 证据矩阵：事实、推测、不确定
+
+<div class="mt-5 text-sm">
+
+| 类型 | 判断标准 | 输出写法 |
+|---|---|---|
+| 已确认事实 | 能指向文件、函数、注解、配置或测试结果 | “在 xxxController#remove 看到 @PreAuthorize...” |
+| 合理推测 | 有局部证据，但缺少完整链路 | “可能依赖全局拦截器，仍需查看配置” |
+| 无法确认 | 当前上下文没有证据 | “未引用到日志 AOP，暂不能判断是否记录日志” |
+
+</div>
+
+<div class="mt-4 p-3 rounded-xl bg-red-500/10 border border-red-500/30 text-sm">
+<strong>课堂红线：</strong>没有证据时，禁止写“已完成”“一定安全”“肯定没有问题”。
+</div>
+
+<!--
+幻觉控制的关键，是让 AI 学会把事实、推测和无法确认分开。
+只要能指向文件、函数、注解或配置，才叫事实。
+有部分依据但链路不完整，只能叫推测。
+上下文里没有看到，就必须写无法确认。
+-->
+
+---
+
 # 若依证据收集 Prompt
 
 <div class="mt-4 p-4 rounded-xl bg-blue-500/10 border border-blue-500/30 text-sm">
@@ -70,6 +95,29 @@
 
 ---
 
+# 证据表输出模板
+
+<div class="mt-4 p-4 rounded-xl bg-blue-500/10 border border-blue-500/30 text-sm">
+
+```md
+| 审查项 | 证据位置 | 证据内容 | 结论等级 | 不确定点 |
+|---|---|---|---|---|
+| 前端删除按钮 | 文件 + 行为 | 权限字符/显示条件 | 已确认/推测/未知 | 需要补充什么 |
+| 后端删除接口 | Controller + 方法 | 请求路径/权限注解 | 已确认/推测/未知 | 需要补充什么 |
+| 操作日志 | 注解/AOP/配置 | 日志类型/触发条件 | 已确认/推测/未知 | 需要补充什么 |
+| 验证方式 | 测试步骤 | 账号/操作/预期结果 | 已确认/待执行 | 需要谁确认 |
+```
+
+</div>
+
+<!--
+这是建议学员要求 TRAE 输出的表格。
+表格让证据可复查，也方便讲师点评。
+如果某一列空白，就说明 AI 还没有真正完成证据审查。
+-->
+
+---
+
 # 原因判断 Prompt
 
 <div class="mt-4 p-4 rounded-xl bg-emerald-500/10 border border-emerald-500/30 text-sm">
@@ -93,6 +141,29 @@
 
 ---
 
+# 追问模板：把 AI 拉回证据
+
+<div class="mt-4 p-4 rounded-xl bg-red-500/10 border border-red-500/30 text-sm">
+
+```md
+你刚才的结论缺少代码依据。
+请重新输出：
+1. 每条结论对应的文件路径和函数/注解
+2. 哪些是已确认事实，哪些只是推测
+3. 哪些文件还需要我补充引用
+4. 在证据不足前不要给最终安全结论
+```
+
+</div>
+
+<!--
+当 AI 开始空泛总结时，不要继续追问“那怎么改”。
+先用这个追问模板把它拉回证据。
+这也是团队 rules 里应该写进去的一条：证据不足时，必须先请求补充上下文。
+-->
+
+---
+
 # 方案生成 Prompt
 
 <div class="mt-4 p-4 rounded-xl bg-amber-500/10 border border-amber-500/30 text-sm">
@@ -111,3 +182,31 @@
 如果敏感操作缺少日志，才建议补操作日志。
 每个方案都要说明文件、方法、影响范围、验证方式和测试建议。
 -->
+
+---
+
+# 幻觉控制验收
+
+<div class="grid grid-cols-2 gap-4 mt-6 text-sm">
+<div class="p-4 rounded-xl bg-emerald-500/10 border border-emerald-500/30">
+<div class="font-bold mb-2">通过</div>
+
+- 结论能追溯到文件/函数/注解
+- 风险分为事实、推测、未知
+- 修改建议包含影响范围
+- 验证步骤能被人工执行
+</div>
+<div class="p-4 rounded-xl bg-red-500/10 border border-red-500/30">
+<div class="font-bold mb-2">不通过</div>
+
+- 只有“建议加强权限”这类空话
+- 把前端按钮隐藏当安全边界
+- 看不到后端代码却断言接口安全
+- 没有无权限账号验证步骤
+</div>
+</div>
+
+<!--
+第三模块结束时，学员应该知道什么叫“靠谱的 AI 输出”。
+不是文字长，而是能追溯、能区分不确定、能执行验证。
+-->