The JLMS formula in a large code with approximate error correction - Xi Dong; Donald Marolf; Pratik Rath (2026)