U-01 · Находки узкого прогона и сверка предсказаний#

Статус: прогон закончен · 2026-09-18 · два ADR, три применённых документа
Предсказания — шесть безусловных, закоммичены до первой строки о кейсе

Счёт: четыре попадания, два промаха#

«Не проверено» в этом списке невозможно по построению — все шесть были безусловными.

	Предсказание	Исход	Где
У1	Ни одного нового документа решения	Попал	Прогон закончен тремя существующими
У2	MAJOR не более чем одному из двух	Промах	Обоим. Разбор ниже
У3	Два решения запишутся одним ADR	Попал	ADR-0002
У4	Степень сверки не одна на весь переход	Попал	Счётная постоянно, выборочная постоянно, сплошная — один раз
У5	Обратимость не полная, и это законный исход	Попал	Передача ПДн — третья степень, заменена способом жить с ошибкой
У6	Кроме двух названных, ничего применять не придётся	Промах	Пришлось применить `D-07` — ADR-0001

Безусловный список отработал так, как задумывался. В прошлом три из шести ушли в «не проверено» и ответа не дали; здесь ответ дали все шесть, и два из них — отрицательный.

Промах У2 — главный результат прогона#

Оба документа, ни разу не применявшиеся, при первом применении потребовали MAJOR.

`D-08` · ось обратимости не различает двух вещей#

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

Ось «обратимость на каждом шаге» написана так, будто откат возвращает мир в прежнее состояние. Разницы нет ни в оси, ни в формах, ни в эвристиках. Это меняет исход: точка невозврата оказалась на первой переданной когорте, а не на договорной дате, и заметить это удалось седьмым вопросом раздела 1, а не осью.

Класс: MAJOR. Различение добавляет ось и меняет выбор формы там, где приёмник не наш.

`D-09` · степень обратимости требуется одна, а их три#

Обязательная строка записи называет степень обратимости в единственном числе. Здесь одно изменение состоит из частей с разной необратимостью:

Часть	Степень
Код и маршрутизация	Полная
Флаг и наши копии	Условная
Передача ПДн покупателю	Отсутствует

Назвать одну значило бы соврать в любую сторону. D-09 даёт таблицу состояния мира по строкам — и останавливается в шаге от того, что строки и есть части, по которым степень различается.

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

Что это значит для вывода E-03 о сходимости#


Документов в наборе	11
Применялись хоть раз до U-01	7
Применены впервые в U-01	2
Из них потребовали MAJOR	2
Не применялись до сих пор	2 — `D-05`, `D-11`

«Форма сошлась» — вывод о семи документах, проверенных прогонами. У двух первых из оставшихся четырёх первое же применение дало по MAJOR каждому. Это не опровергает сходимость: она измеряется повторными применениями, а здесь были первые. Но она и не распространяется на непроверенное — и теперь известно, чего стоит проверка: два MAJOR на два документа.

Промах У6 — узкий прогон не остался узким#

Договор говорит: покупатель обслуживает клиентов проданного направления. 1,1 млн клиентов держат полисы обоих, и договор этого случая не разрешает — он его не предвидел. Линию пришлось выбрать, а выбор линии данных — это D-07.

Соблазн объявить спорную зону входом был, и анти-подгонка его перекрыла. Правило записано в том же файле, до прогона: «если придётся выбрать то, что предполагалось прочитать в готовом виде, это промах, а не уточнение области».

Промах говорит не о документах, а о планировании. D-08 в шапке пишет прямо: «не решает — надо ли делить данные и по какой линии, это D-07». Планируя узкий прогон по D-08 и D-09, эту строку я не прочитал. Граница между документами была записана; ошибка была в том, что её не проверили перед планированием.

Двенадцать находок#

Про метод#

Правило о связанных решениях применено впервые и сработало. Введено в мастер-шаблон v5.0 по трём наблюдениям; здесь общий контекст оказался действительно общим — даты, писатели, сверка, партнёры, — а записи разошлись по дисквалификаторам. Сведение не было натяжкой.
Общее у двух решений оказалось не тем, что ожидалось. Мастер-шаблон называет парой «миграция и выкат» с общим окном, откатом и точкой невозврата. Окно и дата действительно общие; точка невозврата и откат — нет: у переноса она на первой когорте, у кода — на дате, и необратимость у них разной природы.
Безусловные предсказания дали ответ все шесть. Условные в прошлый раз дали три из шести. Цена — предсказание можно провалить заметно, и два провалились.

Про `D-07`#

В реестре копий появилась строка, которой не было ни в одном применении: копия у другой организации, о которой нельзя узнать, дошло ли до неё изменение.
Дисквалификатор о размазывании защищаемых данных сработал и оказался неустранимым — покупатель обязан знать, кого обслуживает. В такой ситуации он не отменяет линию, а задаёт направление: минимизировать передаваемое.
Спорным оказался не клиент, а обращение. Смена единицы передачи с клиента на полис сузила задачу в двенадцать раз: 1,1 млн спорных клиентов превратились в 1,2 млн непривязанных обращений, и остаток закрылся правилом, а не переговорами.

Про `D-08`#

Связка из трёх форм, описанная в документе, сработала дословно: двойное чтение со сравнением как проверка → копия плюс догон как перенос → по ключу когортами как порядок.
Цена сплошной сверки изменила решение, а не деталь исполнения — ровно как документ и предупреждает. Около суток на вложения означает, что сплошная будет один раз, и она израсходована на первой когорте.
Точка невозврата нашлась вопросом, а не осью — см. промах У2.
Дисквалификатор о неизвестных писателях сработал и стоит дороже остальных: трое неопознанных разбираются до начала, и разбор может сдвинуть то, что сдвинуть нельзя, — договорную дату.

Про `D-09`#

Строка «внешние контракты» в состоянии мира впервые оказалась главной. 22 партнёра получают вебхуки, и обещания совместимости им никогда не давалось: интерфейс работает по факту. D-11 назвал бы это ячейкой «ничего не знаем — без гарантий», и это ровно та ячейка, в которую интерфейс попадает сам.
Необратимое действие и есть предмет перехода. Дисквалификатор «необратимое выполняется раньше, чем выкат признан удачным» обычно отодвигает письмо или списание. Здесь необратимое — сама передача, отодвинуть её за подтверждение означает перестроить весь порядок, и это единственная доступная защита.

Что прогон не дал#

Проверки гипотезы о жанре. У1 попал — новых документов не потребовалось, — и это было признано заранее: узкий прогон выбирался ради D-08 и D-09.
D-05 и D-11 остаются неприменёнными. Два из одиннадцати.
Повторного применения D-08 и D-09. Сходимость измеряется повторами; здесь были первые применения, и они дали по MAJOR.
Ничего о том, что происходит после передачи. Обязательства перед клиентом, чьи данные у приёмника, проверить нечем. Записано как последствие и как кандидат в реестр проблем: граница, по обе стороны которой разные организации, — тема, о которой набор не знает ничего.