Вопрос: что совпало, чтобы это произошло
Время: прошлое, расследование
Падает так: придумывает стройную цепочку и встаёт на «человек ошибся»
Вопрос: как развязать требования, которые дерутся
Время: будущее, проектирование
Падает так: придумывает умный механизм со скрытым состоянием
Стык односторонний: ТРИЗ включается только после доказанной причины. Иначе отсутствие приборов переименуется в красивую «изобретательскую задачу».
«Новый вред» обязан быть предъявлен одной проверяемой фразой. Не называется → противоречия нет, есть нежелание чинить.
| Болезнь метода | Чем лечится из другой половины |
|---|---|
| «5 почему» встаёт на «человек ошибся» / «не наша зона» | ИКР ломает это механически: в формуле «узла не существует, функция выполняется» винить некого — там нет места человеку |
| ТРИЗ тянет изобретать механизм | Карта условий + красный список: если условие устраняется удалением, изобретать нечего |
| «5 почему» рисует одну ветку | Четыре разделения показывают, что требование можно развести, а не выбрать одно из двух |
| ТРИЗ тянет к элегантности | АК-идеальность: ремонтопригодность и минуты на починку новичком стоят в формуле явно |
Класс закрыт: симптом воспроизведён до фикса · тест пройден после · откат существует · объявленный объём прогонов набран · факт проверен на узлах.
Противоречие растворено, а не разменяно. Проверка: после фикса оба требования выполняются одновременно? Нет, просто выбрали одно → класс вернётся.
Класс выбран замером, не на ощупь: 47 задач про доставку и раскатку + 42 смежных про синк, по 644 файлам реестра задач. Чинился многократно и возвращается.
| Шаг | Что вышло |
|---|---|
| Общий механизм | Есть: шаг apply зарегистрирован как проза, а verify читает намерение, а не факт. Отсюда буквальная строка «не проверяем автоматом» |
| Тест замещения | Посылка с исполнимой командой выкинута из серии — другой механизм |
| Контроли | «DR-оригиналы не доезжают» → в классе. Выключенный узел → не объяснился, класс подтверждён |
| Корень | У применения нет собственного прибора: apply бывает прозой, verify — намерением, а доставка засчитывается за применение |
| Развилка | Очевидный фикс уже записан в канон — и симптом вернулся. Вред предъявлен → карточка законна |
| Противоречие | Строго машинные apply/verify → посылки доказуемы, но починки на чужой ОС и с ручным шагом нельзя зарегистрировать вообще — уходят в тишину |
| Физическое | Посылка должна быть машинно-проверяемой (чтобы верить) и не обязана быть (чтобы существовать) |
| Разделение по условию | Развести не посылки, а СТАТУСЫ: проверяемая может получить applied; непроверяемая — потолок заявлено и в «раскатано» не считается |
| ИКР | Очереди непринятых посылок не существует: узел сравнивает свой факт с эталоном, расхождение САМО есть задача |
| Тримминг | Удаляются очередь и статус «доставлено» — их функцию уже несёт Syncthing. ⚠️ Человекочитаемая инструкция сохраняется, но с честным потолком |
Что ТРИЗ дала честно: pull-конвергенцию она не изобрела, это пересказ gitops. Но она сняла размен, в котором мы сидели годами: «строго машинно» против «регистрируем всё». Разделение по условию позволяет и то, и другое — по статусам, а не по посылкам.
Статус: разбор сделан, починка не начата — это отдельная сессия. Опровергающее наблюдение записано ДО починки.
Оба метода из семейства со слабой доказательной базой: обзор 2020 года по разборам в медицине нашёл улучшение только в 2 исследованиях из 21; для ТРИЗ в софте контролируемых сравнений нет вовсе. Складывая два слабо доказанных метода, мы не получаем один доказанный. Защищает не ритуал, а замер эффекта.
Дом процедуры: 05-Resources/Protocols/reglament-pyat-pochemu-koren-po-serii-sessiy.md