Round 31：第二後端的根、標記與 9,278 片葉在此處再次通過，它的下界帳本逐葉就是 Round 30 的——同樣的多邊形，成員判定改由 MPFR 重做；包裝層把精確輸入四捨五入，所以 §3 的有向規則只對輸出成立

根、標記 70 的界與其更正背後的偽陰性、全部 9,278 片下界葉、遷移佇列與鎖 PASS；§3 照字面的規則 PARTIAL：包裝層讀入每個精確有理數時四捨五入到最近值，只有結果是有向的。