math-skill 3.1.0 → 3.1.1

package/README.en-US.md

@@ -84,7 +84,7 @@ Supporting layers:
 
 ### Activation Anchors (by math domain)
 
-| Domain | Cards |
+| 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 |
@@ -127,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**:
@@ -158,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)
@@ -182,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)
@@ -213,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.
 
@@ -227,6 +228,18 @@ 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.

package/README.md

@@ -84,7 +84,7 @@ Sophus Lie 打造"屠龙刀"的故事告诉我们：为解微分方程发明的
 
 ### 激活锚点（按数学领域）
 
-| 领域 | 知识卡片 |
+| 领域 | 锚点 |
 |------|---------|
 | 矩阵分析 | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | 最优化 | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -127,9 +127,9 @@ git clone https://github.com/the-thinker0/math-skill.git
 | 场景 | 诊断信号 | 调用路径 |
 |------|---------|---------|
 | 问题分析 | "这个设计合理吗？" | 透镜 → critic |
-| 机制设计 | "设计新 attention" | 透镜 → 知识 → 设计 → critic |
-| 知识查询 | "切空间和梯度优化有什么关系？" | 知识 |
-| 验证审查 | "这个公式成立吗？" | 知识 → critic |
+| 机制设计 | "设计新 attention" | 透镜 → 激活锚点/临时知识卡 → 设计翻译 → critic |
+| 知识查询 | "切空间和梯度优化有什么关系？" | 激活锚点；不足则 Knowledge Gap Protocol |
+| 验证审查 | "这个公式成立吗？" | 激活锚点/临时知识卡 → critic |
 | 纯工程 | debug、重构、调参 | **不调用** |
 
 **手动触发**：
@@ -158,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）
@@ -182,7 +183,7 @@ math-skill/
 ├── skills/
 │   └── math-research-activator/    # 总控：意图诊断 + 路由
 ├── lenses/                         # 15 个思想透镜（推理方法论）
-├── knowledge-base/                 # 数学知识库（按领域组织）
+├── knowledge-base/                 # 激活锚点（按数学领域组织，非封闭百科）
 │   ├── matrix-analysis/            # 矩阵分析（5 卡片）
 │   ├── optimization/               # 最优化（5 卡片）
 │   ├── differential-geometry/      # 微分几何（6 卡片）
@@ -227,6 +228,18 @@ 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 — 激活锚点与知识缺口协议
 
 **定位升级**：从"数学知识库"转为"数学激活系统"——知识库不是封闭百科，而是激活锚点集合。

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "math-skill",
-  "version": "3.1.0",
-  "description": "面向 AI 架构创新的数学研究操作系统 v3：三层正交架构（思想透镜 / 数学知识库 / 设计翻译层），自动诊断用户意图并路由。Math Research OS for AI architecture design: thinking lenses + math knowledge base + design translation layer with auto intent diagnosis.",
+  "version": "3.1.1",
+  "description": "面向 AI 架构创新的数学研究操作系统 v3.1：思想透镜 / 激活锚点 / 设计翻译原型，支持知识缺口协议与临时知识卡。Math Research OS for AI architecture design: thinking lenses + activation anchors + design translation prototypes with Knowledge Gap Protocol.",
   "keywords": [
     "math",
     "mathematics",

package/references/skill-index.en.md

@@ -1,4 +1,4 @@
-# Skill Index: Lens Library, Knowledge Base, Design Pattern Library, Workflow Examples
+# Skill Index: Lens Library, Activation Anchors, Design Translation Prototypes, Workflow Examples
 
 > This file is extracted from `../skills/math-research-activator/SKILL.en.md` for reference when the full catalogs are needed. SKILL.en.md retains condensed summaries with links to this file.
 
@@ -49,11 +49,11 @@ Each lens answers: What is this perspective? What kinds of problems is it suited
 | Probabilistic & Statistical | `../lenses/probabilistic.en.md` | Quantifying uncertainty, Bayesian updating |
 | Algorithmic | `../lenses/algorithmic.en.md` | Complexity, feasibility, parallelizability |
 
-## Knowledge Base (Organized by Mathematical Domain)
+## Activation Anchors (Organized by Mathematical Domain)
 
-Each knowledge card answers: Minimal definition, core formulas, applicable problems, AI design translation, engineering feasibility, risks.
+Each anchor is not a closed knowledge card but answers: what math structure to activate, what deeper knowledge it connects to, what AI design actions it translates to, and how to extend when insufficient.
 
-| Domain | Directory | Knowledge Cards |
+| Domain | Directory | Anchors |
 |--------|-----------|----------------|
 | Matrix Analysis | `../knowledge-base/matrix-analysis/` | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | Optimization | `../knowledge-base/optimization/` | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -89,10 +89,11 @@ Step 2 — Lens Selection:
   2. Information Theory (retain states with maximum mutual information)
   3. Topological (preserve critical connectivity points of sequential structure)
 
-Step 3 — Knowledge Query:
-  → low-rank-approximation (Matrix Analysis)
+Step 3 — Activation Anchors:
+  → low-rank-approximation (Matrix Analysis anchor)
   → leverage-score-selection (Design Pattern: compression)
-  → information-bottleneck (Probability & Information)
+  → 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)

package/references/skill-index.md

@@ -1,4 +1,4 @@
-# Skill 索引：透镜库、知识库、设计模式库、工作流范例
+# Skill 索引：透镜库、激活锚点、设计翻译原型、工作流范例
 
 > 本文件从 `../skills/math-research-activator/SKILL.md` 提取，供需要查阅完整目录时使用。SKILL.md 保留精简摘要和指向本文件的链接。
 
@@ -49,11 +49,11 @@
 | 概率统计 | `../lenses/probabilistic.md` | 量化不确定性、贝叶斯更新 |
 | 算法 | `../lenses/algorithmic.md` | 复杂度、可行性、并行性 |
 
-## 知识库（按数学领域组织）
+## 激活锚点（按数学领域组织）
 
-每个知识卡片回答：最小定义、核心公式、适用问题、AI 设计翻译、工程可行性、风险。
+每个锚点不是封闭知识卡，而是回答：激活什么数学结构、连接哪些更深知识、可翻译成哪些 AI 设计动作、不足时如何扩展。
 
-| 领域 | 目录 | 知识卡片 |
+| 领域 | 目录 | 锚点 |
 |------|------|---------|
 | 矩阵分析 | `../knowledge-base/matrix-analysis/` | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | 最优化 | `../knowledge-base/optimization/` | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -89,10 +89,11 @@
   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）

package/skills/math-research-activator/SKILL.en.md

@@ -1,7 +1,7 @@
 ---
 name: math-research-activator
 description: |
-  Mathematical research OS — auto-diagnoses user intent, routes to thinking lenses, math knowledge base, or design translation layer. Triggers on architecture/operator design, theoretical analysis, math-to-AI transfer. Does NOT trigger for pure engineering tasks (debug, refactoring, hyperparameter tuning).
+  Mathematical research OS — auto-diagnoses user intent, routes to thinking lenses, activation anchors, or design translation layer. Triggers on architecture/operator design, theoretical analysis, math-to-AI transfer. Does NOT trigger for pure engineering tasks (debug, refactoring, hyperparameter tuning).
 ---
 
 
@@ -26,7 +26,7 @@ This system is a mathematical staff office for AI architecture innovation — no
 | Layer | Responsibility | Directory | Core Question |
 |-------|---------------|-----------|--------------|
 | **Thinking Lenses** | Diagnose problem structure, recommend mathematical perspectives | `../../lenses/*.en.md` | Which perspective should we view this problem through? |
-| **Math Knowledge** | Provide concrete mathematical tools (definitions/theorems/formulas) | `../../knowledge-base/*/*.en.md` | What specific mathematics does this perspective require? |
+| **Activation Anchors** | Activate high-frequency math structures; trigger Knowledge Gap Protocol when insufficient | `../../knowledge-base/*/*.en.md` | What math structures does this perspective require? |
 | **Design Translation** | Translate mathematics into AI modules/losses/operators | `../../design-patterns/*/*.en.md` | How does this mathematics become model architecture? |
 
 Auxiliary layers:
@@ -39,16 +39,16 @@ Auxiliary layers:
 | Scenario | Diagnostic Signal | Invocation Path |
 |----------|------------------|-----------------|
 | **A. Problem Analysis** | "Is this design sound?" "Are there gaps in the reasoning chain?" | Lenses → critic |
-| **B. Mechanism Design** | "Design a new attention mechanism" "Transfer X to Y" | Lenses → Knowledge → Design → critic |
-| **C. Knowledge Query** | "What is a tangent space on a manifold?" "How is the projection theorem applied?" | Knowledge |
-| **D. Verification & Review** | "Does this formula hold?" "What guarantees does this loss provide?" | Knowledge → relevant design patterns (if a concrete AI construct is cited) → critic |
+| **B. Mechanism Design** | "Design a new attention mechanism" "Transfer X to Y" | Lenses → Anchors → Design → critic |
+| **C. Knowledge Query** | "What is a tangent space on a manifold?" "How is the projection theorem applied?" | Anchors |
+| **D. Verification & Review** | "Does this formula hold?" "What guarantees does this loss provide?" | Anchors → relevant design patterns (if a concrete AI construct is cited) → critic |
 | **E. Pure Engineering** | Debugging, refactoring, hyperparameter tuning, code review | **Do not invoke the math system** |
 
 ## Lens Library (15 Mathematical Perspectives)
 
 15 lenses covering: Axiomatization, Duality, Symmetry, Spectral Decomposition, Geometric, Projection & Decomposition, Variational, Local-to-Global, Topological, Categorical, Perturbation, Causal, Game-Theoretic, Probabilistic & Statistical, Algorithmic. Directory: `../../lenses/*.en.md`. Full catalog table: `../../references/skill-index.en.md`.
 
-## Knowledge Base (Organized by Mathematical Domain)
+## Activation Anchors (Organized by Mathematical Domain)
 
 7 domains: Matrix Analysis, Optimization, Differential Geometry, Lie Theory, Topology, Probability & Information, Information Geometry. Directory: `../../knowledge-base/*/*.en.md`. Full catalog table: `../../references/skill-index.en.md`.
 

package/skills/math-research-activator/SKILL.md

@@ -1,8 +1,8 @@
 ---
 name: math-research-activator
 description: |
-  数学研究操作系统：自动诊断用户意图，路由到思想透镜、数学知识库或设计翻译层。触发于设计/改进模型架构/算子/注意力、分析理论性质、迁移数学结构到 AI 设计。不触发于纯工程任务（debug、重构、调参）。
-  English: Mathematical research OS — auto-diagnoses user intent, routes to thinking lenses, math knowledge base, or design translation layer. Triggers on architecture/operator design, theoretical analysis, math-to-AI transfer. Does NOT trigger for pure engineering tasks.
+  数学研究操作系统：自动诊断用户意图，路由到思想透镜、激活锚点或设计翻译层。触发于设计/改进模型架构/算子/注意力、分析理论性质、迁移数学结构到 AI 设计。不触发于纯工程任务（debug、重构、调参）。
+  English: Mathematical research OS — auto-diagnoses user intent, routes to thinking lenses, activation anchors, or design translation layer. Triggers on architecture/operator design, theoretical analysis, math-to-AI transfer. Does NOT trigger for pure engineering tasks.
 ---
 
 > **语言路由与混合输入规则**：看句式/动词/语气词主框架判定主语言。AI/数学/工程术语不计入。代码/路径/公式不计入。中英接近时沿用上一轮，无上下文默认中文。显式要求优先。中文→本文件，英文→`SKILL.en.md`。完整规则见 `../../references/skill-index.md`。
@@ -26,7 +26,7 @@ description: |
 | 层 | 职责 | 目录 | 核心问题 |
 |----|------|------|---------|
 | **思想透镜** | 诊断问题结构，推荐数学视角 | `../../lenses/*.md` | 这个问题该用什么视角看？ |
-| **数学知识** | 提供具体数学工具（定义/定理/公式） | `../../knowledge-base/*/*.md` | 这个视角需要哪些具体数学？ |
+| **激活锚点** | 激活高频数学结构，并在不足时触发 Knowledge Gap Protocol | `../../knowledge-base/*/*.md` | 这个视角需要激活哪些数学结构？ |
 | **设计翻译** | 把数学变成 AI 模块/loss/算子 | `../../design-patterns/*/*.md` | 这些数学怎么变成模型结构？ |
 
 辅助层：
@@ -39,16 +39,16 @@ description: |
 | 场景 | 诊断信号 | 调用路径 |
 |------|---------|---------|
 | **A. 问题分析** | "这个设计合理吗？""逻辑链有没有漏洞？" | 透镜 → critic |
-| **B. 机制设计** | "设计新 attention""把 X 迁移到 Y" | 透镜 → 知识 → 设计 → critic |
-| **C. 知识查询** | "流形上的切空间是什么？""投影定理怎么用？" | 知识 |
-| **D. 验证审查** | "这个公式成立吗？""loss 能保证什么？" | 知识 → 相关设计模式（若引用具体 AI 构造）→ critic |
+| **B. 机制设计** | "设计新 attention""把 X 迁移到 Y" | 透镜 → 激活锚点 → 设计 → critic |
+| **C. 知识查询** | "流形上的切空间是什么？""投影定理怎么用？" | 激活锚点 |
+| **D. 验证审查** | "这个公式成立吗？""loss 能保证什么？" | 激活锚点 → 相关设计模式（若引用具体 AI 构造）→ critic |
 | **E. 纯工程** | debug、重构、调参、代码审查 | **不调用数学系统** |
 
 ## 透镜库（15 个数学视角）
 
 15 个透镜覆盖：公理化、对偶、对称性、谱分解、几何、投影与分解、变分、局部到整体、拓扑、范畴化、扰动、因果、博弈、概率统计、算法。目录：`../../lenses/*.md`。完整目录表见 `../../references/skill-index.md`。
 
-## 知识库（按数学领域组织）
+## 激活锚点（按数学领域组织）
 
 7 个领域：矩阵分析、最优化、微分几何、李理论、拓扑、概率与信息、信息几何。目录：`../../knowledge-base/*/*.md`。完整目录表见 `../../references/skill-index.md`。