fix: computeKMax 硬上限 N² 改为 N³，修复小 N 下高档位被 4096 截平

Author: treert

web-tools/orthogonal-demo/js/montecarlo.js

@@ -45,14 +45,16 @@
   }
 
   /**
-   * K 上限：min(内存约束, 运算约束, N²)，至少为 2。
+   * K 上限：min(内存约束, 运算约束, N³)，至少为 2。
    * 顺序逐条轨迹模型：内存约束为单条轨迹的向量（4·K·N 字节），
    * opsBudget 为单条轨迹的乘加预算（K²·N/2 次，决定单条耗时）。
+   * N³ 与 UI 的 K 滑块上限一致（曾是 N²，滑块扩到 N³ 后小 N 下
+   * 各档位的运算约束全被 N² 截平，如 N=64 时高档位都变成 4096）。
    */
   function computeKMax(N, memBytes, opsBudget) {
     var byMem = Math.floor(memBytes / (4 * N));
     var byOps = Math.floor(Math.sqrt((2 * opsBudget) / N));
-    return Math.max(2, Math.min(byMem, byOps, N * N));
+    return Math.max(2, Math.min(byMem, byOps, N * N * N));
   }
 
   /** 点积槽位直方图：bins 个等宽内槽 + 首尾两个开口槽；每槽存 sum 与 count */

web-tools/orthogonal-demo/monte-carlo-design.md

@@ -118,7 +118,10 @@ K_max 变化）：快速 $2.5\times10^8$ / 标准 $2.5\times10^9$（默认）/
 $$K_{\max} = \min\Bigl\lfloor
   \frac{B_{\text{mem}}}{4N},\;
   \sqrt{\frac{2C_{\text{ops}}}{N}},\;
-  N^2 \Bigr\rfloor,\qquad K_{\max} \ge 2$$
+  N^3 \Bigr\rfloor,\qquad K_{\max} \ge 2$$
+
+（硬上限与 K 滑块一致取 N³；曾取 N²，滑块扩到 N³ 后未同步，导致
+N=64 时三个高档位的运算约束全被 N²=4096 截平。）
 
 默认下 K_max 被**运算预算**封顶（单条轨迹内存仅 MB 级，内存永不沾边），
 标准档示例：

web-tools/orthogonal-demo/test/mc-selftest.js

@@ -45,6 +45,11 @@ console.log('[1] 预算函数与 K 上限');
     'got ' + MC.computeKMax(1024, 2 * 1024 * MB, 2.5e8));
   check('超宽档 4e10 -> 8838', MC.computeKMax(1024, 2 * 1024 * MB, 4e10) === 8838,
     'got ' + MC.computeKMax(1024, 2 * 1024 * MB, 4e10));
+  // 回归：N=64 时标准档曾被 N²=4096 硬封顶（高档位全部挤在 4096），
+  // 硬上限已与滑块一致改为 N³，标准档应由运算约束封顶为 8838
+  check('N=64 标准档 2.5e9 -> 8838（N³ 不截平）',
+    MC.computeKMax(64, 2 * 1024 * MB, 2.5e9) === 8838,
+    'got ' + MC.computeKMax(64, 2 * 1024 * MB, 2.5e9));
 }
 
 // ---------- 2. K=2 单侧中位数 ≈ 0 ----------