Definition
A4: there is “no translation that independently maximizes all of these. Translating therefore isn’t decoding; it is selecting a point on a Pareto frontier”, with a weighted objective T* = argmax [w_s S + w_f F + w_r R + w_t Tn + w_p P]. Its sharpest form is “quality ≈ number of preserved constraints” (CLAIM-020).
Why it was replaced
The mother’s translation (CASE-011) “doesn’t work either” on this measure and was judged best. A18 replaced the checklist with a pragmatic signature (TERM-013).