fix(formula,resample): 公式映射卡顿根治 + 语法/输入框完善 + 重采样面板三处修正

一、「公式映射」卡顿（用户报告：只是点进输入框就卡，编辑过公式后彻底没法用）
1. 真因：菜单内联编辑提交时无条件回写初值 ⇒ 点进输入框再点别处就把
   formula = "f(t)" 写进样式；而 HasFormula() 只判 !empty()，于是
   DrawTransformOrderPreserving() 变 false、ComputeLaneRange() 每帧逐点扫描
   整条信号（2580 万采样 ≈ 960ms/帧）。
   修法：新增 FormulaIsIdentity()（空串与 f(t) 等价）；提交时归一化后恒等即清空；
   BuildLaneVisuals() 为「网格幅值范围」加指纹缓存（数据指针/长度/统计值 +
   影响数值的样式字段），键不变直接复用（实测 0.0005ms）。
2. 真实公式仍然贵：新增 PlotView::AcquireFormulaEnvelope()（变换后的逐分组
   包络，65536 组，按需算一次并缓存），BuildPolyline 的包络带改用它。
   实测：静止 215→21ms、中键拖动 8ms、缩放最坏 843→81ms；极值仍逐点统计
   （不会漏尖峰）。
3. AcquireProgram 只比 data() 指针 + 长度 ⇒ std::wstring 短串走 SSO 时，
   等长改公式会一直复用旧程序（f(t)^2→f(t)^3 波形不更新）。改为按内容判定。

二、公式语法（Utilities/FormulaEval）
- 新增 ^ 幂（右结合，2^3^2=512、2^-1=0.5、-2^2=-4），支持 2^f(t) 与 f(t)^2；
- 常量 e / pi（大小写均接受，保存前统一小写）；
- 数据点只允许 X / x / f(t)：单独的 f 不再接受（且不归一化，直接报错）；
- 数字扫描修正：2e 里的 e 不再被当成指数吞掉。

三、「公式映射」输入框（SignalPanelMenu）
- Y= 画在输入框内部（非编辑态），进入编辑态只显示公式本身；
- label 留空 ⇒ 输入框占满整行，与下方「系数调整」同宽。

四、「重采样」面板
- 修复点进间隔/频率输入框后输入框整块消失（paintOverlays 的 PaintEditField
  名单漏了 RESAMPLE_INTERVAL / RESAMPLE_FREQUENCY）；
- 最大/最小数据间隔：3 位有效数字 + Δt 复合单位，末尾追加（频率）尾缀；
- 间隔显示自适应单位、编辑态用秒；频率显示自适应单位、编辑态用 Hz（均不带单位）；
- 面板宽度按含（频率）尾缀的文本量宽。

五、十进制格式化（Utf8Util）
- 新增 FormatDecimal（绝不产生科学计数法）；FormatDurationCompound /
  FormatDurationSeconds / FormatFrequency 改用它，Δt/间隔/频率读数不再出现 1e-05。

验证：离屏探针 .preflight/perf/probe/formulacheck_main.cpp 75/75；
make release / make debug 零 warning；Release 856,064 B。

Components/PlotView/Inc/PlotViewInternal.hpp

@@ -607,6 +607,18 @@ namespace jdi
 		inline const double kResampleIntervalMin = 1.0e-9;
 		inline const double kResampleIntervalMax = 1.0e6;
 
+		// ---- 「公式映射」的分组包络缓存（见 `PlotView::AcquireFormulaEnvelope`）----
+		/**
+		 * @brief 每个信号的包络分组数上限（分组宽度按采样数反算）。
+		 *
+		 * 65536 组 × 2（min/max）× 4B ≈ 512KB/信号；对 2580 万采样 ⇒ 每组 ~394 个采样，
+		 * 而屏幕上一个像素列覆盖上万采样 ⇒ 分组粒度造成的包络误差远小于 1 像素。
+		 */
+		inline const std::size_t kFormulaEnvelopeBuckets = 65536;
+		/** @brief 包络缓存最多保存的信号数（超出即整表清空，避免无界增长）。 */
+		inline const std::size_t kFormulaEnvelopeCacheLimit = 16;
+
+
 		// ---- 「均值滤波」面板的两行参数滑块（用户 2026-10-30 要求）----
 		/**
 		 * 标签一律**不带 `X` / `N`**：滑块的量程本身已经说明是数值，符号只会让标签变长。
@@ -1294,11 +1306,34 @@ namespace jdi
 			return FormatValue(seconds) + L"s";
 		}
 
+		/**
+		 * @brief 把时间间隔四舍五入到 **3 位有效数字**（供「重采样」面板显示）。
+		 *
+		 * 计算出来的数据间隔常常带一长串浮点尾数（如 `5.0000158us`）。整串显示既没有意义，
+		 * 又会把面板撑得很宽（还要在后面追加「（频率）」尾缀，用户 2026-11-03 要求）。
+		 * 3 位有效数字足以区分相邻的采样间隔，且让显示稳定。
+		 *
+		 * @param [IN] seconds 时间间隔（秒）。
+		 * @return 舍入后的间隔；非法/非正输入原样返回。
+		 */
+		inline double RoundIntervalForDisplay(double seconds)
+		{
+			if (!std::isfinite(seconds) || seconds <= 0.0)
+			{
+				return seconds;
+			}
+			const double magnitude = std::floor(std::log10(seconds));
+			const double scale = std::pow(10.0, 2.0 - magnitude);
+			const double rounded = std::round(seconds * scale) / scale;
+			return (rounded > 0.0) ? rounded : seconds;
+		}
+
 		/**
 		 * @brief 时间间隔的显示文本（**不带** "Δt：" 前缀）。
 		 *
 		 * 「重采样」面板的「最大 / 最小数据间隔」两行用它：单位随间隔长短自适应
-		 *（`FormatDurationCompound`：1h 1min 2s / 5s 60ms / 120us …）。
+		 *（`FormatDurationCompound`：1h 1min 2s / 5s 60ms / 120us …），
+		 * 且先舍入到 3 位有效数字（见 `RoundIntervalForDisplay`），**不出现科学计数法**。
 		 *
 		 * @param [IN] seconds 时间间隔（秒）。
 		 * @return 文本。
@@ -1309,7 +1344,7 @@ namespace jdi
 			{
 				return L"—";
 			}
-			return FormatDurationCompound(seconds);
+			return FormatDurationCompound(RoundIntervalForDisplay(seconds));
 		}
 
 		/**