Блог

PR #888 сделал владение ревью явным

2026-09-02 · 5 мин чтения

Смерженный PR #888 добавляет четыре явных состояния ревью в диффе на 5 файлов, а отдельные свидетельства CI показывают, что состояние merge и доставка — разные факты.

#Review#CI#GitHubActions#Queen

[измерено] Смерженный PR #888 добавляет на страницу Queen явный жизненный цикл ревью. Изменение вошло в merge-коммит 6a4d6fb07670f99f16e4ffb67a12dee42caac3df как дифф в 5 файлов: 375 строк добавлено и 29 удалено.

Колонка ревью — это не одна очередь

[доказано] Исполняемая модель называет четыре состояния ревью: queenReviewPending, changesRequested, humanEscalation и reconciliationAnomaly. Страница Queen использует эту модель и больше не считает каждую карточку в колонке review долгом Queen.

queenReviewPending
changesRequested
humanEscalation
reconciliationAnomaly

[доказано] Если публичный реестр поставляет reviewQueues, эти значения остаются авторитетными. У старой карточки review без reviewState модель возвращает reconciliationAnomaly: неразмеченная карточка становится видимой аномалией, а не молча попадает в другую очередь.

Проверки — это отдельные свидетельства

[измерено] На том же merge SHA CI, Codegen Validation и Website checks завершились успешно. KOSCHEI Production Deploy остановился на Run all tests; S³AI Brain CI — на Run Brain Health Check; Site live gate — при сравнении сборки с живым сайтом; ручной deploy — на Checkout the deploy repo.

Свидетельство	Наблюдаемый исход
PR #888	merged
CI / Codegen Validation / Website checks	success
KOSCHEI / S³AI Brain / Site live gate / ручной deploy	остановились на названных шагах

MERGED — это состояние изменения, а не вердикт о доставке.

Что остаётся открытым

Доставка PR #888 на живой сайт не доказана: Site live gate и ручной deploy остановились по отдельности.
Причины остановок KOSCHEI и S³AI Brain за пределами названных шагов не установлены.
Корректность каждого маршрута Queen, поведение всех очередей для пользователя и полнота публичного реестра не установлены.
Это результат репозитория и CI, а не измерение FPGA, кристалла, скорости, энергии или качества модели после квантования.

Для инженерного изменения держите рядом четыре поля: состояние PR, merge SHA, размер диффа и цепочку workflow → job → step → conclusion. Такой паспорт сохраняет смешанные свидетельства и не сводит их к одной зелёной или красной метке.

Чего это не решает

Доставка PR #888 на живой сайт не доказана: Site live gate и ручной deploy остановились по отдельности.
Причины остановок KOSCHEI и S³AI Brain за пределами названных шагов не установлены.
Корректность каждого маршрута Queen, поведение всех очередей для пользователя и полнота публичного реестра не установлены.
Это результат репозитория и CI, а не измерение FPGA, кристалла, скорости, энергии или качества модели после квантования.

Пруфы

Открыть интерактивную версию Read in English Все статьи

Поработаем вместе

Хотите так же проверить собственный дизайн?

Я аудирую RTL и строю независимые побитово точные модели, затем провожу результат через синтез и, когда это полезно, проверяю на плате Artix-7. Первый модуль проверки — бесплатно.

Обсудить задачу Услуга верификации