Deterministic gates, cross-family review, finding revalidation, route proof, convergence, readiness-debt.
5.1.0
没有声明开发依赖。