#refactoring

Type one file with runtime behavior frozen, and make the type-checker output the proof.

Split an oversized function into well-named pieces without changing external behavior.

An idiomatic port, not a transliteration — with anything that doesn't translate flagged rather than faked.

Find every affected code path and the same bug elsewhere before landing the minimal fix.

Find every caller a signature change would break, and the safe order to migrate them.

Migrate off a deprecated dependency one file at a time, stopping the moment tests fail.

Point at a file you already like and have the agent bring another one in line with it.

Require proof of zero callers before anything is deleted, and approval before it happens.

Clean up code for clarity and maintainability without changing behavior.