XRPL’s native lending protocol enters formal verification as Ripple and Common Prefix test Layer-1 code before Mainnet validator activation.