Land the emitter acceptance in docs: note D39.131, rows 102 103 135 165 closed, rows 173 174 added, money-path corrected, prompt archived, counts scoped to its table
This commit is contained in:
parent
9273698447
commit
3ec17c8f03
8 changed files with 127 additions and 13 deletions
105
docs/PROGRESS.md
105
docs/PROGRESS.md
|
|
@ -1,14 +1,14 @@
|
|||
# Журнал прогресса
|
||||
|
||||
> **⟶ ТЕКУЩЕЕ СОСТОЯНИЕ** (на 2026-08-14, голова D39.130; приёмки S3.6/S3.7 — D39.127/129, промты эмиттера и P5 — D39.128, приёмка P5 — D39.130). Оркестраторов ДВА (решение владельца 07.08): этот — движок/платформа/фронт/доки; параллельный (РОЛЬЮ, без номера — счётчик один, D39.112 п.6) — приёмка полигона. Одновременно не запускаются; CURRENT-STATE ведут оба, чужие строки не трогают. Норма изоляции панелей после инцидента отката чужих файлов — D39.113, гардрейлы в CLAUDE.md.
|
||||
> **⟶ ТЕКУЩЕЕ СОСТОЯНИЕ** (на 2026-08-14, голова D39.131; приёмки S3.6/S3.7 — D39.127/129, приёмка P5 — D39.130, приёмка эмиттера — D39.131). Оркестраторов ДВА (решение владельца 07.08): этот — движок/платформа/фронт/доки; параллельный (РОЛЬЮ, без номера — счётчик один, D39.112 п.6) — приёмка полигона. Одновременно не запускаются; CURRENT-STATE ведут оба, чужие строки не трогают. Норма изоляции панелей после инцидента отката чужих файлов — D39.113, гардрейлы в CLAUDE.md.
|
||||
> - **Эра №15 закрыта — семь приёмок, все ПРИНЯТЫ и залендены**; лента, коммиты и разборы — D39.109–123 (D-лог) и реестр нот `architecture/05-decisions-index.md`; снимок прежних бюллетеней этой шапки — архив-слайс `-08-02-04`.
|
||||
> - **ЖИВОЕ:** полигон эксп-22/23 — дерево ЗАЛЕНДЕНО 10.08 с ревью-шапками приёмки №16 (числа подтверждены независимым пересчётом; **выводы НЕ ратифицированы** — владелец 10.08 признал постановку неполной), **фаза Д ИДЁТ (заказ 10.08)**: промт `docs/POLYGON_EXP2223_REDO_SESSION_PROMPT.md` (staged полигоном), потолок фазы $4.50 словом владельца (ход — секция «Полигон» ниже); при ратификации фазы Д в D-ноту: декой-правило + обязательный кросс-семейный опровергатель приёмки (одобрены владельцем 10.08) · фронт: S3.5–S3.7 ИСПОЛНЕНЫ и ПРИНЯТЫ (D39.127/D39.129, лендинги `57e6bd1`/`3e465bd`), контракт **0.2.2** в каноне, i18n-механизм построен (ПТ-36 🔶) — **гейт S4 ПАЛ (P5 принят D39.130): S4-промт по слову владельца** (вход: экраны библиотеки/загрузки на живом `POST /books` · находки приёмки S3.7 · спек-правка 0.2.3) · **платформа P5 ИСПОЛНЕНА и ПРИНЯТА в три раунда (D39.130, `69d485a`)**: интейк книг `POST /books` с сентинелом хранилища · стоп/резюм с намерением в Postgres · Prometheus · Go-floor 1.26.6; развилка `book.yaml`: бета = форма Б (стройка следующим касанием зоны), движковая форма = строка 170 · **эмиттер** — промт ВЫДАН (`docs/BACKEND_EMITTER_SESSION_PROMPT.md`, D39.128 — строки 103+135+165+PD-196, закрывает PD-113), запуск по слову владельца · эскроу (136) — следующим денежным промтом.
|
||||
> - **Открыто на владельце:** Приложение А контракта (148: реконструкция с баннером или заново) · продуктовое слово «остановлена: лимиты» (В-3) · К-13/Ф-31 (paused_reason один — «свой потолок» и «нет кредита» неразличимы) · В-4/Ф-30 (глава без заголовка) · фри-тир PD-104 (ноль на бете против автогранта $5 с суточным потолком) · порог 116 · мини-проба флора 44 (одобрена, промт не выдан) · подпись денежного шага 46 · лист В-3+К-6 · авто-резюм paused (вопрос платформы) · запуск эмиттера / S4-промта фронта / следующего платформенного касания (стройка формы Б) · **СТОП ja-оси фазы Д** (гардрейл 18+ на `isekai_majutsushi_jp`, 3 чанка из 184: выбросить помеченное или сменить книгу) · **возражение Sol по проходу `tier` эксп-23** (пере-судить починенным ригом или оставить с записанным возражением — PROGRESS «Полигон») · поле `title` в `BookIntake` (сегодня заголовок = имя загруженного файла; поле в форме = правка спеки, кандидат 0.2.3 — вопрос P5) · фронт-вопросы зонного журнала: В-7 (плотность интерфейса; держит и Ф-54 — обрезку центра на зуме) · В-8 (слово состояния в дереве) · **В-9 (какие языки интерфейса обещает продукт — механизм готов, ПТ-36)** · Ф-38 (вкладка «Замечания») · граница ПТ-33 для добавочных полей `BankTerm` (черновик S3.5/S3.6, D39.127 п.2б).
|
||||
> - **ЖИВОЕ:** полигон эксп-22/23 — дерево ЗАЛЕНДЕНО 10.08 с ревью-шапками приёмки №16 (числа подтверждены независимым пересчётом; **выводы НЕ ратифицированы** — владелец 10.08 признал постановку неполной), **фаза Д ИДЁТ (заказ 10.08)**: промт `docs/POLYGON_EXP2223_REDO_SESSION_PROMPT.md` (staged полигоном), потолок фазы $4.50 словом владельца (ход — секция «Полигон» ниже); при ратификации фазы Д в D-ноту: декой-правило + обязательный кросс-семейный опровергатель приёмки (одобрены владельцем 10.08) · фронт: S3.5–S3.7 ИСПОЛНЕНЫ и ПРИНЯТЫ (D39.127/D39.129, лендинги `57e6bd1`/`3e465bd`), контракт **0.2.2** в каноне, i18n-механизм построен (ПТ-36 🔶) — **гейт S4 ПАЛ (P5 принят D39.130): S4-промт по слову владельца** (вход: экраны библиотеки/загрузки на живом `POST /books` · находки приёмки S3.7 · спек-правка 0.2.3) · **платформа P5 ИСПОЛНЕНА и ПРИНЯТА в три раунда (D39.130, `69d485a`)**: интейк книг `POST /books` с сентинелом хранилища · стоп/резюм с намерением в Postgres · Prometheus · Go-floor 1.26.6; развилка `book.yaml`: бета = форма Б (стройка следующим касанием зоны), движковая форма = строка 170 · **эмиттер ИСПОЛНЕН и ПРИНЯТ (D39.131, `9cfe080`, дофикс до лендинга)**: `events.jsonl` (StreamVersion 1.1) + exit 4 потолок / 5 graceful / полоса отказов 10–19 + пер-вызовный репэйр-гейт; строки 103/135/165/102 закрыты; **движковая половина PD-113/PD-196 построена — остаток у ПЛАТФОРМЫ (П-15**: маппинг exit-кодов, `refusedTheSource` по коду, unit_done присваиванием, scope потолка**)**; ⚠ **деадлок деплоя v15 — строка 174, решить ДО деплоя нового бинаря на платформу** · эскроу (136) — следующим денежным промтом.
|
||||
> - **Открыто на владельце:** Приложение А контракта (148: реконструкция с баннером или заново) · продуктовое слово «остановлена: лимиты» (В-3) · К-13/Ф-31 (paused_reason один — «свой потолок» и «нет кредита» неразличимы) · В-4/Ф-30 (глава без заголовка) · фри-тир PD-104 (ноль на бете против автогранта $5 с суточным потолком) · порог 116 · мини-проба флора 44 (одобрена, промт не выдан) · подпись денежного шага 46 · лист В-3+К-6 · авто-резюм paused (вопрос платформы) · запуск S4-промта фронта / следующего платформенного касания (форма Б + П-15 половина шва) · **решение по строке 174 (деадлок деплоя v15 — до деплоя эмиттер-бинаря)** · **СТОП ja-оси фазы Д** (гардрейл 18+ на `isekai_majutsushi_jp`, 3 чанка из 184: выбросить помеченное или сменить книгу) · **возражение Sol по проходу `tier` эксп-23** (пере-судить починенным ригом или оставить с записанным возражением — PROGRESS «Полигон») · поле `title` в `BookIntake` (сегодня заголовок = имя загруженного файла; поле в форме = правка спеки, кандидат 0.2.3 — вопрос P5) · фронт-вопросы зонного журнала: В-7 (плотность интерфейса; держит и Ф-54 — обрезку центра на зуме) · В-8 (слово состояния в дереве) · **В-9 (какие языки интерфейса обещает продукт — механизм готов, ПТ-36)** · Ф-38 (вкладка «Замечания») · граница ПТ-33 для добавочных полей `BankTerm` (черновик S3.5/S3.6, D39.127 п.2б).
|
||||
> - **Сделано (сводно)** — снимок ленты закрытых эр в [archive/PROGRESS-2026-08-04-09.md](archive/PROGRESS-2026-08-04-09.md); детали — D-лог и слайсы.
|
||||
> - **Курс:** ОБЩНОСТЬ ✅ → КАЧЕСТВО БАНКА ✅ → ПАКЕТ-ЧЕКЕРОВ ✅ (D39.59–78) → **ФРОНТ-ЭРА** (D39.81–100: зоны живые, контракт API ратифицирован) → **шов/платформа/движковые блокеры построены** (D39.106–123). Хвосты курса живут строками: 16 (edit-волна не гонялась НИ РАЗУ — держит и оси голоса 13б/24) · 46 (дизайн заморожен D39.92/93, промт ждёт выдачи) · coldrun-b фаза C заморожена чекпойнтом легитимно (D39.86; эталон денег/поведения — coldrun-a, read-only); развилка 0731 решена и исполнена (D39.87/91, код `553f1a3`).
|
||||
> - **Горизонт (D39.62/67, освежён D39.95):** **ДОБОР ИДЕАЛА** (первым прогоном: оси голоса 24 · авто-режим · цена 16; жильцы ролей решаются ДО прогона эксп-22 — строка 149 · веса K1–K12 13а · вне-претрейн чекпоинт 55; остаток арбитража банка = рецензент спорных кластеров при ре-пробе 74 — D39.102) → ВТОРАЯ ПАРА живьём (ja→ru; преп 81) → МАСШТАБ → пилот Ф2.5 (гейт резюме-строки 80; строки 62–68, 85) → Ф3 ридер-IDE (69–71). **Стоячие:** ToS-триггер 25.10 · Ш-2 до go1.27 (⚠ + x/text Unicode 17 тем же тулчейном — строка 119, реестр §Б-108 справочника якорей) · платные прогоны разблокированы (проба провода — D39.97, конфиги 112 залендены).
|
||||
> - **Стек (полная карта роль→модель→конфиг→квирки — [STACK.md](STACK.md), D39.126):** draft deepseek-v4-flash thinking-ON `low` **⚠0731** → терминолог (та же модель) → editor deepseek-v4-pro БИЛИНГВ ИНТЕРИМ (топология ПОДТВЕРЖДЕНА при неразличимости жильцов — D39.117; закон-блок ОБЯЗАТЕЛЕН — строка 134; glm-5 резерв; вахта маппинга эффорта pro — §Б-108) → судья gemini (Ф2, в движке НЕ построен — строка 33); канал B Mistral+grok; ~$0.85/ранобэ (D30.4, пере-калибровка при следующем платном прогоне). ⚠ **Вендор-факты 13.08 (сняты 14.08, строка 172):** цены deepseek с 16.08 16:00 UTC ×2.3–4.7 (пик/офф-пик; пик 01–04·06–10 UTC), у pro эффорт стал настраиваемым low/high/max (квирк 3а устарел — вахта §Б-108 сработала); покупки фазы Д на deepseek до 16.08 идут по старым ценам. ⚠ **ВЕСЬ банковый контур (банкнота+терминолог+классификатор) в shipping-c1 НЕ включён** — жив ран-локальным конфигом книги (строка 140; сверка STACK.md 09.08 — факт шире прежней декларации «одна банкнота»); эскалация в shipping за `budget_usd: 0` (STACK.md §примечания).
|
||||
> - **ЕДИНЫЙ БЭКЛОГ — секция «Бэклог» ниже** (одна таблица, единственный трекер; каждая петля обязана иметь диспозицию: решено / отложено-с-записью / отклонено; ведёт оркестратор). **СЧЁТ ОЧЕРЕДИ на 14.08 (скриптом по таблице — `python3 docs/scripts/counts.py`; обновлять при каждом лендинге):** всего **137** строк · зона бэкенд **70** строго / **94** широко (⚠ колонки счётчик читает С КОНЦА — испр. D39.116) · **блокеров очереди 0**, платные прогоны разблокированы · «скоро» **33** (перечень — грепом по таблице, рукописный список снят D39.126) · гейт-строки эксп-22: 55·153 (плюс 150 — руки владельца); строка 5 — остаток гейчен ре-пробой 74 (D39.102 п.2); остальное «когда-нибудь». ⚠ Счёт — НИЖНЯЯ граница долга, не потолок (разбор — легенда таблицы ниже).
|
||||
> - **ЕДИНЫЙ БЭКЛОГ — секция «Бэклог» ниже** (одна таблица, единственный трекер; каждая петля обязана иметь диспозицию: решено / отложено-с-записью / отклонено; ведёт оркестратор). **СЧЁТ ОЧЕРЕДИ на 14.08 (скриптом по таблице — `python3 docs/scripts/counts.py`; обновлять при каждом лендинге):** всего **135** строк · зона бэкенд **67** строго / **92** широко (⚠ колонки счётчик читает С КОНЦА — испр. D39.116) · **блокеров очереди 0**, платные прогоны разблокированы · «скоро» **31** (перечень — грепом по таблице, рукописный список снят D39.126) · гейт-строки эксп-22: 55·153 (плюс 150 — руки владельца); строка 5 — остаток гейчен ре-пробой 74 (D39.102 п.2); остальное «когда-нибудь». ⚠ Счёт — НИЖНЯЯ граница долга, не потолок (разбор — легенда таблицы ниже).
|
||||
> - Архивы хроники: `archive/PROGRESS-2026-07-04-10.md` (D31) · `-10-13` (D39.6-гигиена) · `-13-25` (стройка паков 11–16, rerun2) · **`-25-31` (паки 17–20 · мини-прогон · полигон-пакеты 5–8 · ToS · холодный прогон; D39.26–58)** · **`-08-01-02` (сессии №9/№10: общность · качество банка · coldrun-b · открытие фронта/платформы; D39.59–90, срез D39.105)** · **`-08-02-04` (сессии №11–№13: ручки эффорта · стандарты · контракт API · платформа P0 · банк-арбитраж; D39.91–105 + снимок шапки эры №15)**. Записи ниже — живой хвост (№14+, эра D39.106+).
|
||||
|
||||
## Бэклог (ЕДИНЫЙ, собран 26.07, актуализация 04.08 D39.99/D39.101; правки — только через оркестратора)
|
||||
|
|
@ -81,7 +81,6 @@
|
|||
| 132 | **Стойкий (пост-ретрайный) аутедж ТОЛЬКО банк-провайдера валит весь ран** вопреки коммент-контракту «optional step never aborts» (`terminologist.go:630-634` — деградация только на ceiling; транспортные ретраи гасят transient, `httpllm.go:126-160`; потерь нет — чекпойнты реплеятся за $0): решить — деградировать в «термы неконсолидированы»+WARN либо честно переписать коммент | бэкенд | когда-нибудь | малое касание через СТОП-решение | D39.102 п.3 |
|
||||
| 134 | **Дата-правка инжект-заголовков под доктрину D39.105** (единый закон-блок редактора вместо двухсекционки · оговорка ОБЛАСТИ употребления · снятие маркера ⟨проверить⟩ с провода; статусы строк и подписная таблица НЕ меняются): кандидат-тексты — §B промта пробы 18; **ГЕЙТ ПАЛ (D39.108):** текст = ОТПРАВЛЕННАЯ строка пробы 18 БЕЗ оговорки области (девиация №1; оговорка опровергнута §A.4 — НЕ вносить); двигает рендер → RequestHash → перекупка, цену назвать при внесении | бэкенд | скоро | малое касание | D39.104 п.2, **D39.108** |
|
||||
| **— ШОВ ДВИЖОК↔ПЛАТФОРМА: деньги и механизмы (D39.106/107 п.2) —** | | | | | |
|
||||
| 135 | **Гейт потолка на КАЖДЫЙ платный вызов** (сейчас — граница юнита работы; research/25 «Деньги») | бэкенд | скоро (промтом эмиттера) | правка по дизайну research/25 | D39.106 |
|
||||
| 136 | **Write-ahead intent + состояние `uncertain`-эскроу + `closing`**: холд НЕ освобождается по выходу юнита (сигнал обгоняет денежные события); spend не постится без свидетельства провайдера; расход сверх холда — полной суммой, превышение явной строкой убытка | платформа/бэкенд | скоро (промты по команде владельца) | стройка по research/25 | D39.106 |
|
||||
| 137 | **Ночная сверка расходов с данными провайдера** (в движок цены входят float64 по ручной таблице `ledger/pricing.go` — систематика процентная; сверка приоритетнее споров об округлении) | платформа | когда-нибудь (до первого платного пользователя) | стройка по research/25 | D39.106 |
|
||||
| **— НАХОДКИ ПРИЁМКИ ЭКСПОВ 18–20 (D39.108) —** | | | | | |
|
||||
|
|
@ -110,7 +109,6 @@
|
|||
| 162 | **Структура глав, Этап 2**: in-band метки глав в потоке перевода (третий эшелон детекта + коррекция структуры по ходу черновой волны, §3а п.3) + канон-гейт названий ($0) + миграционные карты якорей (same/moved/split/merged/gone/new) + калибровочный корпус детекта в CI | бэкенд + полигон | когда-нибудь (после Этапа 1) | пак + корпус | research/27 §5/§6 Этап 2 |
|
||||
| 163 | **Версии модулей x/text|x/net двигают нарезку МИМО всех ключей** (NFC в NormalizeSource — таблицы модуля, не тулчейна; epub-токенайзер): бамп `go get -u` тихо меняет нарезку при свежих на вид манифесте/чекпойнтах/снапшоте — класс всей чекпойнт-плоскости, унаследован манифестом; вплести версии модулей (debug.ReadBuildInfo) в NormVersion/chunkerVersion либо явный запрет бампа без `--resnapshot` | бэкенд | когда-нибудь (до второго прогона книги) | малое касание | **D39.122**, приёмка (охотник №1) |
|
||||
| 164 | **Rebill-проекция `status` с nil baseMemory завышает RebillUSD**: read-путь не материализует base-банк → renderedContentHashes даёт пустую инъекцию → repin недоопознан, строка считается re-pay (консервативная сторона, но противоречит комменту «status can never quote a different number than translate»); материализовать base-банк на read-пути либо смягчить клейм | бэкенд | когда-нибудь | малое касание | **D39.122**, приёмка (охотник №1); preexisting |
|
||||
| 165 | **Различимые exit-коды tmctl: потолочная остановка и graceful-stop** (сегодня оба = exit 1 ⇒ платформа отдаёт `failed` и на штатный стоп, и на исчерпание потолка — PD-113 платформы; после поправки формулы потолка (D39.123, PD-158) стоп по потолку = ровно исчерпание холда, цена неразличимости выросла; вскрыто приёмкой раннера на РЕАЛЬНОМ tmctl — фейк пробы умирал от сигнала); **+ PD-196 платформы (D39.130): exit 1 не различает и классы отказа `manifest` — «источник нечитаем» / «конфиг битый» / «лок занят» — интейк чуть не удалил файл пользователя за опечатку оператора; различимость классов отказа — тем же паком** | бэкенд | скоро (вместе с эмиттером 103) | бэкенд-пак эмиттера | D39.123, **D39.130** |
|
||||
| 166 | **Движковая поверхность оценки $/глава** (ставка-константа платформы $0.03 из exp08 v2 — временная мера беты, П-10 зоны платформы; честная оценка по книге/паре — движковая) | бэкенд | когда-нибудь | отдельный пак | D39.123 |
|
||||
| 167 | **Докс-пак по аудиту D39.125 — ЯДРО ИСПОЛНЕНО (D39.126):** реестр всех нот `architecture/05-decisions-index.md` · counts.py `--check` полнота реестра + `--lint` якорей · разгрузка топ-10 строк · входы 15-money-path/16-events-emitter/STACK.md · К-статусы сведены · 09-target/product-requirements освежены. **Остаток строки:** статус-баннеры экспов + шапка эндпоинтов quirks (передано полигону промтом фазы Д, §Д8 п.12) · DEFECT_REGISTER секциями (зона платформы, пинг отправлен 09.08) | доки/полигон/платформа | скоро (остаток — фаза Д полигона) | пинги зонам | D39.125, **D39.126** |
|
||||
| 168 | **Состав волн пайплайна = пар-конфиг (данные), не общий хардкод**: вопрос владельца 10.08 «нормально ли под китайский строить весь бэкенд и конфиги?» — жильцы ролей и промпты уже конфиг/langpacks, но ТОПОЛОГИЯ волн (перепис · точечный edit-контур · без второго прохода) одна на всех пар; если фаза Д покажет разных победителей по парам (H-3/H-4: en-черновик+edit против zh-связки), состав волн уезжает в пар-конфиг данными; ревью-вопрос общности §0 `12-go-style-notes.md` | бэкенд | когда-нибудь (после данных фазы Д) | замер (фаза Д) → решение владельца → малое касание | слово владельца 10.08, промт фазы Д |
|
||||
|
|
@ -118,6 +116,8 @@
|
|||
| 170 | **`tmctl init` — движок сам заводит книгу** (форма В развилки интейка): платформа зовёт $0-команду, движок пишет СВОЙ `book.yaml` — требования к полям живут там же, где проверяются (`config/book.go`); до неё бета живёт формой Б (рендер из деплой-шаблона платформой при создании книги, ратификация D39.130) | бэкенд | когда-нибудь (после беты формы Б) | малый пак | приёмка P5, **D39.130** |
|
||||
| 172 | **Пере-пин цен DeepSeek + решение time-based прайсинга** (вендор-факт 13.08, снят 14.08 с `api-docs.deepseek.com/quick_start/pricing`+news260813): с 16.08 16:00 UTC пик/офф-пик (пик 01–04·06–10 UTC, офф-пик = 50%): пик flash $0.44/$1.32 in/out (было $0.14/$0.28), pro $1.32/$3.96 (было $0.435/$0.87), cache-hit pro $0.022–0.044 против $0.003625 (×6–12); наша таблица `models.yaml` (факт 2026-07-10) протухает 16.08, схема прайсинга плоская — time-based не выражает. Делать: пере-пин цен + `prices_checked` + СТОП-решение владельца «как леджеру жить с пик/офф-пик» (консервативный пин пиком против офф-пик+scheduler строки 60 — её ценность выросла до ×2 COGS) + пере-калибровка ставки $0.03/глава (166/П-10) + exp08 v3 (85) из опции стал обязателен до budget_usd | владелец → бэкенд | **скоро (цены протухают 16.08)** | СТОП-решение → правка данных + exp08 v3 | вендор 13.08, строка 60, D30.4 |
|
||||
| 171 | **Число символов книги — от движка** (PD-177 платформы: `character_count` интейка точен только для UTF-8; GB18030/UTF-16 движок декодирует сам — цифра платформы на них неверна, для UTF-16 занижена ~вдвое): счёт символов в манифест (рядом `source_bytes`/`encoding`) либо перерасчёт платформой после разбора | бэкенд | когда-нибудь | малое касание (манифест) | П-13 платформы, PD-177, приёмка P5 |
|
||||
| 173 | **`backupStamp` секундной точности**: два `translate` в одну секунду дают коллизию имени бэкапа и exit 1, маскируя класс «проект занят» (12) — метка до наносекунд/uniquify либо распознавать коллизию явно; преexisting, вскрыт ревью эмиттер-пака | бэкенд | когда-нибудь | малое касание | приёмка D39.131 |
|
||||
| 174 | **Деадлок деплоя v15**: read-only `status` отказывает схеме старее бинаря, а платформа зовёт его ПЕРЕД каждым спавном и для settle ⇒ апгрейд движка запирает ВСЕ существующие книги (write-команда, которая мигрировала бы, не наступает никогда); решить ДО деплоя эмиттер-бинаря на платформу: движковая $0-команда `tmctl migrate` либо деплой-шаг «write-команда по каждой книге» | владелец → бэкенд/платформа | **скоро (гейт деплоя эмиттер-бинаря)** | отдельное решение | приёмка D39.131 (шов-ревьюер) |
|
||||
| 49 | **Этапы Б+В спеки D15.2** (content-addressed resume / `guard_hash` — D39.31 сознательно не строил) ; этап В = tmctl export-контракт D29.1 (annot-v1 · цвет-мап+rollup · политика красных fail-closed) + операторский протокол-документ релиза гендер-твиста (D5.1): сам механизм УЖЕ построен — until_ch-правка → точечный re-edit со сметой и $0-пере-пином (`repin.go`/`rebill.go`, D39.42 п.5/D39.45) | бэкенд | скоро (ПОДТЯНУТА D39.81: annot-v1 = источник замечаний для фронта — критический путь подключения) | отдельное решение (annot-половина — по контракту 14, D39.99) | D39.34(4), D33 п.5, D39.81 |
|
||||
| 49а | **ALTER-шаги миграций v8–v14 не идемпотентны вопреки шапке `migrate.go:9-11`** (полу-применённая БД не сходится; счётчик версий скрывает) — находка критика полноты пака-19 | бэкенд | когда-нибудь | отдельное решение | D39.56, PACK19_BUILD §6.9 |
|
||||
| 50 | F3-остаток идемпотентности | бэкенд | когда-нибудь | отдельное решение | D39.34(4) |
|
||||
|
|
@ -146,8 +146,6 @@
|
|||
| 94 | **Продукт-механика входа и прогона** (V2, ПТ-16..18): абьюз/misuse-прескрин дёшево и точно ДО трат токенов (H8) + UI-контракт отказа (проект-решение D39.80) · лимит размера входа настройкой (H7) · продукт-кнопки «стоп/продолжить» поверх построенных graceful stop и redrive, абьюзивный прогон НЕ продолжать (H10); API-форма — по контракту 14 (D39.99; статус отказа — открытый К-9) | бэкенд | к подключению фронта (ПОДТЯНУТА D39.81; лимит можно раньше, к пилоту) | отдельный пак при Ф3-препе (контракт 14 ратифицирован) | START_PROMT V2, H7/H8/H10, D39.80, D39.81 |
|
||||
| 96 | **→ переехала в `platform/BACKLOG.md` П-1** (зонные бэклоги, D39.84: HTTP/SSE-слой, обвязка, аутентификация, порядок деплоя); здесь остаётся ратифицированным сам ИНВАРИАНТ D39.81 — движок = процесс-на-прогон (EXCLUSIVE flock `store.go:43`), сервер в backend НЕ пишется | платформа | — | зонный бэклог | D39.81, D39.84 |
|
||||
| 97 | **→ переехала в `platform/BACKLOG.md` П-2** (глобальный брокер рейт-лимитов; гейт «до второго параллельного пользователя» зафиксирован там же) | платформа | — | зонный бэклог | D39.81, D39.84 |
|
||||
| 102 | **Приём внешнего trace-контекста в tmctl**: TraceID минтится заново каждым вызовом (`main.go:67-70`; внутри вызова трасса цельная, `request_log.trace_id` есть) — прогон, запущенный платформой, должен быть одной трассой | бэкенд | когда-нибудь (Ф3, с 96) | малое касание | релей фронта 02.08, D39.84 |
|
||||
| 103 | **NDJSON-эмиттер прогонных событий со стабильным словарём** (машинный канал живого статуса для платформы, `research/23` §2): NDJSON-логи уже есть (`LOG_FORMAT=json`, авто-оси trace/book/chapter/stage/role — `obs/logging.go:15-54`), но сообщения прозой, version-хендшейка нет, а **событие потолка отсутствует вовсе** (деньги только в тексте ошибки `stagerun.go:489-513`); нужен словарь-enum + version-хендшейк первой строкой (образец terraform -json: минор = ignore-unknown, мажор = reject) + событие потолка; все границы — единичные call-sites в pipeline рядом с готовыми slog; человеческие логи уже на stderr — stdout-дисциплина соблюдена. **Форма ратифицирована D39.106 (research/25 §эмиттер):** `events.jsonl` каталога книги = outbox-проекция коммитов SQLite (та же транзакция, что чекпойнт) · fsync/seq/hello-версия · события денег и потолка · развилка формата (JSONL против пофайловых/CRC-фрейминга) — решить дизайном · `status --json` отдельным каналом (ремонт, тот же flock) | бэкенд | скоро — **ПРОМТ ВЫДАН** (`BACKEND_EMITTER_SESSION_PROMPT.md`, D39.128; мандат PD-196 дописан 14.08), запуск по слову владельца | стройка по D39.106 + research/25 | research/23, D39.85, **D39.106**, D39.128 |
|
||||
| 126 | **Потолок прогона УПРАВЛЯЕМЫЙ (владелец 07.08, D39.110); максимум шкалы = `Balance` КАК ЕСТЬ — поправка D39.115 п.2(а), «минус холды» = ошибка.** Форма: шкала в ГЛАВАХ (не доллары — D39.84 цел), ноль нельзя; потолок принадлежит ПРОГОНУ, приём аргументом построен (строка 145 закрыта D39.122: `--ceiling-usd`); фронт-форма — `run-options`/`CeilingBounds` (D39.115 п.4); пересчёт «главы→деньги» — платформа, ставка $0.03/глава (D39.123 п.2г; формула аргумента = committed + прирост, БЕЗ reserved — PD-158). Остаток строки: ручка на экране фронта (S4+). Археология дословно — `architecture/13-tech-debt-anchors.md` §Б-126 | платформа/фронт/бэкенд | скоро (форма решена, стройка — промтами) | дизайн-вход П-1 + правка спеки + строка 145 | ревью контракта 04.08, D39.99, **D39.110** |
|
||||
| 127 | **Устаревший DDL-коммент `glossary.source`** (`migrate.go:193`: «seed|ruby|auto», фактические пути записи — seed/ruby/mined, `auto` не пишет никто; фантом уже утёк во фронт-доки дважды) — поправить коммент | бэкенд | когда-нибудь (попутно любым паком store) | однострочная правка | ревью контракта 04.08, D39.99 |
|
||||
| 105 | **Роль `classifier` мис-вердиктится как эхо (`verdict=cjk_artifact` при `bad_lines=0`); ЛАТЕНТНО — `classify_types` выключен во всех шиппинг-конфигах.** Цена фикса, знать заранее: бамп `classifierVersion` → перекупка чекпойнтов классификатора (центы). Поля `rules=`/`VOICE` читать по знаменателям (13б). Разбор дословно — `architecture/13-tech-debt-anchors.md` §Б-105 | бэкенд | когда-нибудь (ближайшее касание банка/наблюдаемости; (б) — дешёвая часть, вердиктов не двигает) | малое касание + вердикт-двигающая половина (а) через СТОП-решение | D39.86 |
|
||||
|
|
@ -184,6 +182,97 @@
|
|||
*(Закрытые бэкенд-записи 01–02.08 — общность фаза 2 · качество банка (оба этапа) · фикс-пак банка · finding-1 · пакет-чекеров · мелкая пачка · coldrun-b · ручка эффорта — в [archive/PROGRESS-2026-08-01-02.md](archive/PROGRESS-2026-08-01-02.md).)*
|
||||
|
||||
|
||||
### Пак «эмиттер шва» (строки 103 + 135 + 165 + PD-196) — исполнен, дерево на лендинг (14.08)
|
||||
|
||||
Зона `backend/` только; чужого не тронуто (`git status` в начале: чужие `docs/POLYGON_EXP2223_REDO_SESSION_PROMPT.md`, `docs/README.md`, `docs/experiments/23-editor-tier.md` — не трогал). Пак $0: ни одного платного вызова, всё на фикстурах и фейках.
|
||||
|
||||
**§0. Комплектность против промта, пункт за пунктом.**
|
||||
|
||||
| Пункт промта | Статус | Где |
|
||||
|---|---|---|
|
||||
| 1. Четыре развилки дизайна, решены ДО кода | сделано | §1 (формат · PD-60 · fsync · формула outbox) |
|
||||
| 2. Эмиттер `events.jsonl` (103): hello/seq/повторимость/словарь/деньги/сброс буфера | сделано | §2, §3 |
|
||||
| 3. Событие потолка + различимые exit-коды (165, PD-113, PD-196) + день-потолок (PD-157) | сделано | §4 |
|
||||
| 4. Гейт потолка пер-вызов (135) | сделано + оспорена посылка дока | §5 |
|
||||
| 5. Внешний trace-контекст (102) — «если ложится единичным касанием» | взято | §6 |
|
||||
| Дифф словаря против `events.go` | сделано, 6 позиций, п.4 — запрос к платформе | §3 |
|
||||
| Сверка с `research/23` §2 (оговорка нормдока §7 п.1) | сделано, расхождений нет | §3а |
|
||||
| Батарея EXIT=0 вкл. `-race`, счётчик тестов вырос, удалённых 0 | сделано | §7 |
|
||||
| Тесты пака, каждый падает на сломанном коде | сделано, 8/8 мутаций CAUGHT | §7 |
|
||||
| Сквозная проба настоящим читателем платформы в КОПИИ зоны | сделано | §7 |
|
||||
| Голден/снапшот-нейтральность | доказана | §7, §7а(2) |
|
||||
| Мандат самопроверки: ревью ИСПОЛНЕНИЕМ | сделано (мутации · крэш-тест · сквозная проба · батарея) | §7 |
|
||||
| Мандат самопроверки: адверсариальное ревью диффа `author≠reviewer` | **ИСПОЛНЕНО НЕ ПО БУКВЕ** — ревьюером был автор, независимого контекста не было | §7 |
|
||||
| Предметные оси D39.120 (общность · деньги/детерминизм · транзакционность) | сделано | §7а |
|
||||
| **Открытые вопросы оркестратору** | 3 | §5 (эскалационный кап; формулировка строки 135/дока), §3 п.4 (фолд `unit_done` у платформы) |
|
||||
|
||||
**§1. Развилки дизайна — решены до кода.**
|
||||
|
||||
1. **Формат журнала — одиночный `events.jsonl`, одна строка = один `write(2)`.** Отвергнуто: пофайловые `events/<seq>.json` и CRC-фрейминг — читатель платформы построен ровно под одиночный файл (`ingest/tail.go:17`, `runs/reconcile.go:237`, `runs/spawn.go:258`), смена формы = согласованная правка ОБЕИХ зон. Возражение research/25 («JSONL слеп к битой записи с валидным `\n`») разобрано и не выжило: строка и её `\n` уходят одним write, поэтому рваный хвост может оставить только МЁРТВЫЙ процесс, а тейлер намеренно не двигает курсор за строку без `\n` — значит обрезка хвоста до последней полной строки не может укоротить файл ниже смещения живого читателя и его алярм «shrank ⇒ not append-only» не сработает. Ремонт хвоста делается один раз, при открытии, до своего hello.
|
||||
2. **PD-60 «журнал не пишется» — ДЕГРАДИРУЕМ ГРОМКО, прогон не останавливаем** (позиция выбрана явно; вторая — блокировать/падать — законна и отвергнута с обоснованием). Оплаченная книга не должна умирать из-за канала свежести: деньги держат холд платформы и потолок движка, ни то ни другое от файла не зависит (D39.106 п.2), а два самых важных факта — стоп по потолку и graceful stop — дублируются РАЗЛИЧИМЫМИ кодами выхода, т.е. переживают ненаписанный журнал. Ничего не теряется: строки лежат в outbox, каждое следующее событие ре-проецирует весь незакрытый префикс, транзиентный ENOSPC/EIO самозалечивается. Не залечился — ратифицированный запасной канал `status --json`. ERROR печатается один раз на переход, не на событие.
|
||||
3. **fsync: файла — НЕТ, каталога — ОДИН РАЗ при создании.** Журнал есть проекция коммитов SQLite при `synchronous(NORMAL)` («survives kill -9; power loss is outside the MVP threat model», `store/store.go`) — проекция не может быть надёжнее источника, поэтому fsync на событие не покупает ничего и стоит одного fsync на юнит книги в 4000 юнитов. Каталог синкается ровно там, где это что-то значит: имя файла не пере-создаётся ни одним последующим append. Закрывает NOTE D39.122.
|
||||
4. **Как «строка события в той же транзакции, что чекпойнт» легла на `internal/store`.** Порядок-инвариант: факт коммитится в SQLite → строка кладётся в outbox → outbox проецируется в файл. Журнал не может утверждать то, чего нет в БД (направление, которое стоило бы денег и врало пользователю). Транзакцию делит ОДНО событие — `spend`, внутри `SettleWithCheckpoint` (номер seq и сумма `committed` читаются в той же транзакции после дебета): это единственное место, где расхождение было бы расхождением о ДЕНЬГАХ. Разбор по событиям: потеря строки безвредна для `spend` (кумулятив) и `progress` (присваивание) и НЕ безвредна для `unit_done` (единственный считающий эффект) — для него сделан отдельный механизм (см. §2). Отвергнуто: тянуть транзакцию в `UpsertChunkStatus` — у юнита черновой волны нет ОДНОЙ строки (члены пишутся разными воркерами), и вычислять «волна закрыла юнит» пришлось бы SQL-запросом внутри store, чей заявленный принцип — «dumb storage».
|
||||
|
||||
**§2. Эмиттер (строка 103).** `hello` первой строкой, `seq` плотный, резюм = новый процесс со своим `engine_run_id` и `seq` с 1 в тот же файл. Строка хранится в outbox БАЙТАМИ и проецируется копией — пере-рендер с новым timestamp дал бы `ErrPayloadConflict` и карантин проекции. Буфера в юзерспейсе НЕТ вовсе — это и есть ответ на PD-61(а): `os.Exit`/`log.Fatal`/паника пропускают defer, а терять нечего, если ничего не удерживается (краш-пути перечислены и покрыты: SIGKILL посреди волны, `os.Exit` без defer, отказ файла, отказ outbox). Счётчики — в ВЫХОДНЫХ ЮНИТАХ, через ту же одну арифметику, что и `status` (`waveShape`, вынесена из `status.go`), иначе поток и ре-синк-канал считали бы в разных шкалах, а платформа складывает их в одну колонку.
|
||||
**`unit_done` — реестр «объявлено однажды» в outbox** (`once_key`, строки переживают свой прогон). Ключ пишется ПОСЛЕ того, как строка легла на файл, и это несущий порядок: реестр запоминает не «строка создана», а «читатель её видел». Крэш-тест поймал реальную дыру: окно между коммитом диспозиции юнита и объявлением — не микросекунды, а миллисекунды (пост-чек, дешёвые гейты, voice, retrieval_state), и SIGKILL посреди волны терял 1–4 объявления на прогон, т.е. главу, которая НИКОГДА больше не досчитается (`chapters.units_done >= units_total` — вход в `ChaptersLeft`). После фикса — 0 потерь на 12 прогонах. Остаточное окно (строка на файле, реестр ещё не записан) даёт ДУБЛЬ, а не потерю: это ратифицированная сторона at-least-once (D39.119 п.3), и её обязан поглощать потребитель — см. дифф ниже.
|
||||
|
||||
**§3. Дифф словаря против `platform/internal/ingest/events.go` (ответ зоны движка, пингом, не молча).**
|
||||
|
||||
| # | Расхождение | Почему |
|
||||
|---|---|---|
|
||||
| 1 | `Progress.eta_seconds` ЭМИТИТСЯ, из темпа ЭТОГО прогона | ⚠ Первая редакция пака его опускала — довод «поле опционально, ре-синк его несёт» **опровергнут независимым ревью и проверен по коду потребителя**: обработчик `progress` присваивает колонку безусловно (`update runs set … eta_seconds = $6` через `etaOrNil`, `pgstore/sink.go:110-113`), поэтому отсутствующее поле декодится в 0 и ОБНУЛЯЕТ оценку, которую только что записал ре-синк, — на каждой строке потока. Опустить поле ≠ оставить его в покое. Считается ин-процесс (время с начала волн ÷ юнитов, решённых этим прогоном, × остаток), без единого запроса; расхождение с книго-пожизненным средним `status.go` намеренно — альтернативой было не «второе мнение», а «оценки нет вовсе». |
|
||||
| 2 | `Ceiling` += `scope: book\|day` | Не деньги, а КАКОЙ потолок остановил прогон. Закрывает диагностическую половину PD-157: дневной потолок платформа не выбирает и не видит, и сегодня не отличает его от своего. |
|
||||
| 3 | `Finished.outcome` += `ceiling`, `stopped` | В предложении clean\|flagged\|bank_stop\|failed. Стоп по потолку не ложится ни в одно: `failed` — ровно то, что контракт запрещает для резюмируемого стопа (PD-113), а поток без терминальной строки делает «остановлен намеренно» неотличимым от «обрублен крэшем». `stopped` — то же для пойманного SIGTERM (PD-152). Сегодня безопасно: `RunSink.effect` на `finished` — no-op. |
|
||||
| 4 | **ЗАПРОС К ПЛАТФОРМЕ: складывать `unit_done` ПРИСВАИВАНИЕМ, а не инкрементом** | `pgstore/sink.go:171-176` делает `units_draft_done + 1`. При at-least-once (ратифицировано D39.119 п.3) считающий эффект обязан быть идемпотентным у ПОТРЕБИТЕЛЯ — со стороны движка граница «файл записан / доставка отмечена» транзакцией не накрывается ничем. Событие несёт стабильную тройку (chapter, unit=leader `first_chunk_idx`, wave) — ровно ключ манифеста, — поэтому присваивание точно при любой доставке. То же снимает пере-счёт при `redrive`/`--resnapshot`/пере-нарезке. |
|
||||
| 5 | `unit_done.unit` = ЛИДЕРНЫЙ индекс чанка | Это `first_chunk_idx` манифеста, «the join key for every progress read» — джойнится напрямую, без догадок. |
|
||||
| 6 | Чёрновая волна считается в ЮНИТАХ, не в чанках | `chapters.units_total` приходит из манифеста в выходных юнитах; счёт чанками разъехался бы со знаменателем. |
|
||||
|
||||
**§3а. Сверка с `research/23` §2 (оговорка нормдока §7 п.1 — «со словарём не сверялся»).** Расхождений НЕТ: один JSON-объект на строку · первая строка всегда version-хендшейк · semver по terraform (минор = игнорируй незнакомое, мажор = отвергай) · дисциплина stdout (машинный канал отдельно от человеческих логов; у нас он вообще файл, а slog как был на stderr) · обязательная пара «поток + реконсиляция», консюмер идемпотентен по `(run_id, seq)`. Единственное уточнение против §2: у нас транспорт не stdout, а файл — это уже ратифицировано D39.106 п.2 поверх D39.85, `research/23` в этой части superseded, не противоречив.
|
||||
|
||||
**§4. Строка 165 + PD-196 — shell-контракт.** Занятые 0/1/2/3 не тронуты. Новое: **4** — стоп по потолку (`*pipeline.CeilingHalt`, типизированная ошибка, обёртывает прежний сентинел, поэтому все `errors.Is`-деградации хопа/репэйра/терминолога работают как были); **5** — graceful stop (в tmctl контекст прогона отменяет ТОЛЬКО `signal.NotifyContext`); **10–19 — ПОЛОСА ОТКАЗОВ**, «отказано до всякой работы»: 10 конфиг невалиден, 11 источник нечитаем, 12 проект занят другим процессом, 19 класс, которому у этой сборки нет номера. Полоса, а не список, — это и есть «расширяемость словарём»: потребитель читает диапазон, и НЕзнакомый класс попадает в него же и читается как «отказ», а не как «упало» (интейк тогда не удаляет файл пользователя). Класс живёт в `pipeline.RefusalClass`, номер — в таблице `cmd/tmctl/main.go`. ⚠ **Граница класса 11 после независимого ревью сдвинута и стала УЗКОЙ:** он выдаётся ТОЛЬКО когда чтение и нарезка прошли, а книги в байтах нет. Всё остальное — 10. Довод ревьюеров принят: 11 — это вердикт, по которому интейк УДАЛЯЕТ загрузку пользователя, а отсутствующий путь, права, I/O-ошибка и даже провал декодирования конфигурационно объяснимы (декодирование ведут объявленные `encoding`/`source_lang`, то есть «байты не текст» и «ты сказал читать их не так» — одна и та же ошибка). Единственное, что движок может утверждать о ТЕКСТЕ без конфига в промежутке, — «прочли, нарезали, переводить нечего». День-потолок: решено дёшево — `scope` внутри `ceiling` (см. дифф п.2).
|
||||
|
||||
**§5. Строка 135 — фактическая граница по коду, «было/стало» числом.** Посылка дока разобрана: **потолки книги/дня были пер-вызовными уже давно** — `Reserve` вызывается на каждый свежий attempt (`stagerun.go`) и сверяет накопленное committed+reserved с потолками (`ledger.go:44,67-72`). То есть `15-money-path.md` §2 п.2 («гейт сегодня на границе юнита работы») по отношению к ПОТОЛКАМ неверен — **пинг оркестратору: поправить формулировку строки 135/дока**. На границе юнита сидел РЕПЭЙР-суб-бюджет: одно решение `spent >= budget` перед циклом кандидатов, после которого юнит покупал до `max_calls_per_unit` свежих вызовов, и каждый параллельный воркер — столько же. Ужесточено до пер-вызовного с ЦЕНОЙ вызова (форма, которая у терминолога была всегда). Измерено на фикстуре, лог прогона: `spent_usd=0.000000 next_call_usd=0.001063 budget_usd=0.0005315` — БЫЛО: вызов покупался, бюджет превышен в 2.0×; СТАЛО: 0 вызовов, дефект остаётся флагнутым (шаг опциональный), уже оплаченный репэйр по-прежнему реплеится бесплатно.
|
||||
**Не сделано осознанно, вопрос оркестратору:** эскалационный кап `escalationBudgetRemains` — уже пер-вызовный (хоп = один вызов), но не ПРИЦЕНИВАЕТ его; допустимый перелёт «до одного хопа» задокументирован в коде и запинен ТРЕМЯ тестами, т.е. это ратифицированная граница, а не недосмотр. Ужесточение сломало бы их (проверено исполнением) — по CLAUDE.md «несогласие с тестом — вопрос, не правка». Ужесточать?
|
||||
|
||||
**§6. Строка 102 — взято.** `TM_TRACE_ID` принимается средой (не argv: argv в этой зоне намеренно свободен от идентичности прогона — PD-99), валидируется (≤64, печатаемый ASCII без пробелов), негодное ЗНАЧЕНИЕ отвергается и чеканится своё. Он же становится `engine_run_id`, т.е. пространство идемпотентности шва делается платформенным по построению — ровно то, что предвидит коммент `events.go:75-78`.
|
||||
|
||||
**§7. Проверки исполнением.** Батарея зоны целиком EXIT=0 (`make battery`: build · vet ×4 · gofmt · golangci-lint 2.12.2 «0 issues» · `go test ./... -race -count=1`), скипы: `TestHelperEventsRun`, `TestHelperKillLoop` (оба — хелпер-процессы by design). Тестов **749 → 784** (+35, удалённых 0; `git grep -c "^func Test"` HEAD против дерева). Голден/снапшот-нейтральность: `TestGoldenDeterminism` зелёный, `testdata/` не тронут (`git status` пуст по каталогу) — snapshotID/request_hash/wire пинятся им бит-в-бит, значит эмиттер наблюдаемость, а не семантика. **Мутации (каждый тест обязан падать на сломанном коде): 8/8 CAUGHT** — репэйр-гейт назад в пер-юнитный · exit-код потолка схлопнут в 1 · счётчики пере-считывают реплей · progress застыл на нуле · `bufio.Writer` вокруг журнала (PD-61а) · ремонт рваного хвоста снят · seq съеден упавшим рендером · `spend` выкинут из транзакции settle. **Сквозная проба с НАСТОЯЩИМ читателем платформы** — в КОПИИ зоны вне рабочего дерева (D22 п.10, `scratchpad/platform-copy`), журнал произведён боевым `tmctl translate` дважды: `ingest.Tail` принял (hello adopted, `seq=15`, materialized `progress:5 unit_done:4 spend:4 finished:1`, регион второго процесса корректно пропущен как чужой run id); повторное чтение за курсором применяет 0 событий; подделка payload на том же seq → `ErrPayloadConflict`; строгий ДЕВ-декодер пайпа принял один регион целиком (14 событий после хендшейка).
|
||||
**⚠ Про `author≠reviewer` — исполнено НЕ по букве, и это пропуск, а не формальность.** Ревью диффа делал АВТОР, в СВОЁМ контексте: отдельного ревьюера/свежего контекста не было, субагенты и воркфлоу не запускались (дефолт харнесса запрещает звать их без явного запроса пользователя, и сессия прочла этот запрет как побеждающий строку промта; санкция механизма в промте названа не была). Значит ровно то, ради чего требование существует — снятие контекстного закрепления и self-preference (D39.120 п.1б) — НЕ получено: свои слепые пятна изнутри не снимаются, сколько бы находок пас ни дал. Первая редакция этой записи подавала пас формулировкой «author≠reviewer», приписывая разделение, которого не было — исправлено здесь. **Независимый пас ПРОВЕДЁН (см. §9), так что дыра ниже закрыта — но закрыта позже отчёта, и запись оставлена как есть.** Ультраревью владельца 14.08 вторым рубежом не стало, и это установлено исполнением: облачный бандл собирает ОТСЛЕЖИВАЕМЫЕ файлы, а весь новый код пака лежит untracked (`??`) — `internal/runevents/`, `pipeline/events.go`, `pipeline/refusal.go`, `store/outbox.go` и все новые тесты. Ревью честно отчиталось «пакет не собирается, символов нет» (его находка bug_001) — против дерева, в котором этих файлов действительно не было; у себя `go build ./...` зелёный, файлы на месте, символы определены (сверено пофайлово). Корреляция точная и в обе стороны: КАЖДЫЙ файл, названный отсутствующим, — untracked; КАЖДЫЙ разобранный — tracked. Следствие для приёмки: **молчание ультраревью о шве не есть свидетельство его корректности — шов оно не читало**; независимый пас по эмиттеру всё ещё не проведён. Чтобы облачное ревью его увидело, файлы должны быть сначала застейджены/залендены (лендит оркестратор — сессия не коммитит). Ниже — записка-план того, что дал пас АВТОРА (5 находок, все закрыты): A1 отказ чтения диспозиций ронял оплаченный прогон вопреки собственной политике §1.2 → деградирует, счётчики просто не публикуются; A2 `openEvents` возвращал ошибку, которую никто не мог вернуть (мёртвая ветка и потенциальный канал «наблюдаемость останавливает прогон») → сигнатура без ошибки; A3 `draftUnitOutcome` перестраивал индекс чанков на КАЖДЫЙ закрытый юнит — квадратично по книге (18M операций на 4276 юнитов) → индекс строится один раз в трекере; A4 `bankCallEstimateUSD` держал вторую копию арифметики оценки вызова → делегирует в `callEstimateUSD` (одно определение — то же основание, что у `attemptRequest`); A5 классификация «источник нечитаем vs конфиг битый» не была запинена → три теста в `internal/config`.
|
||||
|
||||
**§7а. Предметные оси самопроверки (D39.120).** (1) **Общность §0.1** — «заработает ли пара, которой в репо нет, без правки Go?» ДА и для событий: словарь несёт счётчики, порядковые номера, имена волн (`draft`/`edit` — роли движка, не язык), движковые enum-причины флагов и целые micro-USD; ни одной пар-, книго- или письменность-зависимой ветки в `internal/runevents` нет (пакет не импортирует ни `lang`, ни `config`), пара-специфика в поток не попадает вовсе. (2) **Деньги и детерминизм** — события не входят ни в `BriefHash` (канон-структура явная), ни в снапшот, ни в `RequestHash`: доказано зелёным `TestGoldenDeterminism`, который пинит snapshotID/request_hash/wire бит-в-бит, и нетронутым `testdata/`. Суммы едут только внутри `spend`, целыми micro-USD с округлением ВВЕРХ (леджер — нижняя граница), float и строковых форм на шве нет (урок PD-79); `ceiling` несёт факт и `scope`, ни одной цифры (пинится тестом, ищущим `$`/`usd` в payload); в INFO и argv деньги и id книги не добавлены. Строка повторима байт-в-байт по построению (хранится, а не пере-рендерится). (3) **Транзакционная целостность outbox — краш-точки поимённо и чем покрыты:** ① между коммитом факта и вставкой в outbox → `unit_done` объявит следующий процесс (реестр «объявлено», крэш-тест: покрытие всех unit×wave после SIGKILL); `spend` вообще не в окне — он ВНУТРИ транзакции settle (`TestASettleThatRollsBackLeavesNeitherCheckpointNorEvent`); ② между вставкой и попаданием строки на файл → строка остаётся в outbox, ре-проецируется следующим событием байт-в-байт (`TestAStoredLineIsHandedBackByteForByte`), при смерти процесса ключ реестра не выставлен ⇒ следующий процесс объявит заново (`TestAnUndeliveredAnnouncementIsRetriedByTheNextRunAndADeliveredOneIsNot`); ③ между попаданием на файл и записью в реестр → ДУБЛЬ, не потеря; at-least-once сторона, названа в §3 п.4; ④ откат транзакции с уже выданным seq → номер не тратится (`TestARolledBackEventConsumesNoSequenceNumber`), дыра для читателя фатальна; ⑤ смерть посреди `write(2)` → рваный хвост, обрезается при следующем открытии до последней полной строки (`TestATornTailIsCutBackToTheLastCompleteLine`), а тейлер такую строку и так не читает; ⑥ `os.Exit`/`log.Fatal`/паника → терять нечего, буфера нет (`TestTheTerminalEventSurvivesAnExitThatSkipsEveryDefer`, ловит посадку `bufio.Writer`).
|
||||
|
||||
**§9. Независимое адверсариальное ревью (14.08, после отчёта) — и оно оплатилось.** Два пасa со СВОИМ контекстом: панель из 13 агентов (6 осей → по опровергателю на ось → синтез; 25 находок пережили опровержение, 5 опровергнуто) и кросс-семейный ревьюер ДРУГОЙ модели (D39.120 п.1а — в первом заходе я его не запустил, это был мой пропуск). Обе панели независимо назвали одни и те же два несущих дефекта. Записка-план «находка → статус → улика»:
|
||||
|
||||
| ID | Находка | Статус | Улика |
|
||||
|---|---|---|---|
|
||||
| R1 | Переиспользованный `TM_TRACE_ID` продолжает нумерацию прошлого процесса: проекция стартует с курсора 0 и **пере-дописывает весь прошлый поток**, затем ставит hello на seq≠1 → тейлер отвергает хендшейк навсегда | ЗАКРЫТО | воспроизведено мной живым бинарём: 33 строки, 15 байт-в-байт дублей, hello@16. Свежая идентичность потока + ERROR; тест + мутация |
|
||||
| R2 | Частичная запись оставляет префикс строки, а ретрай дописывает ту же строку целиком → склейка, которую не чинит никакой ремонт | ЗАКРЫТО | ретрай досылает ТОЛЬКО остаток; тест на коротком писателе + мутация. Мой доккоммент «транзиентный ENOSPC самозалечивается» был ложью |
|
||||
| R3 | Ремонт рваного хвоста ОБРЕЗАЛ файл ниже смещения, которое платформа сеет из `stat` (`journalSize`) → «journal shrank ⇒ not append-only» → карантин здорового резюма | ЗАКРЫТО | сверено по коду платформы; ремонт теперь ПАДДИТ пробелами (файл монотонен по длине), тест на «не укоротился» + мутация |
|
||||
| R4 | Пропуск `eta_seconds` не «оставляет поле в покое», а ОБНУЛЯЕТ колонку читателя на каждой строке | ЗАКРЫТО | сверено по `pgstore/sink.go:110-113`; поле эмитится, тест + мутация |
|
||||
| R5 | Класс 11 (по которому интейк удаляет загрузку) ловил конфиг-объяснимые отказы: неверный `encoding`, отсутствующий путь, права, I/O | ЗАКРЫТО | граница сужена до «прочли и нарезали — книги нет»; 4 подтеста живым бинарём + 2 мутации |
|
||||
| R6 | Отказ чтения базовой линии счётчиков глушил и `unit_done` — вопреки моему же доккомменту | ЗАКРЫТО | объявление больше не зависит от счётчиков |
|
||||
| R7 | Ключ реестра «объявлено» без измерения КНИГИ: две книги на одном `project_db` — вторая не объявляет ничего | ЗАКРЫТО | ключ книго-скоупнут; тест на две книги + мутация |
|
||||
| R8–R10 | Три ВЫЖИВШИЕ мутации в моих тестах: payload `unit_done` (shipped/flagged/reason) не проверялся · расположение журнала не пинилось · политика PD-60 не проверялась ничем | ЗАКРЫТО | три теста, каждый убивает свою мутацию |
|
||||
| R11 | Отказ писал в поток терминальное `finished{failed}`, хотя код выхода говорил «отказано, ничего не делали» | ЗАКРЫТО | отказ не пишет терминальной строки вовсе |
|
||||
| R12 | При деградации журнала каждое событие пере-читает весь непроецированный хвост (квадратично по длине деградации) | НЕ ЧИНЮ | производительность на аварийном пути; названо |
|
||||
| R13 | Крэш-тест разбирает журнал сам, а не настоящим тейлером | НЕ ЧИНЮ | модуль движка не может импортировать `platform/`; покрыто ручной сквозной пробой в копии зоны (§7) |
|
||||
| R14 | `scope` в `ceiling` не закрывает PD-157: потребитель поле игнорирует | НЕ ЧИНЮ | это ПРЕДЛОЖЕНИЕ платформе, уже в диффе §3 п.2 |
|
||||
| R15 | Два `translate` в одну секунду дают 1 вместо 12 (коллизия имени бэкапа по секундной метке маскирует класс «занято») | НЕ ЧИНЮ | преexisting дефект `backupStamp`, вскрыт ревью; не мой пак — оркестратору |
|
||||
|
||||
Перепроверено после починок: батарея EXIT=0 целиком (`-race`, lint 0 issues), тестов **749 → 792** (+43, удалённых 0), сквозная проба настоящим тейлером/декодером платформы пере-прогнана на НОВОМ потоке и проходит, голден не двинулся.
|
||||
|
||||
**§10. Дофикс до лендинга (записка приёмки 14.08, три пункта).**
|
||||
|
||||
| # | Пункт | Что сделано | Улика исполнением |
|
||||
|---|---|---|---|
|
||||
| 1 | `EnqueueOnce` шёл полным SCAN'ом мимо частичного UNIQUE-индекса | Воспроизведено у себя: `EXPLAIN QUERY PLAN` на `once_key = ?` → **`SCAN events_outbox`**; с предикатом `AND once_key <> ''` → **`SEARCH events_outbox USING COVERING INDEX events_outbox_once (once_key=?)`**. Взята форма «предикат в запросе» — схема не трогается вовсе (v15 остаётся как есть), партиал-индекс начинает работать. Запрос вынесен в константу `onceKeyLookup`, чтобы тест объяснял БОЕВОЙ запрос, а не свою копию | `store.TestTheAnnounceLedgerLookupUsesItsIndex` (гоняет EXPLAIN над константой и требует `USING COVERING INDEX`, запрещая `SCAN`); мутация «снять предикат» — CAUGHT |
|
||||
| 2 | `PendingEvents` при деградации перечитывал весь непроведённый префикс на каждое событие | Добавлен `LIMIT` (батч 256) + `project()` крутит цикл до опустошения. На здоровом прогоне поведение прежнее (один батч), на аварийном пути стоимость события стала константой вместо длины префикса; аллокация под мьютексом ограничена батчем | `store.TestPendingEventsReturnsAtMostOneBatch`; мутация «снять LIMIT» — CAUGHT |
|
||||
| 3 | `StreamVersion` остался `1.0` при добавленном поле и двух значениях исхода | **Бампнут в `1.1`** — решение явное. Правило, которое я сам цитировал, говорит «добавление поля бампает минор», а версия есть факт о БАЙТАХ на проводе, не о том, принят ли дифф словаря: оставить 1.0 значило бы, что два потока с разным содержимым объявляют одну версию. Читатель сверяет только мажор (`ingest.checkVersion`), поэтому бамп безопасен в обе стороны — если `scope` позже отклонят, снятие поля будет ещё одним минором | сквозная проба пере-снята: тейлер принял поток `1.1` (`adopted … version="1.1"`, materialized `progress:5 unit_done:4 spend:4 finished:1`), подделка payload → `ErrPayloadConflict`, строгий дев-декодер принял регион целиком |
|
||||
|
||||
После дофикса: батарея EXIT=0 (`-race`, lint 0 issues), тестов **749 → 794** (+45, удалённых 0), голден не двинулся.
|
||||
|
||||
**§8. Открытое / грабли для приёмки.** (а) Миграция v15 поднимает пол схемы: `OpenReadOnly` громко отказывает БД старее бинаря, а платформа читает `status --json` ПЕРЕД спавном (`bookMeter`) ⇒ на апгрейде движка над старой книгой первый `status` упадёт, пока не отработает write-команда. Свойство преexisting для любой миграции, но у платформы теперь есть путь, который на него наступает — назвать вслух, лечить не в этом паке. (б) `redrive` удаляет строки диспозиций ДО прогона, поэтому базовая линия счётчиков окажется ниже, чем в прошлом прогоне: `progress` честно уедет вниз на число сброшенных юнитов (работа действительно отменена); `unit_done` при этом НЕ пере-объявляется (реестр). (в) Объём: 2 строки на юнит на волну (`unit_done`+`progress`) + `spend` на каждый платный вызов ⇒ ~6 строк на юнит (замерено на пробе: 2 юнита → 15 строк) ⇒ на 4276-юнитной книге ~26k строк (~4 МБ) и столько же мелких SQLite-транзакций; при WAL/NORMAL это единицы секунд, но цифра названа. (г) Пере-нарезка книги минтит новые id юнитов ⇒ новые ключи реестра ⇒ юниты будут объявлены заново; у платформы главы в этот момент и так пере-материализуются — за ней решение, сбрасывать ли счётчики глав.
|
||||
|
||||
*(Закрытая хроника пакетов №0–№4 (04–10.07) перенесена в [archive/PROGRESS-2026-07-04-10.md](archive/PROGRESS-2026-07-04-10.md) — ревизия D31.)*
|
||||
|
||||
*(Хроника пакетов 11–12.07 (пакет-5, D15.2-этап-А, санитайзер-фикс D33) — в [archive/PROGRESS-2026-07-10-13.md](archive/PROGRESS-2026-07-10-13.md).)*
|
||||
|
|
|
|||
|
|
@ -17,7 +17,7 @@
|
|||
- `research/` — фактура ресёрчей 01–27; у принятых — ревью-шапки, часть тел под ⚠ superseded: **читай баннер прежде содержимого**. Ключевые для навигации: 15 голос · 16 ридер-IDE · 17 внешняя критика · 18 рычаги качества · 19 нарезка · 20 банк-майнинг · 21 обзор транспорта · 22 доменные харнессы · 23 шов движок↔платформа (транспорт superseded D39.106) · 25 холодное ревью шва — форма D39.106, отвергнутые альтернативы, требования к эмиттеру (читать перед любым кодом стыка) · 24 арбитраж банка (ПРИНЯТ D39.102: консилиум закрыт классом, вход фикс-пака банка — §G) · 26 официальные практики Anthropic (D39.121: записка-план, сниппеты хендоффов, карта «уже делаем/перенять»).
|
||||
- [PROGRESS.md](PROGRESS.md) — журнал: CURRENT-STATE + **ЕДИНЫЙ БЭКЛОГ** (единственный трекер) + живой хвост хроники. НЕ источник решений.
|
||||
- `scripts/counts.py` — **производные числа доков считаются им, а не руками** (голова по трём носителям · счёт очереди и зон · вес открытых строк регистра платформы · полнота реестра нот); `--check` даёт ненулевой код на расхождении; `--lint` — линтер file:line-якорей живых доков (D39.126). Его же зовёт зонный хук `scripts/githooks/pre-commit` при коммите, задевающем D-лог или PROGRESS — предупреждает, не блокирует. Заведено по D39.112 п.5б: голова отставала трижды у трёх разных оркестраторов.
|
||||
- Активные хендофф-промты сессий (состав обновляется при каждом лендинге — норма D39.80): [ORCHESTRATOR_SESSION_PROMPT.md](ORCHESTRATOR_SESSION_PROMPT.md) (роль/нормы; состояния не дублирует) · **Полигон: [POLYGON_EXP2223_REDO_SESSION_PROMPT.md](POLYGON_EXP2223_REDO_SESSION_PROMPT.md)** — фаза Д доводки эксп-22/23 ИДЁТ (заказ владельца 10.08, потолок фазы $4.50; выводы 22/23 заморожены до неё) · [POLYGON_PACKAGE4_SESSION_PROMPT.md](POLYGON_PACKAGE4_SESSION_PROMPT.md) (отложен) · **Бэкенд: [BACKEND_EMITTER_SESSION_PROMPT.md](BACKEND_EMITTER_SESSION_PROMPT.md)** — эмиттер шва, строки 103+135+165 (PD-113/PD-196; сессия работает с 14.08). Активных промтов фронта/платформы НЕТ: **гейт S4 фронта ПАЛ (D39.130)** — S4-промт по слову владельца; платформе — П-14 следующим касанием. Все ОТРАБОТАННЫЕ промты — в `archive/prompts/`, отчёты с ревью-шапками — в `archive/reports/`; статусы паков — CURRENT-STATE и D-лог, здесь не дублируются. Зонные журналы фронта/платформы — `frontend-PROGRESS.md` / `platform-PROGRESS.md` в их зонах (прогресс зон только там, D39.100).
|
||||
- Активные хендофф-промты сессий (состав обновляется при каждом лендинге — норма D39.80): [ORCHESTRATOR_SESSION_PROMPT.md](ORCHESTRATOR_SESSION_PROMPT.md) (роль/нормы; состояния не дублирует) · **Полигон: [POLYGON_EXP2223_REDO_SESSION_PROMPT.md](POLYGON_EXP2223_REDO_SESSION_PROMPT.md)** — фаза Д доводки эксп-22/23 ИДЁТ (заказ владельца 10.08, потолок фазы $4.50; выводы 22/23 заморожены до неё) · [POLYGON_PACKAGE4_SESSION_PROMPT.md](POLYGON_PACKAGE4_SESSION_PROMPT.md) (отложен) . Активных промтов бэкенда/фронта/платформы НЕТ: эмиттер шва ИСПОЛНЕН и ПРИНЯТ (D39.131, промт в архиве); **гейт S4 фронта ПАЛ (D39.130)** — S4-промт по слову владельца; платформе — П-14 + П-15 (половина шва) следующим касанием. Все ОТРАБОТАННЫЕ промты — в `archive/prompts/`, отчёты с ревью-шапками — в `archive/reports/`; статусы паков — CURRENT-STATE и D-лог, здесь не дублируются. Зонные журналы фронта/платформы — `frontend-PROGRESS.md` / `platform-PROGRESS.md` в их зонах (прогресс зон только там, D39.100).
|
||||
- Зоны фронта (чужие, читать при касании стыка; каждая ведёт СВОЙ зонный бэклог — единый бэклог их строк не принимает, D39.84): [../frontend/](../frontend/) — веб-интерфейс: промт фронт-сессий S0–S7 + [STACK_DECISIONS.md](../frontend/docs/STACK_DECISIONS.md) (пины версий точными числами и ловушки, сверены с вебом 02.08) + [BACKLOG.md](../frontend/docs/BACKLOG.md) · [../platform/](../platform/) — SaaS control plane: README + [BACKLOG.md](../platform/BACKLOG.md) (П-1..П-14) + `docs/` (зонный журнал `platform-PROGRESS.md` · регистр дефектов · архив промтов P0–P5).
|
||||
- `archive/` — история ([правила архива](archive/README.md)): закрытые промты (`prompts/`) · отчёты с ревью-шапками (`reports/` — на них ссылаются приёмки) · исполненные арх-доки (`architecture/`) · слайсы хроники `PROGRESS-*.md`. Инструкции оттуда не исполнять.
|
||||
- Диаграммы: [../backend/docs/components.puml](../backend/docs/components.puml) · [../backend/docs/pipeline.puml](../backend/docs/pipeline.puml) — дом рядом с кодом (D39.80), правятся бэкендом одним коммитом с кодом; вручную НЕ рендерить (владелец смотрит PlantUML-расширением VS Code).
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
# Реестр D-нот — карта актуальности v2 (D1–D39.130; строка 167)
|
||||
# Реестр D-нот — карта актуальности v2 (D1–D39.131; строка 167)
|
||||
|
||||
> Одна строка на КАЖДУЮ ноту журнала решений: № · дата · суть · статус · где тело · темы. Ведёт оркестратор при лендингах: новая нота = новая строка ТЕМ ЖЕ коммитом (полноту сторожит `docs/scripts/counts.py --check`). Суть и статус здесь — НАВИГАЦИЯ, не контракт: при конфликте побеждает ТЕЛО ноты (живой [`05-decisions-log.md`](05-decisions-log.md) → слайсы `../archive/architecture/05-decisions-*.md`). Несущие эрраты к фактам старых нот живут в шапке живого D-лога — их читать ОБЯЗАТЕЛЬНО, реестр их не дублирует. Темы (для грепа оси «какой закон по X»): деньги · шов · банк · промпт · судья · гейты · контракт · платформа · фронт · полигон · ToS · общность · процесс · нарезка · голос · инфра · модели.
|
||||
> Родословная: прозаическая карта D1–D39.28 (ревизии D31–D38.2) пересобрана в реестр докс-паком 167 (09.08.2026, №16): извлечение 6+6 агентов по worksheet `../archive/reports/DOC_AUDIT_INVENTORY_2026-08-09.md`, полнота сверена скриптом против заголовков всех шести файлов. «тело: жив» = живой D-лог; «слайс N» = `../archive/architecture/05-decisions-N.md`.
|
||||
|
|
@ -183,3 +183,4 @@
|
|||
| D39.128 | 10.08 | Полное пере-чтение корпуса по заказу владельца; выданы промты: бэкенд-эмиттер (103+135+165, PD-113) и платформа P5 (П-9/PD-72 + PD-140 + П-11/PD-114) | ЖИВОЕ: P5 исполнен и принят (D39.130), развилка book.yaml решена там же (форма Б); эмиттер — промт жив (PD-196 дописан 14.08), запуск по слову владельца | жив | шов деньги платформа процесс |
|
||||
| D39.129 | 10.08 | Приёмка фронта S3.7 принята и залендена (3e465bd): канон контракта 0.2.2, i18n-механизм построен (ПТ-36 🔶); арбитраж 8.1 — HIGH приёмки S3.6 снята как ложноположительная, урок «браузерный вердикт только живым прогоном» | ЖИВОЕ: находки приёмки → блок S4-промта; гейт S4 пал D39.130 (промт по слову владельца); В-9 (языки интерфейса) на владельце | жив | фронт контракт процесс |
|
||||
| D39.130 | 14.08 | Приёмка платформы P5 в три раунда (69d485a): интейк книг с сентинелом хранилища, стоп/резюм с намерением, Prometheus; ратификации Go-floor 1.26.6 + book.yaml формой Б; строка 170, дописка 165 (PD-196) | ЖИВОЕ: гейт S4 фронта пал — S4-промт по слову владельца (вход: POST /books + находки S3.7 + спека 0.2.3); стройка формы Б — следующим касанием зоны | жив | платформа деньги контракт шов |
|
||||
| D39.131 | 14.08 | Приёмка эмиттер-пака (9cfe080, дофикс до лендинга): events.jsonl + exit 4/5/полоса 10-19 + пер-вызовный репэйр-гейт; строки 103/135/165/102 закрыты; ратификации: сужение класса 11, eta из темпа прогона, unit_done присваиванием (предложение платформе), кап эскалации оставлен | ЖИВОЕ: движковая половина PD-113/PD-196 построена — остаток у платформы (П-15: маппинг exit-кодов/scope/присваивание); деадлок деплоя v15 = строка 174 ДО деплоя бинаря; StreamVersion 1.1 | жив | шов деньги бэкенд платформа |
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
# Журнал решений оркестратора — контракт D1–D39.130 (живой файл: карта · эрраты · живые тела · голова D39.106+; тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
|
||||
# Журнал решений оркестратора — контракт D1–D39.131 (живой файл: карта · эрраты · живые тела · голова D39.106+; тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
|
||||
|
||||
> **⟶ КАРТА АКТУАЛЬНОСТИ (ревизия D31, продлена до D38.2 [12.07]; исторические записи ниже НЕ переписываются — дисциплина D23.3).** Работая с контрактом (греп номера: живой файл → слайсы, целиком НЕ читать — D39.125), держи под рукой, что чем перекрыто:
|
||||
> ⚠ **Эррата 09.08 (D39.125):** D39.111 п.1 предписывал промту S3 «максимум = баланс МИНУС открытые холды» — формула ОШИБОЧНА (вычитание дважды), исправлена D39.115 п.2(а): максимум = Balance КАК ЕСТЬ; тело D39.111 живёт ниже в этом файле (голова D39.106+).
|
||||
|
|
@ -491,3 +491,13 @@
|
|||
**2. Ратификации.** (а) **Go-floor 1.26.6** (пять stdlib-адвизори, две трассированы в живые пути сетевого модуля): `make version-check` сравнением версий (`sort -V`, пререлизы отвергаются) + `toolchain go1.26.6` в go.mod; цена названа и принята — офлайн-хост с `GOTOOLCHAIN=local` и 1.26.5 зону не соберёт; **движок этим не двигается** (патч-версия, x/text-вахта Ш-2/119 не задета). (б) **Интейк `book.yaml` — форма Б** (платформа ОДИН раз рендерит стартовый конфиг новой книги из деплой-шаблона; дальше файл принадлежит оператору): ратифицирована как ИНТЕРПРЕТАЦИЯ D39.110 §2б с аудит-следом — то решение о потолках/правке СУЩЕСТВУЮЩЕГО файла, создание стартового конфига несуществующей книги ему не противоречит; несогласие владельца отменяет одной репликой; стройка Б — следующим касанием зоны. **Форма В** — строка **170** (`tmctl init`, движок пишет свой конфиг). (в) **Контракт (диспозиции владельца контракта):** PD-172 `file` последним · PD-173 enum-причина `rejected` (продуктовые фразы — владелец) · PD-174 404/503-классы · PD-180 «201 несёт `parsing`» + перечень отказов интейка — спек-правка **0.2.3 = задача S4-промта** (фронт бампит зеркало и типы, канон — диффом при лендинге S4). (г) Мотивированное исключение Н2 (два прогресс-писателя синка остаются на `revision+1` — прыжок через пол развязал бы книжную и главную шкалы) ПРИНЯТО. (д) PD-178 закрыта переформулировкой (состояние user-менеджера плавает между сессиями стенда) + скип-гейт по СПОСОБНОСТИ.
|
||||
|
||||
**3. Бэклог и очередь.** Строка **170** заведена; строка **165** дополнена PD-196 (exit 1 движка не различает классы отказа `manifest` — «источник нечитаем»/«конфиг битый»/«лок»; интейк чуть не удалил файл пользователя за опечатку оператора — различимость классов = мандат эмиттер-пака). **Гейт S4 фронта ПАЛ** (D39.129 условие исполнено): вход S4 = экраны библиотеки/загрузки на живом `POST /books` + находки приёмки S3.7 + спек-правка 0.2.3; промт — по слову владельца (14.08.2026, оркестратор №16). ✅
|
||||
|
||||
## D39.131 — ПРИЁМКА БЭКЕНД-ПАКА «ЭМИТТЕР ШВА»: строки 103+135+165+102 закрыты, движковая половина PD-113/PD-196 построена (14.08). ✅
|
||||
|
||||
**1. Приёмка и лендинг (`9cfe080`, 31 файл, тестов 749→794).** Панель 5 верификаторов: сквозная проба ПЕРЕ-СНЯТА с нуля (свой tmctl из дерева пака → живой `ingest.Tail` платформы в копии зоны: hello adopted, чужой регион пропущен, повтор за курсором = 0, подделка payload = `ErrPayloadConflict`) · 5 СВОИХ мутаций вне списка сессии — все CAUGHT (суммарно 16/16) · деньги исполнением (settle+чекпойнт+`spend` — одна транзакция; репэйр-гейт «2.0×→0» воспроизведён; micro-USD int64 с ceil; события вне BriefHash/снапшота/RequestHash — голден бит-в-бит) · кросс-модельный опровергатель (D39.120 п.1а). Дофикс-раунд ДО лендинга: `once_key`-lookup предикатом `AND once_key <> ''` (частичный индекс заработал — EXPLAIN-пин над боевой константой, до фикса SCAN = O(units²) на пути волны) · `PendingEvents` батчем LIMIT 256 (аварийный путь из O(N²) в константу на событие) · `StreamVersion` 1.0→1.1 (добавлены `Ceiling.Scope` и outcome `ceiling|stopped` — минор по собственному правилу). Механика — журнал, секция «Бэкенд» §0–§10.
|
||||
|
||||
**2. Ратификации.** (а) Полоса отказов **10–19** с классами словарём (10 конфиг · 11 «прочли и нарезали — книги в байтах нет» · 12 лок · 19 безымянный) + exit **4** потолок / **5** graceful stop; сужение класса 11 ратифицировано (11 = вердикт, по которому интейк удаляет загрузку; всё конфиг-объяснимое = 10). (б) `eta_seconds` эмитится из темпа ТЕКУЩЕГО прогона (пропуск поля ОБНУЛЯЛ бы колонку читателя каждой строкой — `pgstore/sink.go:110-113`). (в) Отказ не пишет терминального `finished`. (г) Предложение платформе «фолд `unit_done` ПРИСВАИВАНИЕМ, не инкрементом» ратифицировано направлением (at-least-once требует идемпотентности у потребителя; заодно самолечит потерю недодрейненного хвоста при рестарте). (д) Эскалационный кап НЕ прицениваает хоп — ОСТАВЛЕН: перелёт ≤1 хопа escalate_to-модели, задокументирован и запинен; реопен — первый живой инцидент. (е) Посылка «гейт потолка на границе юнита» ОПРОВЕРГНУТА кодом: `Reserve` всегда был пер-вызовным; на границе юнита сидел репэйр-суб-бюджет — он и ужесточён (строка 135); `15-money-path.md` §2 поправлен.
|
||||
|
||||
**3. Находки приёмки → носители.** **ПЛАТФОРМЕННАЯ половина шва НЕ построена** — заленденный потребитель не читает новые сигналы: exit 4 превращается в `failed` (outcome() знает 0/2/3, `paused_reason` читается из stale-снапшота ДО drain), `refusedTheSource()` не смотрит на код вовсе (опечатка book.yaml по-прежнему ведёт к удалению загрузки), `Ceiling.Scope` дропается, dev-супервизор стейл ⇒ **П-15 зонного бэклога платформы** (пинг в их журнал; PD-113/PD-196 в их регистре остаются open до её стройки). **Деадлок деплоя v15**: `status` (read-only) отказывает старой схеме, а платформа зовёт его ПЕРЕД каждым спавном и settle ⇒ апгрейд бинаря запирает все старые книги — строка **174** (решить ДО деплоя нового бинаря: `tmctl migrate`-команда либо деплой-порядок). `backupStamp` секундной точности маскирует класс «занято» — строка **173**. Сериализацию писателей журнала держит только flock проекта (два конфига в одном каталоге = перемешанный поток) — наблюдение в теле, реопен при живом инциденте.
|
||||
|
||||
**4. Инцидент нормы: «author≠reviewer» сессия исполнила как стиль чтения** (свой контекст, без второго) и в первой редакции отчёта приписала себе разделение — сама вскрыла, независимые панели провела пост-фактум; корень («требование без механизма исполнения») канонизирован п.6а норм хендофф-промтов (`aef64f3`) ДО этой приёмки. Ультраревью владельца 14.08 шва не видело (облачный бандл собирает только tracked-файлы, пак был untracked) — «молчание ревью ≠ свидетельство корректности» (14.08.2026, оркестратор №16). ✅
|
||||
|
|
|
|||
|
|
@ -9,7 +9,7 @@
|
|||
## 2. Деньги ДВИЖКА (зона `backend/`)
|
||||
|
||||
- **Леджер SQLite.** Таблица `spend`, две фигуры: `committed_usd` (потрачено, с сырым ответом провайдера) и `reserved_usd` (зарезервировано под летящий вызов). `Reserve` перед каждым платным вызовом сверяет `SUM(committed_usd + reserved_usd)` книги и дня с потолками (`backend/internal/store/ledger.go:44,58,63`; Р7 — коммент `:12`); `Settle` конвертирует резервацию в committed и персистит ответ (`ledger.go:162,199-210`). Суммарно по книге — `SpentUSD` (`ledger.go:314-320`).
|
||||
- **Гейт потолка сегодня — на границе юнита работы,** не на каждый платный вызов; ужесточение — строка 135 бэклога (промтом эмиттера, research/25 «Деньги»).
|
||||
- **Гейт потолков — ПЕР-ВЫЗОВНЫЙ, и был им до эмиттер-пака** (`Reserve` на каждый свежий attempt; прежняя формулировка «на границе юнита» была неверна по отношению к потолкам — опровергнута приёмкой D39.131). На границе юнита сидел РЕПЭЙР-суб-бюджет — ужесточён до пер-вызовного с ценой вызова (строка 135 закрыта D39.131); эскалационный кап хоп НЕ прицениваает — перелёт ≤1 хопа, задокументирован и запинен (диспозиция D39.131 п.2д, реопен — живой инцидент).
|
||||
- **leftover-reserved зануляется write-open.** `store.Open` (путь записи, каждый `translate`) выполняет `recoverReservations` (`backend/internal/store/store.go:88`, функция `:218`: `UPDATE spend SET reserved_usd = 0 WHERE reserved_usd > 0`) — файл владеется одним процессом, значит любой reserved на открытии принадлежит несеттлённому прогону. `OpenReadOnly` этого прохода намеренно НЕ делает (`store.go:95-104`) ⇒ **reserved из read-only `status` — всегда остаток мёртвого процесса** (несущий факт формулы PD-158, см. §3).
|
||||
- **`--ceiling-usd` — КНИЖНЫЙ потолок, не бюджет прогона.** Дословно из флага: «the book USD ceiling in force for THIS RUN ONLY — it OVERRIDES book.yaml `ceilings.book_usd` and is never written back. It caps the book's CUMULATIVE committed+reserved spend, not this run's increment» (`backend/cmd/tmctl/invocation.go:114`; ⚠-коммент `main.go:110`). Ратификация — D39.122 п.2(в): пересчёт «пользовательский прирост → абсолют» — обязанность ПЛАТФОРМЫ, вторая денежная ось не заводится. День-потолок флаг НЕ перекрывает (PD-157). Проводка внутри: `Ceilings.BookUSD` в `Reserve` и именование сработавшего потолка в ошибке — `backend/internal/pipeline/stagerun.go:479-480,505-511` (стоп = `errReserveCeiling`).
|
||||
- **Потолки — wiring, не семантика:** `Ceilings` намеренно исключены из `BriefHash` («Wiring fields (paths, ceilings, db) deliberately excluded», `book.go:262-265`, канон `:267+`) ⇒ смена потолка не двигает ни снапшот, ни ре-билл (D39.110 п.2б).
|
||||
|
|
@ -36,7 +36,7 @@
|
|||
|
||||
| Дыра | Носитель |
|
||||
|---|---|
|
||||
| **PD-113 (major, единственный открытый)** — стоп по потолку неотличим от аварии: движок отдаёт потолок ошибкой (`errReserveCeiling`), exitCode мапит всё в 1; платформа ставит `failed`, где контракт требует `paused`. После PD-158 цена выросла: консервативный потолок останавливает ровно на исчерпании холда (D39.123 п.2ж). Закрывается эмиттером (строка 103) | `platform/docs/DEFECT_REGISTER.md:124` |
|
||||
| **PD-113 (major)** — стоп по потолку неотличим от аварии. **Движковая половина ПОСТРОЕНА D39.131**: событие `ceiling{scope}` + exit 4; остаток у ПЛАТФОРМЫ (П-15): outcome() знает только 0/2/3 и читает `paused_reason` из stale-снапшота до drain — до её стройки exit 4 всё ещё материализуется как `failed` | `platform/docs/DEFECT_REGISTER.md:18`, D39.131 |
|
||||
| **Строка 165** — различимые exit-коды tmctl (потолок vs graceful-stop; сегодня оба = 1), «скоро, вместе с эмиттером» | `docs/PROGRESS.md:113` |
|
||||
| **Строка 166** — движковая поверхность оценки $/глава; $0.03 — временная мера беты (П-10 зоны) | `docs/PROGRESS.md:114` |
|
||||
| **PD-104** — фри-тир: док↔код закрыто, продуктовая половина (ноль на бете · агрегатный потолок · счётчик) на владельце | `DEFECT_REGISTER.md:115`, D39.110 п.3 |
|
||||
|
|
|
|||
|
|
@ -1,5 +1,7 @@
|
|||
# Эмиттер прогонных событий (шов движок→платформа) — сборка-норматив (строки 103+165, докс-пак 167)
|
||||
|
||||
> ⚠ **ЭМИТТЕР ПОСТРОЕН И ПРИНЯТ (D39.131, `9cfe080`, 14.08):** `events.jsonl` (StreamVersion 1.1) · exit 4/5/полоса 10–19 · пер-вызовный репэйр-гейт; развилки §5 решены (одиночный JSONL · PD-60 = громкая деградация · fsync каталога один раз · outbox «факт → outbox → файл», `spend` внутри settle-транзакции). Док остаётся справочником формы; фактический код первичен (`backend/internal/runevents/` · `pipeline/events.go` · `store/outbox.go`). Остаток шва — платформенная половина (П-15 зонного бэклога).
|
||||
>
|
||||
> **Статус: СБОРКА-НОРМАТИВ.** Этот док ничего не решает сам — он собирает в одно место уже ратифицированные решения об эмиттере `events.jsonl` (строка 103 бэклога), разбросанные по D-нотам, `research/25`, реестру дефектов платформы и коду зоны ingest. **Источники первичны; при любом конфликте этого дока с `05-decisions-log.md` побеждает D-лог.** Каждое утверждение несёт указатель; дословные цитаты — в кавычках-ёлочках или блоках.
|
||||
>
|
||||
> **Для кого:** обязательное пре-чтение бэкенд-сессии эмиттера (строка 103 + деньги шва) — до промта и до первой строчки кода. Вторичный читатель — оркестратор при приёмке пака.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
> ⚠⚠ **ПРОМТ ОТРАБОТАН — исторический, НЕ задание.** Исполнен бэкенд-сессией 14.08,
|
||||
> **ПРИНЯТ панелью 5 верификаторов с дофикс-раундом до лендинга и заленден D39.131** (`9cfe080`):
|
||||
> `events.jsonl` (StreamVersion 1.1), exit 4 потолок / 5 graceful stop / полоса отказов 10–19,
|
||||
> пер-вызовный репэйр-гейт; строки 103/135/165/102 закрыты; движковая половина PD-113/PD-196
|
||||
> построена — остаток у платформы (П-15). Отчёт — `docs/PROGRESS.md` секция «Бэкенд» §0–§10.
|
||||
|
||||
# Промт: бэкенд-сессия «эмиттер шва» — строки 103 + 135 + 165 (события `events.jsonl` + деньги шва)
|
||||
|
||||
Ты — бэкенд-сессия TextMachine. Зона записи — **только `backend/`**; сессия НЕ коммитит — дерево
|
||||
|
|
@ -107,6 +107,12 @@ def malformed(rows: list, shape: int, what: str) -> list:
|
|||
|
||||
|
||||
def backlog(text: str) -> dict:
|
||||
# Только секция «## Бэклог» — до следующего «## »: числовые ID-таблицы в ОТЧЁТАХ сессий
|
||||
# (секция «Бэкенд» и др.) не строки трекера; впервые словлено приёмкой D39.131.
|
||||
start = text.find("## Бэклог")
|
||||
if start >= 0:
|
||||
end = text.find("\n## ", start + 1)
|
||||
text = text[start:end] if end > 0 else text[start:]
|
||||
rows = [l for l in text.splitlines() if BACKLOG_ROW.match(l)]
|
||||
ids = [BACKLOG_ROW.match(l).group(1) for l in rows]
|
||||
return {
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue