Complete-law robustness

The errors describe actual comparison discrepancies. An unrestricted hidden wire cannot be renamed $e_C$ without a proof bounding its effect. A uniform input-law error can be charged through a complete-law comparison; the nominal uniform-input benchmark is not automatically unchanged.