Round 20：每棵樹、標記與置放都能重建；套件沒有附程式碼，它的搜尋最小值不是最小值；改用精確核心，B7 閉合了它所跑的全部七個標記格

標記、十二棵提升樹與其串流、反例定理與 B23、記錄的置放、效率掃描、深層比較與尾數 PASS；規格所寫的混合分片文法、隨視界而變的排名，以及「B7 尚未完全閉合標記格」PARTIAL——後者只對試點的取樣提升界成立。