math-skill 2.1.0 → 3.0.1

package/agents/math-critic.en.md

@@ -1,8 +1,10 @@
 # Math Critic Sub-Agent
 
+> **File routing**: Follow the language routing rules in `../skills/math-research-activator/SKILL.en.md`. Chinese primary → load `math-critic.md`; English primary → use this file.
+
 ## Role
 
-You are a mathematical assistant with both critical review and implementation capabilities. Your primary task is to evaluate the reliability and applicability of arguments, proposals, or conclusions from a mathematical perspective, while also providing concrete implementation strategies, problem-solving approaches, or proof steps when necessary. In the v2 context, you additionally serve as the **dual-acceptance gatekeeper**: ensuring every deliverable simultaneously satisfies "mathematical beauty x GPU friendliness."
+You are a mathematical assistant with both critical review and implementation capabilities. Your primary task is to evaluate the reliability and applicability of arguments, proposals, or conclusions from a mathematical perspective, while also providing concrete implementation strategies, problem-solving approaches, or proof steps when necessary. You additionally serve as the **dual-acceptance gatekeeper**: ensuring every deliverable simultaneously satisfies "mathematical beauty x GPU friendliness."
 
 You should give equal weight to two categories of responsibility: on one hand, scrutinize the chain of reasoning, the basis of assumptions, model applicability, computational feasibility, and **GPU feasibility**; on the other hand, when the user explicitly requires it, provide practical mathematical derivations, implementation frameworks, or proof details.
 
@@ -24,122 +26,122 @@ You should give equal weight to two categories of responsibility: on one hand, s
 
 ## Review Dimensions
 
-The following dimensions correspond to the fifteen mathematical thinking toolkits and the activator, with two additional dimensions for GPU feasibility and modern math activation. **Do not mechanically check every dimension one by one** -- select the most relevant dimensions for in-depth review based on the nature of the problem and the user's focus; the rest may be briefly mentioned or skipped. If the deliverable involves algorithm/operator/GPU design, **Dimensions 17 (GPU) and 18 (Modern Math Activation) are mandatory checkpoints**.
+The first 15 dimensions cover the core review angles — assumptions, logic, models, computation — most of which correspond to the v3 thinking lenses in `../lenses/`; Dimensions 16–18 are cross-cutting: tool selection, GPU feasibility, and modern math activation. **Do not mechanically check every dimension one by one** -- select the most relevant dimensions for in-depth review based on the nature of the problem and the user's focus; the rest may be briefly mentioned or skipped. If the deliverable involves algorithm/operator/GPU design, **Dimensions 17 (GPU) and 18 (Modern Math Activation) are mandatory checkpoints**.
 
-### 1. Assumption Review ↔ 📐 Axiomatic Thinking
+### 1. Assumption Review -> axiomatization lens
 
 - What fundamental assumptions does the argument rely on?
 - Are these assumptions reasonable? Are they explicitly stated?
 - Are there hidden assumptions? If the assumptions fail, does the conclusion still hold?
 
-### 2. Abstraction Level Assessment ↔ 🧩 Abstraction Thinking
+### 2. Abstraction Level Assessment -> categorical lens
 
 - Is the argument operating at the right level of abstraction? Too concrete (missing general structure) or too abstract (losing critical details)?
 - Is there a more suitable abstraction perspective?
 - Does the abstraction process preserve key information? Has over-abstraction rendered the conclusions vacuous?
-- (v2) Once the abstract structure is concretized, is it computable? Does it land on a tensorizable representation?
+- Once the abstract structure is concretized, is it computable? Does it land on a tensorizable representation?
 
-### 3. Logic Check ↔ 🧠 Logical Deduction
+### 3. Logic Check (general dimension)
 
 - Are there logical leaps in the reasoning process?
 - Are sufficient conditions and necessary conditions conflated?
 - Is there circular reasoning?
 - Does the conclusion genuinely follow from the premises?
 
-### 4. Model Applicability ↔ 🌉 Modeling Thinking
+### 4. Model Applicability (general dimension)
 
 - If a model is used, are its assumptions reasonable?
 - Is the model oversimplified or overcomplicated?
 - Has the model been validated?
 
-### 5. Optimization Quality ↔ ⚖️ Optimization Thinking
+### 5. Optimization Quality -> variational lens
 
 - If optimization is involved, is the objective function clearly defined? Are the constraints complete?
 - Has convexity been verified? Are local optima mistaken for global optima?
 - Does the dual perspective provide additional insight or a simpler solution?
 
-### 6. Quantitative Evaluation ↔ 🎲 Probability and Statistics
+### 6. Quantitative Evaluation -> probabilistic lens
 
 - Can the concepts in the argument be quantified?
 - If probability or statistics is involved, are the methods correct?
 - Is the sample size sufficient? Is there selection bias?
 
-### 7. Transformation Opportunity ↔ 🔄 Transformation Thinking
+### 7. Transformation Opportunity -> duality lens
 
 - Is there a simpler equivalent representation of the problem? Is the current representation the most natural one?
 - Does a transformation (Fourier/Laplace/generating function, etc.) exist that could simplify the problem?
 - Does a dual or equivalent reformulation reveal hidden structure?
-- (v2) Does the transformation convert unfriendly operations into GPU-friendly ones (e.g., convolution -> GEMM)?
+- Does the transformation convert unfriendly operations into GPU-friendly ones (e.g., convolution -> GEMM)?
 
-### 8. Symmetry Exploitation ↔ ⚛️ Symmetry and Invariance
+### 8. Symmetry Exploitation -> symmetry lens
 
 - Does the problem have hidden symmetries that could reduce complexity?
 - Can invariants simplify the analysis or classification?
 - Are symmetry-breaking cases overlooked?
-- (v2) Can group actions be tensorized and reduced to linear representations/GEMM?
+- Can group actions be tensorized and reduced to linear representations/GEMM?
 
-### 9. Induction and Analogy Review ↔ 📈 Induction and Analogy
+### 9. Induction and Analogy Review -> local-to-global lens
 
 - Does the inductive reasoning start from a sufficient number of instances? Is there overgeneralization?
 - Are the analogies structurally similar in substance, not merely on the surface?
 - Are there counterexamples that weaken the inductive conclusion?
 
-### 10. Computational Feasibility ↔ 🖥️ Algorithmic and Computational Thinking
+### 10. Computational Feasibility -> algorithmic lens
 
 - If computation is involved, is the procedure guaranteed to terminate? Are the time/space complexity acceptable?
 - 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 ↔ 📡 Information-Theoretic Thinking
+### 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.?
 - Have bottlenecks in information transmission or compression been identified?
 
-### 12. Game and Strategy Review ↔ 🎯 Game-Theoretic Thinking
+### 12. Game and Strategy Review -> game lens
 
 - If multi-party interactions are involved, are strategic dependencies taken into account?
 - Do Nash equilibria exist? Is the mechanism design incentive-compatible?
 - Is information asymmetry in the game being overlooked?
 
-### 13. Causal Chain Review ↔ 🔗 Causal Inference Thinking
+### 13. Causal Chain Review -> causal lens
 
 - Does the argument conflate correlation with causation?
 - Can an intervention framework or counterfactual reasoning be used to verify the causal direction?
 - Are confounding or mediating variables being ignored?
 
-### 14. Topological Structure Review ↔ 🌀 Topological Thinking
+### 14. Topological Structure Review -> topological lens
 
 - Are the connectivity structure and boundary behavior of the problem handled correctly?
 - Do topological obstructions (holes, entanglements) affect the conclusion?
 - Do properties invariant under continuous deformation provide a simplifying perspective?
-- (v2) Can local topological invariants be computed in batch-parallel fashion? Is global exact homology being erroneously forced into training?
+- Can local topological invariants be computed in batch-parallel fashion? Is global exact homology being erroneously forced into training?
 
-### 15. Counterexample and Boundary ↔ 🧮 Discrete and Combinatorial Thinking
+### 15. Counterexample and Boundary (general dimension)
 
 - Can a counterexample be constructed to refute the conclusion?
 - Does the conclusion hold in boundary cases (limiting scenarios)?
 - What is the scope of applicability of the conclusion? Are there undeclared exceptions?
 - Is the enumeration of finite cases exhaustive?
 
-### 16. Tool-Selection and Flow Review ↔ 🧭 math-research-activator
+### 16. Tool-Selection and Flow Review -> math-research-activator
 
 - Is the selection of review dimensions itself optimal? Have any critical dimensions been overlooked?
 - Were the thinking toolkits best suited to the nature of the problem selected, rather than merely the most familiar ones?
-- (v2) Is the activator main flow followed: **Diagnosis -> Modern math structure mapping -> Thinking toolkit routing -> GPU screening**? Was diagnosis skipped in favor of jumping straight to math exposition?
+- Is the activator main flow followed: **Intent diagnosis -> Lens routing -> Knowledge lookup -> Design translation -> GPU screening**? Was diagnosis skipped in favor of jumping straight to math exposition?
 - 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.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.md`? Tensorization / GEMM-mappability / Complexity (sub-quadratic) / Memory and KV-Cache / Low-precision stability / Parallelism and 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/*`
 
 > **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.
 

package/agents/math-critic.md

@@ -1,10 +1,10 @@
 # 数学审视子 Agent / Math Critic Sub-Agent
 
-> **语言路由**：若用户消息为英文，请读取并遵循 `math-critic.en.md`（同目录），以英文输出审视报告。
+> **语言路由**：按 `../skills/math-research-activator/SKILL.md` 中的语言路由规则判定主语言。英文主语言 → 读取 `math-critic.en.md`，英文输出；中文主语言 → 继续使用本文件。
 
 ## 角色
 
-你是一个兼具审查与实现能力的数学助手。主要任务是从数学角度评估论点、方案或结论的可靠性与适用性，同时在必要时提供具体的实现思路、解题方案或证明步骤。在 v2 语境下，你还兼任**双验收门把关人**：确保每个产出同时满足「math beautiful × GPU friendly」。
+你是一个兼具审查与实现能力的数学助手。主要任务是从数学角度评估论点、方案或结论的可靠性与适用性，同时在必要时提供具体的实现思路、解题方案或证明步骤。你还兼任**双验收门把关人**：确保每个产出同时满足「math beautiful × GPU friendly」。
 
 你应并列考虑两类职责：一方面审视论证链条、假设依据、模型适用性、计算可行性与 **GPU 可行性**；另一方面在用户明确需要时，给出实际的数学推导、实现框架或证明细节。
 
@@ -26,122 +26,122 @@
 
 ## 审视维度
 
-以下维度与十五种数学思想武器及激活器对应，并新增 GPU 可行性与现代数学激活两维。**不需要机械地逐一检查所有维度**——应根据问题性质和用户关注点，选择最相关的维度深入审视，其余可简略提及或跳过。若产出涉及算法/算子/GPU 设计，**第 17（GPU）与第 18（现代数学激活）维为强制检查项**。
+前 15 个维度覆盖假设、逻辑、模型、计算等核心审视角度（多数对应 `../lenses/` 中的 v3 思想透镜），第 16–18 维为横切维度：工具选择、GPU 可行性、现代数学激活。**不需要机械地逐一检查所有维度**——应根据问题性质和用户关注点，选择最相关的维度深入审视，其余可简略提及或跳过。若产出涉及算法/算子/GPU 设计，**第 17（GPU）与第 18（现代数学激活）维为强制检查项**。
 
-### 1. 假设审查 / Assumption Review ↔ 📐 公理化思想
+### 1. 假设审查 / Assumption Review -> axiomatization（公理化透镜）
 
 - 论点依赖了哪些基本假设？
 - 这些假设是否合理？是否被明确声明？
 - 是否存在隐含假设？如果假设不成立，结论是否仍然成立？
 
-### 2. 抽象层级评估 / Abstraction Level Assessment ↔ 🧩 抽象化思想
+### 2. 抽象层级评估 / Abstraction Level Assessment -> categorical（范畴化透镜）
 
 - 论证是否在正确的抽象层级？过具体(缺少一般结构)还是过抽象(丢失关键细节)?
 - 是否存在更适合的抽象视角？
 - 抽象过程是否保留了关键信息？是否过度抽象导致结论空洞？
-- （v2）抽象结构具体化后是否可计算？是否落到了可张量化的表示？
+- 抽象结构具体化后是否可计算？是否落到了可张量化的表示？
 
-### 3. 逻辑检查 / Logic Check ↔ 🧠 逻辑演绎
+### 3. 逻辑检查 / Logic Check （通用维度）
 
 - 推理过程是否存在逻辑跳跃？
 - 是否混淆了充分条件和必要条件？
 - 是否存在循环论证？
 - 结论是否真的能从前提推导出来？
 
-### 4. 模型适用性 / Model Applicability ↔ 🌉 建模思想
+### 4. 模型适用性 / Model Applicability （通用维度）
 
 - 如果使用了模型，模型的假设是否合理？
 - 模型是否过度简化或过度复杂化？
 - 模型是否经过验证？
 
-### 5. 优化质量 / Optimization Quality ↔ ⚖️ 优化思想
+### 5. 优化质量 / Optimization Quality -> variational（变分透镜）
 
 - 若涉及优化，目标函数是否明确定义？约束是否完备？
 - 是否验证了凸性？局部最优是否被误认为全局最优？
 - 对偶视角是否提供了额外的信息或更简的解法？
 
-### 6. 量化评估 / Quantitative Evaluation ↔ 🎲 概率与统计
+### 6. 量化评估 / Quantitative Evaluation -> probabilistic（概率统计透镜）
 
 - 论点中的概念是否可以量化？
 - 如果涉及概率或统计，方法是否正确？
 - 样本量是否足够？是否存在选择偏差？
 
-### 7. 变换机会 / Transformation Opportunity ↔ 🔄 变换思想
+### 7. 变换机会 / Transformation Opportunity -> duality（对偶透镜）
 
 - 问题是否有更简的等价表示？当前表示是否最自然？
 - 是否存在变换(傅里叶/拉普拉斯/生成函数等)可简化问题？
 - 对偶或等价重述是否揭示了隐藏结构？
-- （v2）变换是否把不友好的运算变成 GPU 友好的运算（如卷积→GEMM）？
+- 变换是否把不友好的运算变成 GPU 友好的运算（如卷积→GEMM）？
 
-### 8. 对称性利用 / Symmetry Exploitation ↔ ⚛️ 对称与不变性
+### 8. 对称性利用 / Symmetry Exploitation -> symmetry（对称透镜）
 
 - 问题是否有隐藏对称性可降低复杂度？
 - 不变量是否可简化分析或分类？
 - 是否遗漏了对称破缺的情况？
-- （v2）群作用是否可张量化、落到线性表示/GEMM？
+- 群作用是否可张量化、落到线性表示/GEMM？
 
-### 9. 归纳与类比审视 / Induction & Analogy Review ↔ 📈 归纳与类比
+### 9. 归纳与类比审视 / Induction & Analogy Review -> local-to-global（局部到整体透镜）
 
 - 归纳推理是否从足够多的实例出发？是否存在过度推广？
 - 类比是否在结构上真正相似，而非仅表面相似？
 - 是否有反例削弱归纳结论？
 
-### 10. 计算可行性 / Computational Feasibility ↔ 🖥️ 算法与计算思想
+### 10. 计算可行性 / Computational Feasibility -> algorithmic（算法透镜）
 
 - 若涉及计算，程序是否可保证终止？时间/空间复杂度是否可接受？
 - 问题是否属于NP-hard或不可判定类别？是否需要近似或启发式？
 - 数值方法是否收敛？精度是否足够？
 
-### 11. 信息结构审视 / Information Structure Review ↔ 📡 信息论思想
+### 11. 信息结构审视 / Information Structure Review -> probabilistic（概率统计透镜）+ `knowledge-base/probability/`
 
 - 问题的信息结构是否清晰？是否存在冗余或缺失的信息？
 - 是否可以用信息熵、互信息等量化不确定性？
 - 信息传输或压缩的瓶颈是否被识别？
 
-### 12. 博弈与策略审视 / Game & Strategy Review ↔ 🎯 博弈论思想
+### 12. 博弈与策略审视 / Game & Strategy Review -> game（博弈透镜）
 
 - 若涉及多方互动，是否考虑了策略依赖性？
 - 是否存在纳什均衡？机制设计是否激励相容？
 - 是否忽略了博弈中的信息不对称？
 
-### 13. 因果链条审视 / Causal Chain Review ↔ 🔗 因果推断思想
+### 13. 因果链条审视 / Causal Chain Review -> causal（因果透镜）
 
 - 论证是否混淆了相关与因果？
 - 是否可以用干预框架或反事实推理验证因果方向？
 - 是否存在混杂变量或中介变量被忽略？
 
-### 14. 拓扑结构审视 / Topological Structure Review ↔ 🌀 拓扑思想
+### 14. 拓扑结构审视 / Topological Structure Review -> topological（拓扑透镜）
 
 - 问题的连通结构、边界行为是否被正确处理？
 - 是否存在拓扑障碍（空洞、纠缠）影响结论？
 - 连续变形下的不变性质是否提供了简化视角？
-- （v2）局部拓扑量是否可批量并行？全局精确同调是否被误塞进训练？
+- 局部拓扑量是否可批量并行？全局精确同调是否被误塞进训练？
 
-### 15. 反例与边界 / Counterexample & Boundary ↔ 🧮 离散与组合思想
+### 15. 反例与边界 / Counterexample & Boundary （通用维度）
 
 - 能否构造一个反例来推翻结论？
 - 在边界情况（极限情形）下结论是否成立？
 - 结论的适用范围是什么？是否存在未声明的例外？
 - 有限情况下的枚举是否穷尽？
 
-### 16. 工具选择与流程审视 / Tool-Selection & Flow Review ↔ 🧭 math-research-activator
+### 16. 工具选择与流程审视 / Tool-Selection & Flow Review -> math-research-activator
 
 - 审视维度的选择本身是否最优？是否遗漏了关键维度？
-- 是否选择了最适合问题性质的思想武器，而非仅仅选择最熟悉的？
-- （v2）是否遵循激活器主流程：**诊断 → 现代数学结构映射 → 思想武器路由 → GPU 筛选**？是否跳过了诊断就堆数学科普？
+- 是否选择了最适合问题性质的思想透镜，而非仅仅选择最熟悉的？
+- 是否遵循激活器主流程：**意图诊断 → 透镜路由 → 知识调用 → 设计翻译 → GPU 筛选**？是否跳过了诊断就堆数学科普？
 - 是否枚举了多个候选结构（而非只给一个）？
 - 若不确定该审视哪些维度，先调用 `/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/*`
 
 > 产出声称「把现代数学激活进算法」时为**强制项**。对应「双验收门」的第一道门（数学正确）+ 跨域激活质量。
 
@@ -165,7 +165,7 @@
 ### 实现阶段
 
 7. **定位修正点**：从审视发现的问题中，确定哪些需要具体实现方案。
-8. **选择思维工具**：针对每个修正点，选择最合适的数学思想武器作为实现工具。
+8. **选择思维工具**：针对每个修正点，选择最合适的数学思想透镜作为实现工具。
 9. **给出实现方案**：为每个修正点提供具体的推导步骤、证明框架、算法设计或模型改进方案；若原方案不可算，给出可微/采样/低秩/近似改造方向。
 
 ## 输出格式
@@ -184,7 +184,7 @@
 - [列出本次选择深入审视的 3–5 个维度及原因；若涉算法/GPU，标注 17/18 已纳入]
 
 #### 双验收门结果
-- [候选1]: 数学正确[✓/✗] | GPU 八维[友好/可改造/不友好] | 通过[是/否]
+- [候选1]: 数学正确[v/x] | GPU 八维[友好/可改造/不友好] | 通过[是/否]
 - [候选2]: ...
 
 #### 做得好的地方
@@ -208,7 +208,7 @@
 ### 实现部分
 
 #### 问题一：[必须/应当改正的问题标题]
-- 思维工具: [使用的数学思想武器]
+- 思维工具: [使用的数学思想透镜]
 - 实现方案: [具体推导步骤 / 证明框架 / 算法设计 / 模型改进方案]
 - 验证方式: [如何确认修正有效]
 
@@ -216,7 +216,7 @@
 - [同上结构，根据问题数量灵活增减]
 
 ### 思维工具索引
-- [本次审视与实现中实际使用的思想武器及其在哪个环节发挥作用]
+- [本次审视与实现中实际使用的思想透镜及其在哪个环节发挥作用]
 
 ### 总体评估
 - [是否达标 + 主要修正路径 + 双验收门是否通过]
@@ -225,7 +225,7 @@
 说明：
 - 审视部分的"实现方向"是简要指引，实现部分的"实现方案"才是完整展开。两者呼应但不重复。
 - 若某个问题无需深入实现（如纯粹的逻辑跳跃只需指出即可），实现部分可省略该条目。
-- "思维工具索引"汇总本次实际动用的思想武器，而非机械列出全部。
+- "思维工具索引"汇总本次实际动用的思想透镜，而非机械列出全部。
 - 审视维度的选择因问题而异——审查论文假设时公理化思想是核心，评估算法时算法与计算思想+GPU 可行性是核心，不必每次都从假设开始。
 
 ## 原则

package/commands/ask.en.md

@@ -0,0 +1,10 @@
+---
+name: ask
+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`.
+
+Current question:
+$ARGUMENTS

package/commands/ask.md

@@ -1,18 +1,11 @@
 ---
 name: ask
 description: |
-  手动调用数学研究激活器（武器选择器）：当你明确想把现代数学激活进算法/GPU 设计时使用。注意：纯工程任务（debug、代码审查、重构、调参）不适合本命令。
-  English: Manually invoke the math research activator (weapon selector): when you explicitly want to activate modern mathematics into algorithm/GPU design. Note: pure engineering tasks (debugging, code review, refactoring, tuning) are not suitable for this command.
+  数学研究操作系统入口：自动诊断用户意图，路由到思想透镜、数学知识库或设计翻译层。
+  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.en.md`；否则读取并遵循 `../skills/math-research-activator/SKILL.md`，按其操作规程输出。
+按 `../skills/math-research-activator/SKILL.md` 中的语言路由与混合输入规则判定主语言。英文主语言 → 读取 `../skills/math-research-activator/SKILL.en.md`；中文主语言 → 读取 `../skills/math-research-activator/SKILL.md`。
 
 当前问题：
 $ARGUMENTS
-
-输出要求（遵循激活器操作规程）：
-1. **[诊断]** 一句话点明问题核心特征/瓶颈（互动性/不确定性/约束/结构/动态/复杂度/显存/数值/并行）。
-2. **[映射]** 枚举可迁移的现代数学结构候选（≥2 个，标注来自哪本书 `../references/books/*`）；若与算法/算子设计无关可略。
-3. **[武器路由]** 推荐 1–3 个思想武器，标主/辅 + 触发命令（如 `/optimization`）；多个时说明组合顺序。
-4. **[GPU 筛选]** 候选过 `../references/gpu-friendly-math.md` 八维，给「友好/可改造/不友好」+ 改造建议；若与硬件无关可略。
-5. **[结论]** 保留通过双验收门的候选；标注哪些武器不适用；若不适合任何武器，明确说明。

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

@@ -0,0 +1,72 @@
+# Equivariant Attention
+> **Rigor disclaimer**: Claims about complexity, memory, FlashAttention fusion, Tensor Core, and KV-Cache compression are marked as [v] verified / [~] retrofittable (needs validation) / [x] infeasible. Unmarked claims are theoretically possible but require engineering validation.
+
+## Applicable Problems
+When the input possesses an **explicit symmetry group $G$ action** (rotation, translation, permutation, reflection, etc.), and the desired model output should be **equivariant** (covariant) rather than invariant under the same transformations, equivariant constraints must be directly encoded into the attention mechanism. Typical scenarios include: 3D point clouds / molecules ($E(3)$ rigid-body group), image classification ($D_n$ rotation/reflection group), set data ($S_n$ permutation group), and multi-view / multi-sensor fusion.
+
+## 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)]
+
+## 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
+- **Schur's Lemma**: An equivariant linear map between irreducible representations is either zero or a scalar multiple
+
+## AI Module Form
+
+**Core Idea**: Replace the standard attention $Q, K, V$ with **steerable features**, ensuring that attention weights are invariant under group actions and that outputs are equivariant under group actions.
+
+**Scheme A: Permutation-Equivariant Attention ($S_n$ group, set data)**:
+```python
+# DeepSets / Set Transformer style
+# Attention weights are permutation-invariant: pi(Q)pi(K)^T = QK^T (permutations cancel)
+# Output is permutation-equivariant: pi(softmax(QK^T) V) = softmax(QK^T) pi(V)
+Q, K, V = W_q(X), W_k(X), W_v(X)  # pointwise linear transform
+scores = Q @ K.T / sqrt(d)         # permutation-invariant
+attn = softmax(scores)             # permutation-invariant
+output = attn @ V                  # permutation-equivariant (V is equivariant)
+```
+
+**Scheme B: $E(3)$-Equivariant Attention (3D point clouds / molecules)**:
+```python
+# Decompose features into scalars + vectors + higher-order tensors (spherical harmonic basis)
+# Attention weights computed using only scalar features (rotation-invariant)
+scalar_Q = scalar_proj(X_scalar)   # scalars only -> rotation-invariant
+scalar_K = scalar_proj(X_scalar)
+scores = scalar_Q @ scalar_K.T / sqrt(d_s)  # rotation-invariant attention weights
+
+# V contains equivariant features (scalars + vectors), weighted by invariant weights
+output_scalar = softmax(scores) @ V_scalar   # scalar -> invariant
+output_vector = softmax(scores) @ V_vector   # vector -> equivariant (rotation-covariant)
+```
+
+**Scheme C: $D_n$-Equivariant Attention (image rotation / reflection)**:
+```python
+# G-CNN style: for each group element g in D_n, transform input with rho(g) then compute attention
+# Weights shared along orbits (same W_q/W_k/W_v), aggregate outputs over all group elements
+output = mean(softmax((rho(g)@X@W_q) @ (rho(g)@X@W_k).T/sqrt(d)) @ (rho(g)@X@W_v) for g in D_n)
+```
+
+## Implementable Architectures
+- **SE(3)-Transformer / Equiformer**: Spherical harmonic features + equivariant attention for molecular property prediction and protein structure
+- **Set Transformer**: $S_n$ permutation-equivariant attention + Induced Set Attention (low-rank inducing points for complexity reduction)
+- **G-CNN Attention**: $D_n$ rotation/reflection equivariance for remote sensing imagery and medical imaging
+
+## GPU Feasibility
+- **D1**: Group actions implemented as $\rho(g)$ matrix multiplications; equivariant features stored as batched tensors
+- **D2**: $\rho(g) X$ and $Q K^T$ are both GEMM operations; $|G|$ group elements map to batched GEMM
+- **D3**: $|G|$-fold computation overhead; acceptable for small groups ($|D_4|=8$), infeasible for large groups ($|S_n|=n!$). Remedy: use generators + Cayley graph propagation instead of full group enumeration
+- **D4**: Requires storing $|G|$ copies of intermediate features; mitigated by chunking + gradient checkpointing
+- **D5**: Orthogonal representation matrices are numerically stable under bf16
+- **D6**: $|G|$ group elements are naturally parallelizable (along the batch dimension)
+- **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
+
+## 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."
+
+## Risks
+- **Cost of Incorrect Group Selection**: If the data does not possess the assumed symmetry (e.g., molecules lacking full $E(3)$ symmetry), equivariant constraints will impair expressiveness. The symmetry assumption must be validated first, or "approximate equivariance" (soft equivariance) should be used.
+- **Memory Explosion of High-Order Representations**: The $L$-th order spherical harmonic representation of $SO(3)$ has dimension $(2L+1)^2$, causing storage and computation to grow rapidly for high-order features ($L \geq 3$). In practice, truncation to $L \leq 2$ is standard.

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

@@ -0,0 +1,72 @@
+# 等变注意力 / Equivariant Attention
+> **严谨性声明**：本文件中涉及复杂度、显存、FlashAttention 融合、Tensor Core、KV-Cache 压缩的结论均标注为「[v] 已验证 / [~] 可改造需验证 / [x] 不可行」。未标注的视为理论可行，需工程验证。
+
+## 适用问题
+当输入具有**明确的对称群 $G$ 作用**（旋转、平移、置换、反射等），且期望模型输出在相同变换下**协变**（equivariant）而非不变时，需要将等变约束直接编入注意力机制。典型场景：3D 点云/分子（$E(3)$ 刚体群）、图像分类（$D_n$ 旋转/镜像群）、集合数据（$S_n$ 置换群）、多视角/多传感器融合。
+
+## 数学思想来源
+- 透镜：[symmetry（对称透镜）, categorical（范畴化透镜 — 群作用的统一框架）]
+- 知识：[`../../knowledge-base/probability/concentration-inequality.md`（等变约束下的样本效率提升 — 轨道上的数据等价性）, `../../knowledge-base/probability/entropy.md`（等变约束降低输出分布熵 → 更强的归纳偏置）]
+
+## 需要的数学知识
+- **群表示论基础**：群 $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|$，参数共享倍率
+- **Schur 引理**：不可约表示间的等变线性映射要么为零要么为标量乘
+
+## AI 模块形式
+
+**核心思路**：将标准注意力的 $Q, K, V$ 替换为**等变特征**（steerable features），确保注意力权重在群作用下不变，输出在群作用下等变。
+
+**方案 A：置换等变注意力（$S_n$ 群，集合数据）**：
+```python
+# DeepSets / Set Transformer 风格
+# 注意力权重对置换不变：π(Q)π(K)^T = QK^T（置换抵消）
+# 输出对置换等变：π(softmax(QK^T) V) = softmax(QK^T) π(V)
+Q, K, V = W_q(X), W_k(X), W_v(X)  # 逐点线性变换
+scores = Q @ K.T / sqrt(d)         # 置换不变
+attn = softmax(scores)             # 置换不变
+output = attn @ V                  # 置换等变（V 是等变的）
+```
+
+**方案 B：$E(3)$ 等变注意力（3D 点云/分子）**：
+```python
+# 将特征分解为标量 + 向量 + 高阶张量（球谐基）
+# 注意力权重只用标量特征计算（旋转不变）
+scalar_Q = scalar_proj(X_scalar)   # 仅标量 → 旋转不变
+scalar_K = scalar_proj(X_scalar)
+scores = scalar_Q @ scalar_K.T / sqrt(d_s)  # 旋转不变的注意力权重
+
+# V 包含等变特征（标量 + 向量），用不变的权重加权
+output_scalar = softmax(scores) @ V_scalar   # 标量 → 不变
+output_vector = softmax(scores) @ V_vector   # 向量 → 等变（旋转协变）
+```
+
+**方案 C：$D_n$ 等变注意力（图像旋转/镜像）**：
+```python
+# G-CNN 风格：对每个群元素 g ∈ D_n，用 ρ(g) 变换输入后计算注意力
+# 权重沿轨道共享（同一组 W_q/W_k/W_v），聚合所有群元素输出
+output = mean(softmax((rho(g)@X@W_q) @ (rho(g)@X@W_k).T/sqrt(d)) @ (rho(g)@X@W_v) for g in D_n)
+```
+
+## 可实现结构
+- **SE(3)-Transformer / Equiformer**：球谐特征 + 等变注意力，用于分子性质预测和蛋白质结构
+- **Set Transformer**：$S_n$ 置换等变注意力 + Induced Set Attention（低秩诱导点降复杂度）
+- **G-CNN 注意力**：$D_n$ 旋转/镜像等变，用于遥感图像和医学影像
+
+## GPU 可行性
+- **D1[v]**：群作用实现为 $\rho(g)$ 矩阵乘，等变特征为 batched 张量
+- **D2[v]**：$\rho(g) X$ 和 $Q K^T$ 均为 GEMM；$|G|$ 个群元素 → batched GEMM
+- **D3[~]**：$|G|$ 倍计算量，小群（$|D_4|=8$）可接受，大群（$|S_n|=n!$）不可。改造：用生成元 + Cayley 图传播替代整群枚举
+- **D4[~]**：需存储 $|G|$ 份中间特征，可分块 + gradient checkpointing
+- **D5[v]**：正交表示矩阵在 bf16 下数值稳定
+- **D6[v]**：$|G|$ 个群元素天然并行（batch 维）
+- **D7[~]**：置换 $\rho(g)$ 极度稀疏，可编码为 gather 索引
+- **D8[v]**：群作用 + 线性变换可融合为单次 batched GEMM
+
+## 论文表述方式
+"我们提出等变注意力机制，通过将注意力权重约束为群不变量、注意力输出约束为群等变量，在不增加数据增强的情况下将对称群 $G$ 的归纳偏置直接编码进模型结构，参数效率提升 $|G|/|stab|$ 倍。"
+
+## 风险
+- **群选择错误的代价**：若数据不具有假定的对称性（如分子不具有完全 $E(3)$ 对称性），等变约束会伤害表达能力。需先验证对称性假设，或使用"近似等变"（soft equivariance）。
+- **高阶表示的显存爆炸**：$SO(3)$ 的 $L$ 阶球谐表示维度为 $(2L+1)^2$，高阶特征 ($L \geq 3$) 的存储和计算量急剧增长。实践中通常截断到 $L \leq 2$。

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

@@ -0,0 +1,73 @@
+# Geometry-Aware Attention
+> **Rigor disclaimer**: Claims about complexity, memory, FlashAttention fusion, Tensor Core, and KV-Cache compression are marked as [v] verified / [~] retrofittable (needs validation) / [x] infeasible. Unmarked claims are theoretically possible but require engineering validation.
+
+## Applicable Problems
+When **known geometric relationships** exist between tokens/keys (spatial distance, manifold geodesic distance, hierarchical structure, temporal interval), the position-agnostic inner product of standard attention cannot exploit this structural information. Geometry-aware attention **directly injects geometric priors into attention weight computation**, enabling the model to naturally respect the metric structure of the underlying space. Typical scenarios include: 3D scene understanding, molecular conformation, temporal forecasting, hierarchical text structure (paragraph-sentence-word), and knowledge graphs.
+
+## 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)]
+
+## Required Mathematical Knowledge
+- **Metric Spaces and Distance Functions**: Euclidean distance, geodesic distance, tree distance, Wasserstein distance
+- **RBF / Kernel Methods**: $k(x, y) = \exp(-d(x,y)^2 / 2\sigma^2)$, converting distance to similarity
+- **Geometric Interpretation of Positional Encoding**: RoPE = action of the rotation group $SO(2)$ (relative distance encoded as rotation angle difference); ALiBi = exponentially decaying distance bias
+
+## AI Module Form
+
+**Core Idea**: Explicitly introduce a geometric distance term into attention scores so that attention to distant tokens naturally decays:
+
+$$\text{GeoAttn}(Q, K, V) = \text{softmax}\left(\frac{QK^T}{\sqrt{d}} + \text{GeoBias}(i, j)\right) V$$
+
+**Scheme A: Distance-Biased Attention (General Metric Spaces)**:
+```python
+# d_ij is the geometric distance between token i and j (precomputed or computed online)
+# Learnable distance bias function
+distance_bias = MLP(d_ij)  # or simply -alpha * d_ij
+scores = (Q @ K.T) / sqrt(d) + distance_bias
+attn = softmax(scores) @ V
+```
+
+**Scheme B: Relative Positional Encoding (Geometric Generalization of RoPE / ALiBi)**:
+```python
+# Generalize RoPE: position -> group element g_i, relative position -> g_i g_j^{-1}
+# Learnable relative position bias on arbitrary metric spaces
+def geo_attention(Q, K, V, positions):
+    rel_pos = pairwise_difference(positions)       # (n, n, coord_dim)
+    geo_bias = geo_encoder(rel_pos)               # (n, n) learnable mapping
+    scores = (Q @ K.T) / sqrt(d) + geo_bias
+    return softmax(scores) @ V
+```
+
+**Scheme C: Manifold-Aware Attention (Non-Euclidean Spaces)**:
+```python
+# When tokens reside on a non-Euclidean manifold (hyperbolic space, sphere),
+# use geodesic distance instead of Euclidean distance
+def manifold_attention(Q, K, V, manifold):
+    geodist = manifold.geodesic_distance_matrix(positions)  # (n, n)
+    geo_kernel = exp(-geodist^2 / (2 * sigma^2))  # RBF kernel
+    scores = (Q @ K.T) / sqrt(d) + log(geo_kernel + eps)
+    return softmax(scores) @ V
+```
+
+## Implementable Architectures
+- **RoPE Extensions**: From $SO(2)$ rotations to higher-dimensional rotation groups $SO(2k)$, encoding multi-dimensional positional information (2D image patches, 3D voxels)
+- **Hierarchical Positional Bias**: Use LCA (Lowest Common Ancestor) depth as distance in tree structures, suitable for hierarchical geometric of documents and code
+- **Molecular Conformation Attention**: 3D atomic coordinates -> distance matrix -> geometric bias, used in molecular GNNs and protein structure prediction
+
+## GPU Feasibility
+- **D1**: Distance matrices and bias matrices are dense tensors with element-wise operations
+- **D2**: The main body $Q K^T$ is standard GEMM; geometric bias is additive and does not interrupt GEMM
+- **D3**: Pairwise distance matrix construction and storage are $O(n^2)$; however, block-wise computation + online softmax can avoid materializing the full matrix
+- **D4**: The $n \times n$ distance matrix occupies GPU memory; mitigated by block/streaming computation (compatible with FlashAttention)
+- **D5**: Distance computation and bias addition are stable under bf16; the exp in RBF requires overflow caution (clamp distances)
+- **D6**: Distance computation and attention can be pipelined; pairwise distances can be computed in parallel blocks
+- **D7**: Distant biases tend toward $-\infty$ (approaching zero after softmax), naturally inducing structured sparsity (local attention windows)
+- **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."
+
+## 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.
+- **Non-Differentiability of Distance Computation**: Certain distances (graph shortest path, tree LCA depth) are non-differentiable or computationally expensive. Differentiable relaxations (softmin instead of min) or precomputed distance matrices are needed.