math-skill 3.3.0 → 3.3.2

package/README.en-US.md

@@ -1,64 +1,111 @@
-<p align="right">
-  <a href="README.md">中文</a> | <a href="README.en-US.md">English</a>
-</p>
+<div align="center">
 
-# 📐 Math Skill: A Mathematical Research Operating System for AI and Cryptography Innovation
+# 📐 Math Skill
+
+### A Mathematical Research Operating System for AI and Cryptography Innovation
+
+<a href="README.md">中文</a> | <a href="README.en-US.md">English</a>
 
 [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
 [![npm version](https://img.shields.io/npm/v/math-skill.svg)](https://www.npmjs.com/package/math-skill)
 [![npm downloads](https://img.shields.io/npm/dt/math-skill.svg)](https://www.npmjs.com/package/math-skill)
 
----
+</div>
+
+> Math Skill does not store mathematics. It activates, routes, and translates mathematics for AI and cryptography research.
+
+A math reasoning skill for **Claude Code / Codex / Cursor and more** — automatically activates the right mathematical lenses, knowledge anchors, and design prototypes for AI architecture design, math-to-AI transfer, and cryptographic proof review, delivering conditional, falsifiable conclusions with counterexamples.
 
-> **If this project inspires you, please consider leaving a Star⭐.** Every Star is a resonance with the beauty of mathematics — and the fuel that keeps this project alive. Welcome, every fellow traveler who loves math and sails its vast ocean.
+If this skill inspires you, please consider leaving a Star⭐. Your support keeps the project evolving.
 
 ---
 
-## 📢 Community Announcements
+## How is this different from just asking the AI?
 
-> **This skill is under rapid iteration — your feedback and suggestions are warmly welcome!** Your input is the core driver of our continuous evolution. Feel free to reach out via GitHub Issues or Discussions.
+### [AI] Case 1: Analysis — "KAN's mathematical foundations and risks"
 
-> **v3.3.0**: canonical entry structure, minimum-context routing, AI/cryptography isolation, mathematical and cryptographic corrections, relevance-driven GPU review, and complete bilingual pairing. Root `SKILL.md` is authoritative, and all three cryptography distillations now have dedicated English versions. See the changelog.
+**User**: "KAN uses learnable B-splines instead of ReLU, claiming better accuracy and interpretability than MLPs. I want to analyze its mathematical foundations and potential risks."
 
----
+**Without Skill**:
+> KAN is based on the Kolmogorov-Arnold representation theorem, using B-splines as learnable activation functions on edges. Advantages include parameter efficiency and interpretable activations. Risks are mainly that spline computation is slower than ReLU and fine grids may overfit. Suggest running ablation experiments on specific tasks.
 
-## Inspiration
+**With Skill** (activated: Perturbation + Spectral lenses → `low-rank-approximation` anchor):
+
+> **Conclusion**: The KA theorem guarantees **existence** of a representation, not **learnability**. Two overlooked mathematical quantities determine KAN's actual performance: the effective rank of the spline basis and the Fisher curvature of the parameter space.
+>
+> - **Existence ≠ Learnability**: The KA theorem guarantees ∑φ_q(∑ψ_{q,p}(x_p)) can represent any continuous function, but—like the universal approximation theorem for MLPs—it does not guarantee that gradient descent finds the representation
+> - **Spline basis effective rank**: B-spline basis functions' support overlap causes effective rank to lag far behind parameter growth; if grids refine but bases remain highly correlated, actual expressive capacity stalls—monitor singular value decay curves, not just parameter counts
+> - **Fisher curvature**: Spline's second-order differentiability makes the Hessian more regular, but the Fisher information matrix's condition number may be far larger than in ReLU networks; natural gradient has theoretical advantages but higher estimation cost
+> - **Falsifiable experiment**: Compare KAN vs. same-parameter-budget MLP on spline basis effective rank decay; if rank growth stalls while parameters keep growing, the "interpretability" advantage is offset by redundancy
+
+### [Crypto] Case 2: Verification — "Is this PRF watermarking reduction tight?"
 
-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).
+**User**: "I use a PRF to watermark model weights. The reduction proof says 'removing watermark ≥ breaking PRF'. Is this reduction tight?"
 
-> The most fascinating thing about mathematics: a tool invented for one problem reveals unforeseen power in an entirely different domain.
+**Without Skill**:
+> If removing the watermark is equivalent to distinguishing PRF output from truly random, then the reduction is tight when the PRF security assumption holds. Suggest choosing an AES-based PRF for stronger assumptions.
+
+**With Skill** (activated: `reduction-proof-template` + `prf-prg-owf` anchors):
+
+> **Conclusion**: The reduction direction is correct, but tightness depends on query count Q and simulation quality—cannot claim "tight" just from "PRF assumption holds."
+>
+> - **Reduction loss**: Adv^scheme ≤ Q · Adv^PRF + δ, where Q is the adversary's query count. If Q grows linearly with model parameters, concrete security degrades significantly—must report Q's magnitude, not just write "polynomial loss"
+> - **Simulation quality**: The reduction must construct simulator B to answer adversary oracle queries; if B's simulation distribution has non-negligible statistical distance from the real game, the entire reduction fails
+> - **Assumption hierarchy**: AES-as-PRF is a widely adopted empirical assumption, not a theorem unconditionally proven from the spec—standard model, ROM, and concrete security are three levels that must not be conflated
+> - **Multi-user degradation**: After deployment, multiple users query independently; birthday bound and hybrid steps amplify advantage loss
+> - **Falsifiable check**: Write out B's complete simulation (parameter generation, query answering, challenge embedding, abort handling), plug in concrete parameters to estimate Q and δ
 
 ---
 
-> Math Skill does not store mathematics. It activates, routes, and translates mathematics for AI research.
+## Quick Start
 
-## Philosophy
+### Installation
 
-When you face an AI research problem, this system helps you answer four questions:
+**npx** (recommended):
 
-1. **What mathematical perspective should I use?** → Thinking Lenses
-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
+```bash
+npx -y math-skill@latest install --all
+```
+
+**Or give the project URL to your AI and let it install itself**:
 
 ```
-Problem
- ↓
-Thinking Lenses: What perspective fits this problem?
- ↓
-Activation Anchors: Which math structures to activate? Enter Knowledge Gap Protocol if insufficient
- ↓
-Design Translation: How do these tools become model structures / losses / operators?
- ↓
-Critic: Mathematically sound? Engineering-feasible?
+Please help me install math-skill: https://github.com/the-thinker0/math-skill, and show me how to use it
 ```
 
-> **v3.2.1 Design Philosophy Refinement**: This skill is a mathematical-thinking activator and anchor, not a knowledge encyclopedia. `knowledge-base/` anchors describe mathematical structures (manifolds, spectra, sheaf cohomology, pseudorandom function families, etc.), not specific AI architectures (diffusion, SSM, etc.); `design-patterns/` is a paradigmatic demonstration of "math→AI module" translation, not a copy-paste template library. This ensures the skill retains guiding capacity for any research direction (diffusion, SSM, MoE, alignment, etc.) and does not become outdated as concrete architectures evolve.
+> Also supports: `install --codex` / `--claude` (individual), `update --all` (upgrade), `doctor --all` (check for duplicates)
+> The installer automatically excludes the nested `skills/` directory, ensuring only one entry per platform.
+
+### Usage
+
+**Auto-trigger**: The system auto-diagnoses user intent and routes to the appropriate layer:
+
+| Scenario | Signal | Path |
+|----------|--------|------|
+| Analysis | "Is this design sound?" | Lenses → compact review |
+| Design | "Design a new attention" | Lenses → anchors → design translation → compact review |
+| Knowledge query | "How does tangent space relate to gradient optimization?" | Activate anchor |
+| Verification | "Is this reduction tight enough?" | Anchors → conditions/boundaries |
+| Pure engineering | debug, refactoring, tuning | **Not triggered** |
+
+**Manual trigger**:
+
+```
+/ask <your question>     # Smart diagnosis: auto-detect scenario and route
+```
+
+### Language
+
+Auto-detects Chinese/English: Chinese messages get Chinese output, English messages get English output. Technical terms, code, and formulas do not determine language.
 
 ---
 
 ## Three-Layer Orthogonal Architecture
 
+```
+Problem → Lenses (what perspective?) → Anchors (which math structures?) → Design Translation (what module?) → Review (does it hold?)
+```
+
 | Layer | Role | Directory | Files |
 |-------|------|-----------|-------|
 | **Thinking Lenses** | Diagnose problem structure, recommend math perspectives | `lenses/*.md` | 15 |
@@ -70,7 +117,7 @@ Supporting layers:
 - `references/gpu-friendly-math.en.md`: on-demand GPU checks with N/A for irrelevant dimensions
 - `agents/math-critic.en.md`: 19-dimension deep critic loaded only for comprehensive or paper-grade review
 
-### Domain Router (new in v3.2.0)
+### Domain Router
 
 AI research and cryptography **share** mathematical foundations (probability/information/algebra/matrix/spectrum/optimization) but each has **exclusive** specialty layers. After intent diagnosis and before lens invocation, Domain Router determines the problem's domain and decides which anchors/books/design patterns to load, avoiding cross-domain pollution and token waste.
 
@@ -129,47 +176,13 @@ AI research and cryptography **share** mathematical foundations (probability/inf
 
 ---
 
-## Quick Start
-
-### Installation
-
-```
-Please help me install math-skill: https://github.com/the-thinker0/math-skill, and show me how to use it
-```
-
-Manual Codex install (install the whole repository as one self-contained skill; do not copy only the nested entry):
-
-```bash
-git clone https://github.com/the-thinker0/math-skill.git ~/.codex/skills/math-research-activator
-```
-
-Root `SKILL.md` is the canonical Codex entry. `skills/math-research-activator/SKILL.md` is only a Claude/plugin-style compatibility entry that forwards to the root. Copying the nested directory alone omits its anchors and design patterns.
-
-### Usage
-
-**Auto-trigger**: The system auto-diagnoses user intent and routes to the appropriate layer:
-
-| Scenario | Signal | Path |
-|----------|--------|------|
-| Problem Analysis | "Is this design sound?" | Lenses → 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**:
-
-```
-/ask <your question>     # Smart diagnosis: auto-detect scenario and route
-```
-
-### Language Switching
+## Inspiration
 
-Auto-detects user language: Chinese messages get Chinese output, English messages get English output.
+The Lie group–Lie algebra machinery invented to solve differential equations ultimately became the universal language for describing symmetry and robot state estimation—the value of mathematical tools far exceeds their original intent. This is the prototype of "cross-domain activation." See [`references/inspiration.en.md`](references/inspiration.en.md).
 
 ---
 
-## Workflow Example
+## Routing Example
 
 **User**: "Design a new KV Cache compression method that preserves long-range dependencies without just doing top-k"
 
@@ -178,25 +191,24 @@ Step 1  Diagnosis: Scenario B (Mechanism Design)
   Problem type: sequence memory compression + information preservation + long-range structure
   Core tension: compress token count vs. preserve long-range dependencies
 
-Step 2  Lens Selection:
+Step 2  Lens Selection (default ≤2):
   1. Spectral (preserve dominant subspace)
-  2. Information-theoretic (preserve max mutual information states)
-  3. Topological (preserve key connection points in sequence structure)
+  2. Probabilistic/Information (preserve mutual-information-sensitive states)
+  (Add Topological only when the user stresses connectivity/bridge structure; not in default budget)
 
 Step 3  Activation Anchors:
   → low-rank-approximation (Matrix Analysis anchor)
-  → leverage-score-selection (Design Pattern: compression)
   → information-bottleneck (Probability & Information anchor)
+  → leverage-score-selection or low-rank-kv-cache (0–2 compression design patterns)
   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)
-  Candidate B: Information-Preserving Cache (query sensitivity)
-  Candidate C: Topology-Preserving Cache (graph bridge node retention)
+  Primary: Spectral KV Compression (low-rank + leverage score)
+  Alternative (key difference only): Information-Preserving Cache (relies on future query estimation)
 
-Step 5  Critic Review:
-  A is most GPU-friendly, B needs future query estimation (uncertainty), C graph construction too expensive
-  Recommendation: prioritize A, use B as a lightweight gate
+Step 5  Compact Review (ordinary tasks do not load the full critic):
+  Primary is most GPU-friendly; alternative needs future query estimation, higher uncertainty
+  Conclusion: prioritize primary; add a lightweight gate only if query-sensitive retention is needed
 ```
 
 ---
@@ -208,14 +220,16 @@ math-skill/
 ├── skills/
 │   └── math-research-activator/    # Orchestrator: intent diagnosis + routing
 ├── lenses/                         # 15 thinking lenses (reasoning methodology)
-├── knowledge-base/                 # Activation anchors by math domain, not a closed encyclopedia
+├── knowledge-base/                 # Activation anchors by math domain, not a closed encyclopedia (37 cards total)
 │   ├── matrix-analysis/            # Matrix analysis (5 cards)
 │   ├── optimization/               # Optimization (5 cards)
 │   ├── differential-geometry/      # Differential geometry (6 cards)
 │   ├── lie-theory/                 # Lie theory (5 cards)
 │   ├── topology/                   # Topology (3 cards)
 │   ├── probability/                # Probability & information (5 cards)
-│   └── information-geometry/       # Information geometry (2 cards)
+│   ├── information-geometry/       # Information geometry (2 cards)
+│   ├── algebraic-geometry/         # Algebraic geometry (2 cards)
+│   └── cryptography/               # Cryptography (4 cards, domain-exclusive)
 ├── design-patterns/                # Design translation (by AI component)
 │   ├── attention/                  # Attention mechanisms (5 patterns)
 │   ├── loss/                       # Loss functions (5 patterns)
@@ -226,7 +240,9 @@ math-skill/
 │   ├── books/                      # 10 book distillations (7 AI + 3 crypto)
 │   ├── gpu-friendly-math.en.md     # GPU checklist (applicable dimensions only)
 │   ├── agentic-workflow.en.md      # Collaboration style
-│   └── inspiration.en.md           # Inspiration
+│   ├── inspiration.en.md           # Inspiration
+│   ├── musings.en.md               # Musings (philosophical reflections, not auto-loaded)
+│   └── skill-index.en.md           # Index (on-demand directory, not loaded by default)
 ├── agents/math-critic.en.md           # Math-engineering dual critic (19 dims, with crypto security review)
 ├── commands/ask.en.md                 # /ask manual entry
 ├── math_book/                      # Local PDFs (not published)
@@ -249,7 +265,7 @@ math-skill/
 | 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` |
 
-### Cryptography Direction (3 books, new in v3.2.0)
+### Cryptography Direction (3 books)
 
 | # | Title | Author(s) | Publisher / Edition | Year | ISBN | Distillation |
 |---|-------|-----------|-------------------|------|------|-------------|
@@ -257,66 +273,58 @@ math-skill/
 | 9 | *Foundations of Cryptography, Volume 1: Basic Tools* | Oded Goldreich | Cambridge University Press | 2001 | 978-0-521-79235-9 | `foundations-of-cryptography.en.md` |
 | 10 | *Introduction to Modern Cryptography* | Jonathan Katz & Yehuda Lindell | CRC Press, 2nd ed. | 2015 | 978-1-4665-7026-1 | `introduction-to-modern-cryptography.en.md` |
 
-> All three cryptography distillations now have Chinese and English pairs. Select `.md` or `.en.md` by the user's primary language, and load them only when anchors are insufficient or book-level depth is needed.
-
 Distillation files ship with the npm package. For full-fidelity lookups, place PDFs in the `math_book/` folder.
 
 ---
 
 ## Changelog
 
+### v3.3.2 — Productization & npx Installer
+
+- **npx CLI installer**: Added `bin/math-skill.cjs` supporting `npx -y math-skill@latest install/update/doctor/uninstall`; atomic version replacement, excludes nested `skills/` to prevent double entries, `doctor` checks for duplicates
+- **README product-first restructure**: Centered title + subtitle; demos and Quick Start on first screen (was buried at L128); Star plea moved to top; npm upgraded to npx; platforms tagged with "and more" (not framework-limited)
+- **Case updates**: KAN analysis (AI) + PRF watermark reduction verification (Crypto) replace old FFT/orthogonality-loss cases; "without Skill" answers made realistic; case headers tagged `[AI]`/`[Crypto]`
+- **Changelog compression**: v3.3.0–v3.1.1 compressed from 7-13 points to 5 each (~62% reduction); restored Sophus Lie inspiration section and 4-step flow diagram
+
+### v3.3.1 — Documentation-Discipline Patch
+
+- **README directory tree completed**: added `algebraic-geometry/`, `cryptography/`, `musings.md`, `skill-index.md`; card total aligned to 37
+- **README workflow example corrected**: lenses default ≤2, design patterns separated from anchors, Step 5 changed to compact review — consistent with `SKILL.md` budgets
+- **Changelog slimmed**: v1/v2 compressed to one-line summaries; removed stale "37 .en.md" / "16 thinking weapons" numbers
+- **Entry phrasing & counting caliber unified**: three entries use consistent "when to load .en" wording; repo-wide count standardized as 33 shared + 4 crypto = 37
+- **Metadata & hygiene**: `package.json` description/keywords trimmed; `CLAUDE.md` dir tree and Node.js note fixed; `validate.sh` gained 20 documentation-discipline checks; `original-texts` gained purpose note and v2 terminology fix
+
 ### v3.3.0 — Routing Convergence, Bilingual Completion & Technical Corrections
 
-- **Canonical entry and compatibility structure**: root `SKILL.md` / `SKILL.en.md` are now complete, self-contained normative entries. `skills/math-research-activator/SKILL*.md` are thin forwarders that preserve Claude/plugin layouts without allowing two full instruction copies to drift. `commands/ask*`, the critic, indexes, and overview now reference the root entries.
-- **Progressive loading and minimum token use**: Scenarios A analysis, B design, C knowledge, D verification, and E engineering receive explicit minimal paths, normally capped at 1–2 lenses, 1–3 anchors, and 0–2 prototypes. Concept questions, pure-crypto tasks, and ordinary verification no longer load the full critic, books, GPU checklist, or directory index by default, and internal loading traces are not repeated to users.
-- **Domain Router rewrite**: routing now uses target object + requested guarantee instead of keyword voting. Isolated terms such as `hashing`, `attack`, and `security` no longer cause crypto false positives. Shared math, pure AI, pure crypto, and AI×crypto paths are isolated; the cross-domain four-tuple appears only for genuine transfers between a cryptographic primitive/security property and an AI object.
-- **Cryptography decontamination**: the four crypto anchors are organized around security definitions, attack games, reduction loss, construction boundaries, and implementation considerations rather than forced AI translations or GPU gates. They distinguish standard-model theorems, primitive-based reductions, and empirical assumptions about concrete algorithms such as AES, and correct wording around PRF/PRG/OWF, Feistel, CPA/CCA/AE, KEM/DEM, nonces/IVs, key separation, and composition order.
-- **Mathematical and engineering corrections**: corrected the Moore–Penrose conditions for general projections, the boundary between attention/QKV and linear projection, KL directionality, low-rank-gradient claims, orthogonality-loss shape/normalization assumptions, and overextended analogies in algebra and geometry notes. Claims of guarantees, equivalence, stability, or optimality now state their conditions or are downgraded to testable hypotheses.
-- **Complete bilingual cryptography references**: added `applied-cryptography.en.md`, `foundations-of-cryptography.en.md`, and `introduction-to-modern-cryptography.en.md`. Commands, agents, lenses, knowledge-base, design-patterns, and references now all maintain Chinese/English pairs; only the user's primary-language side is loaded.
-- **Relevance-driven GPU review**: candidates no longer mechanically fill all eight dimensions. Reviews first state shape, baseline, and deployment constraints, assess only decision-relevant dimensions, and mark others `N/A`. Judgments require checkable FLOPs, peak intermediate/state memory, byte or communication counts, or low-precision risks; “expressible as GEMM” is explicitly not equivalent to “faster.”
-- **Critic and output-quality convergence**: ordinary tasks use the compact checks in the root entry, while the 19-dimension critic is reserved for paper-grade or explicitly comprehensive review. The modern-math dimension is mandatory only when a transfer claim exists; crypto prefers `knowledge-base/cryptography/` anchors before books and never uses the GPU checklist as a security gate; exploratory candidates must state assumptions, boundaries, and falsification methods.
-- **Pre-release consistency fixes**: compatibility-entry descriptions re-synced with root `SKILL.md` (including math-query triggers); index workflow examples restored to the default ≤2-lens budget; CLAUDE/eval Gate terminology removed and the bilingual books fact corrected; sheaf-cohomology $H^1$ wording tightened so it is not confused with the sheaf axiom.
-- **Synchronized indexes, routing examples, and language rules**: updated `skill-index`, `knowledge-base/overview`, the agentic workflow, and A/B/C/D/E eval scenarios with false-positive, intersection, knowledge-gap, and primary-language boundaries. Code, paths, formulas, and English technical terms do not vote on response language.
-- **Evaluation-scope cleanup**: removed the six-dimension output score and token/cost regression specification created only for this audit, while retaining routing, isolation, bilingual, reference-integrity, and semantic-regression scenarios that directly test skill behavior.
-- **Validation and package integrity**: Bash/PowerShell validation covers root frontmatter, compatibility forwarders, 37 anchors, bilingual pairing, cross-references, Domain Router isolation, the Knowledge Gap Protocol, GPU quantitative signals, and high-risk semantic regressions. The npm package explicitly includes root `SKILL*.md` and excludes PDFs, `math_book/`, tests, and the local npm cache.
+- **Canonical entry & progressive loading**: Root `SKILL.md`/`SKILL.en.md` become self-contained normative entries; five scenarios (A/B/C/D/E) get minimal load paths (default 1-2 lenses, 1-3 anchors, 0-2 prototypes); concept queries and pure-crypto tasks no longer load full critic/books/GPU checklist by default
+- **Domain Router rewrite**: Switched from keyword voting to "target object + requested guarantee" domain judgment; isolated terms like `hashing`/`attack`/`security` no longer trigger crypto false positives; pure-AI, pure-crypto, shared-math, and AI×crypto paths explicitly isolated
+- **Crypto decontamination & math corrections**: Four crypto anchors reorganized around security definitions/attack games/reduction loss, no forced AI translations or GPU gates; corrected projection pseudoinverse conditions, KL directionality, low-rank gradient claims, orthogonality-loss formula; all guarantees/equivalence/optimality claims now state conditions
+- **Bilingual & GPU review convergence**: Crypto books completed in Chinese-English pairs; GPU review switched to relevance-driven (assess only decision-relevant dimensions, mark others N/A); ordinary tasks use compact checks, 19-dim critic reserved for paper-grade review
+- **Index, eval & validation sync**: Updated skill-index/overview/agentic-workflow and A/B/C/D/E eval scenarios; Bash/PowerShell validation covers frontmatter, 37 anchor pairs, cross-references, Domain Router isolation
 
 ### v3.2.1 — Design Philosophy Refinement & Reliability Enhancement
 
-- **Design philosophy made explicit**: `SKILL.md` / `SKILL.en.md` add a "Design Philosophy: Activator, Not Encyclopedia" section, declaring the skill is a thinking activator and mathematical anchor; `knowledge-base/` returns to mathematical structures themselves (not concrete AI architectures); `design-patterns/` is positioned as translation-prototype demonstration rather than a template library. A new "Compatibility Principle" section declares that research problems with architectures the skill did not pre-specify are handled through the lens-routing + anchor-activation + temporary-knowledge-card pipeline.
-- **Cryptography anchors backfilled**: new `knowledge-base/cryptography/` directory, with `prf-prg-owf`, `reduction-proof-template`, `attack-game-framework`, `cca-cpa-ae-hierarchy` anchor cards (CN/EN paired), giving Domain Router's cryptography layer substantive anchors (fixes v3.2.0 inconsistency: it declared loading a cryptography layer but had no structured anchors).
-- **Algebraic geometry anchors backfilled**: new `knowledge-base/algebraic-geometry/` directory, with `sheaf-cohomology`, `grassmannian-plucker` anchor cards (CN/EN paired), covering mathematical structures already used by `design-patterns/` but lacking anchors (sheaf cohomology, Grassmannian).
-- **Test coverage expanded**: new eval tests for Scenario A (analysis), Scenario D (verification), cross-domain routing (AI×crypto 4-tuple annotation), Knowledge Gap Protocol, and Domain Router isolation (no-pollution guarantee).
-- **validate.sh structural checks**: added checks for the six required knowledge-card sections, eight GPU dimensions in design patterns, Domain Router isolation, and Knowledge Gap Protocol fields.
-- **critic 19-dimension layering**: core / situational / mandatory / meta dimension layering annotations to reduce Agent cognitive load.
-- **inspiration.md split**: technical-inspiration part (the dragon-slaying blade story) retained; philosophical content (life-as-optimization, etc.) moved to `musings.md` to avoid clashing with the skill's rigorous technical style.
-
-### v3.2.0 — Cryptography Track + Domain Router
-
-**Cryptography track officially landed**: reference layer expanded from 7 to 10 books, with 3 modern cryptography classics distilled into the same activation-index format as AI-direction books (~125-155 lines each, preserving core ideas and key bridging facts).
-
-- **3 new crypto books**:
-  - `references/books/applied-cryptography.md` (Boneh & Shoup): attack games / reduction proofs / constructions / protocols
-  - `references/books/foundations-of-cryptography.md` (Goldreich): computational indistinguishability / OWF-PRG-PRF equivalence chain / simulation paradigm / meta-theorems
-  - `references/books/introduction-to-modern-cryptography.md` (Katz & Lindell): formal definitions / CPA-CCA-AE / construction paradigms / implementation pitfalls
-- **Domain Router** (core innovation): after intent diagnosis and before lens invocation, judges problem domain (AI/Crypto/pure-math/intersection), loads domain-specific content, shared math not redundantly loaded, avoids cross-domain pollution and token waste
-- **SKILL.md / SKILL.en.md**: new Domain Router section + routing rules + decision flow diagram; main workflow integrates domain tags and domain-specific routing (AI uses design-patterns + GPU gate; crypto uses reduction templates + assumption/pitfall checks)
-- **math-critic upgraded to 19 dimensions**: new dim 19 "Cryptographic Security Review" (security definitions / reduction tightness / assumption dependency / composition pitfalls / anti-patterns / cross-domain transfer validity / Domain Router consistency)
-- **skill-index / overview**: added Domain Router overview table and crypto book activation-family tags; overview gained Domain Router loading note
-- **Token optimization**: crypto books compressed from 2084 to 404 lines (~80% reduction); Domain Router trims output by domain, avoiding full-load; output format emphasizes "after domain judgment, only expand the domain-specific subsection". Quantified estimate: pure AI problems skip the 3 crypto books entirely (saving ~400 lines/call), pure crypto problems skip all 22 AI design-patterns (saving ~2200-3300 lines/call); the crypto books' own compression saves another ~872 lines/call
-- **File cleanup**: removed duplicate `SKILL.md/SKILL.en.md/original-texts.md/original-texts.en.md` mistakenly placed in repo root by the contributor (canonical versions live in `skills/math-research-activator/`); fixed SKILL relative paths in `agents/math-critic.{en,}.md` and `knowledge-base/overview.en.md`
-- **AI/Cryptography isolation guarantee**: Domain Router rule 4 explicitly states "pure AI problems do not load crypto books; pure crypto problems do not load AI design patterns," preventing conceptual confusion at the loading layer
+- **Design philosophy clarified**: Skill declared as a thinking activator, not an encyclopedia; `knowledge-base/` returns to mathematical structures (not fixed AI architectures); `design-patterns/` positioned as translation-paradigm demos, not template library
+- **Crypto & algebraic-geometry anchors backfilled**: Added `knowledge-base/cryptography/` (4 cards) and `knowledge-base/algebraic-geometry/` (2 cards), giving Domain Router substantive crypto anchors
+- **Testing & validation expanded**: Added scenario A/D eval, cross-domain routing, Knowledge Gap Protocol, Domain Router isolation tests; validate.sh checks card six-section structure and GPU eight-dimension coverage
+- **Critic 19-dim layering**: Core/contextual/mandatory/meta four-tier labeling, reducing agent cognitive burden
+- **inspiration.md split**: Technical inspiration retained; philosophical content moved to `musings.md`
+
+### v3.2.0 — Cryptography Direction + Domain Router
+
+- **3 crypto books added**: Boneh & Shoup, Goldreich, Katz & Lindell distillations (bilingual pairs), compressed to ~125-155 lines/book activation-index format
+- **Domain Router routing layer**: After intent diagnosis, before lens invocation, judges problem domain (AI/crypto/pure-math/intersection), loads domain-specific content, shared math not redundantly loaded
+- **math-critic upgraded to 19 dims**: New crypto security review dimension (security definitions/reduction tightness/assumption dependency/composition pitfalls/anti-patterns/cross-domain transfer)
+- **Token optimization**: Crypto books compressed from 2084 to 404 lines (~80%); pure-AI problems skip crypto books (saving ~400 lines/call), pure-crypto problems skip AI design-patterns (saving ~2200 lines/call)
+- **AI & cryptography isolation**: Domain Router explicitly states "pure-AI problems do not load crypto books; pure-crypto problems do not load AI design patterns"
 
 ### 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"
+- **"Activation anchors" caliber unified**: skill-index, README, SKILL.md "math knowledge/knowledge cards" uniformly changed to "activation anchors"
+- **README corrections**: Workflow example step 3 from "knowledge query" to "activation anchors"; `leverage-score-selection` label corrected
+- **SKILL.md architecture table update**: Three-layer architecture table and intent diagnosis table terminology aligned
+- **English README book links**: Distillation files changed from `.md` to `.en.md`
+- **validate keywords**: Changed from "math knowledge" to "activation anchors"
 
 ### v3.1.0 — Activation Anchors & Knowledge Gap Protocol
 
@@ -341,22 +349,19 @@ Distillation files ship with the npm package. For full-fidelity lookups, place P
 **Architecture overhaul**: from "thinking weapon arsenal" to "math general staff" — three-layer orthogonal architecture:
 
 - **Thinking Lenses** (15): slimmed down from v2's "thinking weapons" — reasoning methodology only, no concrete math knowledge mixed in
-- **Knowledge Base** (31 cards): concrete math tools organized by domain, with definitions/formulas/AI design translation/GPU feasibility
+- **Knowledge Base** (31 cards, expanded to 37 in v3.2): concrete math tools organized by domain, with definitions/formulas/AI design translation/GPU feasibility
 - **Design Translation Layer** (new): the bridge from math to AI modules, organized by AI component (attention/loss/routing/representation/compression)
 - **Activator rewrite**: from environment-signal matching to intent diagnosis (5 scenarios: analysis/design/query/verification/engineering)
 - **Knowledge activation protocol**: fixed output format for knowledge cards (minimal definition → formula → applicable problems → AI translation → engineering feasibility → risks)
 
 ### v2.1.0 — Full Bilingual Support
-- 37 .en.md files, auto language routing, same commands for both languages, no double token cost
-
-### v2.0.1
-- Tightened auto-trigger conditions, added exclusion gate, narrowed environment signals
+- Full bilingual support, auto language routing, same commands for both languages, no double token cost
 
-### v2.0.0
-- 16 thinking weapons, modern math activation layer, GPU 8-D cross-cut
+### v2.0.0–v2.0.1
+- 16 thinking weapons (v2 naming, replaced by 15 lenses in v3), modern math activation layer, GPU 8-D cross-cut; tightened auto-trigger conditions and exclusion gate
 
 ### v1.0.0
-- Initial release: fifteen thinking weapons + dual research/life paths
+- Initial release: early "thinking-weapon arsenal + dual research/life paths" form (restructured into three-layer architecture in v3.0.0)
 
 ---