Order the engine's operator-facing truth and the unpaid-for-twice surfaces, with the cold run capped by the engine's own gate

docs/BACKEND_OPERATOR_TRUTH_SESSION_PROMPT.md

@@ -0,0 +1,316 @@
+# Пак бэкенда: «ПРАВДА ОПЕРАТОРУ И ДЕНЬГИ» — живой остаток движка
+
+## 1. Какая проблема и что решит твой результат
+
+Движок сегодня **говорит оператору не то, что делает, и платит за то, что уже купил**. Оба свойства
+измерены, у каждого есть носитель в трекере, и ни одно не является регрессом — это незакрытые места,
+которые предыдущие паки нашли и не взяли.
+
+- **Деньги.** Роль и классификатор оплачиваются за поверхности, которые банк УЖЕ несёт: фильтр
+  «поверхность уже в банке» стоит на ЭМИССИИ (`mining.go`, guard в `reverseSectionTerms`), а платный путь
+  терминолога проходит раньше. Итог: прогон майнинга платит за часть выброшенного. ⚠ «За всё» сказать нельзя — это верно для банкованных поверхностей, ДОШЕДШИХ до кандидатов, и их доля не измерена ни разу. Доля не измерена ни разу.
+- **Правда.** Описание банкового контура лжёт оператору в четырёх местах; операторские сообщения не
+  запинены как класс, и расширение правила делает их текст ложным молча; путь записи статуса не читается
+  по коду — автор прошлого пака трижды подряд назвал не тот механизм, и каждый раз ловила мутация.
+- **Шов.** Ключи `Contradictions`/`Conf` пересекают границу файла тем же способом, что уже убранная карта,
+  и мутация любого из трёх переживает три полных пакета.
+
+**Что покупает твой результат.** (1) Деньги: прогон майнинга перестаёт платить за уже купленное, и
+экономия названа ЧИСЛОМ, а не словом. (2) Правда: оператор, читающий предупреждение движка, понимает, что
+произошло, и может это проверить. (3) Шов закрыт способом, а не заплатой. Плюс — и это заказ владельца —
+работа предъявляется **живым прогоном на нескольких главах**, а не только батареей.
+
+## 2. Зона и git
+
+**Зона записи — `backend/`** плюс своя секция в `docs/PROGRESS.md`. Чужие зоны (`platform/`, `frontend/`,
+`eval/`, `books/`) не трогаешь ни строкой; `docs/` кроме своей секции — тоже.
+**Ты НЕ коммитишь**: дерево готовишь и передаёшь оркестратору (канон — `CLAUDE.md`
+§«Git-координация мультисессий»). Никаких `git add -A`, `reset --hard`, переписывания истории.
+⚠ В `docs/PROGRESS.md` заведи СВОЙ подзаголовок `#### Пак «правда оператору и деньги»` внутри секции
+«Бэкенд» и пиши только под ним: файл коммичу я, и чужой текст уедет под моим сообщением.
+⚠ Что должно пережить рестарт — в РЕПОЗИТОРИЙ, не в скретчпад. `.env` не читать никогда.
+
+## 3. Карта чтения — ЗАКОН, дальше только по её ссылкам
+
+1. `docs/BACKLOG.md` — строки **333 · 334 · 335 · 336 · 337 · 338**, и отдельно **353** (что уже запинено
+   в соседней секции и где проведена граница). Греп: `^| 335 |`. Строка — носитель заказа; расхождение
+   строки с этим промтом — пинг, не интерпретация.
+2. `docs/architecture/18-bank-ontology.md` — **нормативная страница банковых проекций**: три правила
+   дисциплины проекции и два класса дефектов. Ты правишь описания и артефакты банка ⇒ читаешь её ДО работы.
+   ⚠ Она названа здесь потому, что прошлый пак её не назвал, и это стоило приёмке отдельного разбора
+   (`D39.225` п.6).
+3. `docs/architecture/12-go-style-notes.md` — норматив формы: «least mechanism», размер не критерий сплита,
+   интерфейс объявляет потребитель, комментарий режется по воде, код английский.
+4. `backend/cmd/tmmutate/main.go` — **шапка файла целиком**: контракт мутационного инструмента (`-root`
+   только на КОПИИ, выживший мутант — находка, ненулевой выход) плюс `backend/Makefile` цели `battery` и
+   `mutations`.
+5. Отчёт прошлой смены в `docs/PROGRESS.md`, подзаголовок «Пак «гейт вместо прозы»» — **только разбор шва-близнеца**
+   (носитель заказа 333) — ищи греп-токеном `ШОВ-БЛИЗНЕЦ`, НЕ номером пункта: нумерация в отчёте уехала.
+   Файл целиком не читать.
+
+Ратифицированное, нужное по существу, вложено сюда и похода в журнал решений НЕ требует:
+- **`D39.216`** — где форма не тянет, её переписывают; «дешевле подпереть» доводом не является. Это прямое
+  указание по строке 333: нужен ход, а не четвёртая заплата.
+- **`D39.183`** — запрет править тесты «чтобы прошло» — про МОТИВ. Правка от ЗАКАЗАННОЙ смены поведения —
+  обслуживание, но ОБЪЯВЛЯЕТСЯ в отчёте: что изменилось, какой тест это описывал, куда уехала гарантия.
+- **`D39.208` п.5** — фикстура, где две различные величины совпали, делает весь их класс расхождений
+  невидимым. Мера качества твоих собственных новых фикстур.
+- **`D39.104` п.1** — банк есть закон для КАЖДОЙ строки: неподписанные инъектируются наравне с
+  подписанными. Отсюда цена лжи в описаниях банка: оператор подписывает, читая неверное.
+- **`D39.225`** — что уже построено соседним паком и переиспользуется: гейт мутаций `make mutations`
+  (подмножество выводится из каталога полем `battery`), паритет арм-конфигов, секция предложений в
+  сайдкаре банка и её пины. Не строй второй такой механизм.
+
+## 4. Состав и разметка свободы
+
+### 4.1 Деньги: перестать платить за то, что банк уже несёт — **состав РОВНО так, форма фильтра — реши сам**
+
+Сегодня guard «поверхность уже в банке» живёт на ЭМИССИИ (`internal/pipeline/mining.go`, докблок
+`reverseSectionTerms`: «an existing seed surface is skipped (it is already in the bank)»), а платный путь
+терминолога — слияние кандидатов, KWIC, скоринг, вызов роли, вызов классификатора — проходит ДО него.
+
+**Три шага, и первый обязателен:**
+- **(а) ЗАМЕР ДО.** Доля кандидатов, которых банк уже несёт, на доступном корпусе — числом, с командой.
+  Без этого шага строка обещает экономию, которой никто не видел. Замер $0. ⚠ **Артефакты лежат на уровень
+  глубже, чем ищут:** `ls books/*/` даёт ноль, а `find books -iname '*bank-stop*' -o -iname
+  '*mined-signature*' -o -iname '*.bank.json'` — 37 файлов (`books/gu-zhenren/coldrun-v16/…`, `coldrun-a/…`).
+  Без этого «замер по артефактам» кончается выводом «артефактов нет».
+- **(б) ФИЛЬТР ДО ОПЛАТЫ — и ТОЛЬКО в узкой форме, потому что широкая УБИВАЕТ §4.3 этого же пака.**
+  ⛔ Роль спрашивают о банкованных поверхностях НАМЕРЕННО: банк читается один раз на всю роль, и её ОТВЕТ
+  даёт `CanonConflicts` и `ConsolidationKeyConflicts`, а те уезжают в строку листа подписи
+  (`mining.go:451-452` — `Contradicts`, `BankHolds`). Слепой фильтр «банк держит — не платим» снимет ровно
+  те пометки спора, которые §4.3 велит довезти до владельца.
+  **Пропускать до оплаты ТОЛЬКО кандидата, у которого выполнены ОБА условия:** банк держит его поверхность
+  approved-строкой — предикатом тем же, что у стража эмиссии (`unsignedEngineSurfaces`, `mining.go:143`), а
+  не новым своим; И каждое наблюдённое предложение черновика после `text.NormalizeTargetForm` равно dst
+  банка. Расходится хоть одно — ПЛАТИМ: это и есть спор, ради которого фаза построена.
+  ⛔ **Диффом глоссария это НЕ доказывается:** предложение на сид-поверхность в банк не попадает и СЕГОДНЯ
+  (`membank/memseed.go:812` — «A proposal on a SEED surface never reaches the bank: pipeline.reverseSectionTerms
+  drops it at emission»). Равный глоссарий — вакуумная истина, а не улика.
+  **Доказательство — на фейк-провайдере, ДВУМЯ фикстурами:** (i) банкованная поверхность с СОГЛАСНЫМ
+  наблюдением ⇒ вызова НЕТ, таблица стопа и карта подписи равны исходным минус пропущенные строки, число
+  пропущенных напечатано при контрольной величине «кандидатов всего M»; (ii) банкованная с РАСХОДЯЩИМСЯ
+  наблюдением ⇒ вызов ЕСТЬ, `BankHolds` и `Contradicts` на месте.
+  ⛔ **ХЕШ ЗАПРОСА БЭНК-РОЛИ ДВИНЕТСЯ, И ЭТО ВНУТРИ САНКЦИИ — но с двумя обязанностями.** Батчи пакуются
+  жадно по рунному бюджету, поэтому удаление хоть одного кандидата меняет состав хотя бы одного выжившего
+  батча, а с ним и его `RequestHash`. Снапшот книги при этом НЕ движется: `terminologyVersion`
+  (`terminologist.go:59`) документирован как «deliberately NOT snapshot-folded» — запрет §4.8 про
+  снапшот-фолженые хеши, и этот случай в него не попадает. **Обязанности:** (1) назови это в отчёте прямо,
+  а не умолчи; (2) ⛔ **ловушка РЕЗЮМА:** уже оплаченный чекпойнт бэнк-роли ищется по хешу
+  (`bankCheckpointExists`), и после смены состава батча он перестанет матчиться — резюм-прогон ПЕРЕПЛАТИТ.
+  Реши, как это лечится (фильтр не применяется на резюме · чекпойнт ключуется иначе · иное), назови решение
+  и предъяви его тестом; молча оставить нельзя — это ровно тот узел, который §4.7 велит искать.
+  ⚠ **И второе следствие, тоже операторское:** стоп-ТАБЛИЦА рендерится по ПОЛНОМУ `cands`
+  (`bankStopRows`), поэтому у отфильтрованных кандидатов из неё исчезнут `dst` и классификация, которые
+  там сегодня есть. Скажи в отчёте, что владелец увидит на листе после твоей правки, и почему это не потеря.
+- **(в) ЗАМЕР ПОСЛЕ** — сколько вызовов и сколько денег ушло из прогона; число берётся из ЛОГА самого
+  фильтра («пропущено N из M»), а не из второго платного стопа.
+  ⚠ **Строгое равенство содержимого ЛОЖНО на книге, где режет бюджет,** и требовать его нельзя: роль идёт
+  батчами и обрывается там, где бюджет кончился (`terminologist.go:406`; живой прогон 04.09 имел
+  `batches_dropped=5`). Убрав банкованные из батчей, ты освобождаешь бюджет, и роль консолидирует БОЛЬШЕ —
+  это выигрыш, а не дефект. Мерило поэтому такое: **на ОБЩЕМ множестве кандидатов консолидация побайтово та
+  же; прогон ПОСЛЕ может консолидировать надмножество, и разница печатается как выигрыш бюджета.**
+⚠ Форму фильтра (где именно стоит, чем ключуется, как переиспользует существующий предикат) выбираешь ты;
+второго носителя правила «что банк уже несёт» заводить нельзя — сведи к тому, который уже есть.
+
+### 4.2 Четыре описания банкового контура, лгущих оператору — **делай РОВНО так**
+
+Поведение везде ВЕРНО; лжёт описание. Приведи описание к поведению и **запинь тексты**, иначе следующая
+правка сделает их ложными опять:
+1. `internal/pipeline/mining.go:654` — `loadAutoBank(signed []store.GlossaryEntry)`: имя параметра, дока и
+   текст оператору говорят «подписанная», а популяция — сид+ruby+mined ЛЮБОГО статуса. Зовётся из
+   `internal/pipeline/bankmaterialize.go:125`.
+2. `bankmaterialize.go:132` — ремарка оператору «the signed term wins», тот же обман.
+3. ⚠ **СНЯТО ПЕРЕД ВЫДАЧЕЙ — утверждения не было.** Строка 334 п.3 говорила, что комментарий вызова
+   (`bankmaterialize.go:139`) расходится с докой `ApprovedSharedKeyCollisions`. Сверено: дока
+   (`membank/memseed.go:251-258`) говорит «two approved terms with DIFFERENT dst and OVERLAPPING spoiler
+   windows» — ровно то же, что комментарий, и реализация согласуется с обоими. Неточность унаследована
+   строкой и скопирована мной; носитель исправлен. **Не трать на это время.**
+4. `internal/membank/mempostcheck.go:91` (`Shown`, дока `:81`, инкремент `:130`) — обещает «сколько
+   неподписанных строк реально показано модели», а sticky-перенос `continue`-ится раньше счёта.
+⚠ Адреса сняты 08.09 на `cae3e59`; перед правкой пере-снимай командой — соседний пак двигал эти файлы.
+
+### 4.3 Разногласие, не доезжающее до листа подписи — **форму реши сам, пин обязателен**
+
+`internal/membank/memseed.go`: сид-строка с окном ПО УМОЛЧАНИЮ и без sense делит UNIQUE-кортеж с
+banknote-предложением; пропуск по кортежу срабатывает раньше, и владелец не видит спора в артефакте, по
+которому подписывает. Это САМАЯ ЧАСТАЯ форма сид-строки — не на глаз: в авторских сидах владельца ненулевых `since_ch` три из
+сорока девяти (`research/33` Д8), то есть окно по умолчанию несут почти все строки, и дыра штатная, а не краевая.
+Лечение — либо правило «заменённая строка движется», либо иной разрез кортежа: выбираешь ты, аргументируешь
+в отчёте. ⛔ Что не обсуждается: **пин на лист подписи** — тест, который краснеет, если спор перестанет
+доезжать. ⚠ Прошлый автор признал, что его же e2e обходил дыру подобранным `until_ch: 20`; фикстура,
+случайно обходящая предмет, — тот самый класс `D39.208` п.5.
+
+### 4.4 Тексты операторских сообщений как КЛАСС — **реши сам, аргументируй форму**
+
+Носитель — `internal/pipeline/seeding.go:73`. Пины есть, но узкие: подстрока стерегла одно словосочетание,
+а локализующая половина (обе строки, оба окна, firing-ключ) не закрыта ничем; расширение правила 06.09
+сделало прежний текст ложным, и поймала это БАТАРЕЯ, а не пин.
+**Мерило заказа:** после твоей работы правка, меняющая смысл операторского сообщения, обязана ломать ПИН, а
+не всплывать где-то ещё. Сколько сообщений взять в класс и чем их пинить — твоё решение; предъяви границу:
+какие сообщения покрыты и какие сознательно нет.
+
+### 4.5 Путь записи статуса — **реши сам: один читаемый путь ЛИБО дока, называющая обоих писателей**
+
+`internal/store/chunkstatus.go` вместе с `internal/pipeline/waverun.go`: писателей несколько —
+`recordSkippedStages` (`waverun.go:786`) и флагнутая ветвь `runStageSequence` (`:505`), вторая берётся
+только при ≥2 стадиях в одной волне, и какой сработает, решает раскладка волны.
+⚠ **Пункт СУЖЕН перед выдачей:** прошлый пак уже назвал обоих писателей в доке пина, поэтому «написать доку»
+здесь куплено. Заказ узкий: **мутацией доказать, что дока называет именно тот путь, который сработает**, и
+завести запись каталога с `battery`. Разрез на один читаемый путь — по твоему суждению и с аргументом, но он
+НЕ обязателен; если берёшь — он не должен двигать снапшот.
+⛔ Предъявление здесь обязано быть МУТАЦИЕЙ, а не чтением: автор прошлого пака назвал не тот механизм ТРИ
+раза подряд, и каждый раз его ловила посадка.
+
+### 4.6 Шов-близнец `Contradictions`/`Conf` — **делай РОВНО так: ход, а не заплата**
+
+Три ключа пересекают границу файла тем же способом, что уже убранная карта; мутация любого переживает
+`pipeline` + `terminology` + `tmctl`. Стороны сегодня согласованы — это не регресс, а незакрытая дыра.
+⭐ Цена измерена прошлым автором на себе: **три круга самопроверки ушли на починку ТОЧКИ вместо ШВА**, и
+только на третьем стало видно, что чинить надо способ. Лечение соседа: убрать карту и свести выбор ключа в
+ОДНО место, после чего один пин ловит все три мутации плюс «продакшн обходит сопоставитель». Сделай тот же
+ход (`D39.216`), а не четвёртую заплату. Разбор — карта чтения п.5 (греп-токен `ШОВ-БЛИЗНЕЦ`; ⚠ номер пункта
+в отчёте уехал, поэтому ищи токеном, а не номером).
+⛔ **Пин обязателен В ЛЮБОЙ форме лечения, и он должен ловить именно расхождение ключей:** писатели кладут
+`res.Conf[k]` и `res.Contradictions[cf.Src]`, а читатель берёт `confOrAbsent(tres.Conf, c.Key)` и
+`tres.Contradictions[c.Src]` — то есть `Key` против `Src`. Фикстура обязана давать термин, у которого
+`Key != Src` (традиционное или кана-написание); на равных ключах мутация не покраснеет.
+
+### 4.7 Холодный прогон на нескольких главах — **разрешён владельцем, делай РОВНО так**
+
+После реализации и всех фиксов прогони живой перевод на **нескольких главах** и последи за узлами
+исполнения. Это заказ владельца, а не твоя инициатива, и он проверяет то, чего батарея проверить не может.
+- ⛔ **Потолок пака — $3, и он ставится МАШИНОЙ, а не обещанием.** У движка есть свой гейт: `ceilings.book_usd`
+  в `book.yaml` пробной книги и `--max-units N`; выставь их (`book_usd` ≤ 3.00, лучше 1.50) — отказ резервации
+  защёлкивает волну (`D39.206`). «Назови смету ДО прогона» остаётся, но это дополнение к гейту, а не замена.
+  Вывод сметы, чтобы ты не гадал: замер строки 16 на 10 главах даёт ≈ $0.054 на юнит плюс ≈ $0.05 фиксированного
+  ⇒ «несколько глав» ≈ **$0.6**; $3 — пятикратный запас.
+- ⛔ **ЛОВУШКА, КОТОРУЮ ТЫ ВСТРЕТИШЬ В САМОМ КОНФИГЕ.** `configs/pipeline-c1.yaml` в комментарии к
+  `escalation.budget_usd` говорит: «Приёмочная сессия ОБЯЗАНА выставить budget_usd>0». **К ЭТОМУ ПАКУ ЭТО НЕ
+  ОТНОСИТСЯ: эскалация остаётся 0.** Она добавляет премиум-хоп и съест потолок молча.
+- **Что происходит ПОСЛЕ банк-стопа — назови в отчёте, не импровизируй.** `--verify-bank` ОСТАНАВЛИВАЕТ прогон;
+  дальше законны ровно два пути: подпись владельца (`tmctl bank-apply`) — **не твой акт** (`D39.104`), либо
+  повторный запуск БЕЗ флага, то есть авто-продолжение с неподписанным банком. Подпись владельца не имитируй.
+- ⛔ **Между двумя запусками код не менять.** Чекпойнты черновика реплеятся по хешу за $0 только при неподвижном
+  снапшоте; правка между запусками превращает бесплатный реплей в повторную покупку.
+- Прогон идёт ПОСЛЕ зелёной батареи и зелёного `make mutations`, не вместо них.
+- ⛔ **Три узла перерасхода, которые называет сам денежный путь** (`docs/architecture/15-money-path.md`) и
+  которые прогон съест молча, если за ними не следить: эскалационный кап хоп НЕ прицениваает (перелёт ≤1
+  хопа) · порог согласия на пере-оплату пропускает переоплату МОЛЧА, если она дешевле `min($0.50, 5 %)` —
+  а ты будешь перезапускать прогон после дофиксов · книго-широкие суб-бюджеты терминолога и классификатора
+  откалиброваны под ИЮЛЬСКИЕ цены и уже режут оплаченную работу по протухшему числу. ⚠ Последний бьёт прямо
+  по твоему замеру §4.1(в): часть «экономии» может оказаться артефактом обрезки бюджета, а не фильтра —
+  раздели эти два эффекта числом, иначе замер не значит ничего.
+- **Следи за узлами:** банк-стоп и его артефакты · экономия §4.1 на живых числах (вызовы и деньги ДО/ПОСЛЕ)
+  · операторские сообщения — читаются ли они человеком · запись статуса · леджер трат.
+- **Найденное в прогоне рапортуешь МНЕ** — это отдельная секция отчёта, а не строка в общем списке.
+- ⚠ Провайдерские ловушки перед платным вызовом — `docs/experiments/00-provider-quirks.md`; проба ведёт
+  себя странно — идём в вендор-доку, не гадаем.
+
+### 4.8 Чего в паке НЕТ — **не делай**, и это ОБЪЯВЛЕННЫЕ сужения
+
+- **Строка 339** (роли не показывают существующую форму поверхности): лечение МЕНЯЕТ ЗАПРОС к модели ⇒
+  деньги и снапшот ⇒ отдельное решение, не прицеп.
+- **Строка 320(б)** (`internal/lang/data/injection.txt`): двигает `EmbeddedVersion` ⇒ живёт в окне
+  перенарезки.
+- **Всё, что двигает** снапшот, хеш запроса, ключ манифеста или версию встроенных данных. Единственная
+  заказанная смена поведения — §4.1(б), и она обязана быть ВЫХОДНО-эквивалентной.
+- **Переписывание `Runner` и дробление `internal/pipeline`** — ЗАПРЕЩЕНЫ `D39.224` §7. ⚠ **Новый детектор
+  границ — не запрет, а УСЛОВИЕ** той же ноты (не строится, пока не назван счёт за бамп `chunkerVersion`);
+  к задачам §4 он не относится, но силу пункта не путай — нота эти два класса разводит специально.
+- **Секция предложений сайдкара** — запинена соседним паком, граница проведена строкой 353; не трогай.
+
+## 5. Мандат самопроверки ИСПОЛНЕНИЕМ — «перечитал сам» не считается
+
+1. **Каждая новая гарантия предъявляется МУТАЦИЕЙ**, и краснота читается ПО ТЕКСТУ падения: говорит ли он
+   про сломанное тобой. Правый вердикт по неправой причине — дыра, а не поимка.
+2. **Мутации — ТОЛЬКО на копии дерева, без секретов и бинарей:**
+   `d=$(mktemp -d) && trap 'rm -rf "$d"' EXIT INT TERM && tar -cf - --exclude=./bin --exclude='./.env*' -C backend . | tar -xf - -C "$d"`,
+   затем `-root "$d"`. Рабочее дерево не правится никогда, в том числе «на секунду».
+3. **Мутируй и СВОИ новые фикстуры**, не только боевой код: фикстура, которую ты только что написал и
+   считаешь сильной, — типовое место второго вырождения.
+4. **Новые записи — в каталог** `cmd/tmmutate/mutations.json` с полем `battery`, и `Package` — пакет
+   ПИНА, а не пакет правки: инструмент гоняет один пакет.
+5. **BASELINE НА ВХОДЕ** (снят оркестратором 08.09 на `cae3e59`): `make battery` → 19 `ok` · 0 `FAIL` ·
+   4 «no test files» · 4 скипа поимённо; `make mutations` → 21 запись · 0 unexpected · `anchors swept:
+   0 of 232`. Красное на входе — находка и пинг, а не твоя работа.
+6. **Субагенты РАЗРЕШЕНЫ ЯВНО**, и владелец отдельно разрешил **воркфлоу-ревью** этого пака. Направление,
+   что здесь уязвимее всего: (1) выходная эквивалентность §4.1 — легче всего заявить и труднее всего
+   доказать; (2) невырожденность фикстур §4.3 после того, как прошлый автор обходил дыру подобранным
+   числом; (3) §4.5, где предъявление чтением уже трижды обмануло.
+7. **Проверяемый артефакт** — таблица мутаций в отчёте: `мутация → где посажена → красный тест → ТЕКСТ
+   падения`, и отдельной строкой **выжившие**, если такие есть.
+
+## 6. Оси ревью — характер «Код», плюс деньги
+
+Тест утверждает не то, что думает (`D39.171`): часы как способ синхронизации там, где предмет не время, и
+ассерт по подстроке в буфере, куда пишет кто-то ещё. Обе формы дают и ложное красное, и **тихо-зелёное** —
+оно дороже: зелёное, не проверившее ничего, не перечитывает никто. Третья ось твоя: **деньги** — любое
+число экономии выводится из СЫРОГО леджера, и леджер есть нижняя граница, а не оценка.
+
+## 7. Записка-план ДО работы
+
+До первой правки — короткая записка в отчёт: что берёшь, в каком порядке, что считаешь рискованным. После
+работы — сверка комплектности против §4 МЕХАНИЧЕСКИ (таблицей), не перечитыванием.
+
+## 8. Заявление = команда
+
+Каждое число и категорика отчёта — с командой, которой получены. Отрицательный замер печатается ВМЕСТЕ с
+контрольной величиной, доказывающей, что вопрос задан существующему предмету. Сверх этого, про код:
+- **перед отчётом сверь каждый клейм с результатом инструмента ЭТОЙ сессии**, а не с памятью и не с этим
+  промтом: адреса §4 сняты 08.09 и могли уехать;
+- **дифф `^func Test` — исполнением**, не разностью счётчиков: снимай ИМЕНАМИ;
+- **последний абзац отчёта оказался планом или обещанием? сделай это СЕЙЧАС**;
+- ⛔ править или удалять тест/голден/гейт, чтобы он прошёл, — НЕДОПУСТИМО; исключение — правка от
+  заказанной смены поведения (§4.1б), и она объявляется отдельным пунктом;
+- сессия длинная — поставь себе интервальную самоверификацию субагентом против ЯВНЫХ критериев §13.
+
+## 9. Эхо-протокол старта
+
+ДО работы — ≤10 строк **СВОИМИ словами**: скоуп · инварианты, которые не имеешь права сломать · что НЕ
+делаешь. Дословный пересказ промта подтверждает канал, но не понимание, и ошибку промта повторяет вместе с
+ним. Отправь эхо оркестратору по адресу из прямого канала (§12); канала нет — эхо идёт первой секцией
+отчёта, и работа продолжается.
+
+## 10. Что НЕ удалось — обязательная секция отчёта
+
+Что не вышло, что не проверено, где сомневаешься. Пустая секция при непустой работе — сама по себе
+находка; «не проверено» и «опровергнуто» — РАЗНЫЕ исходы.
+
+## 11. Канал вопросов и право сказать «этого делать не надо»
+
+Конфликт промта с кодом или доками — **пинг, а не интерпретация**: промт мог устареть, и в этом проекте это
+случается. Считаешь пункт ненужным — скажи с доводом; такие возражения ценнее послушного исполнения.
+Решение владельца требуется, если работа упрётся в деньги сверх потолка §4.7, скоуп или продукт.
+
+## 12. Прямой канал
+
+Механизм — `CLAUDE.md` §«Связь между сессиями». Впиши СВОЙ блок в `/tmp/textmachine-channel` первым делом,
+чужие блоки не трогай. ⚠ Адрес из файла не доказывает, что сессия жива: сверься с `ListAgents`. Нужной роли
+нет или имя не отвечает ⇒ **канала нет, и это НОРМА: не опрашивай сессии подряд** — вопрос секцией в отчёт.
+
+## 13. Критерий завершённости — по нему тебя примут
+
+Работу доводишь до конца САМ; приёмка идёт последней и вторым кругом твоей самопроверки не служит.
+Готово — это когда:
+- у КАЖДОГО пункта §4 есть исход: сделано · не делаю с доводом · пинг;
+- круги СОШЛИСЬ: последний проход не дал НОВЫХ находок, прежние закрыты таблицей
+  «находка → что сделано → ЧЕМ ПРЕДЪЯВЛЕНО»;
+- таблица мутаций полная, выжившие названы;
+- **экономия §4.1 названа числом ДО и ПОСЛЕ, и выходная эквивалентность предъявлена**;
+- **холодный прогон исполнен, его узлы описаны, найденное вынесено отдельной секцией**;
+- числа сняты ПОСЛЕ последней правки, а не вспомнены;
+- всё живое — в ДЕРЕВЕ, а не в письме;
+- сказано явно: **«работа завершена, править не планирую»**. Без этой фразы пак считается идущим.
+
+## Деньги
+
+Батарея, мутации, замеры §4.1(а) — **$0**. Единственные платные вызовы — холодный прогон §4.7, потолок
+**$3**, стоимость называется ДО прогона, стоп и пинг при упоре в потолок. Никаких других платных вызовов.
+
+## Отчёт
+
+Секция **«Бэкенд»** в `docs/PROGRESS.md`, подзаголовок `#### Пак «правда оператору и деньги»`: исход по
+каждому пункту §4 · таблица мутаций · таблица «находка → что сделано → чем предъявлено» · числа экономии ·
+**отдельная секция про холодный прогон и найденное в нём** · объявленные правки тестов по `D39.183` ·
+§10 «что не удалось» · вопросы оркестратору.

docs/BACKLOG.md

@@ -274,7 +274,7 @@
 | 331 | ⛔ **ДВИЖКОВАЯ ПОЛОВИНА `PD-441`: ОТМЕНЁННЫЙ В ПОЛЁТЕ ВЫЗОВ УХОДИТ В ЛЕДЖЕР НУЛЁМ, И ПЛАТФОРМА НЕ МОЖЕТ СКАЗАТЬ БОЛЬШЕ, ЧЕМ «≥».** Формулировка платформенной зоны 06.09 (её слова, приняты оркестратором): (1) `backend/internal/pipeline/stagerun.go`, ветвь с комментарием `No 2xx ever arrived: nothing was billed` — сеттлить ОЦЕНКУ резервации, а не ноль, когда отменённый вызов УЖЕ УШЁЛ; различитель — факт ухода, и порог обязан быть ЗАМЕРЕН, а не назначен (замер `PD-441`: отмена до ухода 20–31 мс против ушедших 120756/156469/156470 мс); (2) ⭐ без второй половины платформа умеет только «≥», но никогда «≥ X, до Y»: `tmctl status --json` обязан публиковать РЯДОМ с `committed_usd` число и сумму строк, чья цена ОЦЕНОЧНАЯ или неизвестна (движок уже печатает `estimated-cost rows: N`, строка **78**). Первое чинит счёт, второе делает маржу ИЗМЕРИМОЙ. ⚠ Пользовательской половины у этого НЕТ и не проектируется: недо-счёт бьёт по деплою, баланс пользователя завышен в его же пользу (решение оркестратора 06.09, `D39.196` п.2а) | бэкенд | скоро | сеттл оценки при отмене ушедшего вызова + публикация оценочных строк в `status --json` | `PD-441`, записка-план платформы 06.09 |
 | 332 | ⛔ **СИНХРОННЫЙ РАЗРЕЗ НА ПРИЁМЕ ПРИНЯТ НАПОЛОВИНУ: ПОСТРОЕН, НО НЕ ГОТОВ — сработало правило остановки.** Из одиннадцати major пака девять легли в этот один механизм, и каждая починка открывала новую площадь ⇒ зона прекратила его чинить по решению оркестратора, а не по усталости. **ДЕСЯТЬ незакрытых пунктов — поимённо в зонном журнале** `platform/docs/platform-PROGRESS.md`, греп `СРАБОТАЛО ПРАВИЛО ОСТАНОВКИ`; здесь копии НЕТ (один носитель). Первый из них определяет форму: **граница бюджета хвоста обязана ВЫВОДИТЬСЯ ИЗ кода пути, а не перечисляться руками** — счёт выводили трижды и трижды неверно. ⚠ Ложный инвариант бюджета заландён осознанно: окно лжи 8 секунд ширины (дедлайн 26m21s–26m29s) при дефолте 10m0s, последствие — теряется идемпотентность (повтор даёт вторую книгу), а не целостность; ряд регистра несёт числа. Три пункта дописаны приёмкой: потерянный ограничитель параллелизма (`MaxWorkers: 4` был у очереди, теперь разрез живёт в HTTP-обработчике без лимитера) · маршрут молчит до 210–220 с после последнего байта, промежуточный прокси не спрошен · отказ уходит наружу только МАШИННЫМ кодом (`Detail` не заполняется) ⇒ «честная причина человеку» из заказа сегодня НЕ доезжает | платформа | скоро | пак, забирающий разрез: вывод границы из кода + десять пунктов журнала | приёмка пака «деньги и правда» 07.09 |
 | 333 | ⛔ **ШОВ-БЛИЗНЕЦ: `Contradictions`/`Conf` ПЕРЕСЕКАЮТ ГРАНИЦУ ФАЙЛА ТЕМ ЖЕ СПОСОБОМ, ЧТО И УБРАННАЯ КАРТА, И МУТАЦИЯ ЛЮБОГО ИЗ ТРЁХ КЛЮЧЕЙ ПЕРЕЖИВАЕТ ТРИ ПОЛНЫХ ПАКЕТА** (`pipeline` + `terminology` + `tmctl`). Стороны сегодня согласованы, паком не тронуты — это не регресс, а незакрытая дыра того же класса, который пак закрыл у соседа. ⭐ **Цена измерена автором на себе: ТРИ КРУГА самопроверки ушли на починку точки вместо шва**, и только на третьем стало видно, что чинить надо способ, а не место; лечение соседа — убрать карту и свести выбор ключа в ОДНО место, после чего один пин ловит все три мутации плюс «продакшн обходит сопоставитель». ⇒ здесь нужен тот же ход, а не четвёртая заплата (`D39.216`). Носитель разбора — §5а №10 отчёта зоны в `docs/PROGRESS.md` | бэкенд | скоро | свести выбор ключа в одно место + один пин на все три мутации | приёмка пака «закон банка честно» 07.09 |
-| 334 | ⛔ **ОПИСАНИЕ БАНКОВОГО КОНТУРА ЛЖЁТ ОПЕРАТОРУ В ЧЕТЫРЁХ МЕСТАХ — один класс, один заказ.** (1) `mining.go:654` `loadAutoBank(signed []store.GlossaryEntry)` зовётся как `r.loadAutoBank(in.entries)` (`bankmaterialize.go:125`): имя параметра, дока и текст оператору говорят «подписанная», а популяция — сид+ruby+mined ЛЮБОГО статуса ⇒ оператор видит неподписанную строку названной подписанной. (2) `bankmaterialize.go:132` — тот же обман в ремарке «the signed term wins». (3) `bankmaterialize.go:139-141` — комментарий на вызове говорит «two DIFFERENT approved terms», собственная дока функции заявляет иное. (4) `mempostcheck.go:91` — дока `Shown` обещает «сколько неподписанных строк реально показано модели», а sticky-перенос `continue`-ится раньше счёта. ⚠ Поведение везде ВЕРНО — лжёт только описание; это тот же класс, что пак 06.09 чинил в четырёх других местах | бэкенд | скоро | четыре описания приведены к поведению + пины на тексты | §5а пака «закон банка честно», приёмка 07.09 |
+| 334 | ⛔ **ОПИСАНИЕ БАНКОВОГО КОНТУРА ЛЖЁТ ОПЕРАТОРУ В ЧЕТЫРЁХ МЕСТАХ — один класс, один заказ.** (1) `mining.go:654` `loadAutoBank(signed []store.GlossaryEntry)` зовётся как `r.loadAutoBank(in.entries)` (`bankmaterialize.go:125`): имя параметра, дока и текст оператору говорят «подписанная», а популяция — сид+ruby+mined ЛЮБОГО статуса ⇒ оператор видит неподписанную строку названной подписанной. (2) `bankmaterialize.go:132` — тот же обман в ремарке «the signed term wins». (3) ⚠ **СНЯТО 08.09 приёмкой второго пака — утверждения не было:** дока `ApprovedSharedKeyCollisions` (`membank/memseed.go:251-258`) говорит «two approved terms with DIFFERENT dst and OVERLAPPING spoiler windows» — ровно то же, что комментарий вызова (`bankmaterialize.go:139-141`), и реализация согласуется с обоими; `git log -S` показывает, что обе фразы не менялись годами. Пункт был неточен с момента заведения строки. (4) `mempostcheck.go:91` — дока `Shown` обещает «сколько неподписанных строк реально показано модели», а sticky-перенос `continue`-ится раньше счёта. ⚠ Поведение везде ВЕРНО — лжёт только описание; это тот же класс, что пак 06.09 чинил в четырёх других местах | бэкенд | скоро | четыре описания приведены к поведению + пины на тексты | §5а пака «закон банка честно», приёмка 07.09 |
 | 335 | ⛔ **РОЛЬ И КЛАССИФИКАТОР ПЛАТЯТ ЗА УЖЕ БАНКОВАННЫЕ ТЕРМИНЫ — фильтр стоит только на ЭМИССИИ.** `terminologist.go:257` против `mining.go:553`: поверхность, которую банк уже несёт, выкидывается на выходе, но до этого за неё заплачено вызовом роли и классификатора. ⇒ прямые деньги на каждом прогоне майнинга. Цена не измерена — первым шагом замер доли таких кандидатов на корпусе | бэкенд | скоро | фильтр по банк-поверхностям ДО оплаты + замер сэкономленного | §5а №3 + предложение №3 зоны |
 | 336 | **РАЗНОГЛАСИЕ НЕ ДОЕЗЖАЕТ ДО ЛИСТА ПОДПИСИ НА САМОЙ ЧАСТОЙ ФОРМЕ СИД-СТРОКИ.** `internal/membank/memseed.go`: сид-строка с окном ПО УМОЛЧАНИЮ и без sense делит UNIQUE-кортеж с banknote-предложением, пропуск по кортежу срабатывает раньше, и владелец не видит спора в артефакте, по которому подписывает. ⚠ Автор пака 06.09 нашёл это у себя сам и отдельно признал, что его же e2e обходил дыру подобранным `until_ch: 20` | бэкенд | скоро | правило «заменённая строка движется» либо иной разрез кортежа + пин на лист подписи | §5а №7 + предложение №6 зоны |
 | 337 | **ТЕКСТЫ ОПЕРАТОРСКИХ СООБЩЕНИЙ НЕ ЗАПИНЕНЫ СИСТЕМНО.** Носитель — `internal/pipeline/seeding.go:73`. Пины есть, но узкие: подстрока стерегла одно словосочетание, а локализующая половина (обе строки, оба окна, firing-ключ) не была закрыта ничем; расширение правила 06.09 сделало прежний текст ложным, и поймала это батарея, а не пин. ⇒ варнинг, по которому нельзя понять, ЧТО столкнулось, — шум, который учат игнорировать | бэкенд | скоро | пины на тексты операторских сообщений как класс | §5а №8 + предложение №4 зоны |

docs/README.md

@@ -24,6 +24,7 @@
   |---|---|---|
   | Оркестратор | [ORCHESTRATOR_SESSION_PROMPT.md](ORCHESTRATOR_SESSION_PROMPT.md) | роль и нормы; счётчик роли — CURRENT-STATE |
   | Бэкенд · КОНСИСТЕНТНОСТЬ | активного НЕТ | пак ОТРАБОТАН и **ПРИНЯТ С ДОФИКСОМ 07.09** — акт **D39.222**; промт в `archive/prompts/` с баннером исхода. Строки 267 и 318 закрыты, у 320 исполнена половина (а). Живой остаток зоны — строка **333** (шов-близнец: мутация любого из трёх ключей переживает три пакета) и 320(б) |
+  | **Бэкенд · ПРАВДА ОПЕРАТОРУ И ДЕНЬГИ** | [BACKEND_OPERATOR_TRUTH_SESSION_PROMPT.md](BACKEND_OPERATOR_TRUTH_SESSION_PROMPT.md) | ⚠ **ВЫДАН 08.09.** Живой остаток движка — строки 333–338: описания, лгущие оператору, и оплата уже банкованных поверхностей. Единственные платные вызовы — холодный прогон на нескольких главах, потолок **$3** машинным гейтом (санкция владельца) |
   | Бэкенд · ГЕЙТ ВМЕСТО ПРОЗЫ | активного НЕТ | пак ОТРАБОТАН и **ПРИНЯТ С ДОФИКСОМ 07.09** — акт **D39.225**; промт в `archive/prompts/` с баннером-исходом |
   | **Бэкенд · СТРУКТУРА ГЛАВ (ДИЗАЙН)** | [CHAPTER_STRUCTURE_DESIGN_SESSION_PROMPT.md](CHAPTER_STRUCTURE_DESIGN_SESSION_PROMPT.md) | ⚠ **ПРОЕКТИРОВАНИЕ, НЕ СТРОЙКА** (`D39.136` п.3): дизайн окна большой пере-нарезки — чем адресуется глава и развязка чанкера (161) · карта осей сдвига · банк-окна на chapter-ID · контент-адресуемый resume `D15.2` · IR/адаптеры/индуктор · правило заголовка и не-CJK путь (303) · гранулярность EPUB (302) и выдача (283). Снимает временный отказ интейка книге из одной главы (`D39.221`). Пак 1 «форматы и честный словарь» ОТРАБОТАН и ПРИНЯТ 06.09 — акт **D39.210**, промт в `archive/prompts/`. ⚠ **ПАК 2 (лексиконы не-CJK, корпус, замер оракулом) — НЕ НАПИСАН и ждёт файлов владельца** |
   | Бэкенд · отозванный | активного НЕТ | пак КАЧЕСТВО написан и ОТОЗВАН до выдачи 05.09 (`archive/prompts/…_WITHDRAWN.md`): предмет дешевле пака — точность чекера уже измерена, пере-снять её стоит одной команды. Следующий пак — СТРУКТУРА ГЛАВ (решение владельца 05.09 «любая книга любого формата»), пишется |