diff --git a/docs/architecture/05-decisions-log.md b/docs/architecture/05-decisions-log.md index ed1a8764..2dbb4614 100644 --- a/docs/architecture/05-decisions-log.md +++ b/docs/architecture/05-decisions-log.md @@ -215,6 +215,21 @@ > Консилиум сам пишет, что свойство «называется вслух и уходит на ратификацию». Смягчение (улики первого решения берутся по всей книге) держится ровно > пока исходник пришёл целиком; для РАСТУЩЕГО сериала оно ложно по построению. ⇒ вынесено владельцу 17.09 отдельным вопросом. +> ⚠ **Эррата 17.09-д — Д-7 опровергнут кодом, Д-12 решён по онтологии.** +> **(а) Д-7: напряжение МНИМОЕ, поправка не нужна.** Ряд утверждал, что при чтении «поверхность = ключ срабатывания матчера» законная конфигурация — +> две ПОДПИСАННЫЕ строки одной поверхности с разными окнами — становится основанием уронить прогон. Проверено по коду: падение требует ТРЁХ условий +> разом — общий ключ срабатывания, РАЗНЫЕ передачи и ПЕРЕСЕКАЮЩИЕСЯ окна; комментарий самой проверки называет общий ключ с той же передачей законным +> слиянием, а непересекающиеся окна — передачей эстафеты по спойлеру, и ни то ни другое противоречием не считает. ⇒ роняется ровно противоречие, а не +> законная полисемия. Вдобавок ратифицированная редакция `D39.193` п.3 уже гласит: «уступает НЕПОДПИСАННАЯ строка и только ПОДПИСАННОЙ; подпись не +> роняется никогда». Ряд закрыт этой эрратой без правки ноты. +> **(б) Д-12: выбран НОВЫЙ класс, а не расширение чужой подписи.** Онтология банка описывает четыре роли, у каждого источника РОВНО один писатель, и класс +> «ПАМЯТЬ ФЛАЖКА» определён как «что стоп уже предъявлял», писатель — стоп. Базис решённого под это определение не подходит: его пишет ПРОГОН на границах, +> а читает денежный предикат ДО первого платного вызова. ⇒ заводится отдельный класс «ПАМЯТЬ РЕШЕНИЙ» (писатель — прогон, момент — граница, читатель — +> предикат до траты), подпись существующего класса не расширяется, и дословные утверждения онтологии про авто-банк на стопе остаются верны. +> ⚠ **И вторая петля называется явно, потому что страница утверждает единственность первой:** базис → предикат → авто-банк идёт рядом с авто-проводом. +> Обе защищены одним и тем же образом — слово движка не может присвоить себе слово владельца, — но утверждение «единственная петля» без этой оговорки +> протухло. Правку самой онтологии делает пак, который построит базис; до тех пор носителем служит эта эррата. + > ⚠ **Навигация (актуализация 07.08, эра D39.1xx):** append-only-дисциплина (D23.3) означает, что > НЕВЕРНЫЙ ФАКТ внутри старой ноты не переписывается, а получает эрратау — и тогда он опасен ровно > тем, что грепающий его найдёт ПЕРВЫМ, а эрратау ниже может не дочитать. Поэтому поправки к фактам