Групповые (командные) лабораторные работы (#54)

[markpolyak]

Closes #54. Продолжение #46: лабораторные работы, которые выполняются командами — один репозиторий на команду, доступ у всех участников.

План реализации — docs/TEAM_ASSIGNMENTS_PLAN.md, закоммичен первым коммитом ветки.

База — feature/bulk-grading (#53), а не main. Этап проверки работ правит grading/bulk.py, который существует только в той ветке. После вливания #53 базу PR нужно переключить на main.

Что сделано

Команда — это репозиторий. {github-prefix}-team-{N} в организации курса; состав — прямые коллабораторы плюс непринятые приглашения; название и описание живут в поле description репозитория как Название — описание. Нового хранилища не появляется, а RepoProvisioner._ensure_access вместе с починкой протухших приглашений (замена github-reinvite) переиспользуется для каждого участника.

GitHub teams (подход GitHub Classroom) сознательно не используются: членство в team требует членства в организации, что изменило бы модель доступа всего проекта — разбор в §3.2 плана.

• Конфигурация: секция team с size-max и count-max в конфиге лабы (docs/COURSE_CONFIG.md).
• Сессия студента: после OAuth для командной лабы вместо создания репозитория выставляется подписанная cookie join_session (HttpOnly, SameSite=Lax, path=/join, 30 минут). Логин студента берётся только из неё — никогда из тела запроса, query или пути.
• Эндпоинты: GET /join/{c}/{l}/teams, POST /join/{c}/{l}/teams, POST /join/{c}/{l}/teams/{slug}/join.
• Проверка работ: evaluate_student(..., repo_name=...) вызывается один раз на команду, оценка разносится по строкам участников с индивидуальной проверкой защиты ячейки. TASKID для командных лаб отключён, режим by_file в групповой проверке отклоняется.
• Frontend: экран выбора команды (список, создание, карточка своей команды), переводы ru/en/zh.
• Инструкция преподавателю (docs/PROJECT_DESCRIPTION.md): как удалить студента из команды, чтобы тот смог выбрать другую, как переименовать команду, как закрыть создание новых.

Исправления по код-ревью (96e0b1a)

• Лок лабы брался по сырому lab_id из URL, а find_lab_config приводит 5, 05, ЛР5 и lab5 к одной лабе — два студента получали два разных лока и одновременно проходили count-max, size-max, TITLE_TAKEN и ALREADY_IN_TEAM. Теперь лочится по каноническому ключу конфига; заодно перестал неограниченно расти _lab_locks.
• Флаг members_unknown игнорировался: сбой GitHub на чтении состава читался как «студент ни в какой команде не состоит». В create_team проверки не было вовсе (студент заводил вторую команду со вторым репозиторием), в join_team она смотрела только на целевую команду, а групповая проверка сообщала преподавателю ложный no_team для целой команды.
• Определений членства было два: _ensure_access пропускал выдачу приглашения любому, у кого есть доступ на любом уровне, а состав команды считался по прямым коллабораторам с push. Студент с правом чтения — или с записью, унаследованной от базовых прав организации — получал «доступ выдан» на каждом заходе и навсегда оставался для проверки работ студентом без команды. Единственным определением членства объявлен состав команды; join_team передаёт force_invite для отсутствующих в нём, add_collaborator запрашивает push явно.

Тесты

pytest tests/ -v — 621 зелёный (461 до задачи). Новое: tests/test_teams.py, плюс командные разделы в tests/test_join_endpoints.py, tests/test_bulk_grading.py, tests/test_repo_provisioning.py. Проверка индивидуальных лаб не менялась: tests/test_grade_lab_characterization.py не тронут и зелёный.

Требует ручной проверки на живом GitHub

Моками не закрывается:

1. Репозиторий реально создаётся из template-repo в обоих режимах repo-provisioning, приватный, создатель добавлен коллаборатором, description содержит название команды.
2. Кнопка «Восстановить доступ» пересоздаёт протухшее приглашение.
3. Полный сценарий двумя тестовыми аккаунтами: первый создаёт команду, второй присоединяется, оба получают доступ к одному репозиторию.
4. После удаления студента из коллабораторов и отмены непринятого приглашения он действительно может выбрать другую команду.

Вне объёма

• Этап 7 плана — управление командами из админки (список команд, удаление участника). Пока только инструкция преподавателю через интерфейс GitHub.
• Самостоятельный выход студента из команды: приглашённый, нажавший «вступить» не в ту команду, разблокируется только преподавателем.
• Вариант задания (TASKID) на команду, минимальный размер команды, признак «формирование команд закрыто».

Известные мелочи, оставленные намеренно: заголовок команды, оканчивающийся на тире, ломает round-trip через description; TEAM_SLUG_RE использует \d и $ вместо [0-9] и \Z (неэксплуатируемо — slug обязан совпасть с существующей командой). Файл .DS_Store попал в коммит 8074f18 и убран в f4e2c5d; в HEAD его нет, но в истории трёх промежуточных коммитов он остаётся.

🤖 Generated with Claude Code