Fusion Burn Control — Formal Verification Report