Ratify D39.42 terminologist architecture for pack twenty phase two, rewrite pack directive, amend research twenty spec and tracker

docs/BACKEND_PACK20_BANK_TRUST_SESSION_PROMPT.md

@@ -1,6 +1,8 @@
-# Промт бэкенд-сессии: ПАК-20 «банк: флаговый стоп + покрытие WHAT→WHICH» (ДВУХФАЗНЫЙ: синк → дизайн → ратификация → стройка)
+# Промт бэкенд-сессии: ПАК-20 «банк: терминолог + флаговый стоп» (ДВУХФАЗНЫЙ: синк → дизайн → ратификация → стройка)
 
-**Статус: ВЫДАН 26.07.2026, оркестратор №8. Исполняется ПЕРЕД паком-19 (голос/состояние).** Санкция владельца: флаговый стоп — часть конечной архитектуры («отключение верификации и полное доверие бэкенду»). Ратифицированная база: D39.36 (семантика флага, слова владельца) · D39.37 (приёмка мини-прогона, замер покрытия) · research/20 §D (дизайн-оф-рекорд майнинга, D39.6) · exp16→D39.10 (расщепление: WHICH находит код, WHAT доставляет банкнота ИЗ КОНТЕКСТА; перевод со-встречаемостью запрещён).
+**ФАЗА 1 ИСПОЛНЕНА И ПРИНЯТА (D39.41, 26.07): отчёт `docs/archive/reports/PACK20_BANK_DESIGN_2026-07-26.md` с ревью-шапкой; верификация 39 CONFIRMED / 7 PARTIAL / 0 REFUTED. РЕШЕНИЯ ВЛАДЕЛЬЦА РАТИФИЦИРОВАНЫ (D39.42) — фаза 2 идёт по НИМ, а не по P1–P5 отчёта (те не строятся, вердикт сессии подтверждён). Директива фазы 2 — ниже, секция «ФАЗА 2».**
+
+**Статус: ВЫДАН 26.07.2026, оркестратор №8. Исполняется ПЕРЕД паком-19 (голос/состояние).** Санкция владельца: флаговый стоп — часть конечной архитектуры («отключение верификации и полное доверие бэкенду»). Ратифицированная база: D39.36 (семантика флага, слова владельца) · D39.37 (приёмка мини-прогона, замер покрытия) · research/20 §D (дизайн-оф-рекорд майнинга, D39.6) · exp16→D39.10 (расщепление: WHICH находит код, WHAT доставляет банкнота ИЗ КОНТЕКСТА; перевод со-встречаемостью запрещён) · **D39.41/D39.42 (приёмка фазы 1 + решения владельца)**.
 
 **Первый деливерабл — эхо-блок (≤10 строк): скоуп / инварианты / чего не делать. ДО работы.**
 
@@ -27,12 +29,21 @@
 
 **Приёмка фазы 1:** отчёт `docs/archive/reports/PACK20_BANK_DESIGN_<дата>.md` — эхо-блок · синк-таблица шага 0 · по каждому B варианты/рекомендация/деньги/риски · адверсариальный селф-ревью. **СТОП — ратификация** (контрольная точка владельца).
 
-## ФАЗА 2 — после ратификации
+## ФАЗА 2 — ДИРЕКТИВА (ратифицирована D39.42; читай D39.41/42 в D-логе ПЕРВЫМИ, потом свой отчёт фазы 1 с ревью-шапкой)
 
-Инварианты: golden-дисциплина (двигаешь промпт — объявляй оси, маскированный структурный дифф пуст вне заявленных) · парити EXACT · `-race` · **«пере-мерь свой вывод ДРУГИМ способом, чем получил»** (норма D39.37) · заявление = команда (приёмка ре-ранит) · мутация на каждую новую ветку · дифф `^func Test` исполнением · сессия НЕ коммитит, `git mv` декларировать.
+Архитектура — слова владельца: черновая волна всей книги → майнер (из исходника) + банкнота (варианты из черновиков) → **ТЕРМИНОЛОГ переводит весь смердженный банк сразу по полным контекстам** → стоп (флаг) или авто → редакторская волна по готовому банку. Строй по порядку:
 
-## НЕ делать
+1. **B5 тест-пин ПЕРВЫМ** (до любого изменения поведения — сегодня смену семантики стопа не делает красным ничего, S8): сквозная фикстура, впервые зажигающая `mining.go:40-102` (contrast_path в тестовом конфиге); джойн с НЕПУСТЫМ пересечением; мутационный чек-лист фазы 1 (§6) целиком; плюс пин `waverun.go:316` (резюм-восстановление) · `mining.go:68` (reject-сет) · `chunkrun.go:130-136`.
+2. **Терминолог (ядро).** Роль `terminologist` в пар-паке (`prompts/zh-ru/`); вход: смердженный банк (двусторонний $0-джойн майнер∪банкнота: alias/containment-резолвер + обратная секция) + KWIC-контексты вхождений из ИСХОДНИКА + варианты черновиков + Палладий-данные + **жанровый словарь пары** (новый файл данных langpack; общепринятое индустрией, куратор — владелец; НЕ книжный канон); выход: консолидированное dst на каждый терм (формула research/20 §C2 п.3, НЕ мажоритарность) + провенанс + разброс. Эмиссия двухрежимная §C2-7: есть dst → `status:draft`, нет → `auto`. Батчи, дешёвая модель; смета ДО живого вызова; **веб-фетча НЕТ (D39.42 п.2)** — интерфейс расширяем, включение отдельным решением после полигон-ресёрча.
+3. **Флаг** `--verify-bank` (CLI-only bool, translate+redrive; дефолт = авто-продолжение): стоп показывает БОГАТУЮ таблицу выхода терминолога (src · dst · частота · разброс · контексты; кап stdout + сайдкар — S4); починить S16 (draft-only теряет BookResult) и S17 (вывод стопа в translate, баннер в redrive); экзит-код-контракт; fail-loud при невозможном майнинге.
+4. **Авто-провод**: неподписанные строки с dst едут РЕДАКТОРУ (и черновикам следующих прогонов) с маркером ⟨проверить⟩ (механизм D32/S1 готов); редакторский блок расширяется на не-Confirmed ОТДЕЛЬНОЙ помеченной секцией — закон и рабочие версии не смешивать; **ВСЕ строки банка (включая auto/draft) фолдятся в версию памяти** ⇒ тихих путей к байтам провода не существует, README-инвариант №2 НЕ трогается; reject-сет применяется И на загрузке (риск 3 фазы 1); авто-строки фильтруются из seedSurfaces (риск 2, самоисключение майнинга); guard коллизии ключей auto↔signed (риск 4); auto/draft-строки видны в `tmctl status`/`report` (наблюдаемость — блокер 10 не повторять).
+5. **Точечная ре-редактура по ключу** (смена банка после оплаты — поздняя подпись и любая правка): `--resnapshot`-семантика — пере-пин $0 юнитов с неизменными байтами, пере-оплата только юнитов, где терм встречается; для честной сметы «N юнитов, ~$X» ДО согласия — починить P3 (проекция rebill по contentHash-рендеру, ≈60–120 мс, + корректное моделирование `sanitizer_stripped` — блокер 6).
+6. **Банкнота**: отдельный `prompts/zh-ru/translator-banknote.md` + `prompt_override` в конфигах канала (буквальный перенос в `translator.md` ЗАПРЕЩЁН — S5); срез безусловный (byte-identical путь доказан фазой 1 P2); `bankTokenBudget` пере-считать честной формулой движка (144 впритык/отрицателен — D39.41) — двигается вместе с остальными осями; лимит 12 строк пересмотреть по замеру (22% блоков упёрлись); S12 (parse_fail без сепаратора) починить; **микро-проба финальных байт промпта ≈$0.02 САНКЦИОНИРОВАНА** (развилка 11 — да).
 
-Механизмы D21 (пак-19, после) · судья · веб-фетч-перевод · L3 · авто-подпись «умным» порогом (флаг бинарный — слова владельца) · платные прогоны (смета в фазе 1, живой прогон — отдельное решение) · книжный канон в код или в D-лог (гардрейл: книго-каноны → данные книги).
+Инварианты: golden-дисциплина (двигаешь промпт/оси — объявляй, маскированный структурный дифф пуст вне заявленных) · парити EXACT · `-race` · **«пере-мерь свой вывод ДРУГИМ способом, чем получил»** (норма D39.37) · заявление = команда (приёмка ре-ранит) · мутация на каждую новую ветку · дифф `^func Test` исполнением · нормализовать цитатный слой отчёта (номера строк дрейфовали — твоя же находка §7) · сессия НЕ коммитит, `git mv` декларировать.
+
+## НЕ делать (фаза 2, по D39.42)
+
+Ось `lane`/durable-реестр P1 · ретирование `Gates.Banknote.Enabled` (булев остаётся) · направленная банкнота (отложена — вернуться по замеру покрытия терминолога) · неподвижная точка P5 · M2-кэш · веб-фетч · судья · механизмы D21 (пак-19, после) · L3 · авто-подпись «умным» порогом (флаг бинарный — слова владельца) · платные прогоны сверх микро-пробы и смет терминолога без отдельной санкции · книжный канон в код или в D-лог (жанровый словарь — ПАРА/ЖАНР, не книга; сомнение = пинг).
 
 **Канал вопросов:** непонятно / конфликт промта с кодом или доками → пинг оркестратору через владельца, НЕ тихая интерпретация. Аддендумы доезжают только релеем — подтверди получение строкой в отчёте.

docs/architecture/05-decisions-log.md

@@ -1080,3 +1080,13 @@ API-529-долг закрыт: 8-осевой refute-by-default воркфлоу
 **Приёмка исполнением (7 верификаторов, 46 клеймов, $0):** все несущие S-строки синка подтверждены кодом и исполнением (S1 — тест `TestRenderGlossaryBlock` PASS на `status:auto` + ⟨проверить⟩; S2 — вырез `Source:mined` из baseMemory + confirmed-only редактор = инертность на обоих проводах; S5 — срез банкноты не выполняется при выключенном гейте, ключа нет ни в одном конфиге; S8 — `contrast_path` не задан ни в одном тесте, тело майнинг-стопа `mining.go:40-102` не исполняется ни разу за сьюту, доказано подсчётом логов с позитивным контролем). Доктринальные цитаты Д1–Д8 сверены с первоисточниками; деньги пересчитаны из БД стенда тремя способами (verify $0.0161 / verify2 $0.0328, +104%); теорема FOI и Следствие B выдержали атаку (девятый путь не найден). PARTIAL-поправки — в ревью-шапке отчёта `docs/archive/reports/PACK20_BANK_DESIGN_2026-07-26.md`; весомые: цитата-парафраз в Д5 (овер-атрибуция), блокер 7 не грунтован текстом, посылка блокера 3 не предъявлена в отчёте. **Новая находка приёмки: бюджет банкноты `bankTokenBudget=144` по честной формуле движка впритык/отрицателен (худший блок пробы 142.6/147.2 est-токенов) — фазе 2 пере-считать.**
 
 **Статус: фаза 2 НЕ стартует** до решений владельца по блокирующим развилкам (следующий D-блок). Ключевое уточнение семантики от владельца (26.07, дословно по смыслу): флаг = ОПЦИОНАЛЬНАЯ ПОДПИСЬ — «можно запустить перевод так, чтоб сессия не останавливалась и не запрашивала верификацию банка, а просто как намайнит и закончит — шла в редактуру». Семантика D39.36 не пересматривается; сложность пака — не в стопе, а в том, ЧТО едет в провод, когда подпись пропущена (у большинства намайненных терминов нет dst — разъезд каналов 3% по построению; путь записи не существует; строки в проводе двигают хеши оплаченного).
+
+## D39.42 — Решения владельца по фазе 2 пака-20 (26.07): ядро — новая роль ТЕРМИНОЛОГ (переводит весь смердженный банк по полным контекстам после черновой волны); флаг = опциональный аппрув поверх его выхода; редактор ест неподписанное С ПОМЕТКОЙ в авто-режиме; банкнота отдельным файлом; смена банка = ТОЧЕЧНАЯ ре-редактура по ключу со сметой и согласием; веб-фетч в v1 НЕ входит. ✅
+
+**Архитектура — словами владельца:** «мы намайнить в банк можем весь контекст, потому что есть черновые переводы всей книги сразу … дальше отрабатывает модель, которая видит весь контекст и ПЕРЕВОДИТ весь банк памяти сразу, далее начинают работу редакторы и у них уже есть готовый весь переведённый банк. Если аппрув опционален — просто иди в перевод, который в банке; если обязателен — пайплайн останавливается и ждёт правок». Это ложится на волновую архитектуру без перестройки: draft-волна → майнер (из ИСХОДНИКА) + банкнота (варианты из черновиков) → **терминолог** (не построен — та самая дырка покрытия 3%) → стоп/авто → edit-волна. Направленная банкнота из ядра пака УХОДИТ (терминолог закрывает покрытие адреснее); банкнота остаётся evidence-каналом.
+
+**Ратифицировано пунктами:** (1) **Терминолог** — роль в пар-паке; вход = смердженный банк (двусторонний $0-джойн майнер∪банкнота) + KWIC-контексты вхождений из исходника + варианты черновиков + Палладий + **жанровый словарь пары** (новые данные langpack: общепринятое индустрией — «культивация», не «совершенствование»; слова владельца: «не надо тащить чужой фан-канон, но надо тащить общепринятое»); выход = консолидированное dst на каждый терм (формула §C2 п.3, не мажоритарность) + провенанс + разброс; двухрежимная эмиссия §C2-7 (есть dst → `draft`, нет → `auto`); батчи, дешёвая модель, центы/книга. (2) **Веб-фетч в v1 НЕ входит** — полигону ресёрч-вопрос (улучшает ли, источники, провенанс); интерфейс роли закладывается расширяемым. (3) **Авто-режим**: неподписанные строки с dst едут редактору (и черновикам следующих прогонов) с маркером ⟨проверить⟩ (механизм D32/S1 готов); редакторский блок расширяется на не-Confirmed отдельной помеченной секцией; **ВСЕ строки банка фолдятся в версию памяти** ⇒ тихой пере-оплаты не существует как класса, **README-инвариант №2 НЕ трогается**, ось `lane`/P1 НЕ строится. (4) **Банкнота**: отдельный `translator-banknote.md` + `prompt_override` (книги без канала — $0, класс «таблица в экспорте» невозможен) + безусловный срез; бюджет 144 пере-считать (D39.41: впритык/отрицателен). (5) **Смена банка после оплаты** (поздняя подпись и любая правка) = пере-редактура ТОЛЬКО затронутых юнитов через `--resnapshot`-семантику (пере-пин $0 неизменных байт), со сметой «N юнитов, ~$X» ДО согласия — для честной сметы чинится P3 (проекция по contentHash + `sanitizer_stripped`); слова владельца: «если меняется банк — перезапускается редактура; вопрос насколько широко, на какие главы».
+
+**Уточнения к записанному:** D39.36 п.3 «в инъекцию идёт только CONFIRMED» — верно ТОЛЬКО для редакторского блока; блок переводчика рендерит не-Confirmed с маркером (S1, тест). Моё объяснение владельцу «пометка нужна главам 4–50 того же прогона» было неверным для волновой архитектуры — взято назад (в волне черновики готовы до майнинга; пометка живёт на edit-волне авто-режима и в черновиках следующих частей). research/20 §C2 «не-мажоритарность» и §B3 «evidence-файл» — код расходится осознанно (S10/S11): §C2-формула уезжает в терминолога, артефакт кандидатов остаётся в сторе (спека амендирована этим блоком). Р7 «auto→approved автоматом» — superseded семантикой владельца D39.36/39.42.
+
+**НЕ строить в фазе 2:** ось lane / durable-реестр P1 · ретирование `Gates.Banknote.Enabled` · направленная банкнота (вернуться по замеру покрытия терминолога) · неподвижная точка P5 · веб-фетч · M2-кэш (доктрина Д2 остаётся кандидатом на отдельную ратификацию).

docs/research/20-bank-mining.md

@@ -1,5 +1,7 @@
 # research/20 — Авто-формирование банка памяти книги из черновиков (W1.5 / банк-майнинг)
 
+> **⚠ АМЕНДМЕНТ 26.07 (D39.41/D39.42, синк пака-20).** Два расхождения кода со спекой признаны и ратифицированы: **§B3 «отдельный evidence-файл кандидатов»** — кандидаты живут В СТОРЕ (`retrieval_state.banknote_detail`), файл не строится; **§C2 «консолидация не-мажоритарностью»** — в джойне карты подписи сегодня мажоритарность со смягчением (альтернативы в `note`), полная формула §C2 п.3 уезжает в роль ТЕРМИНОЛОГ (D39.42 п.1: переводит весь смердженный банк по контекстам после черновой волны). §C2 п.7 (двухрежимная эмиссия auto/draft) — ратифицированный контракт эмиссии терминолога.
+
 > **РЕВЬЮ-ШАПКА ОРКЕСТРАТОРА (17.07, лендинг D39.6).** Верификация: **§A-хеш воспроизведён байт-в-байт**
 > (awk-команда отчёта → `7687d56a…` MATCH); несущие репо-клеймы спот-проверены по file:line
 > (injectivityCollisions `memory.go:809+`, rubyToCandidates `memseed.go:314+`, isFinal-only санитайзер,