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

Refuse to ratify a doctrine whose named source does not contain it and whose actual text requires the promoter the doctrine would skip

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

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

@ -230,6 +230,16 @@
> Обе защищены одним и тем же образом — слово движка не может присвоить себе слово владельца, — но утверждение «единственная петля» без этой оговорки > Обе защищены одним и тем же образом — слово движка не может присвоить себе слово владельца, — но утверждение «единственная петля» без этой оговорки
> протухло. Правку самой онтологии делает пак, который построит базис; до тех пор носителем служит эта эррата. > протухло. Правку самой онтологии делает пак, который построит базис; до тех пор носителем служит эта эррата.
> ⚠ **Эррата 17.09-е — Д-13 НЕ ратифицируется: доктрины под этим именем в названном носителе нет, а то, что там есть, говорит обратное.**
> Ряд предлагает «ратифицировать доктрину Д2 в форме, выбранной итогом» (решение движка переживает прогон без подписи) и закрыть ряд **47**. Проверено:
> в отчёте, на который ряд 47 ссылается, обозначения «Д2» **ноль вхождений** — контроль тем же прибором по соседнему обозначению тоже ноль, то есть имени
> там нет, а не прибор слеп. По адресу, который дал консилиум, лежит ДРУГОЕ: кэш рендеринга для строк без подписи, и его арбитраж устроен
> ПРОТИВОПОЛОЖНО предлагаемой доктрине — «кэш ПРЕДЛАГАЕТ → пост-проверка ГЕЙТИТ → судья или человек ПРОМОУТИТ в подписанное».
> ⇒ **ратификация по этому основанию невозможна:** предъявленный текст требует промоутера, а доктрина предлагает обойтись без него. Ряд 47 остаётся
> открытым как «кандидат», его содержание НЕ восстановлено ни одним носителем. ⚠ Это ВТОРОЙ за смену случай, когда цитата консилиума не подтверждается
> телом (первый — `D39.71` в эррате 17.09-в): ⭐ класс для памяти — **пересказ в сводном документе живёт дольше носителя и начинает подменять его**,
> поэтому ратификация обязана читать первоисточник, а не сводку, даже когда сводка сама принята актом.
> ⚠ **Навигация (актуализация 07.08, эра D39.1xx):** append-only-дисциплина (D23.3) означает, что > ⚠ **Навигация (актуализация 07.08, эра D39.1xx):** append-only-дисциплина (D23.3) означает, что
> НЕВЕРНЫЙ ФАКТ внутри старой ноты не переписывается, а получает эрратау — и тогда он опасен ровно > НЕВЕРНЫЙ ФАКТ внутри старой ноты не переписывается, а получает эрратау — и тогда он опасен ровно
> тем, что грепающий его найдёт ПЕРВЫМ, а эрратау ниже может не дочитать. Поэтому поправки к фактам > тем, что грепающий его найдёт ПЕРВЫМ, а эрратау ниже может не дочитать. Поэтому поправки к фактам