Certificates, comparisons, and the resulting release

The construction closes a geometric question about declared word metrics and a restricted operational question about complete record laws. It does not close all of the predecessor hypotheses by a change of terminology. The supplied transport paper's claimed closures are recorded, but the stronger closures are not inherited where the stated proofs fail.