二分查找 · 逐步动画
while (left < right) — 骨架不变，只换谓词
▸ 核心框架（三条死规矩）
① 循环条件：
while (left < right)
— 永远不变
② 满足条件 →
right = mid
（mid 可能是答案，不跳过）
③ 不满足 →
left = mid + 1
（mid 肯定不是，跳过）
④ 变量只有 if 里的谓词：
>= target
(lower_bound) 或
> target
(upper_bound)
数组（逗号分隔）
target
模式
>= lower_bound
> upper_bound
重置 / 开始
下一步 →
自动播放
left
right
mid
结果
点击「重置 / 开始」初始化
left
-
right
-
mid
-
arr[mid]
-
target
-
在此显示每一步的判断逻辑...