Round 08：證明文法成立，兩片難葉在 10⁻⁴ 處閉合；驗證器沒有為鏡像準備根域

PASS，規格有一處缺口。