学术写作 Harness
核心理念
高质量输出 ≠ 靠直觉生成 + 一次性审核
高质量输出 = 持续生成 + 确定性校验（找茬）+ 最小化反例修复
这套"双层 Loop + Harness"本质上是基于快速证伪的生成-校验元框架。核心思想：
- 编程 Harness 修的是"确定性 Bug"，学术 Harness 修的是"逻辑脆性"
- 不要问"这段写得好不好"，要让它"找到这一段在哪句话上必定会被审稿人质疑"
核心概念映射
| 编程场景 | 学术写作场景 |
|---|---|
| Oracle（参照标准） | 顶级期刊论证结构 / 核心 Thesis Statement |
| 反例生成器（Fuzzer） | 逆向提纲法 + 评审人 Agent |
| Shrinking（最小化） | 强制压缩到 150 字核心论证链 |
| 代码执行结果 | 逻辑一致性 + 实证匹配度 |
| Equal（相等判定） | Entailment（蕴含程度）/ Citation Support（引用支撑度） |
能力一：逆向提纲法（反例生成）
工作原理
将写好的每一段压缩成一句话，自动检测逻辑跳跃；或模拟严苛审稿人，从"数据是否支撑结论"、"术语是否前后一致"等维度找茬。
执行方式
输入：段落文本
输出：
1. 一句话压缩版
2. 逻辑跳跃点（如果有）
3. 潜在质疑清单
4. 需要补充的证据类型
实操模板
段落输入：
[粘贴待审查的段落]
压缩指令：
请将上述段落压缩为一句不超过 30 字的核心断言，并指出：
1. 该断言能否从段落中找到直接支撑
2. 哪些表述是"跳步"（缺少中间推导）
3. 最可能被审稿人质疑的具体位置
能力二：最小化反例修复（Shrinking）
工作原理
当文章被批"逻辑不通"时，强制删减冗余修饰，浓缩到 150 字以内的核心论证链条，直到找出是哪两个观点之间的衔接词用错了。
执行方式
输入：被质疑的段落/章节
输出：
1. 最小化核心论证（150字内）
2. 逻辑依赖关系图
3. 断点定位（哪两个观点之间断了）
4. 修复建议（补充什么/修改什么）
实操模板
场景：论文第五章的结论被质疑"实验设计支撑不了"
执行步骤：
1. 将第五章核心结论压缩为一句 20 字断言
2. 将第三章实验数据压缩为最简单的 2x2 对照表格
3. 检测：该断言在表格中是否有对应统计学支撑
4. 如果没有：
- 选项A：修改断言措辞（如"显著提升"→"在特定阈值下有提升趋势"）
- 选项B：补做最小对照实验
"电梯测试"（快速 Shrinking）
写完任何核心段落后，强制压缩到 50 字。
如果压缩后论点不成立 → 原段落"逻辑栈溢出"，必须重写
能力三：双路径并行 Loop
工作原理
让两个 Agent 分别走批判路径和辩护路径：
- 一个拼命找漏洞
- 一个拼命补漏洞
- 共享"失败队列"（所有被质疑的段落）
执行方式
并行输入：同一段落/论点
Path-A（批判者）：
"你是严苛审稿人，找出这篇文章最致命的3个逻辑漏洞"
Path-B（辩护者）：
"你是作者，针对上述质疑，逐一给出最强辩护或承认修改"
合并输出：
1. 漏洞清单
2. 可辩护项 vs 不可辩护项
3. 必须修改项（不可辩护）
能力四：证据链强度评估
工作原理
科研场景的"Harness"不能判定"绝对错误"，只能判定证据链强度低于阈值。
评估维度
| 维度 | 评估问题 |
|---|---|
| 逻辑蕴含 | 结论是否被前提条件必然导出？ |
| 引用支撑 | 每个关键断言是否有对应文献支撑？ |
| 反例覆盖 | 边界条件/反例是否被讨论？ |
| 因果 vs 相关 | 是否混淆了相关性陈述和因果性陈述？ |
输出格式
证据链评估报告：
├── 逻辑蕴含度：X/10（低于7需警惕）
├── 引用支撑度：X/10（低于6需补充）
├── 反例覆盖度：X/10（低于5需增加讨论）
└── 整体风险等级：🔴高 / 🟡中 / 🟢低
能力五：Oracle 锚定（学术写作版）
工作原理
科研没有唯一的"旧实现"。需要显式引入多 Oracle 参照：
- 3 篇最相关的顶会 Paper
- 已确立的领域边界条件
- 第一性原理（物理/化学/数学定律）
执行方式
输入：
1. 你的核心方法/论点
2. 3篇参照文献
输出：
- 你的论证是否覆盖了文献中已确立的"已知边界"
- 你的方法在哪些条件下可能失效（反例边界）
- 与 Oracle 相比的创新点 vs 继承点
实操流程示例
场景：审稿意见回复
步骤1：提取审稿人的核心质疑
→ 逆向提纲法压缩审稿意见到 3 句话
步骤2：针对每条质疑执行 Shrinking
→ 强制找到"最小可回应单位"
步骤3：双路径并行
→ Path-A 找最强反驳点
→ Path-B 找最弱需要补实验的点
步骤4：输出回复方案
→ 承认/辩护/修改 分类处理
场景：论文初稿自检
步骤1：分章节逆向提纲
→ 每章压缩为 1 句话
步骤2：全篇逻辑链检查
→ 从摘要到结论，是否存在逻辑跳跃
步骤3：证据链评估
→ 逐段落检查引用支撑度
步骤4：最小化修复
→ 优先修复不可辩护的逻辑断点
关键约束
- 不追求"写得好"，追求"经得起质疑"
- 验证器给出的是概率性评估（强度/程度），不是二元对错
- Oracle 需要人工锚定，AI 无法自行判断领域边界
- Shrinking 是强制性的——不压缩到最小单位不停止
适用场景
- 科技论文（初稿撰写 / 审稿回复 / 修订）
- 研究报告（论证结构 / 证据链检查）
- 基金本子（立项依据 / 研究方案论证）
- 综述文章（逻辑连贯性 / 引用充分性）
非适用场景
- 纯文学创作（不需要逻辑证伪）
- 新闻报道（时效性优先）
- 简单的事实陈述（不需要论证结构）
