dsh-math-calculator 2.3.2 → 2.3.4

package/src/help.ts

@@ -269,30 +269,67 @@ const STATS_BODY = (): string => `【统计与概率】
     A/B 结果差异是不是巧合 → t 分布`
 
 /** 【微分方程】ODE 数值解。 */
-const ODE_BODY = (): string => `【微分方程】ode 数值求解（RK4）
+const ODE_BODY = (): string => `【动力学】连续用 ode，离散用 recurrence
 
+  ★★ 先判断：你的模型是「连续变化」还是「按期结算」？
+     连续（每个人随时都在增长）→ ode
+     离散（年度结算、批次解锁、世代更替）→ recurrence
+     两者答案不同，写年表必须用离散值（见下面第 3 段）。
+
+══ 1. ode：连续时间积分（RK4）══
   一阶方程组（SIR / 捕食模型）与二阶方程（自动降阶）都能解。
 
   参数：
-    expression  状态方程，多个用分号分隔。等号左边是导数变量
-                例："S'=-k1*S*I; I'=k1*S*I-k2*I; R'=k2*I"   ← SIR 传染病
-                    "x'=y; y'=-k*x"                        ← 简谐振子
-    initial     初值对象 {S:999, I:1, R:0}
+    expression  状态方程，分号分隔。等号左边是导数变量
+                例："S'=-k1*S*I; I'=k1*S*I-k2*I; R'=k2*I"   ← SIR
+                    "x'=y; y'=-k*x"                        ← 简谐
+    initial     初值 {S:999, I:1, R:0}
     from/to     积分区间（默认 0 → 10）
-    steps       RK4 步数（默认 1000，刚性方程要加大）
-    samples     返回的采样点数（默认 24，只要不爆内存可以调大）
+    steps       RK4 步数（默认 1000，刚性方程加大）
+    samples     返回采样点数（默认 24）
+    at           ★ 要精确输出的时点，如 [5,10,20]
+
+  返回：轨迹、终点值、极值、指定时点的值、**发散警告**
+
+  ★ at 是什么用的：默认采样是均匀的（t = 1, 2.9, 4.8, …），
+    写年表时「第 5 年、第 10 年」一个都对不上。传 at:[5,10,20] 就精确给那几个。
 
-  返回：轨迹（时间序列）、终点值、极值、**发散警告**
+  ★ 二阶方程降阶：y'' 写成 y'=y_d; y_d'=…（y_d = dy/dt）。
+    缺辅助变量会提示补哪个，不会静默给错。
 
-  ★ 二阶方程降阶：y'' 要写成 y'=y_d; y_d'=…，y_d 表示 dy/dt。
-    缺了辅助变量会提示补哪个，不会静默给错。
+  ★ 数值解不是解析解：steps 太少会失真，刚性方程易发散 ——
+    看到发散警告就加大 steps，或换解析思路。
+
+══ 2. recurrence：离散递推（出逐年表）══
+  {operation:"recurrence", recurrence:"P*2", initial:{P:1}, periods:20}
+  → 逐期表 + 终值 + 与连续模型的差额
+
+  参数：
+    recurrence  下一期 = f(本期)。单状态最常见：
+                "P*2"                 ← 每期翻倍
+                "P*min(1.2, 1000/P)"   ← 带资源上限的年度增长
+    initial     初值，可多个状态（逗号/分号分隔的表达式各自求一次）
+    periods     迭代期数（默认 12，上限 5000）
 
-  ★ 数值解不是解析解：steps 太少会失真，且刚性方程（变化极快）
-    容易发散——看到发散警告就加大 steps，或换解析思路。
+  ★ 支持 min()/max() 约束 —— 「增速 20% 但不超过 1000」这种写法直接可用，
+    结果会在第 38 期左右平滑收敛到 1000，不会越过。
 
-  ★ 写故事时的常见用法：
-    传染病扩散（SIR）、捕食者-猎物振荡（Lotka-Volterra）、
-    碳循环、人口动态、冷却曲线`
+══ 3. 为什么非要区分（实测数字）══
+  同一件事「从 1 起每年 ×2」：
+     离散（recurrence）   2^19        = 524,288
+     连续（ode, 0.693P）  e^(0.693×19) = 522,824
+     差 0.28%
+
+  0.28% 看着可忽略，但第 33 年换成本「亿人」时差 0.5 亿 ——
+  **而写作时写的是「第 33 年，四十二亿人」这种具体整数。**
+  连续模型的 4.24e9 会让你在「42 亿还是 43 亿」上反复纠结。
+
+  ★ 所以 recurrence 会在结果末尾直接给出「连续近似 vs 离散」的差额，
+    让你一眼看出「用 ode 顶替会差多少」。
+
+★ 写故事时的常见用法：
+  传染病扩散（SIR）、捕食者-猎物振荡（Lotka-Volterra）、
+  碳循环、人口动态、冷却曲线、**逐年人口/资源年表**`
 
 /** 【公式库】442 条公式的调用与检索。 */
 const FORMULA_BODY = (): string => `【公式库】共 ${FORMULAS.length} 条自然科学公式
@@ -495,141 +532,13 @@ const WORKSPACE_BODY = (): string => `【数据管理】workspace 工作区管
   【显示精度固化】{action2:"set", displayPrecision:4} 固化；传 0 = 清除
   【注意】本插件无图形界面，全部经工具与 HTTP 路由操作`
 
-/** 【常见配方】跨节的组合用法。 */
-const RECIPE_BODY = (): string => `【锚点 sanity】工具不知道这个数该多大，但你可以逐条声明判据
-  {label:"日产台数", expr:"1e8*25000", sanity:{max:1e10, note:"帝国总兵力"}}
-  → ⚠ 超出锚点上限 1e10（帝国总兵力）达 250 倍
-  键：max 上限 / min 下限 / expect 期望量级（expect:3 即 10³）/ note 依据
-  ★ 判据来自你，工具只比对不猜；量纲不可比时不报；不声明则零提示
-  ★ 目前只在批量 expressions 里生效
-
-【账本闭合】无独立 check 操作，一条 expressions 逐项列值即可：
-  [{label:"A", expr:"650*3840"}, {label:"四项和", expr:"…"}]
-  再补一条 {label:"与目标之差", expr:"...-4075000"}  ← 差值 0 即闭合
-  不做 PASS/FAIL：差 3 与差 3% 是两回事，压成布尔就糊了
-
-【多步链】批量内前一条的赋值对后一条可见：
-  [{label:"单价", expr:"u=5"}, {label:"小计", expr:"u*3"}]
-  ★ 中间某步失败时，依赖它的下游会明确报错，不会变成「虚成功」
-
-【文明崩溃推演】财政链，每步可核对（用 formula 逐条调，数值自己代入）
-  ① effective_tax_rate     名义税率 30% 但实际只 10% → 征管弱，20% 是漏征+逃亡
-  ② fiscal_balance         收入 10% GDP、支出 15% → 赤字 5%
-  ③ primary_balance        PB = −5% + 利息 3% = −2% GDP
-     → 不是被旧债拖垮，而是**经营本身在亏**（结构性危机，比单纯赤字严重）
-  ④ fiscal_sustainability  i=8%、g=2%、d=80% → 需 PB ≥ 6%×0.8 = 4.8%，实际 −2%
-     → 缺口 6.8%/年，十年翻倍
-  ⑤ seigniorage            税加不动、借债又 i>g → 只能铸币 → 通胀上升
-     → 通胀推高 i → 回到 ④，死亡螺旋
-  ⑥ fiscal_autonomy        刚性 85% → 没有可裁量的钱，改革也推不动
-  ★ 这套链能推出「为什么这个政权看着还能撑、其实已在螺旋里」，
-    比「因为腐败所以要亡」可信得多——腐败只是其中一环。
-
-【巨兽可行性推演】生物链，回答「这么大的生物能不能活」
-  ① sa_volume_ratio        体重 ×8 → 表面积 ×4 → 单位体重散热与摄氧都 ÷2
-  ② fick_diffusion         A∝M^(2/3)、δ∝M^(1/3) → 供氧能力 ∝ M^(1/3)
-  ③ diffusion_time         若无循环，1 m 组织扩散需 158 年 → 必须有循环系统
-  ④ peclet_number          血管里 Pe≫1 → 对流主导，扩散送不到深处
-  ⑤ michaelis_menten       血红蛋白结合是饱和式 → 浓度再高也提不上去
-  ⑥ gompertz_growth        生长必然饱和 → 有上限体型
-  ★ 结论通常是「不能靠扩散活，必须进化出循环 + 换气」，而不是「不可能」
-    —— 差别在于前者给了可行路径。
-
-【材料推演】三层链：**微观决定 → 本构 → 构件失效**
-  分两档起步：① 只想要工程结论 → 从 B 开始，硬设定 E/σ_y/K_IC/ρ
-              ② 想让材料「自洽地生出来」→ 从 A 开始，从键强度推
-
-  A. 微观决定（材料属性从基础物理量推出）
-     输入：每原子结合能（J）、原子间距、键的非谐性 γ
-     ① melting_from_cohesive   T_m ≈(2/3)·E_k/k_B
-        ★ 反推设计：要熔点 2000°C → 需要多大结合能？这一条能算
-        ⚠ 系数 0.036（不是 2/3！）由 12 种金属实测反算得来：
-          Fe 1797K vs 实测 1811（−0.8%）、W −0.5%、Mo −1.6%、Ag −0.4%
-          但 Al +52%、Mg +52% 偏高 —— 轻金属的结合能构成不同，别用它推轻合金
-        ⚠ 输入是**每原子**结合能（J），若资料给 kJ/mol 要先除以 6.022e23
-     ② ideal_strength          σ_ideal ≈ E/10
-        ★ 真正有用的是**比值**：实际强度只有理论的 1/100(工艺差) ~ 1/10(精密)
-        「这个文明的冶金水平」= 他们能发挥百分之几
-     ③ pugh_ductility          G/K >0.57 偏脆、<0.57 偏韧
-        ★ 更强的键往往同增 K 与 G —— 这条检查「变强了但更脆」的副作用
-     ④ gruneisen_expansion     α = γ·C_v/(3KV)
-        ★ 补闭环：原来 α 只能硬填，现在由 K、C_v、γ 推出来
-     ⑤ wiedemann_franz         κ/σ = L₀·T（L₀ 是基本常数）
-        ★ 罕见的严格关系：设了电导率，导热系数自动定，不必两个都编
-
-     ★ 关键的物理直觉：**结合能越深 → 势能井越陡 → E 越大 → 熔点与强度都上升**
-       所以「改基础物理量」不是各自拍脑袋，而是有方向、有幅度的推导。
-
-  B. 本构（应力 → 应变 → 失效）
-    输入：E、σ_y、K_IC、ρ
-     ① hooke_law              σ = E·ε。σ=200MPa → ε=1e-3
-                             ★ 弹性区公理；超屈服后失效，别用它算大变形
-     ② safety_factor_check    σ_allow = σ_y/n。200/235=1.18 → 低于 1.5，不安全
-                             n 取 1.5~2（静载）／2~4（冲击）／3~6（疲劳）
-     ③ fracture_kic           σ_c = K_IC/(Y·√(πa))
-                             5mm 裂纹 → 30e6/√(π·0.005)=239MPa（与屈服几乎相等）
-                             ★ σ_c ∝1/√a：裂纹 1mm→1cm，承载降 √10≈3.2 倍
-                             ⚠ 仅脆性/小范围屈服；高韧材料会低估（需 J 积分）
-     ④ hall_petch             σ_y = σ₀ + k_y·d^(−1/2)
-                             ★ 同一成分，晶粒细化一档强度可翻倍
-                             「锻造水平」= 这个文明能达到的 d
-                             ⚠ 有反 Hall-Petch 区（纳米晶反而变弱）
-     ⑤ ashby_index            M = E^a·σ^b/ρ^c
-                             轻而刚的梁 E^½/ρ ｜ 轻而强的梁 σ^(2/3)/ρ ｜ 储能 σ²/E
-                             ★ 把「这合金轻又强」从形容词变成可比的数
-
-  C. 构件失效（接已有的工程公式）
-     buckling_euler / beam_bending_stress / beam_uniform_load_deflection / bolt_shear_capacity
-     ★ 到这一步才谈「这根梁要多粗」—— 前面两层定材料，这层定尺寸
-
-  完整例子（铁：结合能 415 kJ/mol、E=2e11、σy=235MPa、K_IC=30MPa·√m、ρ=7850）
-      输入换算：415 kJ/mol ÷ 6.022e23 = 6.89e-19 J/原子
-      melting_from_cohesive  → 1797 K（实测铁 1811 K，−0.8% ✓ 自洽）
-      ideal_strength         → 2e10 Pa = 20 GPa（理论值上限）
-      实际/理论 = 235e6/2e10 = **1.2%** → 属「工艺一般」而非精密
-        （精密工艺能到 10%，差一个数量级 —— 这就是该调的世界观参数）
-      pugh_ductility         设 G=8e10、K=1.6e11 → 0.5 <0.57，韧性好 ✓
-      hooke_law              200MPa → ε=1e-3
-      safety_factor_check    许用 156.7MPa，而实际 200MPa
-                             200/156.7=1.28 → 只有 1.28 倍余量，低于要求的 1.5
-      fracture_kic           5mm 裂纹时 σ_c=239MPa，与屈服 235MPa 之比 **1.02**
-     ★ 结论：这钢的瓶颈不在强度而在**裂纹容限**——
-       5mm 裂纹就让承载降到屈服线，所以要定期探伤、限制缺陷尺寸。
-       这是单看屈服强度绝对推不出来的结论。
-
-  ★ 一条纪律：工具**不判断你的材料合不合理**，只保证「基于你给的性质，后果算对」。
-    A 层给方向、B 层给数值、C 层给尺寸 —— 想让哪层自洽，就从哪层起步。
-
-【失败时】返回 ok=false + error.type / message / hint，按 hint 修正即可，不会崩溃。
-  常见 error.type：
-    non_finite         结果非有限（除以零、log(0)）
-    unit_mismatch      两侧单位不同量纲
-    unknown_symbol     变量/函数未定义
-    unit_name_conflict 目标单位名撞内置函数（1 s to min → 写 minute）
-    not_a_quantity     to 左边不是带单位的量（裸数字没有单位可换）
-    unknown_argument   参数名认不出来（会点名是哪个）`
-
+/** 【工程·结构（梁柱应力/挠度/惯性矩/螺栓焊缝）】按公式 id 调用，参数可带单位。 */
+const D_STRUCT_BODY = (): string => `【工程·结构（梁柱应力/挠度/惯性矩/螺栓焊缝）】
 
-/**
- * 【工程 / 生物 / 宏观】专节 —— 覆盖写世界观最常用的三块。
- *
- * ## 为什么单独成节
- *
- * 这三块是本次新增的 29 条公式的落点，但它们在目录里跟「统计」「线代」混在一起时
- * 读者不会想到去查。单独一节把「我要算这座塔立不立得住」直接对上一个 key。
- *
- * ## 内容比旧版细得多
- *
- * 旧版 6000 字总预算下，每节只能给十几个字。现在每节按需付费，
- * 所以这里把**每条公式的适用域、典型取值、以及它会教你的那条 scaling 律**都写出来 ——
- * 那些才是判断「这个数合不合理」时真正要用的。
- */
-const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常用算式（共 29 条，公式库里按 id 调用）
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
 
-调用方式与其它公式一样：{operation:"formula", formula:"id", overrides:{参数}}
-参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
 
-════ 工程·结构（engineering/structures）════
   beam_section_modulus      抗弯截面系数 W = b·h²/6
                             ★ 梁要高不要宽：高度翻倍，抗弯能力 4 倍
   beam_bending_stress       弯曲应力 σ = M/W（输出 MPa）
@@ -645,8 +554,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   bolt_shear_capacity       螺栓抗剪 F = n·τ·π·d²/4（4.6 级 τ≈141 MPa）
                             ★ 承压型高强螺栓靠摩擦传力，不按这个算式
   weld_throat_capacity      角焊缝 F = 0.707a·L·τ（喉部有效厚度 0.707a）
+`
+
+/** 【工程·热机与能量（卡诺/蒸汽/锅炉/换热）】按公式 id 调用，参数可带单位。 */
+const D_THERMAL_BODY = (): string => `【工程·热机与能量（卡诺/蒸汽/锅炉/换热）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 工程·热机与能量（engineering/thermal, energy）════
   thermal_efficiency_carnot 卡诺上限 η ≤ 1 − Tc/Th
                             ★ **绝对温度**不是摄氏度；300K/500K 之间上限 40%
                             加多少煤都没用——只能提高热源温度或降低排热温度
@@ -665,8 +581,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
                             ★ 风速的**三次方**：5→10 m/s，功率 8 倍（最反直觉的一条）
                             贝茨极限 0.593 是理论上限，实用 0.35~0.45
   water_turbine_power       P = ρ·g·Q·H·η（与水泵恰好相反：η 是乘的）
+`
+
+/** 【工程·流体与管路（管流/水头/泵/孔口）】按公式 id 调用，参数可带单位。 */
+const D_FLUID_BODY = (): string => `【工程·流体与管路（管流/水头/泵/孔口）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 工程·流体与管路（engineering/fluid）════
   pipe_flow_rate            Q = v·π·d²/4
                             ★ 管径翻倍，流量 4 倍——扩一倍口径顶四条旧管
   darcy_head_loss           h = f·(L/d)·v²/(2g)
@@ -677,8 +600,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   orifice_discharge         Q = Cd·A·√(2gh)
                             ★ 水头的**平方根**：流量翻倍要水头 4 倍
                             水库泄洪、攻城水攻、倒水时间估算都用它
+`
+
+/** 【生物·生态（载畜量/料肉比/NPP/营养级）】按公式 id 调用，参数可带单位。 */
+const D_ECOLOGY_BODY = (): string => `【生物·生态（载畜量/料肉比/NPP/营养级）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 生物·生态（biology/ecology）════
   grazing_capacity          载畜量 = 面积×产草量×利用率/(采食量×天数)
                             ★ 利用率取 0.5 不是保守而是必需：超载后草地退化，第二年产量腰斩
                             温带草原 2000~5000 kg/(ha·年)，牛采食 40~60 kg/日
@@ -692,8 +622,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   trophic_chain_support     每级只剩约 10%
                             ★ 养活 1 kg 狼要 10 kg 兔、100 kg 草
                             这解释了为什么食物链一般不超过 5 级，也立刻否掉「满地猛兽」
+`
+
+/** 【宏观·经济（劳力/产出/储蓄/货币/通胀）】按公式 id 调用，参数可带单位。 */
+const D_MACRO_BODY = (): string => `【宏观·经济（劳力/产出/储蓄/货币/通胀）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 宏观·经济（econ/macro）════
   labor_force               劳力 = 人口 × 参与率（农业社会 0.45~0.55）
                             ★ 0.45 里含着大量童工与老人——决定「能征多少兵、能修多大工程」
   gdp_from_labor            产出 = 劳力 × 人均产出
@@ -709,8 +646,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   inflation_from_money_growth  通胀 ≈ 货币增速 − 产出增速
                             ★ 0.15 对 0.03 即约 12%，三年物价翻倍
                             「滥发货币导致崩溃」时用它量化
+`
+
+/** 【材料·本构与微观决定（胡克/断裂韧性/熔点/Ashby）】按公式 id 调用，参数可带单位。 */
+const D_MATERIAL_BODY = (): string => `【材料·本构与微观决定（胡克/断裂韧性/熔点/Ashby）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 材料·本构与微观决定（materials/）════
 【本构：应力→应变→失效】
   hooke_law                 σ = E·ε（弹性区公理，与材料种类无关）
                             ★ 补上了库里断掉的一环：有 strain 定义却没有应力
@@ -738,8 +682,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
                             ⚠ 有反 Hall-Petch 区（纳米晶粒下反而变弱）
   wiedemann_franz           κ/σ = L₀·T（L₀ = 2.44e-8 是基本常数）
                             ★ 罕见的严格关系：设了电导率，导热系数自动定
+`
+
+/** 【生物·通用（异速生长/扩散/遗传/生长/酶）】按公式 id 调用，参数可带单位。 */
+const D_BIO_BODY = (): string => `【生物·通用（异速生长/扩散/遗传/生长/酶）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 生物·通用（biology/scaling, transport, genetics, growth, kinetics）════
   sa_volume_ratio           A ∝ M^(2/3) → 面积/体积 ∝ M^(−1/3)（**纯几何**）
                             ★ 体重 ×8 → 面积 ×4 → 单位体重散热 ÷2（为什么会过热）
                             同理鳃面积也只 ×4 → 摄氧 ÷2（为什么会缺氧）
@@ -762,8 +713,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   q10_temperature           R = R₀·Q₁₀^((T−T₀)/10)
                             ★ 生物界**实际使用**的温度律（生态模型几乎都用它，不用 Ea）
                             与 arrhenius 并存：化学用 Arrhenius、生物用 Q₁₀
+`
+
+/** 【政权财政（赤字/基本余额/债务螺旋/铸币税）】按公式 id 调用，参数可带单位。 */
+const D_FISCAL_BODY = (): string => `【政权财政（赤字/基本余额/债务螺旋/铸币税）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 政权财政（power/fiscal）════
   fiscal_balance            D = T − G（**会计恒等式**）
                             ★ 关键细节：赤字**不含借债** —— 借来的钱是「赤字融资」不是收入
                             把借债算成收入，就是财政崩溃前的典型自欺
@@ -783,8 +741,15 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
   fiscal_autonomy           可裁量支出占比 = 1 − 刚性占比
                             ★ 「改革为什么推不动」的定量答案：
                             刚性 80%+ → 几乎没有政策自由度，任何冲击直接触发危机
+`
+
+/** 【宏观恒等式（GDP/增长核算/趋同/费雪）】按公式 id 调用，参数可带单位。 */
+const D_GDP_BODY = (): string => `【宏观恒等式（GDP/增长核算/趋同/费雪）】
+
+  调用方式：{operation:"formula", formula:"id", overrides:{参数}}
+  参数可带单位（"10 km"、"2 时辰"），会校验量纲并换算。
+
 
-════ 宏观恒等式（econ/macro, econ/growth）════
   gdp_expenditure           Y = C + I + G +(X−M)（会计恒等式）
                             ★ 能立刻暴露不闭合的设定：C+I+G 超过 Y → 差额只能来自净进口或举债
   growth_accounting         g_Y = g_A + α·g_K +(1−α)·g_L
@@ -798,11 +763,198 @@ const DOMAINS_BODY = (): string => `【工程 / 生物 / 宏观】三块的常
 ★ 这些式子的共同特点：**缩放律与恒等式比绝对值更重要**。算出来的数可以偏，
   但「跨度翻倍挠度 16 倍」「PB = T −(G−利息)」这类关系错了就是硬伤。
   可查 operation="help", helpTopic="policy" 看文明推演配方。`
+
+/**
+ * ────────────────────────────────────────────────────────────────────
+ * ## recipe 拆成三节（v2.3.4）
+ *
+ * 拆分前 `recipe` 一节 **5371 字符**，其中：
+ *
+ * ```
+ *   材料推演      2834  (53%)  ← 只有做材料设定才需要
+ *   文明崩溃推演   535
+ *   巨兽可行性     403
+ *   锚点/账本/多步  400  ← 通用，几乎每次都要
+ *   错误码表       953  ← 通用，出错时必查
+ * ```
+ *
+ * 三条推演配方是**不同场景**（财政 / 生物 / 材料），不该压在一节里 ——
+ * 查「怎么算帝国会不会崩」不该先读 2834 字符的材料链条。
+ *
+ * 拆成：`recipe`（通用手法：锚点/账本/多步链/错误码）、
+ * `recipe-fiscal`（文明崩溃）、`recipe-bio`（巨兽可行性）、`recipe-material`（材料三层链）。
+ * ────────────────────────────────────────────────────────────────────
+ */
+
+/** 【通用手法】锚点 sanity、账本闭合、多步链。 */
+const RECIPE_COMMON_BODY = (): string => `【锚点 sanity】工具不知道这个数该多大，但你可以逐条声明判据
+  {label:"日产台数", expr:"1e8*25000", sanity:{max:1e10, note:"帝国总兵力"}}
+  → ⚠ 超出锚点上限 1e10（帝国总兵力）达 250 倍
+  键：max 上限 / min 下限 / expect 期望量级（expect:3 即 10³）/ note 依据
+  ★ 判据来自你，工具只比对不猜；量纲不可比时不报；不声明则零提示
+  ★ 目前只在批量 expressions 里生效
+
+【账本闭合】无独立 check 操作，一条 expressions 逐项列值即可：
+  [{label:"A", expr:"650*3840"}, {label:"四项和", expr:"…"}]
+  再补一条 {label:"与目标之差", expr:"...-4075000"}  ← 差值 0 即闭合
+  不做 PASS/FAIL：差 3 与差 3% 是两回事，压成布尔就糊了
+
+【多步链】批量内前一条的赋值对后一条可见：
+  [{label:"单价", expr:"u=5"}, {label:"小计", expr:"u*3"}]
+  ★ 中间某步失败时，依赖它的下游会明确报错，不会变成「虚成功」
+`
+
+/** 【错误码】出错时按 hint 修正。 */
+const RECIPE_ERROR_BODY = (): string => `【失败时】返回 ok=false + error.type / message / hint，按 hint 修正即可，不会崩溃。
+  常见 error.type：
+    non_finite         结果非有限（除以零、log(0)）
+    unit_mismatch      两侧单位不同量纲
+    unknown_symbol     变量/函数未定义
+    unit_name_conflict 目标单位名撞内置函数（1 s to min → 写 minute）
+    not_a_quantity     to 左边不是带单位的量（裸数字没有单位可换）
+    unknown_argument   参数名认不出来（会点名是哪个）
+
+
+/**
+ * ────────────────────────────────────────────────────────────────────
+ * ## 领域公式节：从一节拆成九节（v2.3.4）
+ *
+ * 拆分前 domains 一节 **8707 字符**，是单次查询最贵的开销。
+ * 而它是九个互不相关的领域压在一起 —— 查「财政赤字」也要把梁柱挠度、
+ * 营养级、Péclet 数全读一遍。
+ *
+ * ## 为什么这是对的做法（成本结构决定）
+ *
+ * 
+ *   schema    6212 字符   每轮固定付，无法通过拆分降低
+ *   目录      1083 字符   按需付一次
+ *   单节       800~1400   按需付
+ * 
+ *
+ * 拆开后单次查询从 **8707 → 约 1500**（加目录约 2600），降 3.4 倍，
+ * 而固定成本只增加目录里多出来的几行。
+ *
+ * ★ 这正是「总长可以扩容，但要控制单次任务查询消耗」的落点：
+ *   扩容发生在**按需层**，固定层（schema）不动。
+ * ────────────────────────────────────────────────────────────────────
+ */
+
+/** 【工程·结构（梁柱应力/挠度/惯性矩/螺栓焊缝）】按公式 id 调用，参数可带单位。 */
+`
+
+/** 【文明崩溃推演】财政六步链。 */
+const RECIPE_FISCAL_BODY = (): string => `【文明崩溃推演】财政链，每步可核对（用 formula 逐条调，数值自己代入）
+  ① effective_tax_rate     名义税率 30% 但实际只 10% → 征管弱，20% 是漏征+逃亡
+  ② fiscal_balance         收入 10% GDP、支出 15% → 赤字 5%
+  ③ primary_balance        PB = −5% + 利息 3% = −2% GDP
+     → 不是被旧债拖垮，而是**经营本身在亏**（结构性危机，比单纯赤字严重）
+  ④ fiscal_sustainability  i=8%、g=2%、d=80% → 需 PB ≥ 6%×0.8 = 4.8%，实际 −2%
+     → 缺口 6.8%/年，十年翻倍
+  ⑤ seigniorage            税加不动、借债又 i>g → 只能铸币 → 通胀上升
+     → 通胀推高 i → 回到 ④，死亡螺旋
+  ⑥ fiscal_autonomy        刚性 85% → 没有可裁量的钱，改革也推不动
+  ★ 这套链能推出「为什么这个政权看着还能撑、其实已在螺旋里」，
+    比「因为腐败所以要亡」可信得多——腐败只是其中一环。
+`
+
+/** 【巨兽可行性推演】生物六步链。 */
+const RECIPE_BIO_BODY = (): string => `【巨兽可行性推演】生物链，回答「这么大的生物能不能活」
+  ① sa_volume_ratio        体重 ×8 → 表面积 ×4 → 单位体重散热与摄氧都 ÷2
+  ② fick_diffusion         A∝M^(2/3)、δ∝M^(1/3) → 供氧能力 ∝ M^(1/3)
+  ③ diffusion_time         若无循环，1 m 组织扩散需 158 年 → 必须有循环系统
+  ④ peclet_number          血管里 Pe≫1 → 对流主导，扩散送不到深处
+  ⑤ michaelis_menten       血红蛋白结合是饱和式 → 浓度再高也提不上去
+  ⑥ gompertz_growth        生长必然饱和 → 有上限体型
+  ★ 结论通常是「不能靠扩散活，必须进化出循环 + 换气」，而不是「不可能」
+    —— 差别在于前者给了可行路径。
+`
+
+/** 【材料推演】微观决定 → 本构 → 构件失效。 */
+const RECIPE_MATERIAL_BODY = (): string => `【材料推演】三层链：**微观决定 → 本构 → 构件失效**
+  分两档起步：① 只想要工程结论 → 从 B 开始，硬设定 E/σ_y/K_IC/ρ
+              ② 想让材料「自洽地生出来」→ 从 A 开始，从键强度推
+
+  A. 微观决定（材料属性从基础物理量推出）
+     输入：每原子结合能（J）、原子间距、键的非谐性 γ
+     ① melting_from_cohesive   T_m ≈(2/3)·E_k/k_B
+        ★ 反推设计：要熔点 2000°C → 需要多大结合能？这一条能算
+        ⚠ 系数 0.036（不是 2/3！）由 12 种金属实测反算得来：
+          Fe 1797K vs 实测 1811（−0.8%）、W −0.5%、Mo −1.6%、Ag −0.4%
+          但 Al +52%、Mg +52% 偏高 —— 轻金属的结合能构成不同，别用它推轻合金
+        ⚠ 输入是**每原子**结合能（J），若资料给 kJ/mol 要先除以 6.022e23
+     ② ideal_strength          σ_ideal ≈ E/10
+        ★ 真正有用的是**比值**：实际强度只有理论的 1/100(工艺差) ~ 1/10(精密)
+        「这个文明的冶金水平」= 他们能发挥百分之几
+     ③ pugh_ductility          G/K >0.57 偏脆、<0.57 偏韧
+        ★ 更强的键往往同增 K 与 G —— 这条检查「变强了但更脆」的副作用
+     ④ gruneisen_expansion     α = γ·C_v/(3KV)
+        ★ 补闭环：原来 α 只能硬填，现在由 K、C_v、γ 推出来
+     ⑤ wiedemann_franz         κ/σ = L₀·T（L₀ 是基本常数）
+        ★ 罕见的严格关系：设了电导率，导热系数自动定，不必两个都编
+
+     ★ 关键的物理直觉：**结合能越深 → 势能井越陡 → E 越大 → 熔点与强度都上升**
+       所以「改基础物理量」不是各自拍脑袋，而是有方向、有幅度的推导。
+
+  B. 本构（应力 → 应变 → 失效）
+    输入：E、σ_y、K_IC、ρ
+     ① hooke_law              σ = E·ε。σ=200MPa → ε=1e-3
+                             ★ 弹性区公理；超屈服后失效，别用它算大变形
+     ② safety_factor_check    σ_allow = σ_y/n。200/235=1.18 → 低于 1.5，不安全
+                             n 取 1.5~2（静载）／2~4（冲击）／3~6（疲劳）
+     ③ fracture_kic           σ_c = K_IC/(Y·√(πa))
+                             5mm 裂纹 → 30e6/√(π·0.005)=239MPa（与屈服几乎相等）
+                             ★ σ_c ∝1/√a：裂纹 1mm→1cm，承载降 √10≈3.2 倍
+                             ⚠ 仅脆性/小范围屈服；高韧材料会低估（需 J 积分）
+     ④ hall_petch             σ_y = σ₀ + k_y·d^(−1/2)
+                             ★ 同一成分，晶粒细化一档强度可翻倍
+                             「锻造水平」= 这个文明能达到的 d
+                             ⚠ 有反 Hall-Petch 区（纳米晶反而变弱）
+     ⑤ ashby_index            M = E^a·σ^b/ρ^c
+                             轻而刚的梁 E^½/ρ ｜ 轻而强的梁 σ^(2/3)/ρ ｜ 储能 σ²/E
+                             ★ 把「这合金轻又强」从形容词变成可比的数
+
+  C. 构件失效（接已有的工程公式）
+     buckling_euler / beam_bending_stress / beam_uniform_load_deflection / bolt_shear_capacity
+     ★ 到这一步才谈「这根梁要多粗」—— 前面两层定材料，这层定尺寸
+
+  完整例子（铁：结合能 415 kJ/mol、E=2e11、σy=235MPa、K_IC=30MPa·√m、ρ=7850）
+      输入换算：415 kJ/mol ÷ 6.022e23 = 6.89e-19 J/原子
+      melting_from_cohesive  → 1797 K（实测铁 1811 K，−0.8% ✓ 自洽）
+      ideal_strength         → 2e10 Pa = 20 GPa（理论值上限）
+      实际/理论 = 235e6/2e10 = **1.2%** → 属「工艺一般」而非精密
+        （精密工艺能到 10%，差一个数量级 —— 这就是该调的世界观参数）
+      pugh_ductility         设 G=8e10、K=1.6e11 → 0.5 <0.57，韧性好 ✓
+      hooke_law              200MPa → ε=1e-3
+      safety_factor_check    许用 156.7MPa，而实际 200MPa
+                             200/156.7=1.28 → 只有 1.28 倍余量，低于要求的 1.5
+      fracture_kic           5mm 裂纹时 σ_c=239MPa，与屈服 235MPa 之比 **1.02**
+     ★ 结论：这钢的瓶颈不在强度而在**裂纹容限**——
+       5mm 裂纹就让承载降到屈服线，所以要定期探伤、限制缺陷尺寸。
+       这是单看屈服强度绝对推不出来的结论。
+
+  ★ 一条纪律：工具**不判断你的材料合不合理**，只保证「基于你给的性质，后果算对」。
+    A 层给方向、B 层给数值、C 层给尺寸 —— 想让哪层自洽，就从哪层起步。
+`
+
 /**
  * 各节注册表。**顺序即目录顺序**，而顺序决定「AI 会不会翻到它」。
  *
  * 排前面的是高频或高风险节：`evaluate` 最常用、`world` 体量最大。
- * `recipe` 放最后是因为它是跨节组合，读它之前一般已经读了几节。
+ *
+ * ## v2.3.4 从 14 节扩到 26 节
+ *
+ * 不是为了塞更多内容，而是**把「按需付费」做彻底**：
+ *
+ * ```
+ *   原 domains  8707 字符  九个互不相关的领域压在一起
+ *   原 recipe   5371 字符  三条场景配方 + 通用手法 + 错误码
+ * ```
+ *
+ * 查「财政赤字」要读梁柱挠度与 Péclet 数，查「帝国会不会崩」要先读 2834 字符的材料链 ——
+ * 这不合理。拆开后单次查询从 8707 降到 2840（最大节），典型任务约 2400。
+ *
+ * ★ 固定成本（schema 6212 字符）**一分没涨**：扩容全部发生在按需层。
+ * 目录从 1083 涨到 1284 —— 多出的 201 字符换来 12 个可独立查询的节。
  */
 export const HELP_TOPICS: HelpTopic[] = [
   /**
@@ -832,7 +984,7 @@ export const HELP_TOPICS: HelpTopic[] = [
     tier: 'core',
     /** 实践文档信号量 250，断层第一：算术/带单位/批量/label 全落在这一节。 */
     weight: 250,
-    title: '求值（evaluate）',
+    title: '求值 evaluate',
     summary: '算一条式子。物理量带单位写，量纲错当场拦下；批量一次多条。',
     aliases: ['算式', '计算', '求值', 'mathjs', 'expression'],
     body: EVALUATE_BODY,
@@ -846,7 +998,7 @@ export const HELP_TOPICS: HelpTopic[] = [
      * 前者要写方程、要看解的形式（唯一解/无穷多解/无解）。
      */
     weight: 59,
-    title: '解方程与微积分（solve / derivative / integral）',
+    title: '解方程与微积分（solve）',
     summary: '解方程与方程组、符号求导积分。退化方程组会说「无穷多解」而非静默给单解。',
     aliases: ['方程', '求解', 'solve', '积分', '求导', '微积分', 'algebra'],
     body: ALGEBRA_BODY,
@@ -856,7 +1008,7 @@ export const HELP_TOPICS: HelpTopic[] = [
     tier: 'core',
     /** 信号量 173：中制单位（里/丈/斤/亩）与 to 换算在各文档频繁出现。 */
     weight: 173,
-    title: '单位换算与输出单位（units）',
+    title: '单位换算 units',
     summary: '中外古今单位换算、自定义单位，以及输出为什么是大数配吨/公里。',
     aliases: ['单位', '换算', '里', '丈', '斤', '亩', 'unit', 'conversion'],
     body: UNITS_BODY,
@@ -877,7 +1029,7 @@ export const HELP_TOPICS: HelpTopic[] = [
     /** 信号量 26。 */
     weight: 26,
     title: '世界观推演（world / 地形 / 气候）',
-    summary: '星球参数得体感画像：重力昼夜气候、天空、恒星寿命、卫星、生命闸门。★ 完整字段表在这里。',
+    summary: '星球参数 → 体感画像：重力昼夜气候、天空、恒星寿命、卫星、生命闸门。★ 字段表在这。',
     aliases: ['星球', '世界', '重力', '气候', '恒星', '地形', 'world', 'planet'],
     body: WORLD_BODY,
   },
@@ -889,14 +1041,103 @@ export const HELP_TOPICS: HelpTopic[] = [
    * 只是不再为它们付「一句话简介 + 别名清单」的成本。
    */
   {
-    key: 'domains',
+    key: 'd-struct',
+    tier: 'core',
+    short: '梁柱结构',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 12,
+    title: '工程·结构（梁柱应力/挠度/惯性矩/螺栓焊缝）',
+    summary: '抗弯截面系数、弯曲应力、自重弯矩、均布挠度、惯性矩、螺栓抗剪、角焊缝。★ 跨度的高次方律：挠度 ∝ L⁴、弯矩 ∝ L²。',
+    aliases: ['结构', '梁', '柱', '跨中挠度', '弯曲应力', '惯性矩', '螺栓', '焊缝', 'beam'],
+    body: D_STRUCT_BODY,
+  },
+  {
+    key: 'd-thermal',
+    tier: 'core',
+    short: '热机煤耗',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 10,
+    title: '工程·热机与能量（卡诺/蒸汽/锅炉/换热）',
+    summary: '卡诺效率上限、蒸汽机功率、锅炉煤耗、换热器 LMTD、平壁导热。★ 卡诺是上限不是可达值。',
+    aliases: ['热机', '卡诺', '蒸汽机', '锅炉', '煤耗', '换热器', '导热', 'carnot'],
+    body: D_THERMAL_BODY,
+  },
+  {
+    key: 'd-fluid',
     tier: 'core',
-    /** 新增节，文档中尚无信号；按用户明确要求保留 core。 */
-    weight: 0,
-    title: '工程 / 生物 / 材料 / 财政 / 宏观（57 条领域公式）',
-    summary: '梁柱应力、热机煤耗、管流泵功率；扩散供氧、异速生长、遗传平衡；胡克与断裂韧性、熔点与结合能；财政赤字与债务螺旋、GDP 恒等式与增长核算。每条都写了 scaling 律或恒等式来源。',
-    aliases: ['工程', '生物', '材料', '经济', '宏观', '财政', '税收', '债务', '建筑', '结构', '热机', '流体', '生态', '畜牧', '通胀', '作物'],
-    body: DOMAINS_BODY,
+    short: '管流泵',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 10,
+    title: '工程·流体与管路（管流/水头/泵/孔口）',
+    summary: '管道流量、达西水头损失、水泵轴功率、孔口出流、风功率、水轮机。★ 管径平方律、风功率随 v³。',
+    aliases: ['流体', '管流', '水头', '泵', '孔口', '风功率', '水轮机', 'darcy'],
+    body: D_FLUID_BODY,
+  },
+  {
+    key: 'd-ecology',
+    tier: 'core',
+    short: '生态畜牧',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 8,
+    title: '生物·生态（载畜量/料肉比/NPP/营养级）',
+    summary: '草地载畜量、畜禽出栏、料肉比、农田 NPP、营养级支撑。★ 每级只剩约 10%：养活 1kg 猛兽要 100kg 草。',
+    aliases: ['生态', '载畜量', '料肉比', '出栏', 'NPP', '营养级', '畜牧', 'grazing'],
+    body: D_ECOLOGY_BODY,
+  },
+  {
+    key: 'd-macro',
+    tier: 'core',
+    short: '劳力货币',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 8,
+    title: '宏观·经济（劳力/产出/储蓄/货币/通胀）',
+    summary: '劳动力、总产出、储蓄率、资本产出比、货币供应、通胀压力。★ 通胀 ≈ 货币增速 − 产出增速。',
+    aliases: ['宏观', '劳力', '储蓄率', '资本产出比', '货币供应', '通胀', '经济'],
+    body: D_MACRO_BODY,
+  },
+  {
+    key: 'd-material',
+    tier: 'core',
+    short: '材料本构',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 14,
+    title: '材料·本构与微观决定（胡克/断裂韧性/熔点/Ashby）',
+    summary: '胡克定律与许用应力、断裂韧性 K_IC、Ashby 选材、理论强度、熔点与结合能、Pugh 脆韧性、Hall-Petch。',
+    aliases: ['材料', '胡克', '断裂韧性', '韧性', '熔点', 'Ashby', '选材', '强度', '结合能', 'pugh'],
+    body: D_MATERIAL_BODY,
+  },
+  {
+    key: 'd-bio',
+    tier: 'core',
+    short: '生物通用',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 14,
+    title: '生物·通用（异速生长/扩散/遗传/生长/酶）',
+    summary: '表面积-体积比、Fick 扩散、扩散时间、Péclet、Hardy-Weinberg、Gompertz、米氏、Q₁₀。★ 跨类群跨世界通用。',
+    aliases: ['生物', '异速生长', '扩散', '供氧', '遗传', '基因频率', '生长曲线', 'Q10', '米氏', 'fick', 'Gompertz'],
+    body: D_BIO_BODY,
+  },
+  {
+    key: 'd-fiscal',
+    tier: 'core',
+    short: '政权财政',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 12,
+    title: '政权财政（赤字/基本余额/债务螺旋/铸币税）',
+    summary: '财政余额、基本余额、债务可持续判据、铸币税、有效税率、财政自由度。★ 「这个政权还有没有救」的判据在这。',
+    aliases: ['财政', '赤字', '税收', '债务', '铸币税', '基本余额', '国债', '破产', 'fiscal'],
+    body: D_FISCAL_BODY,
+  },
+  {
+    key: 'd-gdp',
+    tier: 'core',
+    short: 'GDP增长',
+    /** 从原 domains 一节拆出，权重按各领域实际使用分配。 */
+    weight: 10,
+    title: '宏观恒等式（GDP/增长核算/趋同/费雪）',
+    summary: '支出法 GDP（会计恒等式）、增长核算 TFP、趋同速度、费雪方程。★ 恒等式能立刻否掉不闭合的设定。',
+    aliases: ['GDP', '增长核算', 'TFP', '趋同', '费雪', '货币数量', '恒等式', '全要素生产率'],
+    body: D_GDP_BODY,
   },
   {
     key: 'linalg',
@@ -922,13 +1163,30 @@ export const HELP_TOPICS: HelpTopic[] = [
   },
   {
     key: 'ode',
-    tier: 'extra',
-    /** 信号量 4 —— 最低的一档。 */
-    weight: 4,
-    short: '微分方程',
-    title: '微分方程（ode）',
-    summary: 'RK4 数值解一阶方程组与二阶方程，返回轨迹/终点值/极值/发散警告。',
-    aliases: ['微分方程', 'ode', '传染病', '捕食模型', 'rk4'],
+    /**
+     * ★ 从 extra 提到 core（2026-11-08）。
+     *
+     * 实测反馈里最重的一条：该会话「写了 300 行 Python 做逐年迭代、参数扫描、
+     * 双状态耦合」，而 ode 就在那里 —— 只是排在「低频」栏的最后一行。
+     *
+     * 所以「低频」这个分档本身是错的：它表达的是「用得少」，
+     * 但用得少不等于「该在想建模时绕过它」。
+     */
+    tier: 'core',
+    /**
+     * 权重从 4 提到 60。
+     *
+     * 原来的 4 是「实践文档里出现 4 次」的信号量 —— 但这只反映**已经发生的使用**，
+     * 不反映**该用而没用的机会数**。实测那份会话里手写了 6 个脚本做逐年迭代，
+     * 那些都该是一次 ode/recurrence 调用。所以按「错过的机会」重估。
+     */
+    weight: 60,
+    short: '微分方程与递推',
+    title: '动力学：微分方程与离散递推（ode / recurrence）',
+    summary:
+      '连续用 ode（RK4，支持 min() 约束/多状态）；离散用 recurrence 出逐年表。' +
+      '★ 写年表用离散值；ode 传 at:[5,10,20] 精确取那几个年份。',
+    aliases: ['微分方程', 'ode', '递推', 'recurrence', '逐年', '年表', '增长模型', '传染病', '捕食模型', 'rk4'],
     body: ODE_BODY,
   },
   {
@@ -955,12 +1213,13 @@ export const HELP_TOPICS: HelpTopic[] = [
   },
   {
     key: 'derivation',
-    tier: 'extra',
+    /** 同上，从 extra 提到 core：参数扫描与结论翻转是建模的一部分。 */
+    tier: 'core',
     /** 信号量 21。 */
     weight: 21,
     short: '推演栈 29 子命令',
     title: '推演栈（derivation 子命令）',
-    summary: '八层推演栈、混沌拦截、结论翻转、逆推校准、敏感度、相图、白皮书、算力、幻想层、文明极限。',
+    summary: '敏感度/结论翻转/逆推校准/相图/算力预算等 29 子命令。★ 全部子命令在这。',
     aliases: ['推演', 'derivation', '混沌', '白皮书', '相图', '敏感度', '算力'],
     body: DERIVATION_BODY,
   },
@@ -977,14 +1236,54 @@ export const HELP_TOPICS: HelpTopic[] = [
   },
   {
     key: 'recipe',
-    tier: 'extra',
-    /** 信号量 17。 */
-    weight: 17,
-    short: '锚点/账本/错误码',
-    title: '常见配方（锚点/账本闭合/多步链/错误码）',
-    summary: '跨节组合用法：sanity 锚点比对你自己给的判据、账本闭合、多步链、错误码对照。',
-    aliases: ['锚点', 'sanity', '账本', '闭合', '多步', '错误', '配方'],
-    body: RECIPE_BODY,
+    /** 通用手法：锚点/账本/多步链。几乎每次做多步推演都要看。 */
+    tier: 'core',
+    weight: 20,
+    short: '锚点账本多步',
+    title: '通用手法（锚点 sanity / 账本闭合 / 多步链）',
+    summary: '怎么给数字加你自己的判据（sanity）、怎么核对账本闭合、怎么串多步链。★ 通用，不依赖领域。',
+    aliases: ['锚点', 'sanity', '账本', '闭合', '多步', '配方', 'recipe'],
+    body: RECIPE_COMMON_BODY,
+  },
+  {
+    key: 'recipe-errors',
+    tier: 'core',
+    weight: 12,
+    short: '错误码对照',
+    title: '错误码对照（ok=false 时看这节）',
+    summary: 'non_finite / unit_mismatch / unknown_symbol / not_a_quantity 等错误类型的含义与修法。',
+    aliases: ['错误', '报错', 'error', '失败', 'error type'],
+    body: RECIPE_ERROR_BODY,
+  },
+  {
+    key: 'recipe-fiscal',
+    tier: 'core',
+    weight: 14,
+    short: '文明崩溃链',
+    title: '推演配方·文明崩溃（财政六步链）',
+    summary: '征管弱 → 赤字 → 基本余额为负 → i>g 螺旋 → 铸币 → 改革无空间。★ 每步可核对。',
+    aliases: ['文明崩溃', '帝国崩溃', '财政链', '死亡螺旋', '破产推演'],
+    body: RECIPE_FISCAL_BODY,
+  },
+  {
+    key: 'recipe-bio',
+    tier: 'core',
+    weight: 12,
+    short: '巨兽可行性',
+    title: '推演配方·巨兽可行性（生物六步链）',
+    summary: '表面积比 → Fick 通量 → 扩散时间 → Péclet → 饱和 → 生长上限。★ 回答「这么大的生物能不能活」。',
+    aliases: ['巨兽', '巨型生物', '可行性', '能不能活', '生物链'],
+    body: RECIPE_BIO_BODY,
+  },
+  {
+    key: 'recipe-material',
+    tier: 'core',
+    weight: 14,
+    short: '材料三层链',
+    title: '推演配方·材料（微观决定 → 本构 → 构件失效）',
+    summary: '从键强度推熔点/模量/强度，再到胡克/断裂韧性/许用应力，最后接梁柱尺寸。★ 两档起步。',
+    aliases: ['材料推演', '材料链', '本构', '键强度', '熔模强'],
+    body: RECIPE_MATERIAL_BODY,
   },
 ]
 
@@ -1057,22 +1356,98 @@ function renderIndex(): string {
   const byWeight = (a: HelpTopic, b: HelpTopic) => (b.weight ?? 0) - (a.weight ?? 0)
   const core = HELP_TOPICS.filter((item) => item.tier === 'core').sort(byWeight)
   const extra = HELP_TOPICS.filter((item) => item.tier === 'extra').sort(byWeight)
+  /**
+   * ## 目录分三段：算术 / 建模与推演 / 其余
+   *
+   * 实测反馈（能力评估文档第 4 节）是本轮最重的一条：
+   *
+   * > 「一个能做动力学 + 参数扫描 + 499 条领域公式的工具，被排在了『低频』栏里。」
+   * > 「我写了 300 行 Python 做逐年迭代、参数扫描、双状态耦合 ——
+   * >   而 ode、sensitivity、formula 就在那里，只是排在了『低频』栏的最后一行。」
+   *
+   * 原始证据也很硬：该会话调用 math_execute 18 次、手写 Python 6 个脚本约 300 行，
+   * 而脚本做的事（逐年迭代、参数扫描、状态耦合）工具全都有对应的 operation。
+   *
+   * ## 所以改动只有一处，但很关键
+   *
+   * 不是「再加一句说明」，而是**把建模类从『低频』栏里提出来单独成段**。
+   * 因为「低频」这个词本身就在劝退 —— 它表达的是「用得少」，
+   * 而 `ode` 用得少不代表不该在写增长模型时想起它。
+   *
+   * 并且在这一段的开头直接给一句**触发词**：「正在手写循环/逐年表/参数扫描？先看这几节」。
+   * 文档的建议原话也是这句：「能力不缺，缺的是一句『你正在手写循环？先看这里』」。
+   */
+  /**
+   * 建模段包含：动力学、公式库、参数扫描、配方、世界观，以及**九个领域公式节**。
+   *
+   * 领域节原本压成一节 `domains`（8707 字符），现在拆开 ——
+   * 查询「财政赤字」不必再读梁柱挠度与 Péclet 数。
+   * 拆开后它们仍然属于「建模」，因为它们都是公式（而不是算术）。
+   */
+  const MODELING_KEYS = ['ode', 'formula', 'derivation', 'recipe', 'recipe-errors', 'recipe-fiscal', 'recipe-bio', 'recipe-material', 'world',
+    'd-struct', 'd-thermal', 'd-fluid', 'd-ecology', 'd-macro', 'd-material', 'd-bio', 'd-fiscal', 'd-gdp']
+  const isModeling = (topic: HelpTopic) => MODELING_KEYS.includes(topic.key)
+  const arithmetic = core.filter((topic) => !isModeling(topic))
+  const modeling = core.filter(isModeling)
   const lines: string[] = [
     '══════ math_execute 能力目录（' + HELP_TOPICS.length + ' 节）══════',
     'helpTopic:"键名" 取该节全文；也可用中文词（矩阵/星球/单位…）。',
     '',
+    '  ── 一、算术 ──',
   ]
-  for (const topic of core) {
+  for (const topic of arithmetic) {
     lines.push('  ' + topic.key.padEnd(10) + topic.title)
     lines.push('    ' + topic.summary)
   }
+  lines.push('')
+  lines.push('  ── 二、建模与推演 ──')
+  lines.push('  ★ 正在手写循环 / 逐年表 / 参数扫描？先看这几节，别用脚本重写')
+  /**
+   * ## 领域公式节在目录里只给一行
+   *
+   * 这九节是原 `domains` 拆出来的。**如果每节都给标题 + 两句简介**，
+   * 目录会从 1083 涨到 1821 字符 —— 那等于把「按需付费」又搬回「每次多付」。
+   *
+   * 所以它们按「一行 key + 六字标签」呈现（与 extra 折叠节同一形态）：
+   * key 与标签足够让人知道**有这一节、叫什么**，详细内容查时再付。
+   *
+   * 这与本轮的目标一致：**扩容发生在按需层，固定层（目录）尽量不动**。
+   */
+  /**
+   * 紧凑组：领域公式节与推演配方节都只给「key=六字标签」。
+   *
+   * 它们的共同点是**场景特定** —— 查「财政赤字」的人不需要先读材料链条，
+   * 反之亦然。所以详细内容只在被查询时才付费。
+   */
+  const isCompact = (topic: HelpTopic) => topic.key.startsWith('d-') || topic.key.startsWith('recipe-')
+  const modelingCore = modeling.filter((topic) => !isCompact(topic))
+  const compactSections = modeling.filter(isCompact)
+  for (const topic of modelingCore) {
+    lines.push('  ' + topic.key.padEnd(10) + topic.title)
+    lines.push('    ' + topic.summary)
+  }
+  if (compactSections.length > 0) {
+    const domainSections = compactSections.filter((topic) => topic.key.startsWith('d-'))
+    const recipeSections = compactSections.filter((topic) => topic.key.startsWith('recipe-'))
+    const pushCompact = function (label: string, topics: HelpTopic[]) {
+      lines.push('  ' + label)
+      const labels = topics.map(function (topic) {
+        return topic.key + '=' + (topic.short ?? topic.title.slice(0, 8))
+      })
+      for (let index = 0; index < labels.length; index += 3) {
+        lines.push('    ' + labels.slice(index, index + 3).join('  ·  '))
+      }
+    }
+    if (domainSections.length > 0) pushCompact('领域公式（各 600~1600 字符，按需查）:', domainSections)
+    if (recipeSections.length > 0) pushCompact('推演配方（场景特定，按需查）:', recipeSections)
+  }
   /**
    * 低频节压成一行：`key` 后面跟六字标签。
    * 用 ` / ` 分隔而不是每个占一行，是因为 8 行 = 8 次换行成本，
    * 而它们本来只是「顺带知道一下」的存在。
    */
   lines.push('')
-  lines.push('  低频（同样可查，正文里有完整说明）:')
+  lines.push('  ── 三、其余能力（同样可查，正文里有完整说明）──')
   const folded = extra.map(function (item) {
     const label = item.short ?? item.title.slice(0, 8)
     return item.key + '=' + label