diff --git a/docs/PLATFORM_P10_SESSION_PROMPT.md b/docs/PLATFORM_P10_SESSION_PROMPT.md new file mode 100644 index 00000000..49dc4cfe --- /dev/null +++ b/docs/PLATFORM_P10_SESSION_PROMPT.md @@ -0,0 +1,240 @@ +# Промт: платформа, пак P10 — мина под правкой банка и дверь пере-прохода + +> **Выдан оркестратором №19, 28.08.2026.** Основание — **D39.165** (три продуктовых развилки сняты +> словом владельца). Пак закрывает ОДНУ поломку и ОДНУ дыру, и обе лечатся теми же двумя флагами в +> одной функции сборки аргументов — поэтому это один пак, а не два. + +## §0. Какая проблема и что решит твой результат + +**1. Мина, которую взвёл наш собственный вчерашний лендинг.** Правка банка двигает снапшот. Движок +при сдвинутом снапшоте **останавливается ГРОМКО**, если ему не передали `--resnapshot`: + +> `backend/internal/pipeline/stagerun.go:54-58` — «was started under snapshot … the config/prompts +> changed; already-paid checkpoints become invalid and calls will be re-paid; re-run with +> `--resnapshot` to accept this explicitly». + +Платформа не передаёт ни его, ни `--accept-rebill` (`platform/internal/runner/engine.go:90-98`, +`TranslateArgs`). До 28.08 это не кусало: до движка не доезжало ни ключей, ни правок. Вчера +заленджены и `--keys-file`, и дверь правок банка (D39.162). Носитель — строка **199**(б). + +⚠ **ТОЧНЫЙ ТРИГГЕР, без которого ты соберёшь ЛОЖНОЕ репро (эррата 28.08-и — моя ошибка, найдена +опровергателем).** Первая редакция этого промта и ноты утверждала «первый же продолжающий прогон +после первой же правки УПАДЁТ». Это ПЕРЕОЦЕНКА. Гард стреляет по СУЩЕСТВУЮЩЕМУ джобу +(`stagerun.go:47` — `EnsureJob` заводит джоб стадии в момент её первого исполнения), а правка в +главном окне — стоп подписи `awaiting_bank` — двигает edit-снапшот, когда edit-джобов ЕЩЁ НЕТ: +возобновление создаёт их свежими и гард молчит. **Мина бьёт по правке, сделанной ПОСЛЕ появления +edit-джобов** — пауза потолком посреди редактуры и ДОЧИТАННАЯ книга. Срочность от этого не падает: +флагманский случай продукта — «поправил имя героя в дочитанной книге» — ровно тот, где edit-джобы +существуют. + +**2. Дыра: продать пере-проход нечем, а движок его умеет.** Механизм построен практически целиком: +`translate --resnapshot` после `bank-apply` определяет затронутые термином юниты **байт-сверкой** +отрендеренного запроса (`stagerun.go:88-100` — «POINTWISE RE-EDIT … the request is the same request +and the stored result is served for $0, with the row RE-PINNED»), незатронутые пере-привязывает за +**$0**, считает смету ДО первого резерва и **под порогом согласия продолжает сам, без флагов** +(`backend/internal/pipeline/rebill.go`, порог — свой у книги, иначе `min($0.50, 5% × книги)`). + +Не хватает ровно платформенной половины. И канон при этом **противоречит сам себе на дочитанной +книге, в двух фразах**: правка «takes effect on the NEXT run» +(`docs/architecture/14-api-contract/openapi.yaml:505`), а поднять потолок можно только у +ПРИОСТАНОВЛЕННОЙ книги и «finished work is not bought twice» (`:590`). У дочитанной книги следующего +прогона купить нечем — **правка принята и умирает**. + +**Что решит результат:** главный пользовательский цикл продукта — «поправил термин → правка доехала +в уже переведённый текст» — становится исполнимым, а купленный вчера механизм перестаёт быть +недостижимым. + +## §1. Зона записи и git + +**Твоя зона — `platform/`.** Итоги, находки, вопросы — зонный журнал `platform/docs/platform-PROGRESS.md`. + +- **Ты НЕ коммитишь.** Лендит оркестратор после адверсариальной приёмки. +- ⚠ **`backend/` НЕ ТРОГАТЬ.** Движковая половина построена и в этом паке правок не требует. Нужна + правка там — это ПИНГ, а не правка. +- ⚠ **`docs/` — не твоя зона**, включая канон контракта. Контрактную половину (§3.4) ты **описываешь + предложением в своём журнале**, правлю её я. Причина не бюрократическая: канон и константа версии + обязаны сойтись в ОДНОМ коммите, а коммичу я. +- В дереве незакоммиченная работа полигона (20 позиций) — не касаться. + +## §2. Карта чтения — ≤5 позиций, ЗАКОН + +1. **`platform/internal/runner/engine.go:79-99`** (`TranslateArgs` — argv строится в одном месте) · + **`platform/internal/runs/spawn.go:140-215`** (`spec`, `ceilingFor`, `bookCap`). +2. **`platform/internal/runs/runs.go:200-300`** — допуск прогона, шкала, `Pricing.Scale`; и + `platform/internal/pricing/pricing.go:50-90`. +3. **`platform/internal/ingest/resync.go:10-46`** — ⚠ **аллоулист `StatusReport`, читать ВНИМАТЕЛЬНО: + `rebill` исключён НАМЕРЕННО** («engine vocabulary that must not cross the seam, contract §2.12»). + Это не недосмотр, и §3.3 — про то, как это законно изменить. +4. **`docs/architecture/17-seam-inbound-law.md`** — закон шва: п.7 (мутирующий глагол сначала даёт + ПРОЕКЦИЮ), п.2 (посреди прогона внутрь только сигнал). ⚠ **Строка `:102` таблицы говорит, что + consent-флаги «гейчена 192» — ЭТОТ ГЕЙТ СНЯТ, см. §0-бис ниже. Не откажись от пака, упершись в + неё.** +5. **`docs/architecture/05-decisions-log.md`, тело D39.165** — основание всего пака (греп `^## D39.165`). + +## §0-бис. Гейт, который СНЯТ — знать до чтения закона шва + +`D39.144` п.1 запрещает **проектировать механику** пост-ридинговых правок до итогов полигона, и +закон шва помечает эти флаги «гейчена 192». **Владелец снял это 28.08 (D39.165):** открыть дверь к +УЖЕ ПОСТРОЕННОМУ движковому механизму — не то же самое, что проектировать продуктовый цикл +пост-ридинга. **Гейченным остаётся цикл**: отдельная ручка «перегенерировать», `resnapshot --dry-run`, +доезд правки до ЧЕРНОВИКА через сид. Этого не строить. + +## §3. Состав пака + +### §3.1. Мина — ЗАКАЗ, форма свободна; чинить ПЕРВЫМ + +**Заказано:** продолжающий прогон по книге, чей банк двигался, больше не падает на гарде снапшота. + +**Что знать, прежде чем выбирать форму** (проверено мной, пере-проверь): +- `--resnapshot` принимает пере-привязку и пере-перевод затронутых юнитов. `--accept-rebill` — + другое: он принимает ПЕРЕ-ПЛАТУ сверх порога. **Это ортогональные флаги**, и так сказано в самом + движке: `backend/cmd/tmctl/main.go:252` — «The three money flags are ORTHOGONAL». ⚠ Там же + предупреждение, которое тебя касается напрямую: `--ceiling-usd` — НЕ бюджет прогона, он говорит + «книга может дойти до $X», а не «этот прогон потратит $X». +- ⛔ **ОДНОГО `--resnapshot` НЕ ХВАТИТ, и первая редакция промта здесь ошибалась (нашёл + опровергатель).** Отказ консент-гейта — ПЛОСКИЙ `fmt.Errorf` (`backend/internal/pipeline/rebill.go:322`), + а не типизированный отказ ⇒ `tmctl` выходит кодом **1**, и платформа запишет `failed` ПОСЛЕ взятого + холда. А порог низкий: `min($0.50, 5% × книги)`, и по замеру D39.165 десятиглавая книга стоит + $0.12–0.19 ⇒ порог около ПОЛУЦЕНТА. Правка частотного термина — имени героя, флагманский случай + §0 — почти гарантированно НАД порогом. **Дверь, передающая только `--resnapshot`, не сможет продать + ровно то, ради чего строится.** Значит согласие на СУММУ обязано доезжать тоже. +- ⚠ **Носителя факта «банк двигался» СЕГОДНЯ НЕТ — его надо ПОСТРОИТЬ, и промт этого не скрывает.** + `ApplyBankCorrections` (`platform/internal/runs/bank.go:90-187`) в Postgres не пишет НИЧЕГО: + квитанция уходит звонящему и умирает. Носитель — твой предмет, зона твоя. ⚠ Его края назови сам и + проверь: превью (`preview`) и ответ `changed:false` фактом считаться НЕ должны · правка в окне + `awaiting_bank` относится к ТОМУ ЖЕ прогону · argv обязан быть СТАБИЛЕН при респавне попытки, иначе + флаг появится посреди прогона. +- ⛔ **«Банк двигался» НЕ РАВНО «снапшот двигался только из-за банка», и это дыра в моём же условии.** + Снапшот на SaaS двигают и деплойные причины: промпты пары и langpack складываются в него + (`backend/internal/config/book.go:86,92` — «a pack edit is a loud --resnapshot»), то есть апгрейд + деплоя двигает снапшот ВСЕХ книг. На книге со свежей квитанцией банка условный `--resnapshot` + примет и ЭТОТ дрейф — а `repinnable` отвечает false для не-банковых сдвигов (`stagerun.go:94-95`), + значит юниты пойдут в пере-оплату, и под порогом — МОЛЧА. **Заказ: форма обязана различать + банковый сдвиг от деплойного либо делать согласие явным. Как — решаешь ты, но «свежая квитанция» + сама по себе основанием НЕ является.** + +### §3.2. Дверь: допуск пере-прохода — ЗАКАЗ + +**Заказано:** на книге, где остаток нулевой, но банк двигался после последнего прогона, старт +прогона ДОПУСКАЕТСЯ. + +Сегодня он невозможен: шкала клампится остатком (`platform/internal/pgstore/books.go:969-973`, +`ChaptersLeft` «it clamps the ceiling scale»), у дочитанной книги `Scale` даёт `Max=0`, и любой старт +отбивается (`platform/internal/runs/runs.go:268-281`). + +⚠ **Размер холда — думай отдельно, это деньги, и ломает он в ОБЕ стороны.** Завышенный: пере-проход +стоит ЦЕНТЫ (незатронутое идёт за $0), а холд в главах × $0.03 завысит его в разы. Заниженный: +`CeilingTemplate.Args` отказывает неположительному потолку (`platform/internal/runner/engine.go:64-69`), +а `--ceiling-usd` — КУМУЛЯТИВНЫЙ книжный кап (`spawn.go:187-213`, `bookCap`), поэтому холд обязан +остаться строго положительным ПРИРАЩЕНИЕМ к уже потраченному. Форма твоя; вариант «холд от сметы» — +§3.3. + +### §3.3. Смета через шов — ЗАКАЗ на ФОРМУ, и здесь есть настоящий вопрос + +Движок уже публикует смету в `status --json`: `rebill_units` и `rebill_usd` +(`backend/internal/pipeline/status.go:202-209`). Платформа их не берёт — **и это НАМЕРЕННОЕ +исключение аллоулиста** (`resync.go:10-13`). + +⚠ **ПОПРАВКА К ПЕРВОЙ РЕДАКЦИИ ПРОМТА (нашёл опровергатель): `rebill_usd` через ШОВ пускать МОЖНО.** +Я ошибочно запретил это ссылкой на D39.84 — но D39.84 запрещает ПРОЕКЦИЮ денег в API-ответ и в +INFO-лог, а не пересечение шва. Деньги шов уже пересекают законно и хранятся: +`platform/internal/ingest/resync.go:31-37`, `Spend *money.MicroUSD` — «stored in the credit tables and +NEVER projected into an API response or an INFO log (D39.84)». D39.165 и строка 215 говорят про ОБА +поля. **Бери оба; наружу, в API, доллары не выпускай.** Без долларовой половины холд от сметы +невыразим — пер-юнитной цены у платформы нет вовсе. + +**Мой довод про аллоулист — прими с проверкой либо опровергни:** `rebill_units` — СЧЁТ РАБОТЫ, той +же природы, что уже пересекающие шов `total_units`, `done`, `flagged`, `pending`. +⚠ **Но лёгким этот пропуск НЕ будет, и вот почему:** компаньон контракта в §2.12 +(`docs/architecture/14-api-contract/README.md:505-511`) называет «ре-билл» В ЗАПРЕТНОМ СПИСКЕ +ПОСЛОВНО. Спор о природе счёта ратифицированного списка не снимает — значит показ юнитов +пользователю требует правки §2.12, и она входит в контрактную половину §3.4. + +**Заказано:** пользователь до покупки видит, **сколько юнитов затронет** пере-проход. Это прямое +исполнение п.7 закона шва — проекция прежде мутации. + +### §3.4. Контрактная половина — ОПИСАТЬ, НЕ ПРАВИТЬ + +Опиши предложением в журнале, правлю я: +- фраза «finished work is not bought twice» (`openapi.yaml:590`) в нынешнем виде запрещает то, что + пак разрешает — нужна оговорка про пере-проход; +- поле «затронуто N юнитов» в ответе опций прогона; +- ⚠ **правка §2.12 компаньона** — он держит «ре-билл» в запретном списке пословно, и без неё код + разойдётся с каноном (см. §3.3); +- ⚠ **вопрос, а НЕ заказ: нужен ли проводу «вид покупки» вообще.** D39.165 ратифицирует показ + «затронуто N юнитов» и о видах покупки не говорит НИ СЛОВА. И не обосновывай открытый словарь + аналогией с `Progress.stage`: D39.163 запрещает такой довод буквально — «третьего исключения нет, + и „раз уж есть два“ аргументом не будет; каждое следующее — отдельная нота». Считаешь, что вид + покупки нужен, — приноси довод по существу, я заведу ноту. + +### §3.5. Чего в паке НЕТ — пропуски подписаны + +- **Ценообразование от объёма исходника** (D39.165 §1) — НЕ в этом паке. Оно гейчено калибровкой, а + калибровка — строкой **202** (живой прогон текущего стека). Константу $0.03 не трогать. +- **Потолок объёма в движке** — движковый предмет, не твой. +- **Эпоха смены формы конвейера** (`PD-403`/`PD-404`, D39.165 §2) — отдельный пак той же зоны, но + НЕ этот: он про счёт готовности, а этот про покупку. Не смешивать. +- **Доезд правки до ЧЕРНОВИКА** — гейчено полигоном, см. §0-бис. + +## §4. Самопроверка ИСПОЛНЕНИЕМ — «перечитал сам» её не удовлетворяет + +1. **Батарея зоны** под `-race` с живым Postgres, линтер 0 issues; числа — с командами. + ⚠ **`TM_PLATFORM_TEST_DSN` ставить ОБЯЗАТЕЛЬНО:** без него значительная часть батареи уходит в + SKIP, а зелень рапортуется всё равно — ловушка, на которой приёмка уже ловила сдачу (D39.162). + **Число пропусков посчитай КОМАНДОЙ и приведи в отчёте** (с DSN и без) — константу из прошлого + пака сюда не переписывай, дерево с тех пор двигалось. +2. **Мина доказывается ПОСТ-ФИКСНЫМ инвариантом, и ⛔ НЕ на движке-заглушке.** Первая редакция этого + пункта была ВЫРОЖДЕННОЙ (нашёл опровергатель): у заглушки гарда снапшота нет вовсе, поэтому + «прогон дошёл до движка» зелено при ЛЮБОМ коде — это проверка argv в маскировке. + **Не-вырожденная форма существует и дешева:** живой `tmctl`, прецедент в твоей же зоне — + `platform/internal/runner/bankapply_live_test.go`. Гард достижим БЕЗ провайдерских ключей и без + единого платного вызова: без флага он стреляет ДО первого вызова модели, с флагом $0-репин + проходит. ⚠ И состояние обязано быть правильным: **edit-джоб существует ДО правки** — иначе + репро зелено без фикса (эррата 28.08-и). +3. **Дверь доказывается допуском:** на дочитанной книге с подвинутым банком старт ПРОХОДИТ, на + дочитанной книге без движения банка — по-прежнему отбивается. +4. **Свои посадки мутаций:** минимум по одной на пункт; вердикт — по ДЕЛЬТЕ против чистой базовой + линии и по ТОПИЧНОСТИ упавшего теста, не по цвету батареи. +5. **Субагенты РАЗРЕШЕНЫ явно.** Опровергатель на §3.3 (пропуск `rebill_units` через аллоулист) — + **ЗАКАЗ, не право**: он получает мой довод и мандат «покажи, где это нарушает §2.12 контракта или + D39.84». Веер соразмеряй предмету, численного потолка нет. + +## §5. Оси ревью — 1–3, вправе заменить с аргументом + +1. **Ось денег:** может ли пак купить больше, чем показал; может ли холд разойтись с фактом; + не превращает ли `--resnapshot` громкую ошибку в тихую покупку. +2. **Ось «пара, которой в репо нет»:** ветвления по паре/книге в Go быть не должно; вид покупки на + проводе — открытый словарь. +3. **Ось детерминизма:** трогаешь argv движка — не сдвинулись ли снапшоты и хеши так, что прогон + перекупается. + +## §6. Записка-план, комплектность + +**До правок** — записка-план в зонном журнале. **В конце** — таблица комплектности против §3: пункт → +что сделано → каким ИСПОЛНЕНИЕМ подтверждено. Слово вместо команды = пункт НЕ сделан. + +⚠ **Журнал `docs/PROGRESS.md` — НЕ твой**, пиши только в зонный. (Оркестратор 28.08 унёс чужую +секцию своим коммитом ровно из-за общего окна записи — механизм плохой, не повторяй его с другой +стороны.) + +## §7. Эхо-протокол старта + +ДО работы — ≤10 строк: **скоуп · инварианты · не-делать**. Первое действие — вписать свой блок в файл +канала (§10), сразу второе — послать мне эхо. + +## §8. Obstacle — обязательная секция + +**«Что НЕ удалось и что НЕ проверено»** отдельной секцией, не россыпью. + +## §9. Канал вопросов и твоё право отказаться + +Конфликт промта с кодом или доками — **пинг, не интерпретация в свою пользу**. +⚠ **У тебя есть право сказать «этого делать не надо» — с аргументом.** Промт писал не тот, кто живёт +в этом коде. За последние сутки исполнители опровергли ДВА моих заказа и оба раза были правы; один +из них я пере-проверил своей посадкой и отозвал. Отказ с разбором дороже послушного исполнения. +⚠ **Тесты и гейты не подгонять под зелень** (D39.121). + +## §10. Как со мной связаться + +**Адрес — в файле `/tmp/textmachine-channel`** (механизм — `CLAUDE.md`). Впиши свой блок первым +делом, чужие не трогай. ⚠ **Канала нет ⇒ НЕ искать:** вопрос секцией в отчёт, работа продолжается. diff --git a/docs/README.md b/docs/README.md index 323f4707..10bff06d 100644 --- a/docs/README.md +++ b/docs/README.md @@ -23,7 +23,7 @@ |---|---|---| | Оркестратор | [ORCHESTRATOR_SESSION_PROMPT.md](ORCHESTRATOR_SESSION_PROMPT.md) | роль и нормы; счётчик роли — CURRENT-STATE | | Бэкенд | активного НЕТ | пак «тихая порча» ОТРАБОТАН, ПРИНЯТ и ЗАЛЕНДЖЕН 28.08 (**D39.164**): инъекция банка больше не теряется на провайдере с одним системным слотом, дыра выдачи видна читателю В ТЕКСТЕ, повтор принятого документа сходится. Промт — в `archive/prompts/`. ⚠ Заказ §3.2 был ПЕРЕ-ФОРМУЛИРОВАН находкой исполнителя (маркер существовал и врал), а подсказка промта про место правки ОТКЛОНЕНА им с грунтом — оба решения ратифицированы. Свободные строки зоны: **228** (алиас возвращает отклонённую поверхность), **230** (размен сходимости), **141**-остаток, **131**. Четыре промта входной двери шва — в `archive/prompts/` (D39.158) | - | Платформа | активного НЕТ | пак **P9** ОТРАБОТАН, ПРИНЯТ и ЗАЛЕНДЖЕН 28.08 (**D39.162**): дверь правок банка смонтирована, ключи доехали, полоса стала сквозной вместе с каноном **0.6.0**. Промт — в `archive/prompts/`. ⚠ Открытым остался архитектурный стоп `PD-410` (платформа продаёт главы, движку идёт только `--ceiling-usd`) и продуктовый вопрос владельцу по `Н2`/`Н3`. Следующая работа зоны — по строкам **215**/**216** и регистру, запуск по слову владельца | + | Платформа | [PLATFORM_P10_SESSION_PROMPT.md](PLATFORM_P10_SESSION_PROMPT.md) | **ВЫДАН 28.08**, пак **P10** — основание D39.165. Мина под правкой банка (продолжающий прогон падает на гарде снапшота) + дверь пере-прохода (продать «улучшить переведённое» нечем, а движок это умеет). Оба рубежа пройдены: механический (поймал фантомную D-ссылку) и опровергатель — **8 находок, все применены**, включая две фатальные: одного `--resnapshot` не хватает (флагманский кейс кончался бы `failed` после взятого холда) и мой запрет `rebill_usd` через шов был неверен (D39.84 — про проекцию в API, не про шов). ⚠ Мина СУЖЕНА эрратой 28.08-и. Пак **P9** отработан и заленджен (D39.162), промт — в `archive/prompts/` | | Полигон | [POLYGON_EXP2223_REDO_SESSION_PROMPT.md](POLYGON_EXP2223_REDO_SESSION_PROMPT.md) (отложенный — [POLYGON_PACKAGE4_SESSION_PROMPT.md](POLYGON_PACKAGE4_SESSION_PROMPT.md), строка 85) | фаза Д ИДЁТ; ⚠ живой носитель курса — в `eval/dovodka/`, какой именно называет зона (⚠ [POLYGON_PHASE_D_HANDOFF.md](POLYGON_PHASE_D_HANDOFF.md) — перекрытый снимок, читать не как курс) | | Фронт | активного НЕТ | **ЗОНА ЗАМОРОЖЕНА** (D39.136 п.2 + D39.147: разморозка отдельным словом владельца, не привязана к P7); перечень первого касания — в зонном журнале | | Контракт | активного НЕТ | минор **0.6.0** ПРИНЯТ и заленджен 28.08 (**D39.162**/**D39.163**): полоса прогресса объявлена сквозной, `Progress.stage` заведён ВТОРЫМ ограниченным исключением из границы «ничего о том, КАК переводится книга». До него — **0.5.0** (D39.161, дверь правок банка). Хвост компаньона — строка **203**, следующий минор по её пункту (к) | diff --git a/docs/architecture/05-decisions-log.md b/docs/architecture/05-decisions-log.md index 9d86eb89..5d84dcbb 100644 --- a/docs/architecture/05-decisions-log.md +++ b/docs/architecture/05-decisions-log.md @@ -18,6 +18,7 @@ > ⚠ **Эррата 27.08-е (D39.159 п.8, финал): `PD-398` ЗАКРЫТА — у построенного гейта появился пин.** `selftest_tail_vocab()` гоняется на каждом `--check`, четыре утверждения, проверен ПОСАДКОЙ трёх мутаций самого гейта (все три пойманы, базовая линия молчит). ⚠ Первая редакция пина молчала на одной из трёх: утверждение про вес проверяло `cells()`, а мутация меняет то, чем пользуется `register()`. Пин, проверенный одним прогоном вместо посадки, — ровно тот класс, который эта строка описывает; поймано только потому, что посадку сделал. Регистр 96 → 95 открытых. > ⚠ **Эррата 27.08-ж (D39.160 п.2) — ошибка ОРКЕСТРАТОРА, найденная исполнителем пака.** Нота утверждала, что после сноса отменённой двери «канон и деплой СОВПАДУТ точно», а промт минора (§3.2-бис) — что счётчики `pending_decisions`/`complete` «навсегда нули». **Верно по ПУТЯМ, неверно по ПОЛЯМ:** проекция `GET /bank` продолжает их слать, и это не нули — `bankCountsTx` (`platform/internal/pgstore/readmodel.go:330`) считает `proposed`-строки, о чём говорит её собственный комментарий. Клиент 0.5.0 лишние поля игнорирует, но аллоулист-норма нарушена до монтажа (2в). Носитель — `PD-399`. ⚠ Контрактная сессия принесла это ПИНГОМ по §11 промта, вместо того чтобы тихо подогнать работу под неверную посылку; это и есть поведение, которого норма требует. > ⚠ **Эррата 27.08-з (D39.156, состав пункта 2в): «воркер решений → глагол перед возобновлением» СНЯТ — посылка изменилась.** Пункт писался, когда двери в контракте не было и подразумевалось НАКОПЛЕНИЕ: платформа копит решения у себя и скармливает их движку перед `resume`. С дверью канона 0.5.0 накопления не существует — правка ПРИМЕНЯЕТСЯ в момент подачи, и гарантия «до возобновления» у синхронной формы СИЛЬНЕЕ воркерной: применено прежде, чем клиент получил `200`. Проверено исполнением с обеих сторон: движок на стопе ВЫХОДИТ (`cmd/tmctl/main.go:95`, код 3), флок не-блокирующий и отпускается ядром на выходе процесса (`store/store.go:187`), между стопом и возобновлением живого процесса на проекте нет — запинено `pipeline/bankchain_test.go:62-64`; кап 5000 решений выведен ИМЕННО из синхронности («the call stops fitting the caller's timeout»). Остаётся не воркер, а пер-книжная сериализация в обработчике. `Resume` «с решениями как они есть» не тронут. +> ⚠ **Эррата 28.08-и (D39.165 §3, размер мины) — ошибка ОРКЕСТРАТОРА, найденная опровергателем промта P10.** Нота утверждает: «первый же ПРОДОЛЖАЮЩИЙ прогон после первой же правки банка УПАДЁТ». **Переоценено.** Гард снапшота стреляет по СУЩЕСТВУЮЩЕМУ джобу (`backend/internal/pipeline/stagerun.go:47` — `EnsureJob` создаёт джоб стадии в момент, когда стадия впервые исполняется), а правка в ГЛАВНОМ окне — стоп подписи `awaiting_bank` — двигает edit-снапшот, когда edit-джобов ЕЩЁ НЕТ: возобновление создаёт их свежими, и гард молчит. Драфт-волна mined-строк не видит вовсе (`seeding.go:143-153`). **Дефект СТОИТ, но его триггер уже: правка, сделанная ПОСЛЕ появления edit-джобов** — пауза потолком посреди редактуры и ДОЧИТАННАЯ книга. ⚠ Срочность при этом НЕ падает: флагманский случай продукта («поправил имя героя в дочитанной книге») — ровно тот, где edit-джобы существуют, то есть мина бьёт именно по нему. **Цена ошибки была бы прямой:** репро на потоке `awaiting_bank` показало бы ЗЕЛЕНЬ без фикса, и пак мог быть отозван как мнимый. Промт P10 §4.2 исправлен: репро обязано фиксировать состояние «edit-джоб существует ДО правки». > ⚠ **Навигация (актуализация 07.08, эра D39.1xx):** append-only-дисциплина (D23.3) означает, что > НЕВЕРНЫЙ ФАКТ внутри старой ноты не переписывается, а получает эрратау — и тогда он опасен ровно diff --git a/docs/research/25-seam-cold-review.md b/docs/research/25-seam-cold-review.md index 8fc35c54..57bb5108 100644 --- a/docs/research/25-seam-cold-review.md +++ b/docs/research/25-seam-cold-review.md @@ -2,7 +2,7 @@ > ⚠ **ЭРРАТА D39.156 (23.08): «поднятие потолка ФАЙЛОМ через atomic rename» (пункт ниже, дословно `потолка — файлом через atomic rename на границах юнитов`) НИКОГДА НЕ РАТИФИЦИРОВАЛОСЬ.** > Отчёт относит этот механизм к носителям решения D39.106 — в теле D39.106 его НЕТ вовсе (проверено грепом по слайсу -> живого тела D39.106 — `../architecture/05-decisions-log.md:241`=`ШОВ: прогон переживает деплой платформы`; первый хит темы — только в D39.110. ⚠ Испр. 23.08: прежняя редакция ссылалась на слайс `archive/architecture/05-decisions-D39-106-123.md`, где тела D39.106 НЕТ — греп по нему подтвердил бы эррату вакуумно). Строка была КАНДИДАТОМ панели, +> живого тела ноты **D39.106** («ШОВ: прогон переживает деплой платформы») в `../architecture/05-decisions-log.md` — адресуем НОМЕРОМ, а не строкой: line-якорь в журнал решений не переживает вставку эрраты, и он уже съезжал дважды (гейт якорей, 28.08); первый хит темы — только в D39.110. ⚠ Испр. 23.08: прежняя редакция ссылалась на слайс `archive/architecture/05-decisions-D39-106-123.md`, где тела D39.106 НЕТ — греп по нему подтвердил бы эррату вакуумно). Строка была КАНДИДАТОМ панели, > а живой канон решил ось иначе: **потолок едет со стартом прогона и после не меняется**, лекарство при упоре — НОВЫЙ прогон > (`platform/internal/runs/reconcile.go:1251`=`answering 202 with the run in the state`). ⚠ Испр. 23.08: прежняя редакция звала «строку 69», но вставка самого баннера сдвинула нумерацию — 69-я строка теперь несёт ЖИВОЙ денежный механизм («холд не освобождается по выходу юнита»), и исполнение прежней инструкции пометило бы отвергнутым НЕ ТО. Номера строк здесь больше не называем, только подстроку. Читать НАЗВАННЫЙ ВЫШЕ пункт как отвергнутого > кандидата, а не как обязательный механизм; закон входной двери шва (`../architecture/17-seam-inbound-law.md` п.2) это фиксирует: