Update Contributors (solvcon)

CONTRIBUTORS.md is generated by contrib/lint/analyze-contributors.py: a contributor stays in the list when an address appears in a source-file copyright header or the identity reaches the commit threshold (5) on the local master ref.

python3 contrib/lint/analyze-contributors.py --update-file CONTRIBUTORS.md

The script reads the local master, not a remote-tracking ref, so fast-forward it first; a fetch alone leaves recent contributors out.

Repair a rejected identity in .mailmap

Git author identities are whatever a contributor's machine was configured with. When an identity carries an unreachable address (@...local, a bare host name, no @) or a non-ASCII name, the script prints it with the .mailmap lines that repair it. A kept identity is an error: the script refuses to write CONTRIBUTORS.md and exits 1. A dropped one is a warning, because its commits may belong to a listed contributor. Repair both in .mailmap at the repository root; never edit such an address into the list by hand. Leave a warning alone only when the real contributor cannot be found (for example a one-commit ident with no matching GitHub account).

Find the contributor's real name and address (their other commits, or the pull request they landed), then add one line per bad address:

Pat Doe <pat.doe@example.com> <pat@Pat-MacBook-Pro.local>

git log applies the mailmap before the script sees a commit, so the mapped commits count toward the real address, which is often what carries the identity over the threshold. Re-run the script and confirm a second run leaves the file unchanged.

Running the script with no arguments prints a keep/drop report with commit counts and reasons; use it to explain a threshold decision.