From 86c8feed090be206b8f9974799666b86da0920f1 Mon Sep 17 00:00:00 2001 From: heaven Date: Tue, 8 Sep 2026 03:43:52 +0300 Subject: [PATCH] Put the second engine pack into the state head, and say what its two rubicons caught before it was issued --- docs/PROGRESS.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/docs/PROGRESS.md b/docs/PROGRESS.md index a1f15d7e..3460a0a4 100644 --- a/docs/PROGRESS.md +++ b/docs/PROGRESS.md @@ -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** — критерия впуска в дереве нет, консьерж