math-skill 3.0.1 → 3.1.1

package/README.en-US.md

@@ -18,19 +18,21 @@
 
 ## Inspiration
 
-The story of Sophus Lie forging a "dragon-slaying blade" tells us this: the Lie group–Lie algebra machinery invented to solve differential equations ended up becoming the lingua franca for describing symmetry and robot state estimation — the value of a mathematical tool far outlives its original intent, which is exactly the prototype of "cross-domain activation." See [`references/inspiration.md`](references/inspiration.md).
+The story of Sophus Lie forging a "dragon-slaying blade" tells us this: the Lie group–Lie algebra machinery invented to solve differential equations ended up becoming the lingua franca for describing symmetry and robot state estimation — the value of a mathematical tool far outlives its original intent, which is exactly the prototype of "cross-domain activation." See [`references/inspiration.en.md`](references/inspiration.en.md).
 
 > The most fascinating thing about mathematics: a tool invented for one problem reveals unforeseen power in an entirely different domain.
 
 ---
 
+> Math Skill does not store mathematics. It activates, routes, and translates mathematics for AI research.
+
 ## Philosophy
 
 When you face an AI research problem, this system helps you answer four questions:
 
 1. **What mathematical perspective should I use?** → Thinking Lenses
-2. **What specific math do I need?** → Knowledge Base
-3. **How do I turn math into model design?** → Design Translation
+2. **Which mathematical structures to activate?** → Activation Anchors / Temporary Knowledge Cards
+3. **How do I turn math into model design?** → Design Translation Prototypes
 4. **Is it mathematically sound and engineering-feasible?** → Critic
 
 ```
@@ -38,7 +40,7 @@ Problem
  ↓
 Thinking Lenses: What perspective fits this problem?
  ↓
-Math Knowledge: What specific tools does this perspective need?
+Activation Anchors: Which math structures to activate? Enter Knowledge Gap Protocol if insufficient
  ↓
 Design Translation: How do these tools become model structures / losses / operators?
  ↓
@@ -52,37 +54,37 @@ Critic: Mathematically sound? Engineering-feasible?
 | Layer | Role | Directory | Files |
 |-------|------|-----------|-------|
 | **Thinking Lenses** | Diagnose problem structure, recommend math perspectives | `lenses/*.md` | 15 |
-| **Math Knowledge** | Provide concrete math tools (definitions/theorems/formulas) | `knowledge-base/*/*.md` | 31 |
+| **Activation Anchors** | Activate high-frequency math structures; trigger Knowledge Gap Protocol when insufficient | `knowledge-base/*/*.md` | 31 |
 | **Design Translation** | Bridge math to AI modules/losses/operators | `design-patterns/*/*.md` | 22 |
 
 Supporting layers:
 - `references/books/*.md`: 7 book distillations for deep context
-- `references/gpu-friendly-math.md`: GPU 8-dimension acceptance gate
-- `agents/math-critic.md`: Math-engineering dual critic
+- `references/gpu-friendly-math.en.md`: GPU 8-dimension acceptance gate
+- `agents/math-critic.en.md`: Math-engineering dual critic
 
 ### 15 Thinking Lenses
 
 | Lens | File | Core Perspective |
 |------|------|-----------------|
-| Axiomatization | `lenses/axiomatization.md` | Audit assumptions for consistency/independence/completeness |
-| Duality | `lenses/duality.md` | Transform to dual space to expose constraints and invariants |
-| Symmetry | `lenses/symmetry.md` | Invariants and conservation laws under transformations |
-| Spectral | `lenses/spectral.md` | Eigenvalues/singular values reveal dominant structure |
-| Geometric | `lenses/geometric.md` | Metric/curvature/manifold spatial structure |
-| Projection | `lenses/projection.md` | Orthogonal decomposition, subspace separation, conflict elimination |
-| Variational | `lenses/variational.md` | Constrained extrema, energy minimization |
-| Local-to-Global | `lenses/local-to-global.md` | Assemble local properties into global structure |
-| Topological | `lenses/topological.md` | Continuous-deformation invariants, connectivity, holes |
-| Categorical | `lenses/categorical.md` | Universal properties, functors, natural transformations |
-| Perturbation | `lenses/perturbation.md` | Propagation of small perturbations, stability, robustness |
-| Causal | `lenses/causal.md` | Correlation ≠ causation, interventions, counterfactuals |
-| Game | `lenses/game.md` | Multi-agent strategic interaction, equilibrium, mechanism design |
-| Probabilistic | `lenses/probabilistic.md` | Quantify uncertainty, Bayesian updating |
-| Algorithmic | `lenses/algorithmic.md` | Complexity, feasibility, parallelism |
-
-### Knowledge Base (by math domain)
-
-| Domain | Cards |
+| Axiomatization | `lenses/axiomatization.en.md` | Audit assumptions for consistency/independence/completeness |
+| Duality | `lenses/duality.en.md` | Transform to dual space to expose constraints and invariants |
+| Symmetry | `lenses/symmetry.en.md` | Invariants and conservation laws under transformations |
+| Spectral | `lenses/spectral.en.md` | Eigenvalues/singular values reveal dominant structure |
+| Geometric | `lenses/geometric.en.md` | Metric/curvature/manifold spatial structure |
+| Projection | `lenses/projection.en.md` | Orthogonal decomposition, subspace separation, conflict elimination |
+| Variational | `lenses/variational.en.md` | Constrained extrema, energy minimization |
+| Local-to-Global | `lenses/local-to-global.en.md` | Assemble local properties into global structure |
+| Topological | `lenses/topological.en.md` | Continuous-deformation invariants, connectivity, holes |
+| Categorical | `lenses/categorical.en.md` | Universal properties, functors, natural transformations |
+| Perturbation | `lenses/perturbation.en.md` | Propagation of small perturbations, stability, robustness |
+| Causal | `lenses/causal.en.md` | Correlation ≠ causation, interventions, counterfactuals |
+| Game | `lenses/game.en.md` | Multi-agent strategic interaction, equilibrium, mechanism design |
+| Probabilistic | `lenses/probabilistic.en.md` | Quantify uncertainty, Bayesian updating |
+| Algorithmic | `lenses/algorithmic.en.md` | Complexity, feasibility, parallelism |
+
+### Activation Anchors (by math domain)
+
+| Domain | Anchors |
 |--------|-------|
 | Matrix Analysis | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | Optimization | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -125,9 +127,9 @@ git clone https://github.com/the-thinker0/math-skill.git
 | Scenario | Signal | Path |
 |----------|--------|------|
 | Problem Analysis | "Is this design sound?" | Lenses → Critic |
-| Mechanism Design | "Design a new attention" | Lenses → Knowledge → Design → Critic |
-| Knowledge Query | "What is tangent space and how does it relate to gradient optimization?" | Knowledge |
-| Verification | "Does this formula hold?" | Knowledge → Critic |
+| Mechanism Design | "Design a new attention" | Lenses → Anchors / Temporary Card → Design → Critic |
+| Knowledge Query | "What is tangent space and how does it relate to gradient optimization?" | Anchors; Knowledge Gap Protocol if insufficient |
+| Verification | "Does this formula hold?" | Anchors / Temporary Card → Critic |
 | Pure Engineering | debug, refactoring, tuning | **Not triggered** |
 
 **Manual trigger**:
@@ -156,10 +158,11 @@ Step 2  Lens Selection:
   2. Information-theoretic (preserve max mutual information states)
   3. Topological (preserve key connection points in sequence structure)
 
-Step 3  Knowledge Query:
-  → low-rank-approximation (matrix analysis)
-  → leverage-score-selection (matrix analysis)
-  → information-bottleneck (probability & information)
+Step 3  Activation Anchors:
+  → low-rank-approximation (Matrix Analysis anchor)
+  → leverage-score-selection (Design Pattern: compression)
+  → information-bottleneck (Probability & Information anchor)
+  If existing anchors are insufficient, enter Knowledge Gap Protocol to generate a temporary knowledge card.
 
 Step 4  Design Translation:
   Candidate A: Spectral KV Compression (low-rank + leverage score)
@@ -180,7 +183,7 @@ math-skill/
 ├── skills/
 │   └── math-research-activator/    # Orchestrator: intent diagnosis + routing
 ├── lenses/                         # 15 thinking lenses (reasoning methodology)
-├── knowledge-base/                 # Math knowledge (by domain)
+├── knowledge-base/                 # Activation anchors by math domain, not a closed encyclopedia
 │   ├── matrix-analysis/            # Matrix analysis (5 cards)
 │   ├── optimization/               # Optimization (5 cards)
 │   ├── differential-geometry/      # Differential geometry (6 cards)
@@ -196,11 +199,11 @@ math-skill/
 │   └── compression/                # Compression (4 patterns)
 ├── references/                     # Reference layer
 │   ├── books/                      # 7 book distillations
-│   ├── gpu-friendly-math.md        # GPU 8-dimension gate
-│   ├── agentic-workflow.md         # Collaboration style
-│   └── inspiration.md              # Inspiration
-├── agents/math-critic.md           # Math-engineering dual critic
-├── commands/ask.md                 # /ask manual entry
+│   ├── gpu-friendly-math.en.md     # GPU 8-dimension gate
+│   ├── agentic-workflow.en.md      # Collaboration style
+│   └── inspiration.en.md           # Inspiration
+├── agents/math-critic.en.md           # Math-engineering dual critic
+├── commands/ask.en.md                 # /ask manual entry
 ├── math_book/                      # Local PDFs (not published)
 └── README.md / LICENSE
 ```
@@ -211,13 +214,13 @@ math-skill/
 
 | # | Title | Author(s) | Publisher / Edition | Year | ISBN | Distillation |
 |---|-------|-----------|-------------------|------|------|-------------|
-| 1 | *Contemporary Abstract Algebra* | Joseph A. Gallian | Brooks/Cole, Cengage, 8th ed. | 2013 | 978-1-133-59971-5 | `abstract-algebra.md` |
-| 2 | *The Rising Sea: Foundations of Algebraic Geometry* | Ravi Vakil | Princeton University Press | 2025 | 978-0-691-26866-8 | `algebraic-geometry-rising-sea.md` |
-| 3 | *Manifolds and Differential Geometry* | Jeffrey M. Lee | AMS, Graduate Studies in Math Vol. 107 | 2009 | 978-0-8218-4815-9 | `differential-geometry.md` |
-| 4 | *Matrix Analysis* | Roger A. Horn, Charles R. Johnson | Cambridge University Press, 2nd ed. | 2013 | 978-0-521-83940-2 | `matrix-analysis.md` |
-| 5 | *A micro Lie theory for state estimation in robotics* | Joan Solà et al. | arXiv:1812.01537v9 | 2021 | — | `micro-lie-theory.md` |
-| 6 | *An Introduction to Optimization, With Applications to ML* | Chong, Lu, Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.md` |
-| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.md` |
+| 1 | *Contemporary Abstract Algebra* | Joseph A. Gallian | Brooks/Cole, Cengage, 8th ed. | 2013 | 978-1-133-59971-5 | `abstract-algebra.en.md` |
+| 2 | *The Rising Sea: Foundations of Algebraic Geometry* | Ravi Vakil | Princeton University Press | 2025 | 978-0-691-26866-8 | `algebraic-geometry-rising-sea.en.md` |
+| 3 | *Manifolds and Differential Geometry* | Jeffrey M. Lee | AMS, Graduate Studies in Math Vol. 107 | 2009 | 978-0-8218-4815-9 | `differential-geometry.en.md` |
+| 4 | *Matrix Analysis* | Roger A. Horn, Charles R. Johnson | Cambridge University Press, 2nd ed. | 2013 | 978-0-521-83940-2 | `matrix-analysis.en.md` |
+| 5 | *A micro Lie theory for state estimation in robotics* | Joan Solà et al. | arXiv:1812.01537v9 | 2021 | — | `micro-lie-theory.en.md` |
+| 6 | *An Introduction to Optimization, With Applications to ML* | Chong, Lu, Żak | John Wiley & Sons, 5th ed. | 2024 | 978-1-119-87763-9 | `optimization-ml.en.md` |
+| 7 | *Introduction to Smooth Manifolds* | John M. Lee | Springer, GTM 218, 2nd ed. | 2013 | 978-1-4419-9981-8 | `smooth-manifolds.en.md` |
 
 Distillation files ship with the npm package. For full-fidelity lookups, place PDFs in the `math_book/` folder.
 
@@ -225,9 +228,31 @@ Distillation files ship with the npm package. For full-fidelity lookups, place P
 
 ## Changelog
 
+### v3.1.1 — Terminology Consistency Cleanup
+
+- **skill-index alignment**: title, knowledge base section, and workflow example updated from "knowledge base / knowledge query" to "activation anchors"
+- **package.json description**: updated to new positioning
+- **README usage table**: mechanism design, knowledge query, and verification paths updated from "Knowledge" to "Anchors / Temporary Card"
+- **README workflow example**: Step 3 changed from "Knowledge Query" to "Activation Anchors"; `leverage-score-selection` label corrected from "matrix analysis" to "Design Pattern: compression"
+- **README directory structure**: `knowledge-base/` comment updated from "Math knowledge" to "Activation anchors"
+- **README activation anchors table**: column header changed from "Cards" to "Anchors"
+- **SKILL.md / SKILL.en.md**: three-layer architecture table and intent diagnosis table updated from "Math Knowledge" to "Activation Anchors"
+- **English README book links**: distillation files changed from `.md` to `.en.md`
+- **validate keywords**: checks updated from "Math Knowledge" to "Activation Anchors"
+
+### v3.1.0 — Activation Anchors & Knowledge Gap Protocol
+
+**Repositioning**: from "math knowledge base" to "math activation system" — the knowledge base is not a closed encyclopedia but a collection of activation anchors.
+
+- **Core Principle**: Math Skill does not store mathematics; it activates, routes, and translates mathematics for AI research
+- **Knowledge Gap Protocol**: 6-step procedure for generating temporary knowledge cards when existing anchors don't cover the problem (gap identification → lens fallback → candidate localization → temporary card → design translation → upgrade recommendation)
+- **Domain Extension Indexes**: each of the 7 math domains gains an `index.md` with trigger signals, extended concepts, reference directions, and temporary activation rules
+- **Knowledge Card Repositioning**: every card gains "Routing Extensions" and "Extensible Directions" sections, transforming endpoints into routing nodes
+- **Design Pattern Positioning**: new `design-patterns/overview.en.md` declares the library as a math→AI translation prototype collection
+
 ### v3.0.1 — Token Optimization & Bilingual Completion
 
-- **Emoji cleanup**: removed all emoji characters from skill files; GPU rating markers ✅⚠️❌ replaced with text `[v]`/`[~]`/`[x]`, saving ~1,400 tokens
+- **Emoji cleanup**: removed all emoji characters from skill files; GPU rating markers replaced with text `[v]`/`[~]`/`[x]`, saving ~1,400 tokens
 - **English distillation files**: added EN translations for all 7 book distillation notes (`references/books/*.en.md`) and `commands/ask.en.md`
 - **Mixed-language routing**: added 5-rule decision system for code-switched input (technical terms excluded from language detection; sentence frame determines primary language)
 - **GPU dimension abbreviations**: verbose labels `**Dimension N full-name**` compressed to `**DN**` (D1-D8), defined in `gpu-friendly-math.md`, saving ~800-1,000 tokens

package/README.md

@@ -24,13 +24,15 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的
 
 ---
 
+> Math Skill 不存储数学，它激活数学、路由数学，并把数学翻译成 AI 研究设计。
+
 ## 核心理念
 
 当你面对一个 AI 研究问题时，这个系统帮你回答四个问题：
 
 1. **该用什么数学思想看？** → 思想透镜
-2. **需要查什么具体数学知识？** → 知识库
-3. **怎么把数学变成模型设计？** → 设计翻译层
+2. **应该激活哪些数学结构？** → 激活锚点 / 临时知识卡
+3. **怎么把数学变成模型设计？** → 设计翻译原型
 4. **这个设计是否数学上靠谱、工程上可行？** → 批判器
 
 ```
@@ -38,7 +40,7 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的
  ↓
 思想透镜：这个问题该用什么视角看？
  ↓
-数学知识：这个视角需要哪些具体数学工具？
+激活锚点：应该激活哪些数学结构？不足时进入知识缺口协议
  ↓
 设计翻译：这些工具怎么变成模型结构 / loss / 算子？
  ↓
@@ -52,7 +54,7 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的
 | 层 | 职责 | 目录 | 文件数 |
 |----|------|------|--------|
 | **思想透镜** | 诊断问题结构，推荐数学视角 | `lenses/*.md` | 15 |
-| **数学知识** | 提供具体数学工具（定义/定理/公式） | `knowledge-base/*/*.md` | 31 |
+| **激活锚点** | 激活高频数学结构，不足时触发知识缺口协议 | `knowledge-base/*/*.md` | 31 |
 | **设计翻译** | 把数学变成 AI 模块/loss/算子 | `design-patterns/*/*.md` | 22 |
 
 辅助层：
@@ -80,9 +82,9 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的
 | 概率统计 | `lenses/probabilistic.md` | 量化不确定性、贝叶斯更新 |
 | 算法 | `lenses/algorithmic.md` | 复杂度、可行性、并行性 |
 
-### 知识库（按数学领域）
+### 激活锚点（按数学领域）
 
-| 领域 | 知识卡片 |
+| 领域 | 锚点 |
 |------|---------|
 | 矩阵分析 | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | 最优化 | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -125,9 +127,9 @@ git clone https://github.com/the-thinker0/math-skill.git
 | 场景 | 诊断信号 | 调用路径 |
 |------|---------|---------|
 | 问题分析 | "这个设计合理吗？" | 透镜 → critic |
-| 机制设计 | "设计新 attention" | 透镜 → 知识 → 设计 → critic |
-| 知识查询 | "切空间和梯度优化有什么关系？" | 知识 |
-| 验证审查 | "这个公式成立吗？" | 知识 → critic |
+| 机制设计 | "设计新 attention" | 透镜 → 激活锚点/临时知识卡 → 设计翻译 → critic |
+| 知识查询 | "切空间和梯度优化有什么关系？" | 激活锚点；不足则 Knowledge Gap Protocol |
+| 验证审查 | "这个公式成立吗？" | 激活锚点/临时知识卡 → critic |
 | 纯工程 | debug、重构、调参 | **不调用** |
 
 **手动触发**：
@@ -156,10 +158,11 @@ git clone https://github.com/the-thinker0/math-skill.git
   2. 信息论（保留最大互信息状态）
   3. 拓扑（保留序列结构关键连接点）
 
-第三步 知识查询：
-  → low-rank-approximation（矩阵分析）
-  → leverage-score-selection（矩阵分析）
-  → information-bottleneck（概率与信息）
+第三步 激活锚点：
+  → low-rank-approximation（矩阵分析锚点）
+  → leverage-score-selection（压缩设计模式）
+  → information-bottleneck（概率与信息锚点）
+  若现有锚点不足，进入 Knowledge Gap Protocol 生成临时知识卡。
 
 第四步 设计翻译：
   候选 A：Spectral KV Compression（低秩 + leverage score）
@@ -180,7 +183,7 @@ math-skill/
 ├── skills/
 │   └── math-research-activator/    # 总控：意图诊断 + 路由
 ├── lenses/                         # 15 个思想透镜（推理方法论）
-├── knowledge-base/                 # 数学知识库（按领域组织）
+├── knowledge-base/                 # 激活锚点（按数学领域组织，非封闭百科）
 │   ├── matrix-analysis/            # 矩阵分析（5 卡片）
 │   ├── optimization/               # 最优化（5 卡片）
 │   ├── differential-geometry/      # 微分几何（6 卡片）
@@ -225,9 +228,31 @@ math-skill/
 
 ## 变更日志
 
+### v3.1.1 — 术语闭环清洁
+
+- **skill-index 口径统一**：标题、知识库小节、工作流范例从"知识库/知识查询"改为"激活锚点"
+- **package.json description**：更新为新定位描述
+- **README 使用表**：机制设计、知识查询、验证审查路径从"知识"改为"激活锚点/临时知识卡"
+- **README 工作流范例**：第三步从"知识查询"改为"激活锚点"，`leverage-score-selection` 标签从"矩阵分析"改为"压缩设计模式"
+- **README 目录结构**：`knowledge-base/` 注释从"数学知识库"改为"激活锚点"
+- **README 激活锚点表头**：列名从"知识卡片"改为"锚点"
+- **SKILL.md / SKILL.en.md**：三层架构表和意图诊断表从"数学知识/Math Knowledge"改为"激活锚点/Activation Anchors"
+- **英文 README 书目链接**：蒸馏文件从 `.md` 改为 `.en.md`
+- **validate 关键词**：从检查"数学知识/Math Knowledge"改为"激活锚点/Activation Anchors"
+
+### v3.1.0 — 激活锚点与知识缺口协议
+
+**定位升级**：从"数学知识库"转为"数学激活系统"——知识库不是封闭百科，而是激活锚点集合。
+
+- **核心原则**：Math Skill 不存储数学，它激活数学、路由数学，并把数学翻译成 AI 研究设计
+- **知识缺口协议**：当现有锚点不覆盖时，6 步流程生成临时知识卡（缺口识别→透镜回退→候选定位→临时知识卡→设计翻译→升级建议）
+- **领域扩展索引**：7 个数学领域各增 `index.md`，列出触发信号、扩展概念、参考书方向、临时激活规则
+- **知识卡片重定位**：每张卡片增加"路由扩展"和"可扩展方向"，从终点变为路由节点
+- **设计模式定位**：新增 `design-patterns/overview.md`，声明为 math→AI 翻译原型集合
+
 ### v3.0.1 — Token 优化与双语补全
 
-- **Emoji 清理**：移除所有 skill 文件中的 emoji 符号，GPU 评级标记 ✅⚠️❌ 替换为文本 `[v]`/`[~]`/`[x]`，节约 ~1,400 tokens
+- **Emoji 清理**：移除所有 skill 文件中的 emoji 符号，GPU 评级标记替换为文本 `[v]`/`[~]`/`[x]`，节约 ~1,400 tokens
 - **英文蒸馏稿补全**：7 本书蒸馏稿新增英文翻译（`references/books/*.en.md`），`commands/ask.en.md` 新增英文入口
 - **混合语言路由**：新增 5 条判定规则，解决中英混杂输入的路由问题（技术词不计入语言判定，按句式主框架判定）
 - **GPU 维度缩写**：八维标签从 `**维度 N 全称**` 压缩为 `**DN**`（D1-D8），定义于 `gpu-friendly-math.md`，额外节约 ~800-1,000 tokens

package/agents/math-critic.en.md

@@ -92,7 +92,7 @@ The first 15 dimensions cover the core review angles — assumptions, logic, mod
 - Does the problem belong to the NP-hard or undecidable class? Are approximation or heuristics needed?
 - Do the numerical methods converge? Is the precision sufficient?
 
-### 11. Information Structure Review -> probabilistic lens + `knowledge-base/probability/`
+### 11. Information Structure Review -> probabilistic lens + `../knowledge-base/probability/`
 
 - Is the information structure of the problem clear? Is there redundant or missing information?
 - Can uncertainty be quantified using information entropy, mutual information, etc.?
@@ -132,22 +132,22 @@ The first 15 dimensions cover the core review angles — assumptions, logic, mod
 - Were multiple candidate structures enumerated (rather than only one)?
 - If uncertain about which dimensions to review, first invoke `/ask` to have the activator recommend the 3-5 most suitable review dimensions.
 
-### 17. GPU-Feasibility Review -> `references/gpu-friendly-math.en.md`
+### 17. GPU-Feasibility Review -> `../references/gpu-friendly-math.en.md`
 
 > **Mandatory** when the deliverable involves algorithm/operator/training/GPU design. Corresponds to the second gate of the "dual-acceptance gate."
 
-- Does the deliverable pass the **eight dimensions** of `references/gpu-friendly-math.en.md`? Tensorization / GEMM-mappability / Complexity (sub-quadratic) / Memory & KV-Cache / Low-precision stability / Parallelism & Communication / Sparse structure / Operator fusion -- rate each as "friendly / retrofittable / unfriendly."
+- Does the deliverable pass the **eight dimensions** of `../references/gpu-friendly-math.en.md`? Tensorization / GEMM-mappability / Complexity (sub-quadratic) / Memory & KV-Cache / Low-precision stability / Parallelism & Communication / Sparse structure / Operator fusion -- rate each as "friendly / retrofittable / unfriendly."
 - Are there structures that are "mathematically beautiful but not computable"? (Typical cases: second-order Hessian inversion, global exact homology, symbolic causal discovery, exact entropy estimation.) Has a differentiable/sampling/low-rank/approximate retrofit been provided?
 - Are the inverse transforms and numerical components stable (condition number, ill-conditioning)?
 - Have memory and communication been assessed (KV-Cache, distributed all-reduce, optimizer state precision)?
 
-### 18. Modern-Math Activation Review -> `references/books/*`
+### 18. Modern-Math Activation Review -> `../references/books/*.en.md`
 
 > **Mandatory** when the deliverable claims to "activate modern mathematics into algorithms." Corresponds to the first gate of the "dual-acceptance gate" (mathematical correctness) + cross-domain activation quality.
 
 - Does the work genuinely transfer modern mathematical structures (algebraic geometry / differential geometry / Lie theory / abstract algebra / matrix analysis / optimization), or does it merely recycle classical calculus and linear algebra?
 - Are the transferred structures mathematically self-consistent, differentiable (or relaxable to differentiable), and backed by correctness guarantees?
-- Were the corresponding `references/books/*.md` distilled notes consulted? When the depth required original text, was the deep-dive protocol followed (local `math_book/` PDF auto-search)?
+- Were the corresponding `../references/books/*.en.md` distilled notes consulted? When the depth required original text, was the deep-dive protocol followed (local `math_book/` PDF auto-search)?
 - Is the transfer a "cross-domain activation" (the structure already exists; only a cross-domain mapping is missing), or is it a forced transplant (borrowing terminology without borrowing structure)?
 - Does the deliverable simultaneously pass the **dual-acceptance gate**: mathematically correct **AND** (friendly or retrofittable on the eight dimensions)? Are candidates that fail either criterion eliminated?
 
@@ -170,7 +170,7 @@ The first 15 dimensions cover the core review angles — assumptions, logic, mod
 
 ## Output Format
 
-Reports should follow the structure below. Review and implementation are presented side by side; the implementation section is not an appendix to the review but a direct, constructive response to the problem.
+The structure below is the full-report template, not the default response. For short questions, lead with conclusion + fatal/important issues + fix path + verification. Expand every subsection only for full reviews, paper-style reviews, or multi-candidate designs. Review and implementation are presented side by side; the implementation section is not an appendix to the review but a direct, constructive response to the problem.
 
 ```
 ## Review and Implementation Report

package/agents/math-critic.md

@@ -92,7 +92,7 @@
 - 问题是否属于NP-hard或不可判定类别？是否需要近似或启发式？
 - 数值方法是否收敛？精度是否足够？
 
-### 11. 信息结构审视 / Information Structure Review -> probabilistic（概率统计透镜）+ `knowledge-base/probability/`
+### 11. 信息结构审视 / Information Structure Review -> probabilistic（概率统计透镜）+ `../knowledge-base/probability/`
 
 - 问题的信息结构是否清晰？是否存在冗余或缺失的信息？
 - 是否可以用信息熵、互信息等量化不确定性？
@@ -132,22 +132,22 @@
 - 是否枚举了多个候选结构（而非只给一个）？
 - 若不确定该审视哪些维度，先调用 `/ask` 让激活器推荐最合适的 3–5 个审视维度。
 
-### 17. GPU 可行性审视 / GPU-Feasibility Review -> `references/gpu-friendly-math.md`
+### 17. GPU 可行性审视 / GPU-Feasibility Review -> `../references/gpu-friendly-math.md`
 
 > 产出涉及算法/算子/训练/GPU 设计时为**强制项**。对应「双验收门」的第二道门。
 
-- 产出是否过 `references/gpu-friendly-math.md` 的**八维**？张量化 / GEMM 可映射 / 复杂度（亚二次）/ 显存与 KV-Cache / 低精度稳定 / 并行与通信 / 稀疏结构 / 算子融合——逐项给「友好/可改造/不友好」。
+- 产出是否过 `../references/gpu-friendly-math.md` 的**八维**？张量化 / GEMM 可映射 / 复杂度（亚二次）/ 显存与 KV-Cache / 低精度稳定 / 并行与通信 / 稀疏结构 / 算子融合——逐项给「友好/可改造/不友好」。
 - 是否存在「数学美但不可算」的结构？（典型：二阶法 Hessian 求逆、全局精确同调、符号因果发现、精确熵估计）——是否给出了可微/采样/低秩/近似改造？
 - 逆变换/数值部分是否稳定（条件数、病态）？
 - 显存与通信是否被评估（KV-Cache、分布式 all-reduce、optimizer state 精度）？
 
-### 18. 现代数学激活审视 / Modern-Math Activation Review -> `references/books/*`
+### 18. 现代数学激活审视 / Modern-Math Activation Review -> `../references/books/*`
 
 > 产出声称「把现代数学激活进算法」时为**强制项**。对应「双验收门」的第一道门（数学正确）+ 跨域激活质量。
 
 - 是否真的迁移了现代数学结构（代数几何/微分几何/李理论/抽象代数/矩阵分析/最优化），还是只用了经典微积分/线代打转？
 - 迁移的结构在数学上是否自洽、可微（或可松弛为可微）、有正确性保证？
-- 是否查阅了对应 `references/books/*.md` 蒸馏稿？深度需要原文时是否走了深挖回查协议（本机 `math_book/` PDF 自动搜索）？
+- 是否查阅了对应 `../references/books/*.md` 蒸馏稿？深度需要原文时是否走了深挖回查协议（本机 `math_book/` PDF 自动搜索）？
 - 迁移是否是「跨领域激活」（结构本就在那里，只差一次跨域映射），还是生搬硬套（只借名词不借结构）？
 - 产出是否同时通过**双验收门**：数学正确 **AND**（八维友好或可改造）？未同时通过的候选是否被剔除？
 
@@ -170,7 +170,7 @@
 
 ## 输出格式
 
-建议按以下结构进行报告。审视与实现并列呈现，实现部分不是审视的附属，而是对问题的正面回应。
+以下结构是完整报告模板，不是默认输出。短问题优先给“结论 + 致命/重要问题 + 修法 + 验证”，只有在用户要求完整审查、论文级审稿或多候选设计时才展开所有小节。审视与实现并列呈现，实现部分不是审视的附属，而是对问题的正面回应。
 
 ```
 ## 审视与实现报告

package/commands/ask.en.md

@@ -4,7 +4,12 @@ description: |
   Math Research OS entry: auto-diagnose user intent, route to thinking lenses, math knowledge base, or design translation layer.
 ---
 
-Read and follow `../skills/math-research-activator/SKILL.en.md`.
+## Language Routing (inline)
+
+Determine primary language: judge by sentence frame, verbs, mood particles. AI/math/engineering terms (attention, loss, routing, etc.) do not count as language signals. Code, paths, formulas do not count. When CN/EN ratio is close, follow the previous turn's language; default to Chinese if no context. Explicit "in English/in Chinese" takes priority.
+
+- Chinese primary → load `../skills/math-research-activator/SKILL.md`
+- English primary → load `../skills/math-research-activator/SKILL.en.md`
 
 Current question:
 $ARGUMENTS

package/commands/ask.md

@@ -5,7 +5,12 @@ description: |
   English: Math Research OS entry: auto-diagnose user intent, route to thinking lenses, math knowledge base, or design translation layer.
 ---
 
-按 `../skills/math-research-activator/SKILL.md` 中的语言路由与混合输入规则判定主语言。英文主语言 → 读取 `../skills/math-research-activator/SKILL.en.md`；中文主语言 → 读取 `../skills/math-research-activator/SKILL.md`。
+## 语言路由（内联）
+
+判定主语言：看句式、动词、语气词的主框架。AI/数学/工程术语（attention、loss、routing 等）不计入语言判定。代码、路径、公式不计入。中英比例接近时沿用上一轮语言，无上下文默认中文。显式"用英文/用中文"优先。
+
+- 中文主语言 → 读取 `../skills/math-research-activator/SKILL.md`
+- 英文主语言 → 读取 `../skills/math-research-activator/SKILL.en.md`
 
 当前问题：
 $ARGUMENTS

package/design-patterns/attention/equivariant-attention.en.md

@@ -6,12 +6,12 @@ When the input possesses an **explicit symmetry group $G$ action** (rotation, tr
 
 ## Mathematical Inspiration
 - Lenses: [symmetry, categorical (unified framework for group actions)]
-- Knowledge: [`../../knowledge-base/probability/concentration-inequality.md` (sample efficiency gains under equivariant constraints -- data equivalence along orbits), `../../knowledge-base/probability/entropy.md` (equivariant constraints reduce output distribution entropy, yielding stronger inductive bias)]
+- Knowledge: [`../../knowledge-base/probability/concentration-inequality.en.md` (sample efficiency gains under equivariant constraints -- data equivalence along orbits), `../../knowledge-base/probability/entropy.en.md` (equivariant constraints reduce output distribution entropy, yielding stronger inductive bias)]
 
 ## Required Mathematical Knowledge
 - **Group Representation Theory Basics**: Linear representation of a group $G$, $\rho: G \to GL(V)$, and irreducible representation decomposition
 - **Equivariant Map Definition**: $f(g \cdot x) = \rho_{\text{out}}(g) \cdot f(x)$ for all $g \in G$
-- **Orbit-Stabilizer Theorem** (see `references/books/abstract-algebra.md` Ch.5): $|orbit| = |G|/|stab|$, giving the parameter sharing multiplier
+- **Orbit-Stabilizer Theorem** (see `../../references/books/abstract-algebra.en.md` Ch.5): $|orbit| = |G|/|stab|$, giving the parameter sharing multiplier
 - **Schur's Lemma**: An equivariant linear map between irreducible representations is either zero or a scalar multiple
 
 ## AI Module Form
@@ -64,6 +64,12 @@ output = mean(softmax((rho(g)@X@W_q) @ (rho(g)@X@W_k).T/sqrt(d)) @ (rho(g)@X@W_v
 - **D7**: Permutation $\rho(g)$ is extremely sparse and can be encoded as gather indices
 - **D8**: Group action + linear duality can be fused into a single batched GEMM
 
+**Quantitative assessment example** (E(3) equivariant, |G|=24 rotation group, d=64, n=512):
+- D3: |G|x standard attention FLOPs = 24 · 2·512²·64 ≈ 805M (vs standard 33.6M)
+- D4: Requires storing |G|=24 copies of intermediate features, 24 · 512 · 64 · 2B ≈ 1.5MB extra memory
+- D6: 24 group elements parallelizable along the batch dimension, ideal speedup 24x
+- D8: ρ(g)·X·W_q three-step fusion into a single batched GEMM
+
 ## Paper Phrasing
 "We propose an equivariant attention mechanism that constrains attention weights to be group invariants and attention outputs to be group equivariants, directly encoding the inductive bias of symmetry group $G$ into the model architecture without additional data augmentation, achieving a $|G|/|stab|$-fold improvement in parameter efficiency."
 

package/design-patterns/attention/equivariant-attention.md

@@ -11,7 +11,7 @@
 ## 需要的数学知识
 - **群表示论基础**：群 $G$ 的线性表示 $\rho: G \to GL(V)$，不可约表示分解
 - **等变映射定义**：$f(g \cdot x) = \rho_{\text{out}}(g) \cdot f(x)$，对所有 $g \in G$
-- **轨道-稳定子定理**（参见 `references/books/abstract-algebra.md` Ch.5）：$|orbit| = |G|/|stab|$，参数共享倍率
+- **轨道-稳定子定理**（参见 `../../references/books/abstract-algebra.md` Ch.5）：$|orbit| = |G|/|stab|$，参数共享倍率
 - **Schur 引理**：不可约表示间的等变线性映射要么为零要么为标量乘
 
 ## AI 模块形式
@@ -64,6 +64,12 @@ output = mean(softmax((rho(g)@X@W_q) @ (rho(g)@X@W_k).T/sqrt(d)) @ (rho(g)@X@W_v
 - **D7[~]**：置换 $\rho(g)$ 极度稀疏，可编码为 gather 索引
 - **D8[v]**：群作用 + 线性变换可融合为单次 batched GEMM
 
+**量化评估示例**（E(3) 等变, |G|=24 旋转群, d=64, n=512）：
+- D3: |G|× 标准 attention FLOPs = 24 · 2·512²·64 ≈ 805M（vs 标准 33.6M）
+- D4: 需存储 |G|=24 份中间特征，24 · 512 · 64 · 2B ≈ 1.5MB 额外显存
+- D6: 24 个群元素沿 batch 维并行，理想加速比 24x
+- D8: ρ(g)·X·W_q 三步融合为单次 batched GEMM
+
 ## 论文表述方式
 "我们提出等变注意力机制，通过将注意力权重约束为群不变量、注意力输出约束为群等变量，在不增加数据增强的情况下将对称群 $G$ 的归纳偏置直接编码进模型结构，参数效率提升 $|G|/|stab|$ 倍。"
 

package/design-patterns/attention/geometry-aware-attention.en.md

@@ -6,7 +6,7 @@ When **known geometric relationships** exist between tokens/keys (spatial distan
 
 ## Mathematical Inspiration
 - Lenses: [symmetry (metric invariance), duality (coordinate-system-independent representation)]
-- Knowledge: [`../../knowledge-base/information-geometry/fisher-metric.md` (geometric metrics on distribution spaces), `../../knowledge-base/probability/concentration-inequality.md` (concentration behavior under geometric constraints)]
+- Knowledge: [`../../knowledge-base/information-geometry/fisher-metric.en.md` (geometric metrics on distribution spaces), `../../knowledge-base/probability/concentration-inequality.en.md` (concentration behavior under geometric constraints)]
 
 ## Required Mathematical Knowledge
 - **Metric Spaces and Distance Functions**: Euclidean distance, geodesic distance, tree distance, Wasserstein distance
@@ -66,7 +66,7 @@ def manifold_attention(Q, K, V, manifold):
 - **D8**: Geometric bias can be fused into FlashAttention's online softmax loop (added after $QK^T$, before softmax)
 
 ## Paper Phrasing
-"We propose geometry-aware attention, which explicitly injects learnable geometric distance bias terms into attention scores, enabling the model to naturally respect the metric structure of the input space. This achieves exponential decay of attention to distant tokens without increasing parameter count, while maintaining compatibility with FlashAttention."
+"We propose geometry-aware attention, which explicitly injects geometric distance bias terms into attention scores, enabling the model to naturally respect the metric structure of the input space. This achieves exponential decay of attention to distant tokens with only a small number of additional geometric bias parameters (zero for fixed bias variants such as ALiBi), while maintaining compatibility with FlashAttention."
 
 ## Risks
 - **Geometric Prior Conflicting with Data**: If geometric distance is inconsistent with semantic relevance (e.g., distant but semantically related tokens in text), strong geometric bias will impair model expressiveness. The bias should be learnable and overridable by content-based attention.

package/design-patterns/attention/geometry-aware-attention.md

@@ -65,7 +65,7 @@ def manifold_attention(Q, K, V, manifold):
 - **D8[v]**：几何偏置可融入 FlashAttention 的 online softmax 循环中（加在 $QK^T$ 之后、softmax 之前）
 
 ## 论文表述方式
-"我们提出几何感知注意力，通过在注意力分数中显式注入可学习的几何距离偏置项，使模型天然尊重输入空间的度量结构，在不增加参数量的情况下将远距离 token 的注意力指数衰减，同时保持与 FlashAttention 的兼容性。"
+"我们提出几何感知注意力，通过在注意力分数中显式注入几何距离偏置项，使模型天然尊重输入空间的度量结构，在仅增加少量几何偏置参数（固定偏置如 ALiBi 则零额外参数）的情况下将远距离 token 的注意力指数衰减，同时保持与 FlashAttention 的兼容性。"
 
 ## 风险
 - **几何先验与数据冲突**：若几何距离与语义相关性不一致（如文本中远距离但语义相关的 token），强几何偏置会伤害模型表达。需让偏置可学习且可被内容注意力覆盖。