heaven/textmachine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Close two more consilium findings: the polysemy tension is imaginary by code, and the settled-basis carrier needs its own ontology class

Browse source
This commit is contained in:
heaven 2026-09-17 01:37:47 +03:00
parent c049477e1e
commit 3d3eee1412
1 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
docs/architecture/05-decisions-log.md
View file

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