# 研究模式（Mode A vs Mode B）

> 三个模板（Template 1/2/3）共享的"产出定位"开关。决定 paper / 笔记是
> **追求可证伪新贡献的研究**，还是**整理已知结果的综述**。

## 默认：Mode A — 实质研究

适用于绝大多数情况。目标是产出**至少一项可证伪的新内容**：
- (a) 新定理 / 新证明（含与已知最强结果的精确差距）
- (b) 新猜想 + 数值证据（明确预测区间 + 已验证范围）
- (c) 新算法 / 新计算结果（含规模 + 运行时间 + 输出文件）
- (d) 新综述视角（指出已知结果间的新联系）

如果只剩 (d) 而无 (a)(b)(c)，应自动**降级**到 Mode B 或拒绝产出 research article。

**关键 deliverable**：
- 数值实验跨多 log 尺度（n=10, 10², 10⁴, 10⁶ 至少四档）
- OEIS / LMFDB 交叉对照
- 显式 §Predictions（可证伪推测）
- Reviewer 必须独立复现 §Numerical 的关键表
- Writer brief 必须有 §"实质贡献声明"（声明属于 (a)(b)(c) 中哪一类）

## 触发：Mode B — 综述 / Exposition

仅当用户的请求**显式**落在以下短语时切换：

- "综述 X" / "survey of X"
- "总结一下当今 X" / "state of the art on X" / "current state of X"
- "让我学习一下 X 领域" / "学习 X" / "learn about X" / "study X"
- "告诉我什么是 X" / "what is X" / "explain X to me"
- "X 的最新进展" / "recent progress on X" / "latest in X"
- 用户明确说 "我想要一篇综述 / expository note / textbook chapter"

**关键 deliverable**：
- 数值实验仍然要做，但**小尺度 sanity 即可**；不强制 OEIS / LMFDB
- §Predictions **可选**（综述不必下注）
- Reviewer 独立复现 **可选**（综述里的数据多是引用，不是原创）
- Writer brief 的 §"实质贡献声明"应诚实标注 "(d) 综述视角 only"
- 目标期刊定位：L'Enseignement Math.、Expositiones Math.、Bull. AMS Surveys、textbook chapter、blog post

## 自动检测流程

任何模板的 main thread / coordinator 在 Stage 0 / 阶段 0 都必须执行：

1. 读用户最近的请求（含触发该 pipeline 的那条消息）
2. 是否含 Mode B 触发短语？
   - **是** → 标记 `mode=B`，告知用户："检测到你想要综述/科普性内容，
     我会用 Mode B 跑（小尺度数值，可选 §Predictions，目标 expository 期刊）。"
3. **否** → 默认 `mode=A`，告知用户："默认用 Mode A 跑（实质研究：多尺度数值、
   §Predictions 必填、reviewer 独立复现）。如果你想要的是综述，告诉我切到 Mode B。"
4. 把模式写到 `decision_log.md` 第一行：`[mode] 2026-MM-DD ok mode=A|B reason=...`
5. 后续所有 agent 的 prompt 必须**显式带上**该 mode 标记，agent 据此选行为。

## Mode 由谁决定

- **用户优先**：用户在对话中明确说 "切到 Mode A" / "切到 Mode B" → 立即切换
- **触发短语其次**：用户没明说但请求落在触发短语 → coordinator 切到 B 但**主动确认**
- **默认 A**：以上都不成立 → 默认 A，第一句就告诉用户 "默认 Mode A，要综述请说"

## 决策矩阵

| 行为 | Mode A（实质研究） | Mode B（综述） |
|---|---|---|
| L3.numerical 尺度 | 必须 4+ log 尺度，到 n=10⁶+ | 5-10 sanity 点即可 |
| OEIS / LMFDB 交叉 | **必做** | 可选 |
| Failure search（主动找反例） | **必做** | 可选 |
| L3.conjecture-generator | **必做** | 可选 |
| L3.formal-verifier（Lean stmt） | 关键定理建议做 | 通常跳过 |
| Writer §"实质贡献声明" | **必填**且必须 (a)(b)(c) ≥ 1 | 必填，可全是 (d) |
| Writer §Predictions | **必填** ≥ 2 条 | 可选 / 跳过 |
| Reviewer 独立复现 | **必做** | 可选（声明引用是否准确即可） |
| 目标期刊 | research article venue | exposition / survey venue |
| 标题用词 | 避免 "A survey of..." / "An introduction to..." | 鼓励 "A survey of..." / "An introduction to..." |

## 引用本文档

三个模板和 SKILL.md 在顶部都应**短引用**本文档，不要复制内容。
变更模式定义请只改本文件。