diff --git a/docs/architecture/05-decisions-log.md b/docs/architecture/05-decisions-log.md index e938236e..c6f4e1a9 100644 --- a/docs/architecture/05-decisions-log.md +++ b/docs/architecture/05-decisions-log.md @@ -39,7 +39,7 @@ > далёк в обоих случаях, вывод приёмки не меняется, но в каноне стоит число из гейта, а не из грепа. > ⚠ **Эррата 02.09-а (D39.182, «три блокера приёмки закрыты») — у ТРЕТЬЕГО блокера не осталось носителя.** Заголовок и §1 ноты держат счёт «3 блокера», но отчёт пака называет сегодня только два: ревизия доков 02.09 сняла из `backend/docs/MONEY_HONESTY_REPORT.md` разделы «Сверка с заказом по пунктам» и «ПРИЁМКА: три блокера и пять дофиксов» (проверка: греп `^## 9.11` и `^## 1\.` по файлу — пусто, при живом `^## 6.2`). **Третий блокер — вердикт «предъявлено» поверх неработающего пути:** в снятом §1 отчёта вердикты **A0** и **A6** стояли «предъявлено» на НЕПОЛНОЙ проверке и были сняты вместе с блокером 2, а пере-предъявлены посадками `TestAHealthyGlossaryPassIsNotReportedAsALoss` и `TestTheCONSENTGateSeesAnInPlaceSourceEdit` (грепаются по `backend/`). Дословный текст снятых разделов — `git show bd2077b:backend/docs/MONEY_HONESTY_REPORT.md`. Тело ноты не переписывается (D23.3). -> ⚠⚠ **Эррата 06.09-и (`D39.212` п.2/п.5/п.7 · `D39.213` п.6) — ЧЕТЫРЕ УТВЕРЖДЕНИЯ О ЧУЖОЙ РАБОТЕ, ИСТОЧНИК КОТОРЫХ — ПИСЬМО, А НЕ НОСИТЕЛЬ. Указал веер верификатора; статус проставляю я.** **(а)** «Зона ОТКАЗАЛАСЬ» на моё предложение (`D39.212` п.5) · «зона поймала ту же ошибку ОДНОВРЕМЕННО» (п.7) · «зона наткнулась на ту же ложную пробу НЕЗАВИСИМО» (`D39.213` п.6). Довод в зонных журналах есть, а вот ОДНОВРЕМЕННОСТЬ и НЕЗАВИСИМОСТЬ носителя не имеют: я взял их из канала. ⇒ **помечаю как сказанное зоной в канале, а не как установленное.** Утверждения о чужом ДЕЙСТВИИ ещё проверяемы по дереву; утверждения о чужом СОВПАДЕНИИ ВО ВРЕМЕНИ — почти нет, и потому их нельзя писать в акт тем же тоном. ⚠ Класс тот же, что 06.09-ж(б) и снятая клауза 06.09-д(в): **величина или факт из письма, поданные как из носителя** — третий и четвёртый раз за смену. **(б) А вот п.2 «снятие гварда проходило батарею ЗЕЛЁНОЙ» — ПРОВЕРЕН ЗАМЕРОМ, а не помечен.** Мутировал гвард в `if false` и прогнал пакет `runs` с ПРОПУЩЕННЫМ новым пином (`-skip`): **зелено, `exit=0`** ⇒ утверждение верно, без пина дефект не ловил никто. ⛔ **Но честности ради: из трёх моих прогонов этой мутации ПЕРВЫЙ дал КРАСНОЕ (48.8 с), и я едва не записал «батарея уже ловила это» — находку с ОДНОГО прогона.** Третий дал зелень, красное не воспроизвелось, лога первого я не сохранил ⇒ причина не установлена. Зарегистрированный флейк того же симптома есть (`PD-420`), но он в ДРУГОМ пакете, и приписывать ему я не стану. ⚠ Урок в свою сторону: **один красный прогон — не свойство, а наблюдение; я требую этого от зон и сам чуть не нарушил на проверке собственного акта.** +> ⚠⚠ **Эррата 06.09-и (`D39.212` п.2/п.5/п.7 · `D39.213` п.6) — ЧЕТЫРЕ УТВЕРЖДЕНИЯ О ЧУЖОЙ РАБОТЕ, ИСТОЧНИК КОТОРЫХ — ПИСЬМО, А НЕ НОСИТЕЛЬ. Указал веер верификатора; статус проставляю я.** **(а)** «Зона ОТКАЗАЛАСЬ» на моё предложение (`D39.212` п.5) · «зона поймала ту же ошибку ОДНОВРЕМЕННО» (п.7) · «зона наткнулась на ту же ложную пробу НЕЗАВИСИМО» (`D39.213` п.6). Довод в зонных журналах есть, а вот ОДНОВРЕМЕННОСТЬ и НЕЗАВИСИМОСТЬ носителя не имеют: я взял их из канала. ⇒ **помечаю как сказанное зоной в канале, а не как установленное.** Утверждения о чужом ДЕЙСТВИИ ещё проверяемы по дереву; утверждения о чужом СОВПАДЕНИИ ВО ВРЕМЕНИ — почти нет, и потому их нельзя писать в акт тем же тоном. ⚠ Класс тот же, что 06.09-ж(б) и снятая клауза 06.09-д(в): **величина или факт из письма, поданные как из носителя** — третий и четвёртый раз за смену. **(б) А вот п.2 «снятие гварда проходило батарею ЗЕЛЁНОЙ» — ПРОВЕРЕН ЗАМЕРОМ, а не помечен.** Мутировал гвард в `if false` и прогнал пакет `runs` с ПРОПУЩЕННЫМ новым пином (`-skip`): **зелено, `exit=0`** ⇒ утверждение верно, без пина дефект не ловил никто. ⚠ **Усилено 06.09 по требованию верификатора: сначала здесь стояло «2 из 3», и это была АСИММЕТРИЯ** — красный прогон я отбросил как наблюдение, зелёный принял как свойство, оба из одной серии. Прогнана серия из ВОСЬМИ прогонов той же мутации с сохранением каждого лога: **8 из 8 `exit=0`, ноль падений**. Первый красный так и остался невоспроизведённым и необъяснённым (его лог утрачен), но против восьми зелёных он наблюдение, а не свойство — и теперь это сказано с обеих сторон, а не с одной. ⛔ **Но честности ради: из трёх моих прогонов этой мутации ПЕРВЫЙ дал КРАСНОЕ (48.8 с), и я едва не записал «батарея уже ловила это» — находку с ОДНОГО прогона.** Третий дал зелень, красное не воспроизвелось, лога первого я не сохранил ⇒ причина не установлена. Зарегистрированный флейк того же симптома есть (`PD-420`), но он в ДРУГОМ пакете, и приписывать ему я не стану. ⚠ Урок в свою сторону: **один красный прогон — не свойство, а наблюдение; я требую этого от зон и сам чуть не нарушил на проверке собственного акта.** > ⚠⚠ **Эррата 06.09-з (`D39.213` п.2 и п.3) — ТАБЛИЦА ТРЁХ ПРОГОНОВ ЧИТАЕТСЯ КАК КОНТРОЛИРУЕМОЕ СРАВНЕНИЕ, А БЫЛА ГОЛОСОВАНИЕМ 2:1 ПО ТРЁМ РАЗНЫМ КОНФИГУРАЦИЯМ — и это же описание ПРЯТАЛО мою сильнейшую улику. Нашёл верификатор; пере-проверено мной.** **(а) «Три прогона по ОДНОМУ дереву» — неверно.** Прогон (б) шёл по дереву с уже наложенной починкой, а она несла новый гейт-тест: в популяции `func Test` дерево ушло 849 → 850. **(б) Прогон (в) — ДО починки, а не после.** Мой чистый `go test` написан в **07:36:45**, эррата с его числами опубликована `be45500` в **07:38:50**, а починка `201363b` — в **08:04:37**. ⇒ группировать (б) и (в) как согласных против (а) значило выдавать за контроль то, что им не было. ⭐ **(в) ГЛАВНОЕ: контроль в таблице ЕСТЬ, и он другой.** Разложенные по признакам, а не по порядку: **(а)** до починки · лог ОБЩИЙ, зона гнала параллельно · **21/7**; **(в)** до починки · СВОЙ файл вне каталога зоны · **20/9**; (б) после починки · попрогонный · 20/9. **(а) и (в) — ОБА до починки и различаются расположением лога — и они расходятся.** ⇒ изолированная переменная — РАСПОЛОЖЕНИЕ ЛОГА, а не починка, и (б) не добавляет ничего сверх того, что (в) показал БЕЗ неё. **(г) Механизм предъявлен исполнением, а не правдоподобием** (проба верификатора, повторена мной в своей форме): два писателя, оба через `>` в один файл — как в старом рецепте, — дают **646 строк из 1200**, ОБЕ фракции в файле, 554 строки потеряны. То есть чужие строки появляются, а свои пропадают, и потеря асимметрична: ровно призрачный лишний пакет и спрятанные скипы. ⇒ **статус причины: НЕ догадка и НЕ замер — ВЫВОД, стоящий на до-починочном контроле и воспроизводимом механизме.** Тот конкретный случай невосстановим: лог стёрт самим прибором. ⚠ Урок формы: **один баннер накрыл две эпистемологии, и слабейшая из них была та, ради которой пункт написан.** Статус утверждения объявляется рядом с утверждением, а не общей шапкой на абзац. > ⚠⚠ **Эррата 06.09-ж (эррата 06.09-г · `D39.212` п.6 · эррата 28.08-и) — ТРИ НЕПРАВДЫ, ВЪЕХАВШИЕ В КАНОН ТЕМ ЖЕ ДВИЖЕНИЕМ, КОТОРЫМ Я ИСПРАВЛЯЛ ПРЕДЫДУЩИЕ. Все три — в текстах ПРО СОБСТВЕННЫЕ ОШИБКИ; нашёл Fable 5 сверкой с деревом.** **(а) «Расщепление стояло ЧЕТВЕРО СУТОК» (эррата 06.09-г) — неверно: четыре с половиной ЧАСА.** `3e40c36` — 06.09 **03:00**, `1cae0ac` — 06.09 **07:30**. Полная история границы (`git log -L`, замер Fable, пере-проверен мной по датам коммитов): `f0d8fed` 08.08 02:26 ввёл `minimum: 1` ещё БЕЗ прозы о нуле · `278ffd8` 06.09 01:40 поставил `0` · `3e40c36` 03:00 вернул `1` · `1cae0ac` 07:30 вернул `0`. **Ни один отрезок не равен четырём суткам.** ⚠ Суть эрраты 06.09-г от этого не меняется — расщепление было, и написано оно одним заходом, — но ДЛИТЕЛЬНОСТЬ я не мерил, а написал по ощущению, и ощущение соврало в двадцать раз. **(б) `D39.212` п.6: «семь флагов, ШЕСТЬ ложных, настоящих два» — 6+2≠7; ложных ПЯТЬ.** Зонный журнал называет их поимённо (`target` · `RunRequest.chapters` · `.characters` · `character_count_exact` · `kind`), и пять плюс два дают семь. Число «шесть» я взял из ПИСЬМА зоны, не пересчитав, — при том что её собственный журнал держит верное. **Ровно класс эрраты 06.09-д: величина, перенесённая из чужого текста без пере-счёта, — и во второй раз за смену подряд.** ⚠ И арифметика была видна на месте: сумма не сходилась с итогом в той же фразе. **(в) «Код переехал вместе с ПЕРЕИМЕНОВАНИЕМ файла» (аннотация «испр. 06.09» внутри эрраты 28.08-и) — переименования не было.** `backend/internal/pipeline/seeding.go` ЖИВ и сегодня (128 строк); `bankmaterialize.go` **ДОБАВЛЕН** `6ec9f8a` 29.08, и в него код ВЫДЕЛЕН, а не переименован вместе с файлом. Верная причина, по которой линт не мог угадать адрес, — другая и проще: якорь был написан ГОЛЫМ именем, а голое имя отсеивается на `docs/scripts/counts.py:592`=`"~" in rel or "/" not in rel` ДО всякой проверки файла. Та же ложь стояла в строке 306 бэклога и там исправлена. ⚠ **Урок общий для всех трёх: текст про собственную ошибку пишется в тот момент, когда автор уверен, что уж ЭТО он знает, — и потому проверяется хуже обычного.** Ни одну из трёх не поймал бы ни один гейт: все три проза, и все три проверяемы одной командой, которую я не набрал. > ⚠ **Эррата 06.09-е (D39.211 п.1) — ТОТ ЖЕ НЕДОСЧЁТ ПАКЕТОВ УНАСЛЕДОВАН РАТИФИЦИРОВАННЫМ АКТОМ, А ТОЧНЫЙ РАЗБОР УЖЕ НЕВОССТАНОВИМ.** Пункт 1 цитирует числа зоны v13: «`MAKE-EXIT=2`, **21 пакет**, 20 ok». Пакетов у платформы **ДВАДЦАТЬ** — пере-считано 06.09 чистым `go test ./... -race -count=1 -v`: 20 различных, ни одного без тестов; список зона предъявила поимённо. ⇒ «21» здесь — то же, что в эррате 06.09-д: число СТРОК вывода, а не пакетов. ⛔ **А вот раскладка «20 ok» при `FAIL 1` — ⛔ **испр. 06.09 по находке верификатора: она НЕ БЫЛА УТРАЧЕНА, и ОБЕ причины, которыми я это объяснил, ложны.** **(а)** Раскладка лежала в зонном журнале — «ПАКЕТОВ 21: ok 20, FAIL 1» и «ТЕСТОВ верхнеуровневых 850: PASS 844 · FAIL 1 · SKIP 5» — **в ТОМ ЖЕ коммите `3327ac8`, которым эта эррата объявила её невосстановимой**: обвинение и улика заландены одним моим движением. **(б)** Прибор её не стирал: v13 был КРАСНЫМ (`MAKE-EXIT=2`), а рецепт до починки на красном пути выходит ДО `rm -f` и вслух обещает лог сохранить (`git show 201363b^:platform/Makefile`: `status -ne 0` ⇒ «the log is kept at .check.log» ⇒ `exit 1`, а `rm -f` достижим только на зелёном). Лог затёрт СЛЕДУЮЩИМ прогоном по фиксированному имени — другой механизм, и как раз тот, что чинился. ⇒ **снят и ⭐-вывод «цена дефекта строки 310, предъявленная не рассуждением, а СЛУЧАЕМ»: случая не было.** Сам дефект строки 310 реален, но иллюстрацию к нему я выбрал неверно дважды. ⚠⚠ **И худшее здесь не ошибка, а её форма: моя «реконструкция» (19 прошедших + 1 упавший + строка-дубль) угадала ВЕРНО — угадывая там, где лежал ЗАМЕР.** Пометка «это реконструкция, а не замер» выглядела осторожностью и ею не была: осторожность — это `git show` по собственному коммиту, а не оговорка при тексте. ⚠ Прочие числа пункта 1 под сомнение НЕ ставятся и подтверждены косвенно: «тестов 850» той же строки согласуется с ростом счёта на один после нового пина (`runs.TestABookWithNothingLeftIsRefusedRatherThanSoldAsAZeroChapterRun`) — ⚠ **довод ВЕРЕН, испр. дважды 06.09: я снял его по находке верификатора, а он находку отозвал, и отзыв верен.** В популяции прибора: `32a6050` — **850**, после ровно ОДНОГО пина `33b896b` — **851**. Ровно +1, ровно один пин. Прежнее снятие опиралось на счёт `func Test`, приложенный к числам другой популяции (`D39.202` п.2г). ⚠ И отдельно: «21 пакет из 21» в `D39.170` — НЕ ошибка и не трогается, там речь о батарее ДВИЖКА, у которого свой набор пакетов; проверено прежде, чем править.