"Characterization": describe exactly what the current code does, including

quirks, bugs, implicit type coercions, and ordering side effects. Flag which behaviors look like bugs and ask whether to preserve or fix each one. 2. Produce a mapping table: old construct → new construct.