64. Keeping a revision’s guarantees applicable

A proof can remain mathematically correct while ceasing to justify an installed shortcut. The equation library was proved for pure, total integer expressions. The ordered quotient was constructed for one grammar order. A repair-weight certificate was checked against particular success sets. A resource comparison assigned costs to specified events. None of those objects is licensed to retain its old interpretation after every component bearing the same name has changed.