lct-05: состояние сессии, таймеры по событиям, четыре канала
Таймеры объявлены таблицей «событие → старт/стоп», а не разбросаны по обработчикам: так видно целиком, что чем запускается, и норматив нельзя потерять по дороге. Опрос стартует на ответе курсанта и останавливается передачей в ДДС — событием, а не таймаутом. Канал наблюдателя без единого обработчика входящих: кадры читаются и выбрасываются, не разбираясь, только чтобы заметить разрыв. Без чтения задача сокета висела бы на очереди до первой отправки, а закрытая вкладка монитора оставляла бы подписку. Тест проверяет, что наблюдатель не может ни изменить карточку, ни завершить занятие. Пульт теперь заводит сессию в журнале: запущенное с него занятие жило только в памяти, и реплики с подсказками уходили в нарушение внешнего ключа — журнал об этом честно сообщал в лог. Тикер таймеров гасится при остановке приложения, иначе задачи переживают выключение и держат событийный цикл. Проверено вживую через uvicorn: монитор, подключённый посреди занятия, получает снимок с заполненной карточкой; такт таймера идёт раз в секунду.
This commit is contained in:
Ivan Gerasimov
parent
6b2c96bab6
commit
e7a0798ba7
12 changed files with 1029 additions and 0 deletions
0
backend/app/api/ws/__init__.py
Normal file
0
backend/app/api/ws/__init__.py
Normal file
154
backend/app/api/ws/call.py
Normal file
154
backend/app/api/ws/call.py
Normal file
|
|
@ -0,0 +1,154 @@
|
|||
"""Сокет курсанта-оператора 112.
|
||||
|
||||
Здесь только JSON-часть: приём вызова, правки карточки, подсказки, передача
|
||||
в ДДС, завершение. Бинарные аудиокадры и голосовой контур — карточка lct-06.
|
||||
"""
|
||||
|
||||
import asyncio
|
||||
import logging
|
||||
from uuid import UUID
|
||||
|
||||
from fastapi import APIRouter, WebSocket, WebSocketDisconnect
|
||||
from pydantic import TypeAdapter, ValidationError
|
||||
|
||||
from app.domain.events import (
|
||||
CallEnded,
|
||||
CallEndReason,
|
||||
CallStarted,
|
||||
ErrorEvent,
|
||||
ErrorKind,
|
||||
HintShown,
|
||||
KioState,
|
||||
SessionEnded,
|
||||
SessionMode,
|
||||
TimerTick,
|
||||
TraineeToServer,
|
||||
)
|
||||
from app.scenarios import store
|
||||
from app.session.hub import hub
|
||||
from app.session.state import now_utc
|
||||
|
||||
log = logging.getLogger(__name__)
|
||||
router = APIRouter()
|
||||
|
||||
_adapter = TypeAdapter(TraineeToServer)
|
||||
|
||||
|
||||
def _next_hint(state) -> tuple[str, str] | None:
|
||||
"""Следующий пункт чек-листа, который ещё не подсказывали.
|
||||
|
||||
Порядок временный: пока нет слот-автомата (lct-07), подсказка идёт
|
||||
по порядку чек-листа, а не по реально неотработанным пунктам.
|
||||
Перевод на слот-автомат — карточка lct-14.
|
||||
"""
|
||||
scenario = store.get(state.scenario_id)
|
||||
if scenario is None:
|
||||
return None
|
||||
for item in scenario.checklist:
|
||||
if item.id not in state.hints_shown and item.question:
|
||||
return item.id, item.question
|
||||
return None
|
||||
|
||||
|
||||
async def _handle(session_id: UUID, state, event) -> None:
|
||||
match event.type:
|
||||
case "call.answer":
|
||||
state.on_event("call.answer")
|
||||
state.started_at = now_utc()
|
||||
hub.to_trainee(session_id, CallStarted(started_at=state.started_at))
|
||||
hub.to_observers(session_id, state.snapshot())
|
||||
if hub.journal:
|
||||
await hub.journal.session_started(session_id, state.started_at)
|
||||
|
||||
case "kio.patch":
|
||||
state.patch_kio(event.fields)
|
||||
# Наблюдателю уходит карточка целиком: рассинхрон на внешнем мониторе
|
||||
# посреди занятия дороже лишних килобайт.
|
||||
hub.to_observers(session_id, KioState(kio=state.kio))
|
||||
|
||||
case "hint.request":
|
||||
if state.mode is SessionMode.EXAM:
|
||||
# На экзамене опоры нет — это часть нормы контроля.
|
||||
hub.to_trainee(
|
||||
session_id,
|
||||
ErrorEvent(
|
||||
code=ErrorKind.HINT_DENIED_IN_EXAM,
|
||||
message="В контрольном режиме подсказки недоступны",
|
||||
),
|
||||
)
|
||||
return
|
||||
nxt = _next_hint(state)
|
||||
if nxt is None:
|
||||
return
|
||||
checklist_id, question = nxt
|
||||
state.hints_shown.append(checklist_id)
|
||||
shown = HintShown(checklist_id=checklist_id, question=question)
|
||||
hub.broadcast(session_id, shown)
|
||||
if hub.journal:
|
||||
await hub.journal.hint(session_id, checklist_id, question, now_utc())
|
||||
|
||||
case "dds.dispatch":
|
||||
state.on_event("dds.dispatch")
|
||||
state.dispatch(event.service.value)
|
||||
hub.to_observers(session_id, KioState(kio=state.kio))
|
||||
hub.to_observers(session_id, TimerTick(timers=state.timers.snapshot()))
|
||||
|
||||
case "callback.dial":
|
||||
state.on_event("callback.dial")
|
||||
|
||||
case "self_assessment.submit":
|
||||
if hub.journal:
|
||||
await hub.journal.self_assessment(
|
||||
session_id, event.missed, event.comment, now_utc()
|
||||
)
|
||||
|
||||
case "call.hangup":
|
||||
state.ended_at = now_utc()
|
||||
state.end_reason = CallEndReason.HANGUP
|
||||
hub.stop_ticker(session_id)
|
||||
hub.to_trainee(session_id, CallEnded(reason=CallEndReason.HANGUP))
|
||||
hub.to_observers(session_id, SessionEnded(reason=CallEndReason.HANGUP))
|
||||
if hub.journal:
|
||||
await hub.journal.session_ended(
|
||||
session_id, state.ended_at, CallEndReason.HANGUP.value
|
||||
)
|
||||
|
||||
|
||||
async def _pump(ws: WebSocket, queue: asyncio.Queue) -> None:
|
||||
while True:
|
||||
event = await queue.get()
|
||||
await ws.send_text(event.model_dump_json())
|
||||
|
||||
|
||||
@router.websocket("/ws/call/{session_id}")
|
||||
async def call(ws: WebSocket, session_id: UUID) -> None:
|
||||
await ws.accept()
|
||||
|
||||
state = hub.get(session_id)
|
||||
if state is None:
|
||||
await ws.send_text(
|
||||
ErrorEvent(
|
||||
code=ErrorKind.SESSION_NOT_FOUND, message="Занятие ещё не запущено преподавателем"
|
||||
).model_dump_json()
|
||||
)
|
||||
await ws.close()
|
||||
return
|
||||
|
||||
with hub.trainee(session_id) as queue:
|
||||
writer = asyncio.create_task(_pump(ws, queue))
|
||||
try:
|
||||
while True:
|
||||
payload = await ws.receive_json()
|
||||
try:
|
||||
event = _adapter.validate_python(payload)
|
||||
except ValidationError:
|
||||
hub.to_trainee(
|
||||
session_id,
|
||||
ErrorEvent(code=ErrorKind.UNSUPPORTED_EVENT, message=str(payload)[:200]),
|
||||
)
|
||||
continue
|
||||
await _handle(session_id, state, event)
|
||||
except WebSocketDisconnect:
|
||||
return
|
||||
finally:
|
||||
writer.cancel()
|
||||
146
backend/app/api/ws/control.py
Normal file
146
backend/app/api/ws/control.py
Normal file
|
|
@ -0,0 +1,146 @@
|
|||
"""Канал преподавателя: только передача.
|
||||
|
||||
**Ни одной команды, меняющей карточку курсанта.** Преподаватель управляет
|
||||
ситуацией, а не работой обучаемого, иначе оценка перестаёт быть оценкой
|
||||
курсанта (docs/arch/CONTRACT.md).
|
||||
|
||||
Ответы сюда не идут — канал односторонний. Всё, что сервер хочет сказать
|
||||
преподавателю, уходит на его же сокет `observe`.
|
||||
"""
|
||||
|
||||
import logging
|
||||
from uuid import UUID, uuid4
|
||||
|
||||
from fastapi import APIRouter, WebSocket, WebSocketDisconnect
|
||||
from pydantic import TypeAdapter, ValidationError
|
||||
|
||||
from app.domain.events import (
|
||||
CallEndReason,
|
||||
CallIncoming,
|
||||
ErrorEvent,
|
||||
ErrorKind,
|
||||
InstructorToServer,
|
||||
InstructorNoteShown,
|
||||
ModeSet,
|
||||
ReferenceStarted,
|
||||
SessionEnded,
|
||||
)
|
||||
from app.scenarios import store
|
||||
from app.session.hub import hub
|
||||
from app.session.state import SessionState, now_utc
|
||||
|
||||
log = logging.getLogger(__name__)
|
||||
router = APIRouter()
|
||||
|
||||
_adapter = TypeAdapter(InstructorToServer)
|
||||
|
||||
|
||||
async def _start(session_id: UUID, event) -> None:
|
||||
scenario = store.get(event.scenario_id)
|
||||
if scenario is None:
|
||||
hub.to_observers(
|
||||
session_id,
|
||||
ErrorEvent(code=ErrorKind.SCENARIO_INVALID, message=f"Нет сценария {event.scenario_id}"),
|
||||
)
|
||||
return
|
||||
|
||||
attempt = 1
|
||||
if hub.journal:
|
||||
attempt = await hub.journal.start_lesson(
|
||||
session_id, scenario.id, event.mode.value, event.trainee
|
||||
)
|
||||
|
||||
state = hub.register(
|
||||
SessionState(
|
||||
session_id=session_id,
|
||||
scenario_id=scenario.id,
|
||||
scenario_title=scenario.title,
|
||||
level=scenario.level.value,
|
||||
mode=event.mode,
|
||||
required_fields=scenario.required_fields,
|
||||
trainee_name=event.trainee,
|
||||
attempt=attempt,
|
||||
)
|
||||
)
|
||||
state.on_event("call.incoming")
|
||||
hub.start_ticker(session_id)
|
||||
|
||||
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=scenario.required_fields,
|
||||
),
|
||||
)
|
||||
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:
|
||||
return
|
||||
state.ended_at = now_utc()
|
||||
state.end_reason = CallEndReason.INSTRUCTOR
|
||||
hub.stop_ticker(session_id)
|
||||
hub.to_observers(session_id, SessionEnded(reason=CallEndReason.INSTRUCTOR))
|
||||
if hub.journal:
|
||||
await hub.journal.session_ended(session_id, state.ended_at, CallEndReason.INSTRUCTOR.value)
|
||||
|
||||
|
||||
@router.websocket("/ws/control/{session_id}")
|
||||
async def control(ws: WebSocket, session_id: UUID) -> None:
|
||||
await ws.accept()
|
||||
try:
|
||||
while True:
|
||||
payload = await ws.receive_json()
|
||||
try:
|
||||
event = _adapter.validate_python(payload)
|
||||
except ValidationError:
|
||||
hub.to_observers(
|
||||
session_id,
|
||||
ErrorEvent(code=ErrorKind.UNSUPPORTED_EVENT, message=str(payload)[:200]),
|
||||
)
|
||||
continue
|
||||
|
||||
match event.type:
|
||||
case "scenario.start":
|
||||
await _start(session_id, event)
|
||||
case "session.stop":
|
||||
await _stop(session_id)
|
||||
case "instructor_note.add":
|
||||
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 "director.inject":
|
||||
# Поведение звонящего — карточка lct-07, пульт — lct-22.
|
||||
# До них директива копится в состоянии и видна в разборе.
|
||||
state = hub.get(session_id)
|
||||
if state is not None:
|
||||
state.directives.append(event.directive)
|
||||
case _:
|
||||
hub.to_observers(
|
||||
session_id,
|
||||
ErrorEvent(
|
||||
code=ErrorKind.UNSUPPORTED_EVENT,
|
||||
message=f"{event.type} ещё не реализовано",
|
||||
),
|
||||
)
|
||||
except WebSocketDisconnect:
|
||||
return
|
||||
62
backend/app/api/ws/observe.py
Normal file
62
backend/app/api/ws/observe.py
Normal file
|
|
@ -0,0 +1,62 @@
|
|||
"""Канал наблюдателя: внешний монитор и пульт преподавателя.
|
||||
|
||||
**На этом сокете нет ни одного обработчика входящих сообщений.** Внешний
|
||||
монитор физически не может повлиять на занятие: у него нет ни аудио, ни канала
|
||||
записи. Преподаватель смотрит здесь, а пишет через отдельный `control`.
|
||||
|
||||
Входящие кадры читаются и выбрасываются, не разбираясь: чтение нужно ровно
|
||||
затем, чтобы заметить разрыв соединения. Без него задача сокета висела бы
|
||||
на очереди до первой неудачной отправки, а закрытая вкладка монитора оставляла
|
||||
бы за собой подписку. Разбора, диспетчеризации и эффекта у входящих нет.
|
||||
"""
|
||||
|
||||
import asyncio
|
||||
from uuid import UUID
|
||||
|
||||
from fastapi import APIRouter, WebSocket, WebSocketDisconnect
|
||||
|
||||
from app.domain.events import ErrorEvent, ErrorKind
|
||||
from app.session.hub import hub
|
||||
|
||||
router = APIRouter()
|
||||
|
||||
|
||||
async def _pump(ws: WebSocket, queue: asyncio.Queue) -> None:
|
||||
while True:
|
||||
event = await queue.get()
|
||||
await ws.send_text(event.model_dump_json())
|
||||
|
||||
|
||||
async def _wait_for_disconnect(ws: WebSocket) -> None:
|
||||
"""Единственное назначение — дождаться разрыва. Содержимое кадров
|
||||
не читается и никуда не передаётся."""
|
||||
while True:
|
||||
message = await ws.receive()
|
||||
if message["type"] == "websocket.disconnect":
|
||||
return
|
||||
|
||||
|
||||
@router.websocket("/ws/observe/{session_id}")
|
||||
async def observe(ws: WebSocket, session_id: UUID) -> None:
|
||||
await ws.accept()
|
||||
|
||||
state = hub.get(session_id)
|
||||
if state is None:
|
||||
await ws.send_text(
|
||||
ErrorEvent(code=ErrorKind.SESSION_NOT_FOUND, message="Занятие не запущено").model_dump_json()
|
||||
)
|
||||
await ws.close()
|
||||
return
|
||||
|
||||
# Снимок при подключении обязателен: монитор в классе включают посреди
|
||||
# занятия, и он должен показать текущее состояние, а не ждать событий.
|
||||
await ws.send_text(state.snapshot().model_dump_json())
|
||||
|
||||
with hub.observer(session_id) as queue:
|
||||
sender = asyncio.create_task(_pump(ws, queue))
|
||||
try:
|
||||
await _wait_for_disconnect(ws)
|
||||
except WebSocketDisconnect:
|
||||
pass
|
||||
finally:
|
||||
sender.cancel()
|
||||
Loading…
Reference in a new issue