I can't address all your points, but if you add your linter as a pre-commit hook, the AI won't be able to open a PR if it doesn't pass your linter. That could catch the tabs-versus-spaces issue.