math-skill 2.1.0 → 3.0.1

package/references/books/smooth-manifolds.en.md

@@ -0,0 +1,105 @@
+# Smooth Manifolds
+
+> **Book**: John M. Lee, *Introduction to Smooth Manifolds*, 2nd Edition. Graduate Texts in Mathematics 218, Springer, 2013. ISBN 978-1-4419-9981-8 / DOI 10.1007/978-1-4419-9982-5. MSC 53-01 / 58-01 / 57-01.
+> **Positioning**: Equipping objects that "locally look like Euclidean space but can bend globally" (manifolds) with calculus (tangent spaces, vector fields, differential forms, flows, Lie derivatives) -- the mathematical mother of **manifold optimization, latent-space geometry, and differentiable structures**.
+
+## Overview
+
+Smooth manifold = a space that can be locally linearized by coordinate charts, with charts glued together by smooth transition maps. The main thread of the book: **first transplant Euclidean calculus onto curved spaces, then study geometric and topological invariants on them**. For AI, the most valuable part is the "differentiable machinery" in the first half -- tangent/cotangent spaces, vector fields, flows, Riemannian metrics.
+
+Actual chapter map (2nd ed., chapter numbers match the book):
+
+- **Ch 1-2 Smooth Manifolds / Smooth Maps**: topological manifolds, smooth structures (atlases), smooth maps, partitions of unity. -> The language of local linearization + global patching.
+- **Ch 3 Tangent Vectors**: tangent space T_pM, differential / pushforward df_p, tangent bundle TM. -> **The core of local linearization**, the geometric prototype of backpropagation.
+- **Ch 4-5 Submersions, Immersions, Embeddings / Submanifolds**: constant rank theorem, embeddings, regular level sets -> submanifolds. -> Constraint sets = submanifolds.
+- **Ch 6 Sard's Theorem**: critical values have measure zero, Whitney embedding theorem (n-dimensional manifolds embed in R^{2n}). -> Embedding dimensions / manifold hypothesis.
+- **Ch 7 Lie Groups**: both group and manifold (SO(n), U(n), GL(n), Stiefel...), Lie algebra = tangent space at the identity. -> Orthogonal/unitary weight constraints, equivariance.
+- **Ch 8-9 Vector Fields / Integral Curves and Flows**: vector fields, integral curves, flows (one-parameter diffeomorphism groups), Lie derivatives and Lie brackets [X,Y]. -> **The mother structure of Neural ODE / diffusion / continuous normalizing flows**.
+- **Ch 10-12 Vector Bundles / Cotangent Bundle / Tensors**: bundles, covector fields (1-forms), pullbacks, tensors. -> The true nature of gradients is covectors.
+- **Ch 13 Riemannian Metrics**: inner product at each point, length/distance/volume, tangent-cotangent isomorphism (musical sharp/flat, raising/lowering indices). -> **The metric source for natural gradients / Riemannian optimization**.
+- **Ch 14-16 Differential Forms / Orientations / Integration**: k-forms, wedge products, exterior derivative d (d^2=0), orientations, volume forms, integration on manifolds and change of variables. -> The log-det-Jacobian in normalizing flows = pullback of volume forms.
+- **Ch 17-18 De Rham Cohomology / de Rham Theorem**: closed forms modulo exact forms = topological invariants read from differential data. -> Global obstructions / cohomological regularization.
+- **Ch 19-22 Distributions & Foliations / Exponential Map / Quotient Manifolds / Symplectic Manifolds**: integrable distributions (Frobenius), exponential map (retraction prototype), quotient manifolds (Grassmannian etc.), symplectic forms and Hamiltonian flows. -> Retractions, quotient-space constraints, symplectic integrators / HMC.
+
+**Author's stated boundary (preface)**: the book stops at "building the tools," **deliberately omitting** connections, geodesics, curvature, fiber bundles, and Hodge theory -- these are covered in Lee's sequel *Riemannian Manifolds*. So if a problem truly requires the deep geometry of curvature/parallel transport, this book only provides the entry point via metrics and the exponential map; one must continue with a Riemannian geometry text.
+
+## Core Structures Transferable to AI/Infra
+
+- **Tangent space = local linearization of parameter/latent space**. `df_p: T_pM -> T_{f(p)}N` is the Jacobian / pushforward; backpropagation = pushforward along composed maps (the geometric version of the chain rule). All first-order methods live in the tangent space.
+- **Gradients are covectors, not vectors**. Autodiff produces 1-forms (elements of the cotangent space); to obtain a descent direction (tangent vector) one must use the **metric to raise indices** (sharp). Euclidean metric -> ordinary gradient; Fisher metric -> natural gradient. **This is the manifold-level root cause of natural gradients / mirror descent**.
+- **Constraint sets = submanifolds**. Regular level set theorem: when g is a submersion, the solution set `g(x)=c` is a smooth submanifold; constrained optimization = unconstrained optimization on a submanifold.
+- **Lie groups = differentiable symmetry groups**. SO(n)/U(n)/Stiefel/Grassmannian are all manifolds; their Lie algebras (e.g., skew-symmetric matrices so(n)) are linear spaces, mapped back to the group via `exp` -> **reparameterize "constrained weights" as "unconstrained Lie algebra + exp"**.
+- **Flows = time-parameterized families of diffeomorphisms**. Learning a vector field + integrating along it = Neural ODE / continuous normalizing flows / diffusion sampling. Flow invertibility and volume preservation directly correspond to model properties.
+- **Riemannian metric = designable/learnable "local geometry"**. It determines distances, angles, volumes, and orthogonality relations; changing the metric changes optimization trajectories and sampling measures.
+- **Differential forms + volume forms = the language of change of variables**. The `log|det J|` term in normalizing flows is precisely the pullback of a volume form under a map; choosing the right structure (triangular/coupling Jacobians) makes it cheap.
+
+## Problem Types Suited for Activation
+
+- Parameters should satisfy **geometric constraints**: orthogonality, unit norm, unit determinant, SPD, low-rank manifolds, hyperbolic/spherical latent spaces.
+- Optimization is more natural on **curved spaces**: subspace learning on Stiefel/Grassmannian, rotation/pose estimation, hyperspherical representations.
+- Need **structure-preserving dynamics**: invertible generative models, volume-preserving flows, Hamiltonian systems, energy-conserving long-horizon simulations.
+- **Latent space geometry**: interpolation, geodesics, metric learning, clustering/nearest-neighbor on manifolds.
+- Need to upgrade from correlations to **topological invariants**: detecting "holes" in latent spaces, global obstructions, cohomology-based consistency regularization.
+
+## Possible Algorithmic Inspirations
+
+- **Riemannian/manifold optimizers**: transplanting Adam/SGD onto Stiefel, Grassmannian, SPD, hyperbolic spaces -- projecting gradients to the tangent space + retraction back to the manifold.
+- **Orthogonal/Stiefel constrained weights**: using Cayley transforms or QR-retractions to maintain `W^T W = I`, mitigating gradient explosion/vanishing in RNNs/deep networks; or using so(n) Lie algebra + matrix-exp to reparameterize rotations.
+- **Geodesic interpolation**: using closed-form geodesics for interpolation and mixing in spherical/hyperbolic/SPD latent spaces, replacing Euclidean linear interpolation.
+- **Normalization on manifolds**: interpreting LayerNorm/feature normalization as projection onto spheres/unit manifolds; hyperspherical softmax and spectral normalization are instances of this.
+- **Neural ODE / continuous normalizing flows / diffusion**: learning a vector field X_theta, solving via flows; structured Jacobians make `log-det` cheap.
+- **Symplectic integrators / HMC**: using leapfrog-style symplectic, volume-preserving explicit updates for sampling and "optimization with momentum," stable over long horizons.
+- **Equivariant networks**: using Lie group actions + quotient manifolds to bake symmetries into the architecture (geometric deep learning).
+
+## GPU Friendliness Warning
+
+> The sole authority for the acceptance gate: the **eight dimensions** in `../gpu-friendly-math.md`. The success or failure of manifold methods almost entirely hinges on one point: **whether the retraction / exponential map can be tensorized and expressed as GEMM, or must be solved iteratively.**
+
+Dimension-by-dimension comparison:
+
+- **D1-D2 Tensorization / GEMM**: tangent-space operations (pushforward/pullback, Jacobian-vector products, projecting gradients to the tangent space) are **naturally batched GEMM** [v] -- backpropagation itself is pushforward, which is extremely GPU-friendly. **However**, retractions/exp typically require QR, eigendecomposition, matrix exponentials, or small-matrix inverses: QR/eig are **not clean GEMM**, they are decompositions with serial dependencies (cuSOLVER batched small matrices are acceptable, but large matrices are O(n^3) with poor parallelism) -> **reformable** rather than natively friendly.
+- **D3 Complexity**: geodesic distances, parallel transport, general `log|det J|` are all O(n^3) or worse. **Fix**: restrict to manifolds with closed-form geodesics (spheres/hyperbolic/SO(3)); use triangular/coupling layers in normalizing flows so that log-det reduces to a diagonal sum (O(n)).
+- **D5 Low-precision**: [~] **biggest pitfall**. Matrix `exp / log / sqrt`, eigendecompositions, and the affine-invariant metric for SPD are **catastrophically unstable** under bf16/fp16, often silently requiring fp32/fp64. Manifold primitives frequently "appear to run but have numerically diverged long ago."
+- **D6 Parallelism & communication**: the squaring chain in scaling-and-squaring, ODE integration steps, Householder/QR all have **serial recurrences**, making cross-SM/device overlap difficult. Positive counter-example: explicit symplectic integrators (leapfrog) are highly parallel [v].
+- **D4/D7/D8 Memory / Sparsity / Fusion**: if Lie algebra/rotation parameterizations are restricted to **small matrices or block-diagonal** structures (e.g., per-head rotations, SO(3) Rodrigues closed form), they can be fused into kernels and use Tensor Cores; large dense manifold operators require materializing large intermediate tensors.
+
+**Conclusions and reform strategies (echoing the toolbox in gpu-friendly-math.md)**:
+
+1. **Prefer manifolds with closed-form retractions** (spheres, Stiefel-QR, SO(3), hyperbolic).
+2. **Soften whenever possible**: replace hard constraints with pure-GEMM regularization terms (e.g., `lambda ||W^T W - I||^2` instead of strict orthogonal manifold) -- for most training this suffices.
+3. **Small matrices / blocking**: restrict exp/Cayley/QR to small blocks or per-head, batched as batched GEMM.
+4. **Structured Jacobians**: insist on triangular/coupling structures in normalizing flows, avoiding general LU for computing determinants.
+5. **Precision guardrails**: for all matrix exp/log/eig, enforce fp32 accumulation and numerical stabilization (log-sum-exp style).
+
+## Which Design Lens to Invoke
+
+- **variational (primary)**: constrained optimization, Riemannian/manifold optimization, retraction selection.
+- **symmetry**: Lie groups, equivariance, quotient manifolds, invariants under group actions.
+- **duality**: coordinate chart transitions, pushforward/pullback, change of variables in normalizing flows, diffeomorphisms.
+- **topological**: de Rham cohomology, global obstructions, "holes" and connectivity of latent spaces.
+- **categorical**: extracting the "locally linear + smoothly patched" manifold skeleton from high-dimensional messy ambient data (the manifold hypothesis).
+
+## Anti-patterns
+
+- **Confusing ML "tensors" (arrays) with mathematical tensors (multilinear, with covariant/contravariant transformation laws)**, mistakenly assuming coordinate-independent invariance comes for free.
+- **Putting exp / geodesics / matrix-log into bf16 hot training loops**: both slow (serial decomposition) and silently divergent. Ask first: "is there a closed-form retraction / can it be softened?"
+- **Not softening when you should**: using strict manifold constraints for marginal gains while paying the throughput and stability cost of QR/eig; for many tasks, an orthogonality regularization term suffices.
+- **Confusing gradients (covectors) with descent directions (vectors)**: forgetting the metric and treating raw autodiff output directly as natural gradients.
+- **The illusion of a single global coordinate chart**: covering an entire manifold with one global parameterization inevitably introduces singularities (e.g., Euler angle gimbal lock); manifolds inherently require atlases / redundant parameterizations.
+- **Manifold hypothesis overuse**: deploying the full Riemannian machinery when the parameter space is already flat Euclidean -- pure over-engineering (violates simplicity-first).
+
+## Deep Dive Entry
+
+> **Bibliographic info**: John M. Lee, *Introduction to Smooth Manifolds*, 2nd Edition, Graduate Texts in Mathematics 218, Springer, 2013. ISBN 978-1-4419-9981-8.
+>
+> **Activation method**: Place `Introduction to Smooth Manifolds.pdf` in the `math_book/` folder at the project root; the Agent can then automatically search the original text. The PDF is not distributed via npm/git (copyright reasons); obtain it independently.
+
+> **Full-fidelity lookup**: when original definitions/theorems/proofs are needed, have the Agent **automatically search the local PDF** `math_book/Introduction to Smooth Manifolds.pdf` (locate by chapter number / keywords, do not rely on memory to restate). The following are actual chapter numbers (2nd ed.):
+
+- **Ch 3 Tangent Vectors** -- tangent spaces, differentials/pushforwards, tangent bundles: local linearization and the geometric prototype of backpropagation.
+- **Ch 11 The Cotangent Bundle** -- covector fields (1-forms), `df` as a covector, pullbacks: the true nature of gradients = covectors.
+- **Ch 13 Riemannian Metrics** -- metrics, tangent-cotangent isomorphism (sharp/flat), distances: the root of natural gradients / Riemannian optimization.
+- **Ch 9 Integral Curves and Flows** -- flows, integral curves, Lie derivatives/Lie brackets: Neural ODE / diffusion / structure-preserving dynamics.
+- **Ch 20 The Exponential Map** -- the exponential map: the retraction prototype, and also the main bottleneck for GPU feasibility.
+
+(Extensions: Ch 7 Lie Groups -> orthogonal/unitary constraints and equivariance; Ch 14 Differential Forms -> volume forms and log-det-Jacobian; Ch 22 Symplectic Manifolds -> symplectic integrators / HMC.)

package/references/books/smooth-manifolds.md

@@ -1,4 +1,4 @@
-# 🌐 光滑流形 / Smooth Manifolds
+# 光滑流形 / Smooth Manifolds
 
 > **书目**：John M. Lee, *Introduction to Smooth Manifolds*, 2nd Edition. Graduate Texts in Mathematics 218, Springer, 2013. ISBN 978-1-4419-9981-8 / DOI 10.1007/978-1-4419-9982-5. MSC 53-01 / 58-01 / 57-01.
 > **定位**：把"局部像欧氏空间、整体可弯曲"的对象（manifold）配上微积分（切空间、向量场、微分形式、流、李导数），是 **流形优化、隐空间几何、可微结构** 的数学母体。
@@ -16,7 +16,7 @@
 - **Ch 7 Lie Groups**：既是群又是流形（SO(n), U(n), GL(n), Stiefel…），李代数 = 单位元处切空间。→ 正交/酉权重约束、等变。
 - **Ch 8–9 Vector Fields / Integral Curves and Flows**：向量场、积分曲线、流（flow，单参数微分同胚群）、李导数与李括号 [X,Y]。→ **Neural ODE / 扩散 / 连续归一化流** 的母结构。
 - **Ch 10–12 Vector Bundles / Cotangent Bundle / Tensors**：丛、余向量场（1-form）、拉回（pullback）、张量。→ 梯度的真身是余向量。
-- **Ch 13 Riemannian Metrics**：每点内积、长度/距离/体积、切-余切同构（musical ♯/♭，升降指标）。→ **自然梯度 / 黎曼优化的度量来源**。
+- **Ch 13 Riemannian Metrics**：每点内积、长度/距离/体积、切-余切同构（musical (sharp)/(flat)，升降指标）。→ **自然梯度 / 黎曼优化的度量来源**。
 - **Ch 14–16 Differential Forms / Orientations / Integration**：k-形式、楔积、外微分 d（d²=0）、定向、体积形式、流形上积分与变量替换。→ 归一化流的 log-det-Jacobian = 体积形式拉回。
 - **Ch 17–18 De Rham Cohomology / de Rham Theorem**：闭形式模去恰当形式 = 从微分数据读出的拓扑不变量。→ 全局障碍 / 上同调正则。
 - **Ch 19–22 Distributions & Foliations / Exponential Map / Quotient Manifolds / Symplectic Manifolds**：可积分布（Frobenius）、指数映射（retraction 原型）、商流形（Grassmann 等）、辛形式与 Hamilton 流。→ retraction、商空间约束、辛积分器 / HMC。
@@ -26,7 +26,7 @@
 ## 可迁移到 AI/Infra 的核心结构
 
 - **切空间 = 参数/隐空间的局部线性化（local linearization）**。`df_p: T_pM → T_{f(p)}N` 就是 Jacobian / pushforward；反向传播 = 沿复合映射做 pushforward（链式法则的几何版）。一切一阶方法都活在切空间里。
-- **梯度是余向量（covector），不是向量**。autodiff 给出的是 1-form（余切空间元素）；要变成可下降的方向（切向量）必须用 **度量升指标**（♯）。欧氏度量 → 普通梯度；Fisher 度量 → 自然梯度（natural gradient）。**这是自然梯度 / 镜像下降的流形根因**。
+- **梯度是余向量（covector），不是向量**。autodiff 给出的是 1-form（余切空间元素）；要变成可下降的方向（切向量）必须用 **度量升指标**（(sharp)）。欧氏度量 → 普通梯度；Fisher 度量 → 自然梯度（natural gradient）。**这是自然梯度 / 镜像下降的流形根因**。
 - **约束集 = 子流形（submanifold）**。正则水平集定理：当 g 是 submersion 时 `g(x)=c` 的解集是光滑子流形；约束优化 = 在子流形上做无约束优化。
 - **李群 = 可微的对称群**。SO(n)/U(n)/Stiefel/Grassmann 都是流形；其李代数（如反对称矩阵 so(n)）是线性空间，用 `exp` 映射回群 → **把"约束权重"重参数化为"无约束李代数 + exp"**。
 - **流（flow）= 时间参数化的微分同胚族**。学一个向量场 + 沿它积分 = Neural ODE / 连续归一化流 / 扩散采样。流的可逆性、保体积性直接对应模型性质。
@@ -57,10 +57,10 @@
 
 逐维对照：
 
-- **维度 1–2 张量化 / GEMM**：切空间运算（pushforward/pullback、Jacobian-向量积、把梯度投影到切空间）**天然是 batched GEMM** ✅——反向传播本就是 pushforward，这部分对 GPU 极友好。**但** retraction/exp 多半要 QR、特征分解、矩阵指数或小矩阵求逆：QR/eig **不是干净的 GEMM**，是带串行依赖的分解（cuSOLVER 批量小矩阵尚可，大矩阵 O(n³) 且并行差）→ **可改造** 而非天然友好。
+- **维度 1–2 张量化 / GEMM**：切空间运算（pushforward/pullback、Jacobian-向量积、把梯度投影到切空间）**天然是 batched GEMM** [v]——反向传播本就是 pushforward，这部分对 GPU 极友好。**但** retraction/exp 多半要 QR、特征分解、矩阵指数或小矩阵求逆：QR/eig **不是干净的 GEMM**，是带串行依赖的分解（cuSOLVER 批量小矩阵尚可，大矩阵 O(n³) 且并行差）→ **可改造** 而非天然友好。
 - **维度 3 复杂度**：测地线距离、平行移动、一般 `log|det J|` 都是 O(n³) 起。**改造**：限定有闭式测地线的流形（球面/双曲/SO(3)）；归一化流用三角/耦合层让 log-det 退化成对角和（O(n)）。
-- **维度 5 低精度**：⚠️ **最大坑**。矩阵 `exp / log / sqrt`、特征分解、SPD 的仿射不变度量在 bf16/fp16 下 **灾难性不稳定**，常静默地需要 fp32/fp64。流形原语经常"表面能跑、数值早已发散"。
-- **维度 6 并行与通信**：scaling-and-squaring 的平方链、ODE 积分步、Householder/QR 都有 **串行递推**，难跨 SM/设备 overlap。反例向好：显式辛积分器（leapfrog）高并行 ✅。
+- **维度 5 低精度**：[~] **最大坑**。矩阵 `exp / log / sqrt`、特征分解、SPD 的仿射不变度量在 bf16/fp16 下 **灾难性不稳定**，常静默地需要 fp32/fp64。流形原语经常"表面能跑、数值早已发散"。
+- **维度 6 并行与通信**：scaling-and-squaring 的平方链、ODE 积分步、Householder/QR 都有 **串行递推**，难跨 SM/设备 overlap。反例向好：显式辛积分器（leapfrog）高并行 [v]。
 - **维度 4/7/8 显存 / 稀疏 / 融合**：李代数/旋转参数化若限制在 **小矩阵或块对角**（如逐头旋转、SO(3) 的 Rodrigues 闭式），可融进 kernel、走 Tensor Core；大稠密流形算子则要物化大中间张量。
 
 **结论与改造手法（呼应 gpu-friendly-math.md 工具箱）**：
@@ -71,13 +71,13 @@
 4. **结构化 Jacobian**：归一化流坚持三角/耦合结构，杜绝通用 LU 求 det。
 5. **精度护栏**：凡矩阵 exp/log/eig，强制 fp32 累加并做数值稳定（log-sum-exp 式）。
 
-## 该调用哪个思想武器
+## 该调用哪个思想透镜
 
-- **optimization（⚖️ 优化思想）**：主武器——约束下寻最优、黎曼/流形优化、retraction 选型。
-- **symmetry-invariance（⚛️ 对称与不变性）**：李群、等变、商流形、群作用下的不变量。
-- **transformation（🔄 变换思想）**：坐标卡变换、pushforward/pullback、归一化流的变量替换、微分同胚。
-- **topological-thinking（🌀 拓扑思想）**：de Rham 上同调、全局障碍、隐空间的"洞"与连通性。
-- **abstraction（🧩 抽象化思想）**：从高维杂乱的环境数据中抽出"局部线性 + 光滑拼接"的流形骨架（流形假设）。
+- **variational（变分透镜）**：主透镜——约束下寻最优、黎曼/流形优化、retraction 选型。
+- **symmetry（对称与不变性）**：李群、等变、商流形、群作用下的不变量。
+- **duality（对偶透镜）**：坐标卡变换、pushforward/pullback、归一化流的变量替换、微分同胚。
+- **topological（拓扑透镜）**：de Rham 上同调、全局障碍、隐空间的"洞"与连通性。
+- **categorical（范畴化透镜）**：从高维杂乱的环境数据中抽出"局部线性 + 光滑拼接"的流形骨架（流形假设）。
 
 ## 反模式
 
@@ -90,7 +90,7 @@
 
 ## 深挖入口
 
-> **📖 书目信息**：John M. Lee, *Introduction to Smooth Manifolds*, 2nd Edition, Graduate Texts in Mathematics 218, Springer, 2013. ISBN 978-1-4419-9981-8.
+> **书目信息**：John M. Lee, *Introduction to Smooth Manifolds*, 2nd Edition, Graduate Texts in Mathematics 218, Springer, 2013. ISBN 978-1-4419-9981-8.
 >
 > **启用方式**：将 `Introduction to Smooth Manifolds.pdf` 放入项目根目录的 `math_book/` 文件夹，Agent 即可自动搜索原文。PDF 不随 npm/git 分发（版权原因），需自行获取。
 
@@ -98,7 +98,7 @@
 
 - **Ch 3 Tangent Vectors** — 切空间、微分/pushforward、切丛：局部线性化与反传的几何原型。
 - **Ch 11 The Cotangent Bundle** — 余向量场（1-form）、`df` 作为余向量、pullback：梯度真身 = 余向量。
-- **Ch 13 Riemannian Metrics** — 度量、切-余切同构（♯/♭）、距离：自然梯度 / 黎曼优化的根。
+- **Ch 13 Riemannian Metrics** — 度量、切-余切同构（(sharp)/(flat)）、距离：自然梯度 / 黎曼优化的根。
 - **Ch 9 Integral Curves and Flows** — 流、积分曲线、李导数/李括号：Neural ODE / 扩散 / 保结构动力学。
 - **Ch 20 The Exponential Map** — 指数映射：retraction 原型，也是 GPU 可行性的主瓶颈。
 

package/references/gpu-friendly-math.en.md

@@ -1,9 +1,22 @@
 # GPU-Friendly Math Checklist
 
 > This file is the **single source of truth** for the "GPU-feasibility" acceptance gate.
-> The activator, the 16 thinking weapons, `books/*.md`, and `../agents/math-critic.md` all reference this file; no duplicate definitions elsewhere.
+> The activator, the 15 thinking lenses, `books/*.md`, and `../agents/math-critic.md` all reference this file; no duplicate definitions elsewhere.
 >
-> This file is the single source of truth for the "GPU-feasibility" acceptance gate. The activator, the 16 weapons, the book references, and the math-critic all point here.
+> This file is the single source of truth for the "GPU-feasibility" acceptance gate. The activator, the 15 thinking lenses, the book references, and the math-critic all point here.
+
+## Eight-Dimension Abbreviations
+
+| Abbrev. | Full Name |
+|---------|-----------|
+| D1 | Tensorization |
+| D2 | GEMM-mappability |
+| D3 | Complexity |
+| D4 | Memory & KV-Cache |
+| D5 | Low-precision stability |
+| D6 | Parallelism & communication |
+| D7 | Sparse structure |
+| D8 | Operator fusion |
 
 ## Core Proposition
 
@@ -16,20 +29,20 @@ Many "beautiful on paper" modern mathematical structures cannot run at high perf
 
 ## The 8-Dimension Scorecard
 
-For any candidate structure (operator, attention variant, routing mechanism, regularization term, compression scheme…) rate each dimension as `Friendly / Adaptable / Unfriendly` and provide adaptation recommendations.
+For any candidate structure (operator, attention variant, routing mechanism, regularization term, compression scheme…) rate each dimension as `Friendly / Retrofittable / Unfriendly` and provide adaptation recommendations.
 
-| # | Dimension | Key Question | Friendly ✅ | Unfriendly ❌ |
+| # | Dimension | Key Question | Friendly [v] | Unfriendly [x] |
 |---|-----------|-------------|------------|--------------|
 | 1 | **Tensorization** | Can it be expressed as dense tensor operations, avoiding element-wise irregular control flow? | Batched tensor algebra | Scalar loops, data-dependent branches |
-| 2 | **GEMM Mappability** | Can it be reduced to matrix multiplication / batched GEMM / convolution to fully utilize Tensor Cores? | Expressible as a GEMM chain | Irregular computations that cannot be expressed as matrix operations |
+| 2 | **GEMM-mappability** | Can it be reduced to matrix multiplication / batched GEMM / convolution to fully utilize Tensor Cores? | Expressible as a GEMM chain | Irregular computations that cannot be expressed as matrix operations |
 | 3 | **Complexity** | Is the forward/backward pass sub-quadratic? How does it scale with sequence length / model size? | Linear / sub-quadratic, blockable | $O(n^2)$ or worse memory/compute blowup |
 | 4 | **Memory & KV-Cache** | Peak memory usage; activation / state / KV footprint; can it be compressed? | Low-rank / quantized / block-summary compressible | Must materialize large intermediate tensors |
 | 5 | **Low-Precision Stability** | Is it stable under fp16/bf16/fp8 with deterministic reproducibility? | Controlled dynamic range, numerically robust | Catastrophic cancellation, ill-conditioned, requires fp64 |
 | 6 | **Parallelism & Communication** | Can it be parallelized across SMs / devices? Communication-to-compute ratio; can overlap be achieved? | Highly parallel, communication overlap-able | Long serial recurrences, communication bottleneck |
-| 7 | **Sparsity** | Structured or unstructured sparsity? | Block / banded structured sparsity | Random gather/scatter |
-| 8 | **Kernel Fusion** | Can kernels be fused to avoid materializing large intermediates (FlashAttention-style)? | Fusible, recomputable | Frequent small kernels, divergent control flow |
+| 7 | **Sparse structure** | Structured or unstructured sparsity? | Block / banded structured sparsity | Random gather/scatter |
+| 8 | **Operator Fusion** | Can kernels be fused to avoid materializing large intermediates (FlashAttention-style)? | Fusible, recomputable | Frequent small kernels, divergent control flow |
 
-**Scoring conclusion**: Retain only candidates that are **mathematically beautiful AND (all eight dimensions friendly or adaptable)**; any dimension rated "unfriendly and non-adaptable" means the candidate must be adapted or eliminated.
+**Scoring conclusion**: Retain only candidates that are **mathematically beautiful AND (all eight dimensions friendly or retrofittable)**; any dimension rated "unfriendly and non-retrofittable" means the candidate must be adapted or eliminated.
 
 ## Common "Beautiful but Non-Computable" Anti-Patterns
 
@@ -48,7 +61,7 @@ Common techniques for transforming "beautiful but non-computable" into "both bea
 - **Block sparsification**: Dense attention within blocks, structured sparse between blocks (e.g., DeepSeek CSA-style blocking).
 - **Low-rank / projection compression**: Restriction maps via low-rank linear transformations; **low-rank basis-style block summaries** for KV-Cache compression (store the basis rather than Plücker coordinates — the latter expands when low-rank).
 - **Numerical reparameterization**: log-sum-exp, normalization, stable softmax — ensuring low-precision stability.
-- **Kernel fusion / recomputation**: Fused kernels, activation recompute to save memory.
+- **Operator fusion / recomputation**: Fused kernels, activation recompute to save memory.
 - **Embedding structure into GEMM**: Express algebraic/geometric transformations as **learnable linear maps** so they naturally map onto Tensor Cores.
 
 ## Worked Example: Tropical Sheaf Attention
@@ -57,7 +70,7 @@ Drawn from the auto-research directions cited in `agentic-workflow.md`, demonstr
 
 | Component | Mathematical Source | GPU Friendliness |
 |-----------|-------------------|-----------------|
-| Tropical Gating | Tropical semiring, piecewise-linear | Replaces Top-K: element-wise max-plus — dim 1 ✅ Tensorization / dim 2 ❌ Not a Tensor Core GEMM (runs on CUDA cores) / dim 3 ✅ Per-token gating only, sub-quadratic (min-plus matmul is APSP-hard, not sub-quadratic); sub-differentiable, kinks require LogSumExp smoothing (smoothing recovers standard softmax) |
+| Tropical Gating | Tropical semiring, piecewise-linear | Replaces Top-K: element-wise max-plus — dim 1 [v] Tensorization / dim 2 [x] Not a Tensor Core GEMM (runs on CUDA cores) / dim 3 [v] Per-token gating only, sub-quadratic (min-plus matmul is APSP-hard, not sub-quadratic); sub-differentiable, kinks require LogSumExp smoothing (smoothing recovers standard softmax) |
 | Cellular Sheaf Diffusion | Algebraic geometry / topology (sheaves, restriction maps) | Each edge is a low-rank linear transform = small GEMM (dim 2/4) |
 | Čech Cohomology Regularization | Algebraic topology (first cohomology $H^1$) | Local, inexpensive; serves as an algebraic criterion for hallucination (dim 3/8) |
 | Low-Rank Basis KV Compression (Plücker/Grassmannian perspective) | Projective geometry | Store the basis rather than Plücker coordinates (the latter expands when low-rank); block-summary candidate — compression ratio / error / throughput must be benchmarked (dim 4) |

package/references/gpu-friendly-math.md

@@ -3,9 +3,22 @@
 # GPU 友好性总清单 / GPU-Friendly Math Checklist
 
 > 本文件是「GPU 可行性」验收门的**唯一权威来源（single source of truth）**。
-> activator、16 个思想武器、`books/*.md`、以及 `../agents/math-critic.md` 都引用此处，不重复定义。
+> activator、15 个思想透镜、`books/*.md`、以及 `../agents/math-critic.md` 都引用此处，不重复定义。
 >
-> This file is the single source of truth for the "GPU-feasibility" acceptance gate. The activator, the 16 weapons, the book references, and the math-critic all point here.
+> This file is the single source of truth for the "GPU-feasibility" acceptance gate. The activator, the 15 thinking lenses, the book references, and the math-critic all point here.
+
+## 八维缩写速查
+
+| 缩写 | 全称 |
+|------|------|
+| D1 | 张量化 |
+| D2 | GEMM 可映射 |
+| D3 | 复杂度 |
+| D4 | 显存与 KV-Cache |
+| D5 | 低精度稳定 |
+| D6 | 并行与通信 |
+| D7 | 稀疏结构 |
+| D8 | 算子融合 |
 
 ## 核心命题 / Core Proposition
 
@@ -20,7 +33,7 @@
 
 对任何候选结构（算子、注意力变体、路由、正则项、压缩方案……）逐项评 `友好 / 可改造 / 不友好`，并给出改造建议。
 
-| # | 维度 | 关键问题 | 友好 ✅ | 不友好 ❌ |
+| # | 维度 | 关键问题 | 友好 [v] | 不友好 [x] |
 |---|------|---------|--------|----------|
 | 1 | **张量化 / Tensorization** | 能否表达为稠密张量运算，避免逐元素不规则控制流？ | 批量张量代数 | 标量循环、数据相关分支 |
 | 2 | **GEMM 可映射 / GEMM mappability** | 能否落到 矩阵乘 / batched GEMM / 卷积，吃满 Tensor Core？ | 可写成 GEMM 链 | 无法矩阵化的不规则运算 |
@@ -59,7 +72,7 @@
 
 | 组件 | 数学来源 | GPU 友好性 |
 |------|---------|-----------|
-| 热带门控 Tropical Gating | 热带半环分段线性 | 替代 Top-K：逐元素 max-plus——dim 1 ✅ 张量化 / dim 2 ❌ 非 Tensor Core GEMM（落 CUDA core）/ dim 3 ✅ 仅逐 token 门控亚二次（min-plus matmul 则 APSP-hard 非亚二次）；次可微，折点需 LogSumExp 软化（软化退回标准 softmax）|
+| 热带门控 Tropical Gating | 热带半环分段线性 | 替代 Top-K：逐元素 max-plus——dim 1 [v] 张量化 / dim 2 [x] 非 Tensor Core GEMM（落 CUDA core）/ dim 3 [v] 仅逐 token 门控亚二次（min-plus matmul 则 APSP-hard 非亚二次）；次可微，折点需 LogSumExp 软化（软化退回标准 softmax）|
 | 胞腔层扩散 Cellular Sheaf Diffusion | 代数几何/拓扑（层、限制映射）| 每边低秩线性变换 = 小 GEMM（维度 2/4）|
 | Čech 上同调正则 | 代数拓扑（一阶上同调 H¹）| 局部、廉价；作幻觉的代数判据（维度 3/8）|
 | 低秩基底 KV 压缩（Plücker/Grassmannian 视角） | 射影几何 | 存基底而非 Plücker 坐标（后者低秩时反扩张）；块摘要候选，压缩率/误差/吞吐需实测（维度 4）|

package/references/inspiration.en.md

@@ -108,6 +108,6 @@ What matters is not finding the legendary "global optimum," but rather, at each
 
 The inspiration for this project stems precisely from these two insights:
 
-1. **The value of mathematical tools far exceeds their original intent** — Sophus Lie's dragon-slaying blade story teaches us that a tool invented for solving differential equations ultimately became the universal language for describing symmetry. This is the core idea behind "thinking weapons": every mathematical concept carries transferable value far beyond its original application domain.
+1. **The value of mathematical tools far exceeds their original intent** — Sophus Lie's dragon-slaying blade story teaches us that a tool invented for solving differential equations ultimately became the universal language for describing symmetry. This is the core idea behind "thinking lenses": every mathematical concept carries transferable value far beyond its original application domain.
 
 2. **Mathematics is a lens for understanding life** — Optimization theory is not just about algorithms; it is a framework for understanding the structure of life decisions. When you transfer the "exploration–exploitation trade-off" from reinforcement learning to career choices, or the "local optimum trap" from convex optimization to everyday decisions, mathematics steps off the blackboard and into daily life.

package/references/inspiration.md

@@ -20,7 +20,7 @@ Sophus Lie 是一个想打造一把**屠龙刀**（解通微分方程）的铁
 
 一个为解决特定问题而发明的工具，最终在完全不同的领域展现出远超初衷的价值。公理化思想最初是为了让几何严密，后来却成了所有数学分支的基础语言；傅里叶变换最初是为了解热方程，后来却成了信号处理和量子力学的核心；欧拉的生成函数最初是为了算整数分拆，后来却成了组合学和概率论的通用工具。
 
-数学思想武器也是如此——你学习它，可能是为了审查一篇论文或解决一个具体问题，但它真正的价值，在于它改变了你看世界的方式。
+数学思想透镜也是如此——你学习它，可能是为了审查一篇论文或解决一个具体问题，但它真正的价值，在于它改变了你看世界的方式。
 
 ---
 
@@ -110,6 +110,6 @@ $x_0$ 是你的出身、天赋、起点。
 
 本项目的灵感来源，正是这两段感悟：
 
-1. **数学工具的价值远超初衷** —— Sophus Lie 的屠龙刀故事告诉我们，一个为解微分方程而发明的工具，最终成为描述对称性的通用语言。这正是"思想武器"的核心理念：每个数学思想方法，都有远超其原始应用场景的迁移价值。
+1. **数学工具的价值远超初衷** —— Sophus Lie 的屠龙刀故事告诉我们，一个为解微分方程而发明的工具，最终成为描述对称性的通用语言。这正是"思想透镜"的核心理念：每个数学思想方法，都有远超其原始应用场景的迁移价值。
 
 2. **数学是理解生活的透镜** —— 最优化理论不只是算法，它还是一种理解人生决策结构的方式。当你把"探索与利用的权衡"从强化学习迁移到职业选择，把"局部最优陷阱"从凸优化迁移到生活决策，数学就从黑板走进了日常。