Перейти к содержанию

E-03 · Находки прогона и сверка предсказаний#

  • Статус: прогон закончен · 2026-09-18 · шесть этапов, пять ADR
  • Зачем был прогон: первые два проверяли покрытие и оба нашли дыры. Этот проверял форму
  • Предсказания записаны до выбора темы; тему выбирали два независимых агента

Часть 1 · Главный результат#

Прогон не потребовал ни одного нового документа решения. Впервые из трёх.

Прогон Новых документов потребовал MAJOR задетым документам
E-01 · бронирование — (набора ещё не было) 14 правок
E-02 · лента 2 (D-06, D-03-остаток) 5
E-03 · учёт товара 0 1

Форма сошлась. В плане ревизии E-02 записано: если третий кейс снова даст MAJOR всем документам, форма не сходится. Он дал один.

Часть 2 · Сверка шести предсказаний#

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

Предсказание Исход Где в кейсе
Пр-1 Новый документ окажется границей, обещанием или необратимостью Не проверено Новых документов не потребовалось вовсе
Пр-2 Лимитирование остаётся карточкой Не проверено Кейс лимитирования не коснулся
Пр-3 Модель доступа остаётся карточкой Не проверено Кейс выбора модели доступа не коснулся
Пр-4 Вопрос о доступе возникнет на границе сам Промах ADR-0001: границы резались, вопрос не возник ни разу
Пр-5 MAJOR не более чем двум документам Попал Часть 3
Пр-6 Понадобится ответ «пропускать или запрещать» Попал ADR-0004

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

Три «не проверено» — это цена честного выбора темы#

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

Урок для метода предсказаний: условное предсказание проверяется только кейсом, выбранным под него, — а такой кейс уже не проверка. Безусловное предсказание (Пр-5) сработало и оказалось единственным, давшим ответ на главный вопрос.

Пр-4 · промах, и его надо читать осторожно#

Условие сработало: ADR-0001 резал границы, четыре кандидата, шесть дисквалификаторов. Предсказанный вопрос — «где окажется объект, по которому проверяется право» — не возник ни разу.

Возник другой, соседний: класс защищаемых данных рассекается линией, и режим защиты держат три владельца вместо одного. Это дисквалификатор D-02, уже записанный, и он сработал.

По тексту предсказания вывод однозначен: «Тогда правка П6 не нужна, и её цена в MAJOR сэкономлена».

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

Пр-6 · попал, и обогатился#

ADR-0004: проверяющий (ядро) недоступен, ответ понадобился, и отсутствие ответа было замечено — нулевой вариант, то есть сегодняшнее поведение системы, отсечён дисквалификатором о молчаливой подмене.

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

Направление отказа — свойство операции и её инварианта, а не системы. Выдача блокируется, потому что её инвариант держит полка и непроверенная посылка не должна с полки уйти. Приёмка пропускается, потому что отказ останавливает привоз целиком.

Часть 3 · Что требует правки#

Документ Находка Класс
D-06 Условие пересмотра без парного дисквалификатора: «режим включался чаще, чем ожидалось — значит это норма» срабатывает после, а здесь известно замером на входе MAJOR — новый дисквалификатор отсекает вариант
D-02 Связность нельзя посчитать первой в системе без модулей; «час работы с трекером» — три дня с репозиторием MINOR · пограничный, см. ниже
D-07 ↔ D-01 Параметр (граница горячего) выбран на этап раньше вопроса, от которого зависит MINOR — нужна перекрёстная ссылка, одна из двух сторон
D-10 Шестая проверка отменяет решение целиком, но стоит в конце, дублируя четвёртый вопрос раздела 1 MINOR — порядок, не содержание
DATA-16 Сверка с внешним арбитром, которого надо спрашивать за человеко-часы, не покрыта: все шесть эшелонов карточки — про сверку копий внутри системы Карточка

Пограничный случай D-02 назван пограничным намеренно. Правило «связность считается первой» при буквальном применении к системе без модулей не блокирует решение — данные есть, просто считаются по кандидатам, — поэтому прежний исход не меняется, и это MINOR. Но утверждение «час работы» неверно на порядок, а эвристика «нет данных — не решать» стоит рядом и легко читается как запрет. Вердикт Пр-5 устойчив к этой оценке: даже если D-02 признать MAJOR, их станет два, и предсказание всё равно попадает.

Часть 4 · Двадцать находок по этапам#

Границы (ADR-0001)#

  1. Три дисквалификатора D-02 сработали на кейсе впервые: общая таблица журнала, класс защищаемых данных, архитектурный квант. Два последних добавлены по итогам исследования и до сих пор не испытывались — они не декоративные.
  2. Дисквалификатор о кванте отсёк требование, а не разрез. Склад 99,9 % и пункт 99,5 % в одном кванте дают 99,5 % на обоих; цель понижена и записана решением, а не оставлена расхождением между документами.
  3. Возражение агента А не подтвердилось, и различие важное: нет истории происхождения (почему таблица появилась), но история изменений за нужный период есть и полна. D-02 спрашивает вторую. Все девять вопросов заполнились.
  4. Связность измеряет устройство общего модуля, а не положение линии. 71 % против порога 80 % объяснились тем, что журнал типизирован по операциям: 24 % коммитов трогают предметный модуль и журнал одновременно.
  5. Кандидат с лучшей связностью не выбран. 86 % у варианта C достигнуты ценой непроведённой границы — журнал остаётся общим. Более высокое число получено за счёт невыполненной работы.
  6. Силы интеграции дали количественный ответ, почему модули, а не сервисы: все четыре оплачиваются нулём внутри монолита и дорого между сервисами. Это не «мы не готовы», а счёт в четырёх строках.

Данные (ADR-0002)#

  1. Реестр копий нашёл две копии, которые никто копиями не считал: локальная очередь терминала (живёт часами, «всё равно уедет») и бумажный акт выдачи с подписью — вне системы, с теми же ПДн, на год дольше журнала.
  2. Решил класс защищаемых данных, а не силы разделения. Пять сил из шести дали ноль; перевесила одна, и перевесила в сторону сужения, а не разделения.
  3. Сверка нужна там, где миграции нет. Три степени сверки записаны в D-08, куда этот кейс не заходил; D-07 даёт реестр копий и источник порядка, но не даёт вопроса «чем и как часто сверяем».
  4. Журнал не ловит молчаливое расхождение по построению. Он фиксирует отсканированное; коробка, переставленная молча, следа не оставляет. Журнал ловит противоречия в потоке и объясняет расхождение, когда оно найдено, — но не находит его.

Хранилище (ADR-0003)#

  1. Матрица не заполнялась впервые за три прогона. Ветка мастер-шаблона «дисквалификация оставила один вариант» введена в v4.0 и до сих пор не испытывалась.
  2. Рыночный слой не понадобился ни строкой. Десять продуктов не дошли до сравнения: отсеклись не свойствами продукта, а тем, кто будет его эксплуатировать. Дата съёмки указана и не использована.
  3. Обе «осторожности» D-01 сработали. Соотношение у хранилища оказалось перевёрнутым: 450 записей на чтение. Объём-параметр оказался выбран не тем критерием.
  4. D-07 предупреждал ровно об этом — «граница горячего подобрана на глаз и уезжает» — и предупреждение не помогло: параметр всё равно выбран по единственному числу, которое было под рукой.

Офлайн (ADR-0004)#

  1. Третий вопрос D-06 решил больше остальных, и ответ у него физический. Инвариант выдачи держит полка; инвариант приёмки не держит никто. Отсюда вся асимметрия.
  2. D-06 отвёл себя по собственному правилу и остался полезен. Это не «применим и бесполезен», которого ждали от D-04 и который ни разу не повторился, а обратное: применим, отводит себя, даёт результат.
  3. Обязательная строка D-06 «как путь будет исполняться регулярно» впервые не требует работы: путь исполняется ежедневно на 108 пунктах и отказать от неиспользования не может.

Цели (ADR-0005)#

  1. Худший исход, названный в D-10, оказался статус-кво системы. «Нулевой вариант, которому приписали свойства первого» — обещание есть, измерителя нет — работает одиннадцать лет.
  2. Цель отменена расчётом, а не спором. Суточное измерение уровня — около 96 000 человеко-часов в квартал, в тринадцать раз дороже полной инвентаризации. Недельное — 41 % нынешней цены при непрерывном измерении.
  3. Инвентаризация переназначена из измерителя в калибровку. Без неё смещение выборки неизвестно: кладовщик, получивший наряд на 2–3 ячейки, выберет удобные.

Часть 5 · Судьба четырёх отложенных правок#

Отложены развилкой П9·B именно затем, чтобы кейс их подтвердил или отклонил.

Правка Предсказание Исход Что делать
П4 · порог «три исключения» в SEC-04 Пр-3 Не проверено Внести по рекомендации A. Кейс не высказался
П5 · три уточнения в EDGE-06 Пр-2 Не проверено Внести по рекомендации C. Кейс не высказался
П6 · вопрос о доступе в D-02 Пр-4 Промах Не вносить. Вернуть в отложенные до кейса, где объектная авторизация есть
П7 · направление отказа в карточки Пр-6 Попал Вносить, и обогащённым: направление — свойство операции и её инварианта, а не системы

Часть 6 · Что прогон не дал#

  • Проверки гипотезы о жанре. Главное предсказание не сработало условием: новых документов не потребовалось. Это лучший из возможных ответов на вопрос о покрытии и никакой ответ на вопрос о жанре.
  • Ни одного [замер] по доле расхождений, ловимых потоком. Ячейка осталась пустой и различающей; закрыть её можно только запустив измерители.
  • Проверки D-08, D-09, D-11, D-04, D-05, D-03. Шесть документов из одиннадцати кейс не задел, и это было объявлено на входе, до первого ADR. D-03 предполагался «применится и кончится умолчанием» — не применился вовсе.
  • Второго прогона третьей стадии. Система под изменением по-прежнему не испытана ни одним кейсом: D-08 и D-09 написаны и не проверены.