Bulk locality and quantum error correction in AdS/CFT | Synapse