Round 19：每棵樹、括號與探針都能重建；惰性求值只改變成本，深度 20 的複查完整，B7 的下限大多來自試點的取樣

級聯、延拓、深度 20 更正、追蹤分支、必要性語意、分段與照算的切換曲線 PASS；τ ≈ 10⁻³ 這個排程參數 PARTIAL——它的值屬於試點的取樣提升界。