Unique Binary Search Trees

Invariant: dfs(u,parent) 返回 u 子树在每个边界状态下的准确最优值；不同 child 子树仅通过 u 相互作用，因此可逐个合并。

candidate confidence: 0.675 · metadata_only

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

candidate confidence: 0.740 · metadata_only