二分边界：每一步到底排除了谁？
固定数组 [1,3,4,7,9,9,12]，目标 9。切换区间契约，逐步观察候选范围与返回语义。
找到一个 9，为什么还没找到第一个 9？
逐步运行精确查找；遇到 9 可以立即结束。
候选区间
当前候选 本轮中点 灰色 = 已有证明排除
本轮状态
进度—
更新前区间—
mid 与值—
判定—
更新后区间—
点击“下一步”，观察排除依据。
结论与可信度检查
边界：演示固定升序数组。精确查找允许返回任意一个目标位置；左边界模式寻找第一个满足 a[i] ≥ target 的位置。