Вердикт живёт вечно: приёмка принимает записанное утверждение, а не заново выведенное

[gHashTag]

Часть #1090. Слабое место, найденное анализом, а не поломкой — и потому опасное.

Что не так

criterionVerdicts хранится в задаче. Раз записанный met остаётся met, что бы дальше ни случилось с кодом. Пчела может быть отклонена, что-то переписать, задача уйдёт на повторное ревью — и старые вердикты по неизменённым критериям останутся, хотя выводились они против другого состояния дерева.

Приёмка спрашивает acceptanceBlockReason(criteria:recorded:) и получает ответ, собранный из утверждений разного возраста. Ни одно из них не проверяется на актуальность.

Литература называет это прямо: сохранённое состояние не есть проверка — возобновление процесса, где записано «тесты прошли», повторяет записанное утверждение, не устанавливая заново, что оно относится к тому коду, который сливают.

Та же болезнь в моём собственном поведении за эту ночь: я закрывал звено по первому зелёному прогону, и трижды это оказывалось неверно.

Готово, когда

• Вердикт несёт отпечаток состояния, против которого он выведен (дерево задачи на момент ревью).
• Приёмка отвергает вердикт, выведенный против другого состояния, и называет такие критерии отдельно от непроверенных: «выводился против другого кода» это не «не проверяли».
• Повторное ревью после изменений не наследует старые вердикты молча.
• Проверка ломается, если снять привязку к состоянию.

Границы

rings/SR-00/QueenCriterionVerdict.swift и rings/SR-00/QueenDelegation.swift

[gHashTag]

Закрыто при пересчёте: работа сделана, задача осталась открытой.

По дереву:

• DelegatedTask.treeStateFingerprint есть, с комментарием, ссылающимся на Вердикт живёт вечно: приёмка принимает записанное утверждение, а не заново выведенное #1126;
• QueenCriterionVerdict имеет состояние stale;
• политика приёмки принимает verdictTreeState и currentTreeState и метит вердикт, выведенный против другого состояния;
• в tests/swift/ChatSSEEndToEndTest.swift это покрыто проверками (строка ~4678).

Последствие того, что задача оставалась открытой, стоит записать: Королева выбирала именно её при каждом запуске и предлагала человеку уже сделанную работу.