Round 18：兩個檢查點都能解碼、重新證明並逐位元組重新產出；但尾森林不是 Round 17 的尾窗，格式有三項慣例沒寫明，隨附的驗證器從不讀取待處理前沿

兩個檢查點與 Rice 事件 PASS；規格所寫的文法與成本模型校準 PARTIAL。