math-skill 3.3.0 → 3.3.2

package/bin/math-skill.cjs

@@ -0,0 +1,276 @@
+#!/usr/bin/env node
+'use strict';
+
+const fs = require('node:fs');
+const fsp = fs.promises;
+const os = require('node:os');
+const path = require('node:path');
+
+const PACKAGE_ROOT = path.resolve(__dirname, '..');
+const PACKAGE_JSON = require(path.join(PACKAGE_ROOT, 'package.json'));
+
+const SKILL_NAME = 'math-research-activator';
+const INSTALL_MARKER = '.math-skill-install.json';
+
+const INSTALL_ENTRIES = [
+  'SKILL.md',
+  'SKILL.en.md',
+  'LICENSE',
+  'commands',
+  'lenses',
+  'design-patterns',
+  'agents',
+  'knowledge-base',
+  'references',
+];
+
+const HOME = os.homedir();
+
+const PLATFORMS = {
+  codex: {
+    baseDir: path.join(HOME, '.codex'),
+    skillsDir: path.join(HOME, '.codex', 'skills'),
+  },
+  claude: {
+    baseDir: path.join(HOME, '.claude'),
+    skillsDir: path.join(HOME, '.claude', 'skills'),
+  },
+};
+
+function printUsage() {
+  console.log(`
+Math Skill ${PACKAGE_JSON.version}
+
+Usage:
+  math-skill install [--codex|--claude|--all]
+  math-skill update [--codex|--claude|--all]
+  math-skill doctor [--codex|--claude|--all]
+  math-skill uninstall [--codex|--claude|--all]
+
+Recommended install:
+  npx -y math-skill@latest install --all
+
+Recommended update:
+  npx -y math-skill@latest update --all
+`);
+}
+
+async function exists(filePath) {
+  try {
+    await fsp.access(filePath);
+    return true;
+  } catch {
+    return false;
+  }
+}
+
+async function readSkillName(skillFile) {
+  try {
+    const content = await fsp.readFile(skillFile, 'utf8');
+    const frontmatter = content.match(/^---\s*\r?\n([\s\S]*?)\r?\n---/);
+    if (!frontmatter) return null;
+    const nameMatch = frontmatter[1].match(/^name:\s*['"]?([^'"\r\n]+)['"]?\s*$/m);
+    return nameMatch ? nameMatch[1].trim() : null;
+  } catch {
+    return null;
+  }
+}
+
+async function selectPlatforms(args) {
+  if (args.includes('--all')) return ['codex', 'claude'];
+  const selected = [];
+  if (args.includes('--codex')) selected.push('codex');
+  if (args.includes('--claude')) selected.push('claude');
+  if (selected.length > 0) return selected;
+  const detected = [];
+  for (const [name, config] of Object.entries(PLATFORMS)) {
+    if (await exists(config.baseDir)) detected.push(name);
+  }
+  if (detected.length > 0) return detected;
+  throw new Error('No Codex or Claude Code detected. Use --codex, --claude, or --all.');
+}
+
+async function copyRuntime(tempDir) {
+  await fsp.mkdir(tempDir, { recursive: true });
+  for (const entry of INSTALL_ENTRIES) {
+    const source = path.join(PACKAGE_ROOT, entry);
+    if (!(await exists(source))) continue;
+    await fsp.cp(source, path.join(tempDir, entry), {
+      recursive: true, force: true, errorOnExist: false,
+    });
+  }
+  const marker = {
+    package: PACKAGE_JSON.name,
+    version: PACKAGE_JSON.version,
+    skillName: SKILL_NAME,
+    installedAt: new Date().toISOString(),
+  };
+  await fsp.writeFile(path.join(tempDir, INSTALL_MARKER), JSON.stringify(marker, null, 2) + '\n', 'utf8');
+}
+
+async function findSkillFiles(rootDir, maxDepth = 5) {
+  const results = [];
+  async function walk(currentDir, depth) {
+    if (depth > maxDepth || !(await exists(currentDir))) return;
+    const entries = await fsp.readdir(currentDir, { withFileTypes: true });
+    for (const entry of entries) {
+      const fullPath = path.join(currentDir, entry.name);
+      if (entry.isDirectory()) {
+        await walk(fullPath, depth + 1);
+      } else if (entry.isFile() && entry.name === 'SKILL.md') {
+        results.push(fullPath);
+      }
+    }
+  }
+  await walk(rootDir, 0);
+  return results;
+}
+
+async function validateInstall(installDir) {
+  const rootSkill = path.join(installDir, 'SKILL.md');
+  if (!(await exists(rootSkill))) throw new Error('Missing root SKILL.md in install content.');
+  const skillName = await readSkillName(rootSkill);
+  if (skillName !== SKILL_NAME) throw new Error(`SKILL.md name should be ${SKILL_NAME}, got ${skillName || 'unreadable'}.`);
+  const skillFiles = await findSkillFiles(installDir);
+  if (skillFiles.length !== 1) throw new Error(`Found ${skillFiles.length} SKILL.md files; must have exactly one entry.`);
+}
+
+async function ensureStateDirs() {
+  const stateRoot = path.join(HOME, '.math-skill');
+  const tempRoot = path.join(stateRoot, 'tmp');
+  const backupRoot = path.join(stateRoot, 'backups');
+  await fsp.mkdir(tempRoot, { recursive: true });
+  await fsp.mkdir(backupRoot, { recursive: true });
+  return { tempRoot, backupRoot };
+}
+
+async function movePath(source, destination) {
+  await fsp.mkdir(path.dirname(destination), { recursive: true });
+  try {
+    await fsp.rename(source, destination);
+  } catch (error) {
+    if (error.code !== 'EXDEV') throw error;
+    await fsp.cp(source, destination, { recursive: true, force: true });
+    await fsp.rm(source, { recursive: true, force: true });
+  }
+}
+
+async function moveLegacyDuplicates(platform, canonicalTarget, backupRoot) {
+  const skillsDir = PLATFORMS[platform].skillsDir;
+  if (!(await exists(skillsDir))) return [];
+  const moved = [];
+  const children = await fsp.readdir(skillsDir, { withFileTypes: true });
+  for (const child of children) {
+    if (!child.isDirectory()) continue;
+    const candidate = path.join(skillsDir, child.name);
+    if (path.resolve(candidate) === path.resolve(canonicalTarget)) continue;
+    const candidateSkillName = await readSkillName(path.join(candidate, 'SKILL.md'));
+    if (candidateSkillName !== SKILL_NAME) continue;
+    const destination = path.join(backupRoot, `${platform}-duplicate-${child.name}-${Date.now()}`);
+    await movePath(candidate, destination);
+    moved.push({ source: candidate, backup: destination });
+  }
+  return moved;
+}
+
+async function installPlatform(platform) {
+  const skillsDir = PLATFORMS[platform].skillsDir;
+  const target = path.join(skillsDir, SKILL_NAME);
+  const { tempRoot, backupRoot } = await ensureStateDirs();
+  const runId = `${Date.now()}-${process.pid}`;
+  const tempDir = path.join(tempRoot, `${platform}-${runId}`);
+  const oldVersionBackup = path.join(backupRoot, `${platform}-${runId}`);
+  await fsp.mkdir(skillsDir, { recursive: true });
+  await copyRuntime(tempDir);
+  await validateInstall(tempDir);
+  const movedDuplicates = await moveLegacyDuplicates(platform, target, backupRoot);
+  const hadOldVersion = await exists(target);
+  try {
+    if (hadOldVersion) await movePath(target, oldVersionBackup);
+    await movePath(tempDir, target);
+    await validateInstall(target);
+    if (hadOldVersion) await fsp.rm(oldVersionBackup, { recursive: true, force: true });
+  } catch (error) {
+    await fsp.rm(target, { recursive: true, force: true });
+    if (hadOldVersion && (await exists(oldVersionBackup))) await movePath(oldVersionBackup, target);
+    await fsp.rm(tempDir, { recursive: true, force: true });
+    throw error;
+  }
+  console.log(`\u2713 ${platform}: Math Skill ${PACKAGE_JSON.version} installed`);
+  console.log(`  ${target}`);
+  for (const duplicate of movedDuplicates) {
+    console.log(`  Removed duplicate: ${duplicate.source}`);
+    console.log(`  Backup: ${duplicate.backup}`);
+  }
+}
+
+async function doctorPlatform(platform) {
+  const skillsDir = PLATFORMS[platform].skillsDir;
+  const skillFiles = await findSkillFiles(skillsDir, 5);
+  const matches = [];
+  for (const skillFile of skillFiles) {
+    const skillName = await readSkillName(skillFile);
+    if (skillName === SKILL_NAME) matches.push(skillFile);
+  }
+  if (matches.length === 0) {
+    console.log(`- ${platform}: Math Skill not installed`);
+    return;
+  }
+  if (matches.length > 1) {
+    console.log(`! ${platform}: ${matches.length} duplicate entries detected`);
+    for (const skillFile of matches) console.log(`  ${skillFile}`);
+    process.exitCode = 2;
+    return;
+  }
+  const markerFile = path.join(path.dirname(matches[0]), INSTALL_MARKER);
+  let version = 'unknown';
+  if (await exists(markerFile)) {
+    try {
+      const marker = JSON.parse(await fsp.readFile(markerFile, 'utf8'));
+      version = marker.version || version;
+    } catch {}
+  }
+  console.log(`\u2713 ${platform}: single entry detected, version ${version}`);
+  console.log(`  ${matches[0]}`);
+}
+
+async function uninstallPlatform(platform) {
+  const skillsDir = PLATFORMS[platform].skillsDir;
+  if (!(await exists(skillsDir))) {
+    console.log(`- ${platform}: not installed`);
+    return;
+  }
+  const children = await fsp.readdir(skillsDir, { withFileTypes: true });
+  let removed = 0;
+  for (const child of children) {
+    if (!child.isDirectory()) continue;
+    const candidate = path.join(skillsDir, child.name);
+    const skillName = await readSkillName(path.join(candidate, 'SKILL.md'));
+    if (skillName !== SKILL_NAME) continue;
+    await fsp.rm(candidate, { recursive: true, force: true });
+    console.log(`\u2713 Removed: ${candidate}`);
+    removed += 1;
+  }
+  if (removed === 0) console.log(`- ${platform}: no Math Skill entry found`);
+}
+
+async function main() {
+  const [, , command = 'help', ...args] = process.argv;
+  if (command === 'help' || command === '--help' || command === '-h') {
+    printUsage();
+    return;
+  }
+  const allowedCommands = ['install', 'update', 'doctor', 'uninstall'];
+  if (!allowedCommands.includes(command)) throw new Error(`Unknown command: ${command}`);
+  const platforms = await selectPlatforms(args);
+  for (const platform of platforms) {
+    if (command === 'install' || command === 'update') await installPlatform(platform);
+    else if (command === 'doctor') await doctorPlatform(platform);
+    else if (command === 'uninstall') await uninstallPlatform(platform);
+  }
+}
+
+main().catch((error) => {
+  console.error(`\u2717 ${error.message}`);
+  process.exitCode = 1;
+});

package/commands/ask.en.md

@@ -8,8 +8,9 @@ description: |
 
 Determine primary language: judge by sentence frame, verbs, mood particles. AI/math/engineering terms (attention, loss, routing, etc.) do not count as language signals. Code, paths, formulas do not count. When CN/EN ratio is close, follow the previous turn's language; default to Chinese if no context. Explicit "in English/in Chinese" takes priority.
 
-- Chinese primary → load `../SKILL.md`
-- English primary → load `../SKILL.en.md`
+- Chinese primary → load `../SKILL.md` (canonical entry, can answer in either language)
+- English primary → load `../SKILL.en.md` (English compatibility entry)
+- Do not load both simultaneously
 
 Current question:
 $ARGUMENTS

package/commands/ask.md

@@ -9,8 +9,9 @@ description: |
 
 判定主语言：看句式、动词、语气词的主框架。AI/数学/工程术语（attention、loss、routing 等）不计入语言判定。代码、路径、公式不计入。中英比例接近时沿用上一轮语言，无上下文默认中文。显式"用英文/用中文"优先。
 
-- 中文主语言 → 读取 `../SKILL.md`
-- 英文主语言 → 读取 `../SKILL.en.md`
+- 中文主语言 → 读取 `../SKILL.md`（权威入口，可中英作答）
+- 英文主语言 → 读取 `../SKILL.en.md`（英文兼容入口）
+- 两者不同时加载
 
 当前问题：
 $ARGUMENTS

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "math-skill",
-  "version": "3.3.0",
-  "description": "面向 AI 架构创新与密码学研究的数学研究路由器：15 个思想透镜、33 个共用数学锚点、4 个密码学锚点、22 个 AI 设计原型，以及渐进加载、Domain Router 与 Knowledge Gap Protocol。Math research router for AI architecture and cryptography with progressive loading, domain isolation, and explicit token budgets.",
+  "version": "3.3.2",
+  "description": "面向 AI 架构创新与密码学研究的数学研究路由器：三层正交架构（15 透镜 / 37 锚点 / 22 设计原型）+ Domain Router + Knowledge Gap Protocol。Math research router for AI and cryptography: three-layer architecture with progressive loading and domain isolation.",
   "keywords": [
     "math",
     "mathematics",
@@ -10,49 +10,20 @@
     "claude",
     "cursor",
     "ai",
-    "axiomatization",
-    "abstraction",
-    "logic",
-    "modeling",
     "optimization",
     "probability",
-    "transformation",
     "symmetry",
-    "induction",
-    "algorithm",
+    "topology",
     "information-theory",
     "game-theory",
-    "causal-inference",
-    "topology",
-    "combinatorics",
-    "discrete-math",
-    "math-research-activator",
-    "ask",
-    "tool-selection",
-    "algebraic-geometry",
     "differential-geometry",
     "lie-theory",
-    "manifolds",
-    "category-theory",
     "matrix-analysis",
-    "gpu",
-    "tensor-core",
-    "gpu-friendly",
-    "agentic-workflow",
-    "auto-trigger",
-    "co-design",
-    "research",
-    "bilingual",
-    "lenses",
-    "knowledge-base",
-    "design-patterns",
-    "math-research-os",
     "cryptography",
     "crypto",
-    "security",
-    "reduction-proof",
-    "attack-game",
-    "domain-router"
+    "gpu-friendly",
+    "research",
+    "bilingual"
   ],
   "license": "MIT",
   "author": "the-thinker0",
@@ -64,7 +35,14 @@
   "bugs": {
     "url": "https://github.com/the-thinker0/math-skill/issues"
   },
+  "bin": {
+    "math-skill": "bin/math-skill.cjs"
+  },
+  "engines": {
+    "node": ">=18"
+  },
   "files": [
+    "bin/",
     "README.md",
     "README.en-US.md",
     "SKILL.md",

package/references/inspiration.en.md

@@ -1,6 +1,6 @@
 # Inspiration
 
-> Mathematics is more than a computational tool — it is a way of thinking. This file records the technical inspiration of math-skill — the cross-domain activation value of mathematical tools far exceeding their original intent. For philosophical and life reflections (split in v3.2.1), see `musings.en.md`.
+> Mathematics is more than a computational tool — it is a way of thinking. This file records the technical inspiration of math-skill — the cross-domain activation value of mathematical tools far exceeding their original intent. For philosophical and life reflections, see `musings.en.md`.
 
 ---
 
@@ -28,10 +28,6 @@ The inspiration for this project stems precisely from this insight:
 
 **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 math-skill's "thinking lenses" and "activation anchors": every mathematical concept carries transferable value far beyond its original application domain. The skill's job is to guide the activation of such cross-domain transfer, not to fixate on specific application scenarios.
 
-> After the v3.2.1 design philosophy refinement, this idea is made explicit: knowledge-base/ anchors describe mathematical structures themselves (manifolds, spectra, sheaf cohomology, etc.), not specific AI architectures; design-patterns/ is translation-prototype demonstration, not a template library. This is exactly what the "dragon-slaying blade" story reflects in the skill's positioning — **the true value of a tool lies in cross-domain activation, not in being fixated on a single application**.
+> Accordingly: knowledge-base/ anchors describe mathematical structures themselves (manifolds, spectra, sheaf cohomology, etc.), not specific AI architectures; design-patterns/ is translation-prototype demonstration, not a template library. This is exactly what the "dragon-slaying blade" story reflects in the skill's positioning — **the true value of a tool lies in cross-domain activation, not in being fixated on a single application**.
 
 > The philosophical and life reflection part ("Life as an Optimization Problem," etc.) has been moved to `musings.en.md`, separated from the skill's rigorous technical core.
-
----
-
-> **The "Life as an Optimization Problem" section below has been moved to `musings.en.md`.** This file no longer retains it. For philosophical reflections, see `musings.en.md`.

package/references/inspiration.md

@@ -2,7 +2,7 @@
 
 # 灵感来源 / Inspiration
 
-> 数学不只是一种计算工具，更是一种思想方法。本文件记录 math-skill 的技术灵感来源——数学工具远超初衷的跨领域激活价值。哲学与人生感悟部分（v3.2.1 拆分）见 `musings.md`。
+> 数学不只是一种计算工具，更是一种思想方法。本文件记录 math-skill 的技术灵感来源——数学工具远超初衷的跨领域激活价值。哲学与人生感悟部分见 `musings.md`。
 
 ---
 
@@ -30,10 +30,6 @@ Sophus Lie 是一个想打造一把**屠龙刀**（解通微分方程）的铁
 
 **数学工具的价值远超初衷** —— Sophus Lie 的屠龙刀故事告诉我们，一个为解微分方程而发明的工具，最终成为描述对称性的通用语言。这正是 math-skill "思想透镜"与"激活锚点"的核心理念：每个数学思想方法都有远超其原始应用场景的迁移价值，skill 的工作是引导激活这种跨域迁移，而不是固化具体应用场景。
 
-> v3.2.1 设计哲学修正后，这一理念进一步明确：knowledge-base/ 锚点描述数学结构本身（流形、谱、层上同调等），不固化具体 AI 架构；design-patterns/ 是翻译范式示范，不是模板库。这正是"屠龙刀"故事在 skill 定位上的体现——**工具的真正价值在跨域激活，而非固化为某一种应用**。
+> 据此理念：knowledge-base/ 锚点描述数学结构本身（流形、谱、层上同调等），不固化具体 AI 架构；design-patterns/ 是翻译范式示范，不是模板库。这正是"屠龙刀"故事在 skill 定位上的体现——**工具的真正价值在跨域激活，而非固化为某一种应用**。
 
-> 哲学与人生感悟部分（"人生就是一场最优化"等）已移至 `musings.md`，与 skill 的严谨技术核心分离。
-
----
-
-> **以下"人生就是一场最优化"部分已移至 `musings.md`**，本文件不再保留。如需查阅哲学感悟，请见 `musings.md`。
+> 哲学与人生感悟部分（"人生就是一场最优化"等）已移至 `musings.md`，与 skill 的严谨技术核心分离。

package/references/skill-index.en.md

@@ -2,7 +2,7 @@
 
 > This is the on-demand catalog for `../SKILL.md`. The main entry keeps only selection rules; do not load this index by default for a clear request.
 
-## Domain Router Overview (v3.2.0+; routing rules follow root `../SKILL.md`)
+## Domain Router Overview
 
 > Full definition: see the Domain Router section in `../SKILL.md`. Only a summary table appears here:
 
@@ -15,7 +15,7 @@
 
 > Core rules: domain judgment precedes lens invocation; shared math loads on demand by problem structure (not by domain tag); no pollution across non-cross domains; gap-protocol temporary cards are domain-tagged.
 
-## v3.2.1 Design Philosophy Refinement
+## Design Philosophy
 
 > Full definition: see the objective, Domain Router, and progressive-loading sections in `../SKILL.md`. Key points:
 >
@@ -109,7 +109,7 @@ The reference layer covers 10 books, all paired in Chinese and English. The thre
 
 > **Domain Router note**: These three books belong to the **Cryptography Layer** and are loaded only when Domain Router determines the problem is cryptography or AI×crypto intersection. Pure AI problems do not load them. Shared math anchors (probability/information/algebra) are loaded on demand without redundancy.
 >
-> **v3.2.1 backfill**: new knowledge-base/cryptography/ anchor directory (with prf-prg-owf, reduction-proof-template, attack-game-framework, cca-cpa-ae-hierarchy cards) and knowledge-base/algebraic-geometry/ directory (with sheaf-cohomology, grassmannian-plucker cards). The cryptography layer no longer has only books — it has structured anchors for light consultation.
+> **Backfill note**: the knowledge-base/cryptography/ anchor directory (with prf-prg-owf, reduction-proof-template, attack-game-framework, cca-cpa-ae-hierarchy cards) and knowledge-base/algebraic-geometry/ directory (with sheaf-cohomology, grassmannian-plucker cards) give the cryptography and algebraic-geometry layers structured anchors for light consultation, not just books.
 
 ## Workflow Example
 

package/references/skill-index.md

@@ -2,7 +2,7 @@
 
 > 本文件是 `../SKILL.md` 的按需目录。主入口只保留选择规则；不要为清晰问题默认加载本索引。
 
-## Domain Router 总览（v3.2.0+；路由规则以根 `../SKILL.md` 为准）
+## Domain Router 总览
 
 > 完整定义见 `../SKILL.md` 的 Domain Router 小节。此处仅列摘要表：
 
@@ -15,7 +15,7 @@
 
 > 核心规则：domain 判定先于透镜调用；共用数学按问题结构（非 domain 标签）按需加载；不跨域时不污染；缺口协议临时卡标注 domain。
 
-## v3.2.1 设计哲学修正
+## 设计哲学
 
 > 完整定义见 `../SKILL.md` 的目标、Domain Router 与渐进加载小节。要点：
 >
@@ -109,7 +109,7 @@
 
 > **Domain Router 提示**：这三本书属**密码学层**，仅当 Domain Router 判定问题属密码学或 AI×密码交叉时加载。纯 AI 问题不加载。共用数学锚点（概率/信息/代数）按需加载，不重复。
 >
-> **v3.2.1 补齐**：新增 knowledge-base/cryptography/ 锚点目录（含 prf-prg-owf、reduction-proof-template、attack-game-framework、cca-cpa-ae-hierarchy 四张卡）与 knowledge-base/algebraic-geometry/ 目录（含 sheaf-cohomology、grassmannian-plucker 两张卡）。密码学层不再仅有书稿，有结构化锚点可供轻度查阅。
+> **补齐说明**：knowledge-base/cryptography/ 锚点目录（含 prf-prg-owf、reduction-proof-template、attack-game-framework、cca-cpa-ae-hierarchy 四张卡）与 knowledge-base/algebraic-geometry/ 目录（含 sheaf-cohomology、grassmannian-plucker 两张卡）使密码学层与代数几何层不再仅有书稿，有结构化锚点可供轻度查阅。
 
 ## 工作流范例
 

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

@@ -7,4 +7,4 @@ description: |
 
 # Compatibility Entry
 
-This is the Claude/plugin-style compatibility entry. Read and follow `../../SKILL.en.md` completely; the root file is the single authoritative English body and all resource paths resolve from the repository root. Do not also load `SKILL.md`.
+This is the Claude/plugin-style compatibility entry. Read and follow `../../SKILL.en.md` completely; the root file is the single authoritative body and all resource paths resolve from the repository root. Do not load both the Chinese and English entries simultaneously.

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

@@ -7,4 +7,4 @@ description: |
 
 # 兼容入口
 
-这是 Claude/plugin 风格的兼容入口。完整读取并遵循 `../../SKILL.md`；该根文件是唯一权威正文，所有资源路径均相对仓库根解析。不要同时读取 `SKILL.en.md`。
+这是 Claude/plugin 风格的兼容入口。完整读取并遵循 `../../SKILL.md`；该根文件是唯一权威正文，所有资源路径均相对仓库根解析。英文经显式英文入口进入时读 `../../SKILL.en.md`，不要同时加载两个入口。

package/skills/math-research-activator/original-texts.en.md

@@ -1,5 +1,7 @@
 # Intellectual Sources for the Math Research OS
 
+> **Note**: This file is design-rationale background (Pólya/Newell-Simon/Schoenfeld intellectual sources), not a runtime resource — the Domain Router does not auto-load it. Consult it only to understand the skill's design motivation.
+
 ## The Tradition of Problem Classification and Tool Selection
 
 ### Pólya's Problem-Solving Heuristics
@@ -40,8 +42,8 @@ Core insight: **the nature of the problem space determines the choice of search
 
 Alan H. Schoenfeld, in *Mathematical Problem Solving* (1985), analyzed why students fail to solve problems even when they possess the necessary tools — the critical deficiency is not a lack of tools but a lack of **strategic decision-making ability**:
 
-- **Resources**: Knowledge, skills, tools — corresponding to our 15 intellectual weapons
-- **Heuristics**: How to use resources — corresponding to the methodological workflow for each intellectual weapon
+- **Resources**: Knowledge, skills, tools — corresponding to our 15 thinking lenses
+- **Heuristics**: How to use resources — corresponding to the methodological workflow for each thinking lens
 - **Control**: When to use which resource — corresponding to the function of the activator
 - **Belief Systems**: Beliefs about mathematics and about oneself — affecting whether the appropriate tool is selected
 
@@ -65,7 +67,7 @@ Characteristics of wicked problems:
 - Solutions are not right or wrong, only better or worse
 - Span multiple domains
 
-Core insight: **wicked problems require combinations of cross-domain intellectual weapons, whereas tame problems can be solved with a single tool**. The activator recommends multi-tool combinations when facing wicked problems and single-tool focus when facing tame problems.
+Core insight: **wicked problems require combinations of cross-domain thinking lenses, whereas tame problems can be solved with a single tool**. The activator recommends multi-tool combinations when facing wicked problems and single-tool focus when facing tame problems.
 
 > "Wicked problems have no right or wrong answers, only better or worse ways of dealing with them." — Rittel & Webber
 
@@ -76,7 +78,7 @@ Daniel Kahneman, in *Thinking, Fast and Slow* (2011), proposed the dual-system t
 - **System 1**: Fast, intuitive, automatic — responsible for the majority of everyday decisions
 - **System 2**: Slow, rational, deliberate — required for decisions demanding careful thought
 
-Core insight: **not all problems require System 2-level rational analysis**. Many everyday decisions require only intuition (System 1), and forcibly deploying intellectual weapons constitutes over-analysis. The activator's "inapplicable scenarios" list is grounded in this insight — simple problems do not need tools; wicked problems do.
+Core insight: **not all problems require System 2-level rational analysis**. Many everyday decisions require only intuition (System 1), and forcibly deploying thinking lenses constitutes over-analysis. The activator's "inapplicable scenarios" list is grounded in this insight — simple problems do not need tools; wicked problems do.
 
 > "Overthinking is the enemy of decision-making — some decisions are best left to intuition." — Kahneman
 
@@ -97,8 +99,8 @@ Our activator integrates all of the above intellectual traditions:
 
 | Intellectual Source | Manifestation in the Math Research OS |
 |---------|-------------------|
-| Pólya's Heuristics | 11 characteristic branches in the decision tree — each branch corresponds to a class of heuristic strategies |
-| Newell & Simon's Problem Space | Problem characteristic dimensions — interactivity, uncertainty, constraint, structure, dynamism |
+| Pólya's Heuristics | 5 scenario branches in intent diagnosis — each scenario corresponds to a class of problem-solving strategies |
+| Newell & Simon's Problem Space | Domain Router's domain judgment — by target object and requested guarantee, not keywords |
 | Schoenfeld's Strategic Selection | The core principle that "choosing the right tool matters more than brute-force analysis" |
 | Wicked Problems Theory | Multi-tool combination recommendations — wicked problems require cross-domain tool combinations |
 | Kahneman's Dual System | "Inapplicable scenarios" — simple problems do not need tools; avoid over-analysis |

package/skills/math-research-activator/original-texts.md

@@ -1,5 +1,7 @@
 # 数学研究操作系统的思想来源 / Intellectual Sources for the Math Research OS
 
+> **注意**：本文件是项目设计理念的背景资料（Pólya/Newell-Simon/Schoenfeld 等思想来源），不是运行时资源——Domain Router 不自动加载本文件。仅供了解 skill 的设计动机时参阅。
+
 ## 问题分类与工具选择的传统 / The Tradition of Problem Classification and Tool Selection
 
 ### Pólya 的问题求解启发法 / Pólya's Problem-Solving Heuristics
@@ -97,8 +99,8 @@ Imre Lakatos 在《证明与反驳》(Proofs and Refutations, 1976) 中展示了
 
 | 思想来源 | 在数学研究操作系统中的体现 |
 |---------|-------------------|
-| Pólya 启发法 | 决策树中的11个特征分支——每个分支对应一类启发策略 |
-| Newell & Simon 问题空间 | 问题特征维度刻画——互动性、不确定性、约束性、结构性、动态性 |
+| Pólya 启发法 | 意图诊断中的 5 场景分支——每个场景对应一类解题策略 |
+| Newell & Simon 问题空间 | Domain Router 的领域判定——按目标对象与所求保证判域，而非关键词 |
 | Schoenfeld 策略选择 | "选对工具比用力分析更重要"的核心原则 |
 | 棘问题理论 | 多工具组合推荐——棘问题需要跨领域工具组合 |
 | Kahneman 双系统 | "不适用场景"——简单问题不需要工具，避免过度分析 |