/algebraize
Look for ad-hoc | procedural | surface-level | implementation-local | non-compositional | etc. commenting/documentation and normalize it into algebraic | invariant-explicit | proof-oriented form,
while keeping the commenting/documentation model-level rather than repo-local, so that it is stable under renaming, transplantation, and reuse in a different codebase.