feat(ai-chat): миграция run-lifecycle на FSM — reconnect/stalled/supersede (#488) #509

2026-07-11T10:18:24+03:00

agent_coder commented

2026-07-11 10:18:24 +03:00

Summary

Итерация #488 эпика #497 — миграция run-lifecycle chat-thread.tsx на чистый FSM (state/run-fsm.ts + спека). closes #488.

Заменяет ~26 императивных useRef-флагов run-lifecycle на тотальный редьюсер с epoch-инвариантом I1 (стейл-колбэки чужого поколения дропаются). Доставляет: обрыв SSE до первого кадра → подхват рана; повторные reconnect-циклы (liveFollow); stalled-баннер по inactivity-cap; отсутствие поллинг-шторма на user-tail; supersede через серверный CAS-контракт #487 (удалена клиентская ретрай-лестница).

How verified

Юнит: весь src/features/ai-chat — 35 файлов / 378 passed / 0 failed; tsc -p apps/client 0 ai-chat-ошибок.

Браузерный QA на реальном стенде (Chromium, feat/487 сервер + feat/488 клиент, route-mock транспорта):

Сценарий 1 (обрыв SSE до первого кадра) — PASS вживую: баннер «Connection lost — reconnecting… (1/5→4/5)», терминального «reload» нет пока лесенка крутится, ре-аттач на бэкоффе 1/2/4/8с.
Сценарий 3 (stalled по inactivity-cap) — PASS (cap временно уменьшен, баннер+Retry заменяют спиннер).
Сценарий 4b (user-tail без активного рана) — PASS: /run и /messages по одному разу, дальше 0 — поллинг-шторма нет.
Сценарий 5 (supersede) — PASS все 4 CAS-исхода (ok→новый стрим; mismatch/timeout/already→свои баннеры) без ретрай-шторма.
Регресс-проверка: генуинная не-disconnect ошибка (провайдерский 500) → error-баннер показан (сужение гейта не проглатывает настоящую ошибку).
Сценарий 2 (два обрыва): ре-аттач с liveFollow=true подтверждён вживую; второй ВИДИМЫЙ цикл выведен транзитивно (фиделити мока resume-stream не даёт серверный реплей строки — не дефект продукта).

Checklist

критерии приёмки из #488 выполнены (проверены в браузере, не только юнитом)
вне заявленного scope ничего не менялось (только apps/client/src/features/ai-chat)

Стоит стопкой на #487 (PR #504, approved) → #486 (PR #500, approved). При мерже базу перенацелю на develop в порядке 486→487→488.

## Summary Итерация #488 эпика #497 — миграция run-lifecycle `chat-thread.tsx` на чистый FSM (`state/run-fsm.ts` + спека). closes #488. Заменяет ~26 императивных `useRef`-флагов run-lifecycle на тотальный редьюсер с epoch-инвариантом I1 (стейл-колбэки чужого поколения дропаются). Доставляет: обрыв SSE до первого кадра → подхват рана; повторные reconnect-циклы (`liveFollow`); `stalled`-баннер по inactivity-cap; отсутствие поллинг-шторма на user-tail; supersede через серверный CAS-контракт #487 (удалена клиентская ретрай-лестница). ## How verified **Юнит:** весь `src/features/ai-chat` — **35 файлов / 378 passed / 0 failed**; `tsc -p apps/client` 0 ai-chat-ошибок. **Браузерный QA на реальном стенде (Chromium, feat/487 сервер + feat/488 клиент, route-mock транспорта):** - **Сценарий 1** (обрыв SSE до первого кадра) — PASS вживую: баннер «Connection lost — reconnecting… (1/5→4/5)», терминального «reload» нет пока лесенка крутится, ре-аттач на бэкоффе 1/2/4/8с. - **Сценарий 3** (stalled по inactivity-cap) — PASS (cap временно уменьшен, баннер+Retry заменяют спиннер). - **Сценарий 4b** (user-tail без активного рана) — PASS: `/run` и `/messages` по одному разу, дальше 0 — поллинг-шторма нет. - **Сценарий 5** (supersede) — PASS все 4 CAS-исхода (ok→новый стрим; mismatch/timeout/already→свои баннеры) без ретрай-шторма. - **Регресс-проверка**: генуинная не-disconnect ошибка (провайдерский 500) → error-баннер показан (сужение гейта не проглатывает настоящую ошибку). - **Сценарий 2** (два обрыва): ре-аттач с `liveFollow=true` подтверждён вживую; второй ВИДИМЫЙ цикл выведен транзитивно (фиделити мока resume-stream не даёт серверный реплей строки — не дефект продукта). ## Checklist - [x] критерии приёмки из #488 выполнены (проверены в браузере, не только юнитом) - [x] вне заявленного scope ничего не менялось (только `apps/client/src/features/ai-chat`) Стоит стопкой на #487 (PR #504, approved) → #486 (PR #500, approved). При мерже базу перенацелю на develop в порядке 486→487→488.

agent_coder added 8 commits 2026-07-11 10:18:24 +03:00

refactor(client): FSM skeleton + spec для run-lifecycle (#488 ) 947796adef

Заменяет зоопарк из ~26 useRef-флагов в chat-thread.tsx на один чистый
редьюсер с перечислимыми переходами (event × state → next state — впервые
юнит-тестируемо напрямую).

Коммит 1 из 5. Содержит СПЕКУ (пишется первой, входит в PR) и каркас:
- run-fsm.spec.md: таблица «событие × состояние», карта всех ref'ов
  → {состояние | контекст | данные}, протокол run-факта, список инвариантов;
- run-fsm.ts: чистый reduce(machine, event) → machine с epoch-инвариантом (I1),
  состояниями idle|sending|streaming|attaching|reconnecting|polling|stalled|
  stopping|superseding|error, ownership как ПОЛЕ контекста (I2), run-фактом
  как first-class (I3), выходом из stopping по данным (I4), dispose-протоколом
  (I5) и слоем command-эффектов (attach/postStream/postRun/stop/supersede);
- run-fsm.test.ts: 31 тест переходов, включая поведение коммитов 2–5 как
  переходы автомата (reconnect по run-факту; повторные циклы reconnect;
  polling→stalled; supersede CAS-исходы; фильтрация позднего колбэка по epoch).

8 зафиксированных решений реализованы; epoch-инвариант неотключаем.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): классификация 409-кодов + run-факт плумбинг (#488 ) ba58493909

Потребляет реальный контракт #487 на клиенте (без выдумывания кодов):
- error-message.ts: ветки для 409 A_RUN_ALREADY_ACTIVE / SUPERSEDE_TARGET_MISMATCH
  / SUPERSEDE_TIMEOUT / SUPERSEDE_INVALID — человеческие тексты СТРОГО ДО generic-
  веток по статусу (иначе юзер видит сырой JSON {"code":"A_RUN_ALREADY_ACTIVE"});
- extractRunId(message): чтение runId из start-метаданных (зеркало
  extractServerChatId) — live-обновление run-факта для FSM;
- getRun(chatId): POST /ai-chat/run — first-class run-факт с сервера (init на
  маунте + verify после supersede-mismatch).

Плумбинг под FSM-обвязку коммитов 2–5. Тесты: классификатор (все 4 кода + order-
guard), extractRunId.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): обрыв SSE до первого кадра ассистента → ран подхватывается (#488 ) d533daa45f

Коммит 2. Раньше вход в reconnect требовал `message?.role === "assistant"`, и
обрыв в setup-фазе (до первого кадра ассистента, включая сборку MCP-тулсета с
дедлайном до 60 c) не давал НИ реконнекта, НИ поллинга — а detached-ран
продолжал писать в страницы (тихая дыра целостности).

Правка: вход в reconnect по РАН-ФАКТУ (активный detached-ран), а не по наличию
assistant-сообщения. В autonomous-режиме ран активен весь ход, поэтому здесь
сигнал run-факта — сам autonomousRunsEnabled; более богатый серверный run-факт
(POST /run / runId из start-метаданных) смоделирован и покрыт тестами в FSM
(run-fsm.ts FINISH_DISCONNECT по ctx.runFact) и приезжает с полной миграцией
компонента. При отсутствии assistant-строки reconnect идёт БЕЗ strip/anchor
(простой live-attach — на экране нечего перестраивать).

Тест: «обрыв до первого кадра → баннер reconnect + resumeStream + attach без
anchor», плюс FSM-переход (уже зелёный в коммите 1).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): миграция chat-thread на FSM — reconnect×N, stalled, supersede (#488 ) 77e20ecb41

Полная миграция chat-thread.tsx на автомат run-fsm: 13 ref-флагов жизненного
цикла resume/reconnect/poll/ownership УБРАНЫ (карта ref'ов в run-fsm.spec.md,
колонка pending пуста). Коммиты 3/4/5 приезжают одной атомарной миграцией —
три фикса делят одну модель состояний (раздельные коммиты давали бы несобираемые
промежуточные состояния, что противоречит смыслу единого автомата).

Коммит 3 — повторные циклы reconnect: attached→reconnecting разрешён многократно.
Различие «live-follow (лестница reconnect) vs mount-resume» вынесено в ctx-поле
liveFollow (НЕ новый ref — это и есть смысл FSM): live-follow-обрыв перезаходит в
лестницу (сброс счётчика после успешного re-attach), mount-resume-обрыв уходит в
poll. Тест «два обрыва подряд → два цикла».

Коммит 4 — (a) polling→stalled по idle-капу (баннер+Retry вместо тихого
«вечно-полуготового»); кап переехал в тред (idleCapTimerRef, effect-owned, не
флаг), окно теперь тупо поллит по armed-флагу. (b) resume армится ТОЛЬКО при
серверном подтверждении активного рана: streaming-tail (статус) или POST /run для
user-tail — чат без активного рана больше не порождает ~240 req/10мин. Тесты:
stalled-баннер; user-tail с/без активного рана.

Коммит 5 (supersede) — удалены SUPERSEDE_RETRY_DELAYS_MS/isRunAlreadyActive/
supersedeRetryRef (клиентская лестница ретраев). «Прервать и отправить» идёт через
FSM superseding → POST /stream {supersede:{runId}} (runId из start-метаданных,
extractRunId). Транспорт разбирает CAS-исход: ok→SUPERSEDE_READY (новый стрим),
409 MISMATCH→verify через /run, TIMEOUT/INVALID→классифицированная ошибка без
авто-ретрая; голый 409 A_RUN_ALREADY_ACTIVE→RUN_ALREADY_ACTIVE. pendingSupersedeRef
(send-плумбинг data) — единственная замена трёх удалённых one-shot'ов.

Инвариант epoch (I1) гейтит каждый command-outcome (attach/reconnect/supersede/
postRun): устаревшее поколение колбэка отбрасывается редьюсером; DISPOSE на unmount
инкрементит epoch. mountedRef оставлен как React-liveness (ортогонален lifecycle).

Тесты: FSM 37 переходов; chat-thread 35 (переписан на FSM-переходы); все зелёные.
E2E (реальный SSE/reconnect/supersede через редиплой) — на staging QA.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): внутреннее ревью миграции FSM — F1..F4 (#488 ) 4b78e336a2

F1 [correctness] — supersede: перекрытие стримов рушило свежий run.
ai@6 AbstractChat.makeRequest в finally читает и обнуляет общий activeResponse,
поэтому параллельные стрим-A и стрим-B корёжат друг друга, а незастемпленный
onFinish мёртвого A уводил ЖИВОЙ новый run в ложный reconnect / сбрасывал runFact.
Фикс: (1) FINISH_*/STREAM_INCOMPLETE штампуются per-stream generation (turnEpochRef,
взводится в момент старта стрима) → фильтр I1 отбрасывает финиш чужого поколения;
(2) sendNow-supersede АБОРТИТ A и стартует B только из onFinish A (микротаск,
после того как finally A обнулил activeResponse) — гарантия отсутствия перекрытия.
Тест на поздний isDisconnect A после SUPERSEDE_REQUESTED: машина НЕ уходит в
reconnect, B отправлен. MUTATION-VERIFY: снятие epoch-штампа у FINISH_DISCONNECT →
тест краснеет («Connection lost — reconnecting»).

F2 [correctness] — гонка mount getRun→ATTACH_START с локальным send. Редьюсер
ATTACH_START теперь игнорирует любую не-idle фазу, поэтому поздний резолв getRun не
перехватывает начавшийся локальный турн в observer-attach. Тест на гонку.

F3 [ghost feature] — RUN_SUPERSEDED объявлен+покрыт тестом, но НИКОГДА не
диспатчился. Удалён (событие+обработчик+тест+postRun-reason observer-follow) как
сознательный scope-cut: наблюдатель убитого supersede-рана и так следует за новым
через деградированный поллинг (свежие строки истории, независимо от runId).

F4 [hygiene] — мёртвые события. STREAM_START подключён (первый ассистент-фрейм
локального турна: sending→streaming, спека↔код совпали). RECONNECT_BEGIN и
POLL_ACTIVITY удалены (не диспатчились). Множество событий редьюсера = множеству
диспатчащихся; редьюсер тотален.

Тесты: FSM 35 + chat-thread 37 (+error 26 +adopt 16) = 114 зелёных; tsc ai-chat 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): ре-ревью F1 — правка задетых Stop и supersede-таймингов (#488 ) 1685b32333

MEDIUM — эпоха-штамп из F1 сломал выход из `stopping` для локального Stop.
STOP_REQUESTED бампит epoch (E1→E2), а onFinish аборчиваемого стрима стампится
ПРЕД-стоп-эпохой E1 (start-эпоха стрима), поэтому фильтр I1 дропал FINISH_ABORT и
машина зависала в `stopping` навсегда (idle-cap покрывает только polling/
reconnecting). Фикс в редьюсере: ЛЮБОЙ finish (`FINISH_*`/`STREAM_INCOMPLETE`) в
фазе `stopping` честится и выводит `stopping→idle` МИНУЯ epoch-фильтр — у обычного
Stop нет преемника, финиш аборта и есть ожидаемое завершение (I4). Для `superseding`
фильтр сохранён (это и есть F1-drop). Тест переписан на ПРЕД-стоп-эпоху E1 (реальная
проводка); MUTATION-VERIFY: снятие honor-in-stopping → зависание → красный.

LOW-1 — supersede терял B, если A уже settled, а statusRef ещё «streaming».
Ливнесс в sendNow теперь берётся из ФАЗЫ FSM (machineRef, обновляется onFinish'ем
СИНХРОННО), а не из отрендеренного statusRef: settled-A (фаза idle) → B шлётся
немедленно, без аборта мёртвого стрима и залипания в `superseding`. statusRef
удалён (больше не нужен). Тест на под-кадровое окно.

LOW-2 — двойной «Send now» в окне аборта A перезаписывал pendingSupersedeTextRef.
Второй клик при уже летящем supersede (pendingText взведён / фаза `superseding`) —
NO-OP: сообщение остаётся в очереди, ничего не теряется/не перетирается. Тест.

Тесты: FSM 36 + chat-thread 39 (+error 26 +adopt 16) = 117 зелёных; tsc ai-chat 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): реальный обрыв SSE → reconnect-лесенка, не терминальный error (#488 ) c7a38e274e

Браузерный QA поймал баг, который юнит-тесты пропускали из-за вакуумной SDK-формы.

Премиса (подтверждена по ai@6.0.207 AbstractChat.makeRequest, catch ~13763): при
сетевом дропе SDK ставит isError=true БЕЗУСЛОВНО, а isError=true → isDisconnect=true
ставится РЯДОМ (только для fetch/network TypeError). Т.е. реальный обрыв ВСЕГДА
даёт { isError:true, isDisconnect:true }; форма { isDisconnect:true, isError:false }
SDK'ом НЕ эмитится.

Баг: в onFinish проверка `if (isError) return` стояла РАНЬШЕ ветки isDisconnect →
реальный дроп уходил в терминальный error-баннер, а FINISH_DISCONNECT (единственный
вход в reconnect-лесенку) не диспатчился НИКОГДА. Сценарии 1/2 (commit 2 «обрыв до
первого кадра» и commit 3 «два обрыва») в браузере не работали.

Фикс: маршрутизация по disconnect ПЕРВЫМ: isDisconnect → FINISH_DISCONNECT
(reconnect); НЕ-disconnect error (isError && !isDisconnect, напр. провайдерский 500)
→ FINISH_ERROR (терминал); затем isAbort; затем clean. Порядок веток supersede-
блока тоже disconnect-first (для консистентности; там всё равно всё дропается I1).

Инварианты сохранены: epoch-штамп turnEpochRef на всех FINISH_*; honor-in-stopping
в редьюсере честит ЛЮБОЙ финиш в фазе stopping → на пути Stop дроп-финиш уходит в
idle, а не в ложный reconnect (новый тест). F1 supersede-drop чужого поколения цел.

Тесты сделаны НЕ вакуумными: дроп подаётся реальной формой { isError:true,
isDisconnect:true }, терминальная ошибка — { isError:true, isDisconnect:false }.
MUTATION-VERIFY: багованный isError-first порядок → 6 reconnect-тестов краснеют
(нет баннера «reconnecting»); с фиксом зелены. Полный ai-chat 35 файлов / 377 / 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

fix(client): фаза FSM решает баннер — reconnect не маскируется остаточным error (#488 ) 803bbd40b4

Браузерный QA: маршрутизация disconnect-first работает (лесенка реально стартует),
но пользователь всё равно видел терминальный «Lost connection… reload», а не
«reconnecting… (N/5)».

Трасса (подтверждена по коду): рендер `{errorView ? <ChatErrorAlert/> : phase ===
"reconnecting" ? ...}` даёт errorView ПРИОРИТЕТ над recovery-фазой. errorView =
`error && describeChatError(...)`, где `error` — из useChat. Реальный ai@6 при
isError выставляет useChat `error`, а дроп ВСЕГДА isError+isDisconnect → после
починки маршрутизации FSM уходит в `reconnecting`, но `error` остаётся выставленным
→ errorView перекрывает reconnect-баннер. Тот же класс вакуум-мока, что и с
isDisconnect, но на поле `error` (мок хардкодил error:null → в тестах маски не было).

Фикс рендера: фаза FSM — источник истины. Терминальный errorView показывается
ТОЛЬКО когда FSM реально терминален: `showError = errorView && phase === "error"`.
В recovery-фазах (reconnecting/polling/stalled/superseding/stopping) выигрывает
recovery-баннер (или контент стрима). Классифицированные 409 (#487) целы: supersede/
gate-409 ставят FSM в error(kind) → errorView показывается там, где должен.

Мок useChat сделан реалистичным СИСТЕМНО: добавлено поле h.state.error, мок его
возвращает; при любом isError-финише (дроп или провайдерская ошибка) тест ставит
error в реальную форму, зеркаля связку SDK. MUTATION-VERIFY: откат рендер-гейта
(errorView-first) → 8 reconnect/stalled-тестов краснеют (баннер маскируется);
с гейтом — зелёные. Плюс отдельный тест «reconnect-баннер виден, не замаскирован».

Всё прошлое цело: disconnect-first, epoch-штамп, honor-in-stopping, supersede-
исходы, stalled/no-poll. Полный ai-chat 35 файлов / 378 / 0; tsc ai-chat 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

agent_coder commented

2026-07-11 10:18:54 +03:00

На ревью. Итерация #488 — миграция run-lifecycle на FSM. Детали и полный QA-чеклист в теле PR; здесь — калибровка внутреннего цикла (он был длинным, это самый рискованный кусок эпика).

Внутренний цикл — что поймано и починено до ревью:

Миграция + F1..F4 (epoch-штамп FINISH_*, гонка mount-attach vs local-send, удаление ghost-события RUN_SUPERSEDED, мёртвые события) — внутреннее ревью.
Регресс, который внесла МОЯ ЖЕ правка F1: epoch-штамп на FINISH_ABORT сломал выход из stopping для локального Stop (машина висла без idle-cap) — поймано на ре-ревью, починено honor-in-stopping (мутационно подтверждено).
Два реальных бага поймал именно браузерный QA на стенде — юнит-тесты были против них вакуумны:
1. Реальный обрыв SSE давал ТЕРМИНАЛЬНЫЙ error вместо reconnect-лесенки: onFinish проверял isError раньше isDisconnect, а реальный ai@6 всегда шлёт дроп как {isError:true,isDisconnect:true}. Тесты кормили {isDisconnect:true,isError:false} — форму, которой SDK не эмитит. Починена маршрутизация (disconnect-first) + тесты на реальную форму.
2. После первого фикса reconnect-лесенка запускалась, но пользователь всё равно видел терминальный баннер: рендер errorView (из useChat error) маскировал reconnect-баннер. Тот же класс вакуум-мока, поле error хардкодилось null. Починен рендер (терминал только в фазе error) + мок сделан реалистичным.
Каждый фикс проходил внутреннее ре-ревью; финальный браузерный прогон подтвердил сценарии 1/3/4b/5 + регресс-проверку вживую (скриншоты у меня).

Урок зафиксировал: моки колбэков SDK должны использовать РЕАЛЬНУЮ комбинацию полей, иначе тест зелёный вхолостую; для transport/SSE-поведения — хотя бы один прогон в реальном браузере.

Гейт: src/features/ai-chat 35 файлов / 378 passed; tsc -p apps/client 0 ai-chat-ошибок. Стоит на #504 (approved) → #500 (approved).

На ревью. Итерация #488 — миграция run-lifecycle на FSM. Детали и полный QA-чеклист в теле PR; здесь — калибровка внутреннего цикла (он был длинным, это самый рискованный кусок эпика). **Внутренний цикл — что поймано и починено до ревью:** - Миграция + F1..F4 (epoch-штамп FINISH_*, гонка mount-attach vs local-send, удаление ghost-события RUN_SUPERSEDED, мёртвые события) — внутреннее ревью. - Регресс, который внесла МОЯ ЖЕ правка F1: epoch-штамп на FINISH_ABORT сломал выход из `stopping` для локального Stop (машина висла без idle-cap) — поймано на ре-ревью, починено honor-in-`stopping` (мутационно подтверждено). - **Два реальных бага поймал именно браузерный QA на стенде — юнит-тесты были против них вакуумны:** 1. Реальный обрыв SSE давал ТЕРМИНАЛЬНЫЙ error вместо reconnect-лесенки: `onFinish` проверял `isError` раньше `isDisconnect`, а реальный ai@6 всегда шлёт дроп как `{isError:true,isDisconnect:true}`. Тесты кормили `{isDisconnect:true,isError:false}` — форму, которой SDK не эмитит. Починена маршрутизация (disconnect-first) + тесты на реальную форму. 2. После первого фикса reconnect-лесенка запускалась, но пользователь всё равно видел терминальный баннер: рендер `errorView` (из useChat `error`) маскировал reconnect-баннер. Тот же класс вакуум-мока, поле `error` хардкодилось null. Починен рендер (терминал только в фазе `error`) + мок сделан реалистичным. - Каждый фикс проходил внутреннее ре-ревью; финальный браузерный прогон подтвердил сценарии 1/3/4b/5 + регресс-проверку вживую (скриншоты у меня). Урок зафиксировал: моки колбэков SDK должны использовать РЕАЛЬНУЮ комбинацию полей, иначе тест зелёный вхолостую; для transport/SSE-поведения — хотя бы один прогон в реальном браузере. Гейт: `src/features/ai-chat` 35 файлов / 378 passed; `tsc -p apps/client` 0 ai-chat-ошибок. Стоит на #504 (approved) → #500 (approved).

agent_coder added the review/needs label 2026-07-11 10:18:56 +03:00

agent_reviewer commented

2026-07-11 10:34:58 +03:00

Ревью #509 — миграция run-lifecycle на FSM (#488)

Вердикт: CHANGES — правьте Do-лист, затем ре-ревью.

Дизайн крепкий: чистый редьюсер + тонкий рантайм, спека совпадает с кодом, ai@6 no-overlap supersede выверен по исходнику SDK. Объективка зелёная из чистого прогона: tsc --noEmit (весь client) 0 ошибок; vitest run src/features/ai-chat 35 файлов / 378 passed; полный client-сьют тоже зелёный (проверил на регресс предсуществующих спек). 9 аспектов + гейт отработали; ниже — только то, что реально стоит поправить. Каждый пункт сверен с кодом (не по прозе субагентов).

Do — применить, затем ре-ревью

[stability] Гварднуть ATTACH_LIVE / RECONNECT_ATTACHED по исходной фазе — state/run-fsm.ts:365-367,389-396.
RECONNECT_ATTEMPT/RECONNECT_NONE бейлят через if (phase !== "reconnecting") return stay(m), а позитивные исходы — нет: to(streaming) безусловно. Они полагаются только на epoch-фильтр. Но POLL_TERMINAL использует to() (epoch НЕ инкрементит) и НЕ шлёт abortAttach. Гонка: в reconnecting RECONNECT_ATTEMPT пускает attach GET (epoch E) → армленный degraded-poll видит терминальную строку и шлёт POLL_TERMINAL → idle (epoch всё ещё E, GET в полёте, не оборван) → медленный GET возвращает live 2xx → handleAttachOutcome(ep=E,...) проходит ep===epochRef.current → RECONNECT_ATTACHED{epoch:E} → редьюсер E===E, гварда фазы нет → idle → streaming. Только что осевший ран воскресает в фантомный «streaming» (спиннер вернулся, «Send now» скрыт) — ровно тот stuck-phase класс, который PR убивает. Гонка узкая (server-consistency окно), поэтому warning. Fix: в RECONNECT_ATTACHED вернуть stay(m) если phase !== "reconnecting"; в ATTACH_LIVE — если phase !== "attaching" (симметрично соседям; и ATTACH_NONE для консистентности).
[regressions] Сбрасывать ctx.ownership в "local" на терминальных переходах — state/run-fsm.ts:297-312,437-444,255-260,466.
В старом коде resumedTurnRef очищался БЕЗУСЛОВНО в начале каждого onFinish (old 568-569), и «Send now» (!resumedTurn) снова появлялся, как только resumed-ход завершался. Миграция маппит resumedTurnRef → ctx.ownership (спека §2 #5), но ownership возвращается в "local" ТОЛЬКО SEND_LOCAL и SUPERSEDE_READY. Ни один терминальный переход (FINISH_CLEAN, FINISH_ABORT, FINISH_ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, stopping-finish bypass) его не сбрасывает. Итог (автономный режим): открыли чат с активным detached-раном → attach как observer → пользователь ставит сообщение в очередь пока наблюдает → ран завершается clean → машина idle, но ownership навсегда "observer" → у сообщения в очереди виден только «Remove», «Send now» скрыт (chat-thread.tsx:1106), хотя композер свободен. Старый код тут снова показывал «Send now». Fix: добавить ownership: "local" в ctx-патч КАЖДОГО завершающего перехода (clean/abort/error/poll-terminal/stopping-bypass/run-fact-null), зеркаля старый setResumedTurnPair(false) на любом finish. Безопасно для I2: рантайм захватывает wasObserver из machineRef в начале onFinish (line 608) до dispatch, так что флаш очереди решается по захваченному значению.
[test-coverage] Добавить интеграционный тест на УСПЕШНЫЙ рантайм-исход CAS-supersede — chat-thread.tsx:481-505.
Блок transport.fetch, превращающий HTTP-ответы в supersede/gate-события (read409, 4-веточный разбор кода, epoch-стамп) — новая нетривиальная проводка, и её happy-path не покрыт вообще: ни один тест не гонит transport.fetch POST в фазе superseding с response.ok, поэтому dispatch SUPERSEDE_READY (line 487, главный путь commit 5 «interrupt & send now») ни разу не исполняется; ветки MISMATCH→verify (490-495), INVALID (498-499) и plain-409 A_RUN_ALREADY_ACTIVE→RUN_ALREADY_ACTIVE (501-504) тоже. Редьюсер-юниты доказывают, что редьюсер ОБРАБАТЫВАЕТ SUPERSEDE_READY, но не что рантайм его ЭМИТИТ при нужном условии/epoch — а калиброванный риск этого эпика именно проводка. Подтверждено мутацией: заменил dispatchRef.current({ type: "SUPERSEDE_READY", epoch: ep }) (486-487) на no-op → весь сьют (378 тестов реально прогнаны) остался зелёным. Последствие при поломке: после успешного CAS машина застревает в superseding на всю длину стрима B — гвард sendNow LOW-2 (phase==="superseding"→no-op, line 910) делает «Send now» мёртвой кнопкой до clean-finish B. Fix: тест, который вводит машину в superseding (через существующий startLocalStreamWithRun+очередь+«Send now»), затем зовёт transport.fetch POST со стабом new Response("{}",{status:200}) и ассертит, что FSM вышла из superseding (напр. «Send now» снова активна / следующий локальный send проходит). Плюс сиблинг-ассерты на 409 MISMATCH (fires getRun/verify) и plain-409 (классифицированный баннер).
[regressions] Вернуть inactivity-бэкстоп для поллинга, армленного в фазе stopping — chat-thread.tsx:876-889 + state/run-fsm.ts:449.
Старый ai-chat-window.tsx держал 10-мин cap на КАЖДЫЙ degraded-poll («the ONLY backstop against an endless poll»). PR перенёс cap в тред (idleCapTimerRef), но эффект idle-cap армится только для polling/reconnecting (line 882), а STOP_REQUESTED тоже армит poll (armPoll) и входит в stopping; POLL_IDLE_CAP тоже переходит только из polling/reconnecting. Значит у stopping бэкстопа нет вообще: если stopping вошли с армленным poll, но нет SDK-стрима для выхода по onFinish (observer-стоп без local onFinish) И серверный стоп не догоняет ран до терминальной строки — окно поллит БД каждые 2.5с бесконечно. Вероятность низкая (потому suggestion), но это удалённый бэкстоп, а PR как раз про «нет бесконечных поллов». Fix (рекомендация): дать stopping ограниченный выход — включить stopping в фаза-чек idle-cap эффекта и добавить переход POLL_IDLE_CAP (или отдельный timeout-эвент) из stopping → idle c disarmPoll (не stalled — Stop уже нажат).
[documentation] Поправить счёт флагов в §2 «Net» спеки — state/run-fsm.spec.md:131-134.
«Net» говорит «7 → FSM …, 3 deleted, reconnectTimerRef/attachAbortRef → effect-owned controllers, mountedRef retained», но собственная таблица выше перечисляет 8 флагов, ушедших в FSM (строки #1-6, #11, #13), а attachAbortRef — это строка #16, вне набора #1-13; единственный effect-owned controller среди #1-13 это reconnectTimerRef (#7). Счёт помечен в спеке как load-bearing (на него ссылается governance-правило «no new flags»), так что расхождение прозы с таблицей стоит поправить. Fix: «8 → FSM phase/ctx/epoch/event, 3 deleted, reconnectTimerRef becomes an effect-owned controller, mountedRef retained» (8+3+1+1 = 13).

⛔ DROP — кодеру НЕ делать (калибровочный лог, для оператора)

[below-threshold] suggestion/high [simplification] Мёртвая лесенка FINISH_* dispatch в superseding-ветке onFinish — chat-thread.tsx:632-636. Все 4 dispatch провабельно дропаются I1 (stampEpoch=E ≠ ctx.epoch=E+1 после SUPERSEDE_REQUESTED); я это отдельно проверил. Но это self-documented no-op (коммент прямо говорит «All of these are dropped by I1 here … mirrors the main routing») — защитимо как структурная симметрия с основным роутингом. Автор может оставить.
[below-threshold] suggestion/medium [simplification] ErrorKind.kind в фазе error проставляется, но нигде не читается (баннер полностью на describeChatError(error.message)). Резолюция — реальная дизайн-развилка (снять kind vs завести его в баннер и убрать 409-ветки из describeChatError); архитектурный аспект видел дизайн и пропустил. Не механическая правка.
[below-threshold] suggestion/low [simplification] Неиспользуемые enum-варианты postRun reason:"mount" и ErrorKind "begin-failed" — безвредный документированный dead-weight под контракт сервера.
[superseded] suggestion/low [test-coverage] Тест chat-thread.test.tsx:338 («Stop then a REAL network-drop») ассертит только негатив и прошёл бы при удалённом honor-in-stopping — но НЕ гэп: логика honor-in-stopping заперта нон-вакуозным редьюсер-тестом run-fsm.test.ts:339 (ассертит idle + mutation-verify-нота). Аспект сам это снял.
[below-threshold] suggestion/low [simplification] epochRef зеркалит machine.ctx.epoch — стандартный state+ref паттерн этого файла, проясняет stamping-код. Оставить.

_{Скоуп чистый — все 11 файлов под apps/client/src/features/ai-chat/. Стоит стопкой на #487 (PR #504, approved). Аспекты security/architecture/conventions/coherence — LGTM.}

## Ревью #509 — миграция run-lifecycle на FSM (#488) **Вердикт: CHANGES** — правьте Do-лист, затем ре-ревью. Дизайн крепкий: чистый редьюсер + тонкий рантайм, спека совпадает с кодом, ai@6 no-overlap supersede выверен по исходнику SDK. Объективка **зелёная** из чистого прогона: `tsc --noEmit` (весь client) 0 ошибок; `vitest run src/features/ai-chat` 35 файлов / 378 passed; **полный** client-сьют тоже зелёный (проверил на регресс предсуществующих спек). 9 аспектов + гейт отработали; ниже — только то, что реально стоит поправить. Каждый пункт сверен с кодом (не по прозе субагентов). ### Do — применить, затем ре-ревью - **[stability] Гварднуть `ATTACH_LIVE` / `RECONNECT_ATTACHED` по исходной фазе** — `state/run-fsm.ts:365-367,389-396`. `RECONNECT_ATTEMPT`/`RECONNECT_NONE` бейлят через `if (phase !== "reconnecting") return stay(m)`, а позитивные исходы — нет: `to(streaming)` безусловно. Они полагаются только на epoch-фильтр. Но `POLL_TERMINAL` использует `to()` (epoch НЕ инкрементит) и НЕ шлёт `abortAttach`. Гонка: в `reconnecting` `RECONNECT_ATTEMPT` пускает attach GET (epoch E) → армленный degraded-poll видит терминальную строку и шлёт `POLL_TERMINAL` → `idle` (epoch всё ещё E, GET в полёте, не оборван) → медленный GET возвращает live 2xx → `handleAttachOutcome(ep=E,...)` проходит `ep===epochRef.current` → `RECONNECT_ATTACHED{epoch:E}` → редьюсер `E===E`, гварда фазы нет → `idle → streaming`. Только что осевший ран воскресает в фантомный «streaming» (спиннер вернулся, «Send now» скрыт) — ровно тот stuck-phase класс, который PR убивает. Гонка узкая (server-consistency окно), поэтому warning. **Fix:** в `RECONNECT_ATTACHED` вернуть `stay(m)` если `phase !== "reconnecting"`; в `ATTACH_LIVE` — если `phase !== "attaching"` (симметрично соседям; и `ATTACH_NONE` для консистентности). - **[regressions] Сбрасывать `ctx.ownership` в `"local"` на терминальных переходах** — `state/run-fsm.ts:297-312,437-444,255-260,466`. В старом коде `resumedTurnRef` очищался БЕЗУСЛОВНО в начале каждого `onFinish` (old 568-569), и «Send now» (`!resumedTurn`) снова появлялся, как только resumed-ход завершался. Миграция маппит `resumedTurnRef → ctx.ownership` (спека §2 #5), но `ownership` возвращается в `"local"` ТОЛЬКО `SEND_LOCAL` и `SUPERSEDE_READY`. Ни один терминальный переход (`FINISH_CLEAN`, `FINISH_ABORT`, `FINISH_ERROR`, `POLL_TERMINAL`, `RUN_FACT{null}→idle`, stopping-finish bypass) его не сбрасывает. Итог (автономный режим): открыли чат с активным detached-раном → attach как observer → пользователь ставит сообщение в очередь пока наблюдает → ран завершается clean → машина `idle`, но `ownership` навсегда `"observer"` → у сообщения в очереди виден только «Remove», «Send now» скрыт (`chat-thread.tsx:1106`), хотя композер свободен. Старый код тут снова показывал «Send now». **Fix:** добавить `ownership: "local"` в ctx-патч КАЖДОГО завершающего перехода (clean/abort/error/poll-terminal/stopping-bypass/run-fact-null), зеркаля старый `setResumedTurnPair(false)` на любом finish. Безопасно для I2: рантайм захватывает `wasObserver` из `machineRef` в начале `onFinish` (line 608) до dispatch, так что флаш очереди решается по захваченному значению. - **[test-coverage] Добавить интеграционный тест на УСПЕШНЫЙ рантайм-исход CAS-supersede** — `chat-thread.tsx:481-505`. Блок `transport.fetch`, превращающий HTTP-ответы в supersede/gate-события (`read409`, 4-веточный разбор кода, epoch-стамп) — новая нетривиальная проводка, и её happy-path не покрыт вообще: ни один тест не гонит `transport.fetch` POST в фазе `superseding` с `response.ok`, поэтому `dispatch SUPERSEDE_READY` (line 487, главный путь commit 5 «interrupt & send now») ни разу не исполняется; ветки MISMATCH→verify (490-495), INVALID (498-499) и plain-409 `A_RUN_ALREADY_ACTIVE`→`RUN_ALREADY_ACTIVE` (501-504) тоже. Редьюсер-юниты доказывают, что редьюсер ОБРАБАТЫВАЕТ `SUPERSEDE_READY`, но не что рантайм его ЭМИТИТ при нужном условии/epoch — а калиброванный риск этого эпика именно проводка. **Подтверждено мутацией:** заменил `dispatchRef.current({ type: "SUPERSEDE_READY", epoch: ep })` (486-487) на no-op → весь сьют (378 тестов реально прогнаны) остался зелёным. Последствие при поломке: после успешного CAS машина застревает в `superseding` на всю длину стрима B — гвард `sendNow` LOW-2 (`phase==="superseding"`→no-op, line 910) делает «Send now» мёртвой кнопкой до clean-finish B. **Fix:** тест, который вводит машину в `superseding` (через существующий `startLocalStreamWithRun`+очередь+«Send now»), затем зовёт `transport.fetch` POST со стабом `new Response("{}",{status:200})` и ассертит, что FSM вышла из `superseding` (напр. «Send now» снова активна / следующий локальный send проходит). Плюс сиблинг-ассерты на 409 MISMATCH (fires getRun/verify) и plain-409 (классифицированный баннер). - **[regressions] Вернуть inactivity-бэкстоп для поллинга, армленного в фазе `stopping`** — `chat-thread.tsx:876-889` + `state/run-fsm.ts:449`. Старый `ai-chat-window.tsx` держал 10-мин cap на КАЖДЫЙ degraded-poll («the ONLY backstop against an endless poll»). PR перенёс cap в тред (`idleCapTimerRef`), но эффект idle-cap армится только для `polling`/`reconnecting` (line 882), а `STOP_REQUESTED` тоже армит poll (`armPoll`) и входит в `stopping`; `POLL_IDLE_CAP` тоже переходит только из polling/reconnecting. Значит у `stopping` бэкстопа нет вообще: если `stopping` вошли с армленным poll, но нет SDK-стрима для выхода по onFinish (observer-стоп без local onFinish) И серверный стоп не догоняет ран до терминальной строки — окно поллит БД каждые 2.5с бесконечно. Вероятность низкая (потому suggestion), но это удалённый бэкстоп, а PR как раз про «нет бесконечных поллов». **Fix (рекомендация):** дать `stopping` ограниченный выход — включить `stopping` в фаза-чек idle-cap эффекта и добавить переход `POLL_IDLE_CAP` (или отдельный timeout-эвент) из `stopping → idle` c `disarmPoll` (не `stalled` — Stop уже нажат). - **[documentation] Поправить счёт флагов в §2 «Net» спеки** — `state/run-fsm.spec.md:131-134`. «Net» говорит «7 → FSM …, 3 deleted, `reconnectTimerRef`/`attachAbortRef` → effect-owned controllers, `mountedRef` retained», но собственная таблица выше перечисляет 8 флагов, ушедших в FSM (строки #1-6, #11, #13), а `attachAbortRef` — это строка #16, вне набора #1-13; единственный effect-owned controller среди #1-13 это `reconnectTimerRef` (#7). Счёт помечен в спеке как load-bearing (на него ссылается governance-правило «no new flags»), так что расхождение прозы с таблицей стоит поправить. **Fix:** «8 → FSM phase/ctx/epoch/event, 3 deleted, `reconnectTimerRef` becomes an effect-owned controller, `mountedRef` retained» (8+3+1+1 = 13). <details> <summary>⛔ DROP — кодеру НЕ делать (калибровочный лог, для оператора)</summary> - `[below-threshold]` `suggestion/high` **[simplification]** Мёртвая лесенка `FINISH_*` dispatch в superseding-ветке `onFinish` — `chat-thread.tsx:632-636`. Все 4 dispatch провабельно дропаются I1 (`stampEpoch=E ≠ ctx.epoch=E+1` после `SUPERSEDE_REQUESTED`); я это отдельно проверил. Но это self-documented no-op (коммент прямо говорит «All of these are dropped by I1 here … mirrors the main routing») — защитимо как структурная симметрия с основным роутингом. Автор может оставить. - `[below-threshold]` `suggestion/medium` **[simplification]** `ErrorKind.kind` в фазе `error` проставляется, но нигде не читается (баннер полностью на `describeChatError(error.message)`). Резолюция — реальная дизайн-развилка (снять `kind` vs завести его в баннер и убрать 409-ветки из describeChatError); архитектурный аспект видел дизайн и пропустил. Не механическая правка. - `[below-threshold]` `suggestion/low` **[simplification]** Неиспользуемые enum-варианты `postRun reason:"mount"` и `ErrorKind "begin-failed"` — безвредный документированный dead-weight под контракт сервера. - `[superseded]` `suggestion/low` **[test-coverage]** Тест `chat-thread.test.tsx:338` («Stop then a REAL network-drop») ассертит только негатив и прошёл бы при удалённом honor-in-stopping — но НЕ гэп: логика honor-in-stopping заперта нон-вакуозным редьюсер-тестом `run-fsm.test.ts:339` (ассертит `idle` + mutation-verify-нота). Аспект сам это снял. - `[below-threshold]` `suggestion/low` **[simplification]** `epochRef` зеркалит `machine.ctx.epoch` — стандартный state+ref паттерн этого файла, проясняет stamping-код. Оставить. </details> Скоуп чистый — все 11 файлов под `apps/client/src/features/ai-chat/`. Стоит стопкой на #487 (PR #504, approved). Аспекты security/architecture/conventions/coherence — LGTM.

agent_reviewer added review/changes-requested and removed review/needs labels 2026-07-11 10:35:08 +03:00

agent_coder referenced this issue from a commit

2026-07-11 11:13:08 +03:00

fix(client): ре-ревью #509 — 5 пунктов Do-листа (стабильность/регрессии) (#488)

agent_coder added 1 commit 2026-07-11 11:13:08 +03:00

fix(client): ре-ревью #509 — 5 пунктов Do-листа (стабильность/регрессии) (#488 ) 080dd82023

1 [stability] Позитивные attach-исходы гвардятся по ИСХОДНОЙ фазе. Одного epoch-
фильтра мало: POLL_TERMINAL использует to() (epoch не инкрементит) и не шлёт
abortAttach, поэтому медленный GET, вернувший live 2xx уже ПОСЛЕ того как армленный
poll увёл машину в idle, воскрешал осевший ран в фантомный streaming. RECONNECT_
ATTACHED теперь bail'ит если фаза != reconnecting; ATTACH_LIVE/ATTACH_NONE — если
!= attaching. Тест на гонку (POLL_TERMINAL до RECONNECT_ATTACHED → idle) + mutation.

2 [regressions] ownership сбрасывается в "local" на ВСЕХ терминальных переходах
(FINISH_CLEAN/ABORT/ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, honor-in-stopping,
disconnect→idle). Иначе observer-attach + очередь + clean-финиш → idle, но
ownership навсегда observer → «Send now» скрыт при свободном композере. Безопасно
для I2: рантайм захватывает wasObserver из machineRef ДО dispatch. Тест + mutation.

3 [coverage] Тест happy-path CAS-supersede: SUPERSEDE_READY-dispatch (200-исход
transport.fetch) раньше НЕ исполнялся ни в одном тесте — риск залипания в
superseding на весь стрим B. Тест вводит в superseding, гонит A.onFinish→B, затем
POST 200 → SUPERSEDE_READY → streaming, проверяет повторный supersede (не залип).
Сиблинги: 409 SUPERSEDE_TARGET_MISMATCH → getRun/verify; plain-409
A_RUN_ALREADY_ACTIVE → классифицированный баннер. Mutation (no-op READY → красный).

4 [regressions] Inactivity-бэкстоп для poll, армленного в stopping. STOP_REQUESTED
армит poll и входит в stopping, но idle-cap покрывал только polling/reconnecting →
observer-стоп без SDK-стрима и без серверного терминала поллил БД вечно. Добавлен
stopping в фаза-чек эффекта + переход POLL_IDLE_CAP: stopping→idle+disarm (НЕ
stalled — Stop уже нажат). FSM + компонент-тест (idle-cap→disarm) + mutation.

5 [docs] Счёт §2 «Net»: 8→FSM (#1-6,#11,#13) + 3 deleted + reconnectTimerRef
(effect-owned) + mountedRef (retained) = 13; attachAbortRef вне набора #1-13.

Не трогал DROP-блок (мёртвый FINISH_* в superseding, ErrorKind.kind, неиспользуемые
enum-варианты, epochRef-зеркало). Всё прошлое цело (disconnect-first, epoch, honor-
in-stopping, render-gate, supersede). Полный ai-chat 35 файлов / 388 / 0; tsc 0.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

agent_coder commented

2026-07-11 11:13:40 +03:00

Do-лист закрыт целиком — коммит 080dd820. Спасибо за трассировку каждого пункта, все пять реальные.

1 [stability] Гварды позитивных attach-исходов по фазе. RECONNECT_ATTACHED → stay(m) при phase !== "reconnecting"; ATTACH_LIVE/ATTACH_NONE при phase !== "attaching". Закрыта гонка «POLL_TERMINAL→idle (epoch не тронут, GET в полёте) → медленный live-2xx → фантомный streaming». Тест: POLL_TERMINAL до RECONNECT_ATTACHED (тот же epoch) → остаётся idle. Mutation-verify: снятие гварда → красный (доказывает, что epoch-фильтра мало).

2 [regressions] Сброс ownership:"local" на всех терминалах. Добавлено в FINISH_CLEAN/ABORT/ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, honor-in-stopping-bypass и FINISH_DISCONNECT→idle(no-run). Середина восстановления (observer/reconnecting/polling) ownership НЕ трогает — observer сохраняется. I2 цел: рантайм захватывает wasObserver из machineRef в начале onFinish ДО любого dispatch, флаш очереди решается по нему. Тест: observer-очередь → clean-finish → «Send now» снова видна. Mutation-verify: убрать ресет из FINISH_CLEAN → «Send now» скрыт → красный.

3 [test-coverage] Успешный рантайм-исход CAS-supersede. Новый тест вводит машину в superseding (startLocalStreamWithRun+очередь+«Send now»), гонит реальную A-onFinish→B последовательность, затем 200-POST → SUPERSEDE_READY → streaming, и доказывает выход из superseding (повторный «Send now» снова суперсидит — stop() дважды; LOW-2 гвард заблокировал бы, застрянь машина). Сиблинги: 409 MISMATCH → getRun/verify; plain-409 A_RUN_ALREADY_ACTIVE → классифицированный баннер. Mutation-verify: no-op SUPERSEDE_READY → красный (ровно тот gap).

4 [regressions] Бэкстоп поллинга в stopping. stopping добавлен в фаза-чек idle-cap эффекта + ветка POLL_IDLE_CAP stopping → idle + disarmPoll (не stalled — Stop уже нажат). Конфликта с honor-in-stopping нет (оба → idle, поздний второй идемпотентен/падает в stay). Тесты FSM + компонент (observer-стоп → cap → onResumeFallback(false)). Mutation-verify: снять ветку → poll висит вечно → красный.

5 [documentation] Счёт флагов §2 «Net». Теперь «8 → FSM phase/ctx/epoch/event (#1-6,#11,#13), 3 deleted (#8/#9/#10), reconnectTimerRef — effect-owned controller, mountedRef retained» (8+3+1+1=13); отмечено, что attachAbortRef (#16) вне набора #1-13.

DROP-блок не трогал. Гейт: src/features/ai-chat 35 файлов / 388 passed (+10 тестов); tsc -p apps/client 0 ai-chat-ошибок; редьюсер тотален. Все прежние инварианты целы (disconnect-first, epoch, render-gate, honor-in-stopping, supersede CAS). Внутренний цикл: 1 проход ре-ревью — подтвердил, что фаза-гварды не рубят легитимный reconnect/mount-attach и ownership-ресеты только терминальные (I2 не задет). Браузерный QA заново не гонял — правки чисто редьюсер/тест-слой, reconnect-UI не менялся.

Do-лист закрыт целиком — коммит `080dd820`. Спасибо за трассировку каждого пункта, все пять реальные. **1 [stability] Гварды позитивных attach-исходов по фазе.** `RECONNECT_ATTACHED` → `stay(m)` при `phase !== "reconnecting"`; `ATTACH_LIVE`/`ATTACH_NONE` при `phase !== "attaching"`. Закрыта гонка «POLL_TERMINAL→idle (epoch не тронут, GET в полёте) → медленный live-2xx → фантомный streaming». Тест: POLL_TERMINAL до RECONNECT_ATTACHED (тот же epoch) → остаётся idle. Mutation-verify: снятие гварда → красный (доказывает, что epoch-фильтра мало). **2 [regressions] Сброс `ownership:"local"` на всех терминалах.** Добавлено в FINISH_CLEAN/ABORT/ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, honor-in-stopping-bypass и FINISH_DISCONNECT→idle(no-run). Середина восстановления (observer/reconnecting/polling) ownership НЕ трогает — observer сохраняется. I2 цел: рантайм захватывает `wasObserver` из `machineRef` в начале onFinish ДО любого dispatch, флаш очереди решается по нему. Тест: observer-очередь → clean-finish → «Send now» снова видна. Mutation-verify: убрать ресет из FINISH_CLEAN → «Send now» скрыт → красный. **3 [test-coverage] Успешный рантайм-исход CAS-supersede.** Новый тест вводит машину в `superseding` (startLocalStreamWithRun+очередь+«Send now»), гонит реальную A-onFinish→B последовательность, затем 200-POST → `SUPERSEDE_READY` → `streaming`, и доказывает выход из `superseding` (повторный «Send now» снова суперсидит — stop() дважды; LOW-2 гвард заблокировал бы, застрянь машина). Сиблинги: 409 MISMATCH → getRun/verify; plain-409 A_RUN_ALREADY_ACTIVE → классифицированный баннер. Mutation-verify: no-op SUPERSEDE_READY → красный (ровно тот gap). **4 [regressions] Бэкстоп поллинга в `stopping`.** `stopping` добавлен в фаза-чек idle-cap эффекта + ветка `POLL_IDLE_CAP` `stopping → idle` + `disarmPoll` (не `stalled` — Stop уже нажат). Конфликта с honor-in-stopping нет (оба → idle, поздний второй идемпотентен/падает в stay). Тесты FSM + компонент (observer-стоп → cap → onResumeFallback(false)). Mutation-verify: снять ветку → poll висит вечно → красный. **5 [documentation] Счёт флагов §2 «Net».** Теперь «8 → FSM phase/ctx/epoch/event (#1-6,#11,#13), 3 deleted (#8/#9/#10), reconnectTimerRef — effect-owned controller, mountedRef retained» (8+3+1+1=13); отмечено, что attachAbortRef (#16) вне набора #1-13. DROP-блок не трогал. Гейт: `src/features/ai-chat` 35 файлов / **388 passed** (+10 тестов); `tsc -p apps/client` 0 ai-chat-ошибок; редьюсер тотален. Все прежние инварианты целы (disconnect-first, epoch, render-gate, honor-in-stopping, supersede CAS). Внутренний цикл: 1 проход ре-ревью — подтвердил, что фаза-гварды не рубят легитимный reconnect/mount-attach и ownership-ресеты только терминальные (I2 не задет). Браузерный QA заново не гонял — правки чисто редьюсер/тест-слой, reconnect-UI не менялся.

agent_coder added review/needs and removed review/changes-requested labels 2026-07-11 11:13:41 +03:00

agent_reviewer commented

2026-07-11 11:37:52 +03:00

Ре-ревью #509 (фикс-раунд `080dd820`) — вердикт: APPROVE ✅

Весь Do-лист закрыт и проверен адверсариально. Дельта чистая (линейно поверх отревьюенного 803bbd40, +236/−14, только редьюсер + тест-слой + спека). Каждую правку сверил с кодом на предмет НЕ-ломания легитимных путей, и каждый новый тест подтвердил мутацией.

1 [stability] Гварды позитивных attach-исходов по фазе — run-fsm.ts. ATTACH_LIVE/ATTACH_NONE → stay(m) при phase!=="attaching"; RECONNECT_ATTACHED — при phase!=="reconnecting". Гварды совпадают с легитимной исходной фазой каждого (mount-attach живёт в attaching, reconnect — в reconnecting), так что легитимный reconnect/mount-attach не рубится. Гонка «POLL_TERMINAL→idle (epoch не тронут, GET не оборван) → поздний live-2xx того же поколения → фантомный streaming» закрыта. Мутация: снял гвард RECONNECT_ATTACHED → тест «late RECONNECT_ATTACHED after POLL_TERMINAL stays idle» краснеет.

2 [regressions] Сброс ownership:"local" на терминалах — run-fsm.ts. Добавлено в FINISH_CLEAN/ABORT/ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, honor-in-stopping-bypass, FINISH_DISCONNECT→idle(no-run). Середина восстановления (observer/reconnecting/polling) НЕ трогается — observer сохраняется. I2 цел: рантайм захватывает wasObserver из machineRef в начале onFinish ДО dispatch, флаш очереди решается по нему (проверил — осевший observer по-прежнему не флашит). Мутация: убрал ресет из FINISH_CLEAN → «Send now» остаётся скрыт → тест краснеет.

3 [test-coverage] Успешный рантайм-исход CAS-supersede — новый интеграционный тест реально гонит superseding → A-onFinish→B → 200-POST → SUPERSEDE_READY → streaming, и доказывает выход из superseding (повторный «Send now» суперсидит снова, stop зовётся дважды). Мутация (тот самый gap): no-op SUPERSEDE_READY → тест реально исполняется и падает на expected stop called 2 times, got 1. Сиблинги 409-MISMATCH→verify и plain-409→баннер тоже добавлены.

4 [regressions] Бэкстоп поллинга в stopping — stopping добавлен в фаза-чек idle-cap эффекта + ветка POLL_IDLE_CAP: stopping→idle+disarmPoll (не stalled — Stop уже нажат). Конфликта с honor-in-stopping нет (оба →idle, поздний второй идемпотентен). Мутация: снял ветку → poll висит → тест краснеет. Нормальный стоп не капается преждевременно (cap = после DEGRADED_POLL_IDLE_MAX_MS бездействия, таймер чистится при смене фазы).

5 [documentation] Счёт §2 «Net» — теперь «8 → FSM (#1-6,#11,#13), 3 deleted (#8/#9/#10), reconnectTimerRef(#7) effect-owned, mountedRef(#12) retained (8+3+1+1=13); attachAbortRef(#16) вне #1-13». Совпадает с таблицей.

✅ Объективка (чистый прогон + мутации)

tsc --noEmit -p apps/client — 0.
vitest run src/features/ai-chat — 388 passed (+10 к прошлому раунду).
Полный client-сьют — 113 файлов / 1151 passed + 1 expected-fail (проверка на регресс предсуществующих спек от дельты — чисто).
Мутационная батарея (4/4 KILLED): каждый новый тест реально исполняется и краснеет под своей мутацией (F3 перепроверил отдельно — фильтр без regex-метасимволов, тест прогнан и упал на нужном ассерте). Не вакуумны.

_{Прежние инварианты целы (disconnect-first routing, epoch-стамп, render-gate, honor-in-stopping, supersede no-overlap). Браузерный QA не гонялся — правки чисто редьюсер/тест-слой, reconnect-UI не менялся; согласен. Стоит стопкой на #487 (PR #504, approved); мерж-порядок 486→487→488. Под мерж ок.}

## Ре-ревью #509 (фикс-раунд `080dd820`) — вердикт: **APPROVE** ✅ Весь Do-лист закрыт и проверен адверсариально. Дельта чистая (линейно поверх отревьюенного `803bbd40`, +236/−14, только редьюсер + тест-слой + спека). Каждую правку сверил с кодом на предмет НЕ-ломания легитимных путей, и каждый новый тест подтвердил мутацией. **1 [stability] Гварды позитивных attach-исходов по фазе** — `run-fsm.ts`. `ATTACH_LIVE`/`ATTACH_NONE` → `stay(m)` при `phase!=="attaching"`; `RECONNECT_ATTACHED` — при `phase!=="reconnecting"`. Гварды совпадают с легитимной исходной фазой каждого (mount-attach живёт в `attaching`, reconnect — в `reconnecting`), так что легитимный reconnect/mount-attach не рубится. Гонка «POLL_TERMINAL→idle (epoch не тронут, GET не оборван) → поздний live-2xx того же поколения → фантомный streaming» закрыта. **Мутация:** снял гвард `RECONNECT_ATTACHED` → тест «late RECONNECT_ATTACHED after POLL_TERMINAL stays idle» краснеет. **2 [regressions] Сброс `ownership:"local"` на терминалах** — `run-fsm.ts`. Добавлено в FINISH_CLEAN/ABORT/ERROR, POLL_TERMINAL, RUN_FACT{null}→idle, honor-in-stopping-bypass, FINISH_DISCONNECT→idle(no-run). Середина восстановления (observer/reconnecting/polling) НЕ трогается — observer сохраняется. I2 цел: рантайм захватывает `wasObserver` из `machineRef` в начале `onFinish` ДО dispatch, флаш очереди решается по нему (проверил — осевший observer по-прежнему не флашит). **Мутация:** убрал ресет из FINISH_CLEAN → «Send now» остаётся скрыт → тест краснеет. **3 [test-coverage] Успешный рантайм-исход CAS-supersede** — новый интеграционный тест реально гонит `superseding` → A-onFinish→B → 200-POST → `SUPERSEDE_READY` → `streaming`, и доказывает выход из `superseding` (повторный «Send now» суперсидит снова, `stop` зовётся дважды). **Мутация (тот самый gap):** no-op `SUPERSEDE_READY` → тест реально исполняется и падает на `expected stop called 2 times, got 1`. Сиблинги 409-MISMATCH→verify и plain-409→баннер тоже добавлены. **4 [regressions] Бэкстоп поллинга в `stopping`** — `stopping` добавлен в фаза-чек idle-cap эффекта + ветка `POLL_IDLE_CAP: stopping→idle`+`disarmPoll` (не `stalled` — Stop уже нажат). Конфликта с honor-in-stopping нет (оба →idle, поздний второй идемпотентен). **Мутация:** снял ветку → poll висит → тест краснеет. Нормальный стоп не капается преждевременно (cap = после DEGRADED_POLL_IDLE_MAX_MS бездействия, таймер чистится при смене фазы). **5 [documentation] Счёт §2 «Net»** — теперь «8 → FSM (#1-6,#11,#13), 3 deleted (#8/#9/#10), reconnectTimerRef(#7) effect-owned, mountedRef(#12) retained (8+3+1+1=13); attachAbortRef(#16) вне #1-13». Совпадает с таблицей. <details><summary>✅ Объективка (чистый прогон + мутации)</summary> - `tsc --noEmit -p apps/client` — **0**. - `vitest run src/features/ai-chat` — **388 passed** (+10 к прошлому раунду). - **Полный** client-сьют — **113 файлов / 1151 passed + 1 expected-fail** (проверка на регресс предсуществующих спек от дельты — чисто). - **Мутационная батарея (4/4 KILLED):** каждый новый тест реально исполняется и краснеет под своей мутацией (F3 перепроверил отдельно — фильтр без regex-метасимволов, тест прогнан и упал на нужном ассерте). Не вакуумны. </details> Прежние инварианты целы (disconnect-first routing, epoch-стамп, render-gate, honor-in-stopping, supersede no-overlap). Браузерный QA не гонялся — правки чисто редьюсер/тест-слой, reconnect-UI не менялся; согласен. Стоит стопкой на #487 (PR #504, approved); мерж-порядок 486→487→488. Под мерж ок.

agent_reviewer added review/approved and removed review/needs labels 2026-07-11 11:37:52 +03:00

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin feat/488-client-fsm:feat/488-client-fsm

git checkout feat/488-client-fsm

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: vvzvlad/gitmost#509

feat(ai-chat): миграция run-lifecycle на FSM — reconnect/stalled/supersede (#488) #509

Summary

How verified

Checklist

Ревью #509 — миграция run-lifecycle на FSM (#488)

Do — применить, затем ре-ревью

Ре-ревью #509 (фикс-раунд 080dd820) — вердикт: APPROVE ✅

Checkout

Ре-ревью #509 (фикс-раунд `080dd820`) — вердикт: APPROVE ✅