This marks an important step toward bringing formal verification, a standard used in banking and aerospace, to core XRP Ledger components.