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

Put the second engine pack into the state head, and say what its two rubicons caught before it was issued

Browse source
This commit is contained in:
heaven 2026-09-08 03:43:52 +03:00
parent 060b13b8ab
commit 86c8feed09
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/PROGRESS.md
View file

@ -25,6 +25,21 @@
> тестов). ⚠ Единственная заказанная смена поведения — экспорт банка на стопе, и её форма ЗАДАНА аддитивной:
> перенос засева в ветку стопа запрещён явно (уводит НЕПОДПИСАННЫЕ строки в глоссарий, а те инъектируются
> законом ⇒ двигают `memory_version`). Снапшот-нейтральность требуется доказать байт-равенством снапшотов.
> ⚠ **Пак шага 0 закрыт ТРЕМЯ дофиксами, и каждый нашёл дыру ВНУТРИ предыдущей починки** (акт `D39.225`
> п.9–10): семь полей листа подписи без утверждений → `Freq` и своп списков → ранжирование и класс пустого
> рендеринга. Правило остановки применено НА ТРЕТЬЕМ и объявлено сессии заранее; остаток адресован строкой
> **353** и ждёт первого читателя секции (платформенная половина **224**). Оба верификатора дали явный ок на
> закрытие, каждый пере-посадив свои мутации.
> **(6) ТЕХДОЛГ БЭКЕНДА, ВТОРОЙ ПАК — «ПРАВДА ОПЕРАТОРУ И ДЕНЬГИ»: ⚠ ВЫДАН 08.09, идёт.**
> `docs/BACKEND_OPERATOR_TRUTH_SESSION_PROMPT.md`, строки **333–338**: движок говорит оператору не то, что
> делает, и платит за поверхности, которые банк уже держит. ⚠ **Первый пак смены, который тратит ДЕНЬГИ:**
> холодный прогон на нескольких главах разрешён владельцем лично, потолок **$3** ставится МАШИННЫМ гейтом
> движка (`ceilings.book_usd` + `--max-units`), а не обещанием сессии. Прошёл оба рубежа, и оба нашли
> существенное: (1) первая редакция §4.1 заказывала фильтр, который снял бы пометки спора, которые §4.3 того
> же пака просит довезти владельцу; (2) заказанное доказательство «банк тот же» ВАКУУМНО — предложение на
> сид-поверхность в банк не попадает и сегодня; (3) удаление кандидатов неизбежно двигает `RequestHash`
> батча, и на РЕЗЮМЕ оплаченный чекпойнт перестанет матчиться ⇒ переплата; (4) одно утверждение строки 334
> было ложным с момента её заведения — снято и в паке, и в носителе.
> ⛔ **ЧТО ЖДЁТ СЛОВА ВЛАДЕЛЬЦА, поимённо:** строка **340** — сужение входа действует только на синхронной ветви,
> при деплойном классе книга одним полотном попадает в библиотеку МОЛЧА, и закрыть нечем без пятой причины отказа
> (`source_unreadable` терминален и УДАЛЯЕТ исходник) · строка **326** — критерия впуска в дереве нет, консьерж