Recover Binary Search Tree

Invariant: 递归到 node 时，(low,high) 是所有祖先约束的交集；合法节点值必须位于其中，中序遍历的已访问前缀严格有序。

candidate confidence: 0.733 · metadata_only

Invariant: dfs(u) 返回的摘要只描述 u 子树且满足父调用契约；返回前，所有完全位于 u 子树的全局候选都已被考虑。

candidate confidence: 0.603 · metadata_only