Optimal linear codes with a local-error-correction property | Synapse