LCL-832: Formal Specification of the LCL-832 Fixed-Point Convergence | Synapse