544 lines
25 KiB
Python
544 lines
25 KiB
Python
"""Канал преподавателя: только передача.
|
||
|
||
**Ни одной команды, меняющей карточку курсанта.** Преподаватель управляет
|
||
ситуацией, а не работой обучаемого, иначе оценка перестаёт быть оценкой
|
||
курсанта (docs/arch/CONTRACT.md).
|
||
|
||
Ответы сюда не идут — канал односторонний. Всё, что сервер хочет сказать
|
||
преподавателю, уходит на его же сокет `observe`.
|
||
"""
|
||
|
||
import asyncio
|
||
import logging
|
||
import math
|
||
import secrets
|
||
from uuid import UUID
|
||
|
||
from fastapi import APIRouter, WebSocket, WebSocketDisconnect
|
||
from pydantic import TypeAdapter, ValidationError
|
||
|
||
from app.api.auth import audit, principal_of, websocket_origin_allowed
|
||
from app.config import get_settings
|
||
from app.db.base import get_sessionmaker
|
||
from app.db.repo import SessionNodeConflict
|
||
from app.dialog.director import apply as apply_directive
|
||
from app.dialog.director import mood_of
|
||
from app.dialog.factory import build_caller
|
||
from app.dialog.persona import PersonaState
|
||
from app.dialog.runtime import get_embedder
|
||
from app.dialog.slots import SlotMachine
|
||
from app.domain.classifiers import Outcome
|
||
from app.domain.events import (
|
||
CallEnded,
|
||
CallEndReason,
|
||
CallIncoming,
|
||
CardBriefing,
|
||
ErrorEvent,
|
||
ErrorKind,
|
||
Exercise,
|
||
InstructorNoteShown,
|
||
InstructorToServer,
|
||
ModeSet,
|
||
ReferenceStarted,
|
||
ScoreReady,
|
||
SessionEnded,
|
||
StationState,
|
||
)
|
||
from app.domain.roles import Role
|
||
from app.domain.timers import TimerCode
|
||
from app.scenarios import store
|
||
from app.session.dds import prepare_queue
|
||
from app.session.hub import LEASE_FENCED_MESSAGE, hub
|
||
from app.session.state import SessionState, now_utc
|
||
from app.voice.models import get_voice_models
|
||
from app.voice.pipeline import FILLERS, prefetch
|
||
|
||
log = logging.getLogger(__name__)
|
||
router = APIRouter()
|
||
|
||
_adapter = TypeAdapter(InstructorToServer)
|
||
|
||
|
||
def _dds_ineligible_scenarios(scenarios):
|
||
"""Консультация и передача региона не являются готовыми карточками ДДС."""
|
||
return [scenario for scenario in scenarios if scenario.outcome is not Outcome.CARD]
|
||
|
||
|
||
def card_briefing(state: SessionState) -> CardBriefing:
|
||
"""Первую реплику показывает курсант; факты раскрываются только в ответах."""
|
||
scenario = state.scenario
|
||
return CardBriefing(
|
||
scenario_id=scenario.id, mode=state.mode, text=scenario.first_line,
|
||
required_fields=([field for field in state.required_fields if field != "dds"]
|
||
if scenario.ground_truth.incident_code else list(state.required_fields)),
|
||
card=state.kio,
|
||
handoff_to_dds=state.handoff_to_dds,
|
||
)
|
||
|
||
|
||
async def _start(session_id: UUID, event, who=None) -> None:
|
||
if event.handoff_to_dds and event.exercise is not Exercise.CARD:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Передача в ДДС доступна только для текстовой карточки 112",
|
||
))
|
||
return
|
||
scenario_ids = list(dict.fromkeys([
|
||
event.scenario_id, *(event.scenario_ids or []), *(event.random_scenario_ids or []),
|
||
]))
|
||
if get_settings().demo_no_db or hub.journal is None:
|
||
catalog = {
|
||
scenario_id: scenario for scenario_id in scenario_ids
|
||
if (scenario := store.get(scenario_id)) is not None
|
||
}
|
||
hidden_scenario_ids = (
|
||
await store.scenario_ids_owned_by_other(None, who.login)
|
||
if who is not None else set()
|
||
)
|
||
else:
|
||
try:
|
||
async with get_sessionmaker()() as db:
|
||
catalog, hidden_scenario_ids = await store.published_catalog(
|
||
db, scenario_ids, who.login if who is not None else None,
|
||
)
|
||
except Exception as exc:
|
||
# Avoid serializing scenario facts or SQL bind values into application logs.
|
||
log.error("не удалось разрешить сценарий из общей библиотеки (%s)", type(exc).__name__)
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.INTERNAL,
|
||
message="Не удалось проверить сценарий в общей библиотеке; запуск отменён.",
|
||
))
|
||
return
|
||
scenario = catalog.get(event.scenario_id)
|
||
if scenario is None:
|
||
hub.to_observers(
|
||
session_id,
|
||
ErrorEvent(code=ErrorKind.SCENARIO_INVALID, message=f"Нет сценария {event.scenario_id}"),
|
||
)
|
||
return
|
||
if scenario.id in hidden_scenario_ids:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Сценарий не найден или недоступен этому преподавателю",
|
||
))
|
||
return
|
||
|
||
if event.random_scenario_ids:
|
||
if len(event.random_scenario_ids) > 96:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Случайный отбор ограничен 96 карточками",
|
||
))
|
||
return
|
||
pool_ids = list(dict.fromkeys(event.random_scenario_ids))
|
||
pool = [catalog.get(scenario_id) for scenario_id in pool_ids]
|
||
if any(item is None for item in pool):
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="В случайном отборе есть неизвестный сценарий",
|
||
))
|
||
return
|
||
if hidden_scenario_ids.intersection(pool_ids):
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Сценарий не найден или недоступен этому преподавателю",
|
||
))
|
||
return
|
||
ineligible_pool = _dds_ineligible_scenarios(pool)
|
||
if ineligible_pool:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Случайный отбор должен содержать только готовые карточки ДДС",
|
||
))
|
||
return
|
||
scenario = secrets.choice(pool)
|
||
|
||
scenario_ids = event.scenario_ids or [event.scenario_id]
|
||
if event.exercise is Exercise.DDS or event.handoff_to_dds:
|
||
if (not scenario_ids or scenario_ids[0] != event.scenario_id
|
||
or len(scenario_ids) > 96):
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Очередь ДДС должна начинаться с scenario_id и содержать не более 96 карточек",
|
||
))
|
||
return
|
||
if event.random_scenario_ids:
|
||
extra_ids = list(dict.fromkeys(
|
||
item for item in scenario_ids[1:] if item != scenario.id
|
||
))
|
||
extras = [catalog.get(item) for item in extra_ids]
|
||
remaining_random = [item for item in pool if item.id != scenario.id
|
||
and item.id not in extra_ids]
|
||
randomized_tail = secrets.SystemRandom().sample(
|
||
remaining_random, k=len(remaining_random)
|
||
)
|
||
scenarios = [scenario, *extras, *randomized_tail]
|
||
else:
|
||
scenarios = [catalog.get(scenario_id) for scenario_id in scenario_ids]
|
||
if len(scenarios) > 96:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Очередь ДДС не может содержать более 96 карточек",
|
||
))
|
||
return
|
||
if any(item is None for item in scenarios):
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID, message="В очереди ДДС есть неизвестный сценарий",
|
||
))
|
||
return
|
||
if any(item.id in hidden_scenario_ids for item in scenarios):
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message="Сценарий не найден или недоступен этому преподавателю",
|
||
))
|
||
return
|
||
ineligible = _dds_ineligible_scenarios(scenarios)
|
||
if ineligible:
|
||
titles = ", ".join(item.title for item in ineligible)
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.SCENARIO_INVALID,
|
||
message=("В очередь ДДС можно добавить только готовые карточки с исходом "
|
||
f"«карточка и передача в ДДС». Исключите: {titles}"),
|
||
))
|
||
return
|
||
else:
|
||
scenarios = []
|
||
|
||
attempt = 1
|
||
recorded_trainee_id = event.trainee_id
|
||
recorded_service = None
|
||
fencing_epoch = 0
|
||
if hub.journal:
|
||
try:
|
||
persisted = await hub.journal.start_lesson(
|
||
session_id, scenario.id, event.mode.value, event.trainee, event.trainee_id,
|
||
owner_login=who.login if who is not None else None,
|
||
backend_node_id=get_settings().backend_node_id,
|
||
)
|
||
if persisted is None:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.INTERNAL,
|
||
message="Не удалось записать занятие и аудит; запуск отменён.",
|
||
))
|
||
return
|
||
attempt, recorded_trainee_id, recorded_service, fencing_epoch = persisted
|
||
except SessionNodeConflict:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.FORBIDDEN,
|
||
message="Сессия закреплена за другим backend-узлом; проверьте маршрутизацию proxy",
|
||
))
|
||
return
|
||
except PermissionError:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.FORBIDDEN,
|
||
message="Занятие создано другим преподавателем",
|
||
))
|
||
return
|
||
|
||
# Занятие собирается целиком и только потом регистрируется: иначе
|
||
# наблюдатель, подключившийся в эту щель, увидит полусобранное состояние
|
||
# без слот-автомата и звонящего.
|
||
state = SessionState(
|
||
session_id=session_id,
|
||
scenario_id=scenario.id,
|
||
scenario_title=scenario.title,
|
||
level=scenario.level.value,
|
||
mode=event.mode,
|
||
owner_login=who.login if who is not None else None,
|
||
backend_fencing_epoch=fencing_epoch,
|
||
exercise=event.exercise,
|
||
handoff_to_dds=event.handoff_to_dds,
|
||
scenario=scenario.model_copy(deep=True),
|
||
required_fields=scenario.required_fields,
|
||
trainee_name=event.trainee,
|
||
trainee_id=recorded_trainee_id,
|
||
dds_service=recorded_service or event.dds_service,
|
||
attempt=attempt,
|
||
criteria=event.criteria,
|
||
)
|
||
state.timers.limits[TimerCode.DDS_ACK] = event.criteria.decision_time_limit_seconds * 1000
|
||
state.timers.limits[TimerCode.CARD_FILL] = event.criteria.card_fill_time_limit_seconds * 1000
|
||
state.timers.limits[TimerCode.DDS_WORK] = event.criteria.dds_card_work_time_limit_seconds * 1000
|
||
if event.exercise is Exercise.CALL:
|
||
embedder = get_embedder()
|
||
if embedder is not None:
|
||
state.slots = SlotMachine(state.scenario, embedder)
|
||
state.persona = PersonaState(state.scenario.persona)
|
||
state.caller = build_caller(
|
||
scenario.id,
|
||
use_pregenerated=scenario.tree.pregenerated,
|
||
)
|
||
elif event.exercise is Exercise.DDS:
|
||
state.dds_scenarios = [item.model_copy(deep=True) for item in scenarios]
|
||
prepare_queue(
|
||
state,
|
||
state.dds_scenarios,
|
||
arrival_interval_seconds=event.dds_arrival_interval_seconds,
|
||
max_waiting=event.dds_max_waiting,
|
||
)
|
||
state.started_at = state.dispatched_at
|
||
else:
|
||
state.started_at = now_utc()
|
||
if event.exercise is Exercise.CARD:
|
||
embedder = get_embedder()
|
||
if embedder is not None:
|
||
state.slots = SlotMachine(state.scenario, embedder)
|
||
state.persona = PersonaState(state.scenario.persona)
|
||
state.caller = build_caller(
|
||
scenario.id, use_pregenerated=scenario.tree.pregenerated,
|
||
)
|
||
state.on_event("card.start")
|
||
if event.handoff_to_dds:
|
||
state.pending_dds_scenarios = [item.model_copy(deep=True) for item in scenarios[1:]]
|
||
state.dds_arrival_interval_seconds = event.dds_arrival_interval_seconds
|
||
state.dds_max_waiting = event.dds_max_waiting
|
||
hub.register(state)
|
||
if event.exercise is not Exercise.CALL and hub.journal and state.started_at is not None:
|
||
await hub.journal.session_started(session_id, state.started_at)
|
||
|
||
# Первая реплика и филлеры синтезируются, пока курсант не снял трубку:
|
||
# «Алло! Помогите!» должно прозвучать мгновенно (docs/arch/BACKEND.md).
|
||
if event.exercise is Exercise.CALL:
|
||
models = get_voice_models()
|
||
if models is not None:
|
||
asyncio.create_task(prefetch(models, [scenario.first_line, *FILLERS.values()]))
|
||
state.on_event("call.incoming")
|
||
await hub.checkpoint(session_id)
|
||
hub.start_ticker(session_id)
|
||
if event.exercise is Exercise.CALL:
|
||
hub.to_trainee(
|
||
session_id,
|
||
CallIncoming(
|
||
scenario_id=scenario.id,
|
||
caller_number="+7 (495) 000-00-00",
|
||
level=scenario.level,
|
||
mode=event.mode,
|
||
required_fields=[field for field in scenario.required_fields
|
||
if field != "dds" or not scenario.ground_truth.incident_code],
|
||
),
|
||
)
|
||
elif event.exercise is Exercise.DDS:
|
||
hub.to_station(session_id, state.card_received_event())
|
||
hub.to_station(session_id, StationState(snapshot=state.station_snapshot()))
|
||
else:
|
||
hub.to_trainee(session_id, card_briefing(state))
|
||
hub.to_observers(session_id, ModeSet(mode=event.mode))
|
||
hub.to_observers(session_id, state.snapshot())
|
||
|
||
|
||
async def _stop(session_id: UUID) -> None:
|
||
state = hub.get(session_id)
|
||
if state is None or state.ended:
|
||
return
|
||
state.ended_at = now_utc()
|
||
if state.exercise is Exercise.CARD and state.dispatched_card is None:
|
||
state.on_event("card.end")
|
||
state.end_reason = CallEndReason.INSTRUCTOR
|
||
if state.voice is not None:
|
||
await state.voice.close()
|
||
hub.stop_ticker(session_id)
|
||
hub.to_observers(session_id, SessionEnded(reason=CallEndReason.INSTRUCTOR))
|
||
from app.session.finish import finish
|
||
|
||
if state.exercise in {Exercise.DDS, Exercise.CARD}:
|
||
if state.exercise is Exercise.DDS or state.handoff_to_dds and state.dispatched_card is not None:
|
||
hub.to_station(session_id, SessionEnded(reason=CallEndReason.INSTRUCTOR))
|
||
else:
|
||
hub.to_trainee(session_id, CallEnded(reason=CallEndReason.INSTRUCTOR))
|
||
if state.exercise is Exercise.DDS or state.handoff_to_dds and state.dispatched_card is not None:
|
||
hub.to_station(session_id, ScoreReady(session_id=session_id))
|
||
else:
|
||
hub.to_trainee(session_id, CallEnded(reason=CallEndReason.INSTRUCTOR))
|
||
await finish(session_id, state)
|
||
if hub.journal:
|
||
await hub.journal.session_ended(session_id, state.ended_at, CallEndReason.INSTRUCTOR.value)
|
||
|
||
|
||
async def _reject(ws: WebSocket, message: str) -> None:
|
||
"""Отказ до входа в цикл: сокет закрывается с объяснением, а не молча."""
|
||
await ws.send_text(
|
||
ErrorEvent(code=ErrorKind.FORBIDDEN, message=message).model_dump_json()
|
||
)
|
||
await ws.close()
|
||
|
||
|
||
@router.websocket("/ws/control/{session_id}")
|
||
async def control(ws: WebSocket, session_id: UUID) -> None:
|
||
if not websocket_origin_allowed(ws):
|
||
await ws.close(code=1008)
|
||
return
|
||
if hub.is_lease_fenced(session_id):
|
||
await ws.close(code=1012)
|
||
return
|
||
await ws.accept()
|
||
|
||
# Пульт преподавателя: управление занятием доступно только ему.
|
||
who = principal_of(ws)
|
||
if who is None or who.role not in (Role.INSTRUCTOR,):
|
||
await _reject(ws, "Недостаточно прав для этого экрана")
|
||
return
|
||
event_stream = hub.begin_event_stream(session_id)
|
||
try:
|
||
while True:
|
||
try:
|
||
payload = await asyncio.wait_for(ws.receive_json(), timeout=1)
|
||
except TimeoutError:
|
||
if hub.is_lease_fenced(session_id):
|
||
await ws.send_text(ErrorEvent(
|
||
code=ErrorKind.INTERNAL, message=LEASE_FENCED_MESSAGE
|
||
).model_dump_json())
|
||
await ws.close(code=1012)
|
||
return
|
||
continue
|
||
try:
|
||
event = _adapter.validate_python(payload)
|
||
except ValidationError:
|
||
hub.to_observers(
|
||
session_id,
|
||
ErrorEvent(code=ErrorKind.UNSUPPORTED_EVENT, message=str(payload)[:200]),
|
||
)
|
||
continue
|
||
|
||
existing_state = hub.get(session_id)
|
||
if event.type == "scenario.start":
|
||
if existing_state is not None:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.FORBIDDEN,
|
||
message="Для нового занятия создайте новый номер сессии",
|
||
))
|
||
continue
|
||
elif existing_state is None or existing_state.owner_login != who.login:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.FORBIDDEN,
|
||
message="Это занятие принадлежит другому преподавателю",
|
||
))
|
||
continue
|
||
|
||
match event.type:
|
||
case "scenario.start":
|
||
await _start(session_id, event, who)
|
||
case "session.stop":
|
||
await _stop(session_id)
|
||
case "instructor_note.add":
|
||
state = hub.get(session_id)
|
||
if state is not None:
|
||
state.notes.append({
|
||
"type": "instructor_note.shown",
|
||
"transcript_ref": event.transcript_ref,
|
||
"text": event.text,
|
||
"author": "преподаватель",
|
||
})
|
||
hub.to_observers(
|
||
session_id,
|
||
InstructorNoteShown(
|
||
transcript_ref=event.transcript_ref,
|
||
text=event.text,
|
||
author="преподаватель",
|
||
),
|
||
)
|
||
if hub.journal:
|
||
await hub.journal.note(
|
||
session_id, event.transcript_ref, event.text, "преподаватель"
|
||
)
|
||
case "reference.play":
|
||
state = hub.get(session_id)
|
||
if state is not None:
|
||
hub.to_observers(session_id, ReferenceStarted(scenario_id=state.scenario_id))
|
||
case "score.override":
|
||
if event.session_id != session_id:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.FORBIDDEN,
|
||
message="Оценка относится к другому занятию",
|
||
))
|
||
continue
|
||
state = hub.get(session_id)
|
||
if state is not None and state.score is not None:
|
||
try:
|
||
verdict = float(event.verdict)
|
||
except ValueError:
|
||
verdict = float("nan")
|
||
if not math.isfinite(verdict) or not 0 <= verdict <= 100:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.UNSUPPORTED_EVENT,
|
||
message="Оценка должна быть числом от 0 до 100",
|
||
))
|
||
continue
|
||
if hub.journal is not None:
|
||
saved = await hub.journal.score_override(
|
||
session_id, verdict, who.login, event.comment
|
||
)
|
||
if not saved:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.INTERNAL,
|
||
message="Не удалось сохранить оценку и запись аудита; изменение отменено",
|
||
))
|
||
continue
|
||
else:
|
||
# Explicit in-memory demo mode has no Score table.
|
||
await audit(
|
||
who.login, who.role.value, "score.override", str(session_id),
|
||
f"{state.score.get('score_auto')} → {verdict}; "
|
||
f"comment_chars={len(event.comment)}",
|
||
)
|
||
# Автооценка остаётся рядом: видно, что скорректировано и кем.
|
||
state.score = {
|
||
**state.score,
|
||
"score_final": verdict,
|
||
"overridden_by": who.login,
|
||
"override_comment": event.comment,
|
||
}
|
||
hub.to_observers(session_id, ScoreReady(session_id=session_id))
|
||
case "director.inject":
|
||
state = hub.get(session_id)
|
||
if state is None:
|
||
continue
|
||
if state.exercise is not Exercise.CALL:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.UNSUPPORTED_EVENT,
|
||
message="Директивы звонящему доступны только в голосовом упражнении",
|
||
))
|
||
continue
|
||
result = apply_directive(state, event.directive)
|
||
if result.needs_network:
|
||
hub.to_observers(session_id, ErrorEvent(
|
||
code=ErrorKind.DIRECTIVE_NEEDS_NETWORK,
|
||
message="Свободный текст требует локально запущенной модели; без неё доступны кнопки",
|
||
))
|
||
continue
|
||
state.directives.append(event.directive)
|
||
voice = state.voice
|
||
if result.drop_line and voice is not None:
|
||
# Обрыв рвёт звук на полуслове тем же механизмом, что
|
||
# перебивание, и запускает норматив обратного дозвона.
|
||
voice.barge_in()
|
||
if result.drop_line:
|
||
state.on_event("call.dropped")
|
||
hub.to_trainee(session_id, CallEnded(reason=CallEndReason.DROPPED))
|
||
hub.to_observers(session_id, SessionEnded(reason=CallEndReason.DROPPED))
|
||
elif result.say and voice is not None:
|
||
voice.speak(result.say, mood_of(state))
|
||
case _:
|
||
hub.to_observers(
|
||
session_id,
|
||
ErrorEvent(
|
||
code=ErrorKind.UNSUPPORTED_EVENT,
|
||
message=f"{event.type} ещё не реализовано",
|
||
),
|
||
)
|
||
try:
|
||
await hub.checkpoint(session_id)
|
||
except Exception:
|
||
if hub.is_lease_fenced(session_id):
|
||
await ws.send_text(ErrorEvent(
|
||
code=ErrorKind.INTERNAL, message=LEASE_FENCED_MESSAGE
|
||
).model_dump_json())
|
||
await ws.close(code=1012)
|
||
return
|
||
raise
|
||
if hub.is_lease_fenced(session_id):
|
||
await ws.close(code=1012)
|
||
return
|
||
except WebSocketDisconnect:
|
||
return
|
||
finally:
|
||
await hub.end_event_stream(event_stream)
|