Conventions and common-space comparison

These constants are proved in the half-diamond convention. Their agreement with a Bell-input infidelity in this model does not identify those metrics in general. Approximate-correction results based on worst-case entanglement fidelity supply a broader setting, not replacement constants BenyOreshkov.