textmachine/docs/archive/prompts/PLATFORM_P13_DOFIX_2026-09-03.md

# ДОФИКС платформенному паку P13 «шов возврата оплаченного прогона» — по приёмке оркестратора №22 (03.09.2026)

> ⚠⚠ **АРХИВ. НАРЯД ОТРАБОТАН — ИНСТРУКЦИИ ОТСЮДА НЕ ИСПОЛНЯЮТСЯ.**
> Выдан 03.09 по приёмке пака P13, отработан той же сессией, принят (`D39.188`). Исход: П1–П3 и П6
> исполнены и красны на двадцати посадках приёмки; П4 зона ОТКАЗАЛАСЬ исполнять — и отказ был ПРАВ,
> предпосылка наряда на её дереве была ложной (ряд стоял `open`, гейт и база согласованно печатали 12).
> Остаток — П5, записка о предусловии хоста; он пунктом 4 выданного пака
> `PLATFORM_EXPORT_SESSION_PROMPT.md`.

> **Роль:** платформа, та же сессия, что отработала пак P13. **Зона записи:** `platform/`. Чужие зоны
> читаешь, не правишь. **Не коммитишь** и не трогаешь индекс и историю — запреты и причина:
> `CLAUDE.md`, «Git-координация мультисессий». Норматив — `platform/docs/ENGINEERING_STANDARDS.md`.
> ⛔ **В индексе сейчас лежит НЕЗАКОММИЧЕННАЯ работа двух смен (46 файлов).** Ни одной пишущей
> git-команды: ни `checkout`, ни `restore`, ни `stash`, ни `reset`, ни `clean`, ни `add`, ни `commit`.

## Что это и почему оно пришло

Пак **принят с дофиксом**. Приёмка шла исполнением: десять линз, каждая находка ушла опровергателю с
мандатом её ОПРОВЕРГНУТЬ своей командой. По платформе 24 находки, 18 пережили опровержение.

⚠ **Главное сначала: правку тейлера НЕ ревертировать.** Заказанное свойство она даёт, и приёмка
подтвердила все три границы промта. Твой `PD-438` — сильная работа: ты нашла, что заказанное мной
пере-упорядочивание расширяло класс, доказала это до и после правки и вылечила глубже. Дофикс не про
это.

## Карта чтения — три позиции

1. Этот файл. Прежний промт `docs/PLATFORM_P13_SESSION_PROMPT.md` перечитывать целиком не надо.
2. Свой журнал `platform/docs/platform-PROGRESS.md`, запись 03.09 — по П5–П6 правится он сам.
3. Улики ниже. **Каждая воспроизведена приёмкой; воспроизведи сама** — не воспроизводится, значит
   находка, неси пингом.

## П1 [важное] — обоснование парковки ОПРОВЕРГНУТО исполнением; сама парковка остаётся

`tail.go:157-159` утверждает абсолютно: «**Nothing of ours can follow**: the engine writes events only
under the project's exclusive flock … so a foreign handshake in this journal means our process no
longer holds it». Из этого выведено «попытка вот-вот закрывается свипом, вред ограничен по времени» —
и это записано в `PD-438`.

**Опровергнуто путём, который лежит в этом же дереве.** При повторном запуске ТОЙ ЖЕ попытки платформа
отдаёт тот же id (`internal/runs/spawn.go:171` → `engineStreamID(l.RunID, l.AttemptNo)`), а движок
отказывается переиспользовать уже писавший id и **минтит свежий** (`backend/internal/pipeline/events.go:80`
→ `fresh := obs.NewTraceID()`). То есть «чужой» hello в журнале пишет **живой процесс нашей же
попытки**. Приёмка воспроизвела это своим probe-тестом на копии бэкенда (двойной `openEmitter` с одним
и тем же id на одном store).

Последствие, которое надо назвать честно: прогон уходит в **полную немоту на весь свой срок** — курсор
припаркован, ошибки нет, карантина нет (значит колонка `QUARANTINE` пуста, гейдж
`quarantined_attempts` его не считает, `run unquarantine` отвечает `ErrNotQuarantined`), а `maybeResync`
такую попытку пропускает (`internal/runs/reconcile.go:806` — `l.Position.LastSeq > 0 && !l.Quarantined`).
Пользователь весь прогон видит замерший прогресс. ⚠ Опровергатель сузил радиус: путь — конъюнкция двух
признанных сбоев (претензия на юнит, отчитавшаяся ошибкой + исчезновение юнита без exit-marker), а не
рядовой рестарт. Вес от этого падает, но обоснование остаётся ложным.

**Делай РОВНО так:** (1) снять абсолютное «Nothing of ours can follow» в `tail.go:157-159` и
формулировку «вред ограничен по времени» в ряде `PD-438` — заменить на то, что верно; (2) дать
припаркованной попытке **наблюдаемость**: сегодня у этого класса нет ни одного из трёх сигналов,
которые были у карантина.
**Решаешь сама и аргументируешь:** ЧЕМ именно её сделать видимой — счётчиком, отдельной причиной,
включением в `maybeResync`, колонкой или новым рядом регистра под отдельный пак. Дорогое решение
здесь не заказано: назвать проблему и предъявить минимум — законный исход.

## П2 [важное] — гейт батареи заявляет покрытие, которого у него нет; `PD-374` как КЛАСС не снят

Докблок обещает: «What it asserts is all three columns: the NAME appears, the **STATE follows the host**
rather than a word». По факту состояние сверяется **у одной строки из восьми**:

```
platform/internal/gates/battery_test.go:60-66 — два регэкспа только на TM_PLATFORM_TEST_DSN
  (UNSET / set); у systemd проверяется лишь, что строка есть в любом состоянии
```

Приёмка воспроизвела ТРИ независимые дыры, каждую своей мутацией на копии:
- **состояния семи остальных условий можно заморозить литеральной ЛОЖЬЮ** — `state=MISSING` на
  присутствующих бинарях и `UNREACHABLE` на живом systemd: `make conditions` печатает ложь про хост,
  гейт зелёный;
- **обратного направления нет**: вставлены выдуманные `TM_PLATFORM_TEST_DEAD_KNOB` и бинарь `ffmpeg`
  «read by: internal/ghost» — печатаются, гейт зелёный (положительный контроль: грепа этих имён в
  дереве нет);
- **подсказка и гейт выводят из ОДНИХ И ТЕХ ЖЕ двух якорей**: тест, читающий `os.LookupEnv` вместо
  `os.Getenv`, реально скипается, в `make conditions` не появляется, гейт зелёный. В обратную сторону
  пакет, лишь УПОМЯНУВШИЙ вызов в комментарии, зачисляется в читатели — вопреки собственному докблоку.

⇒ Первый же новый тест, написанный другой идиомой, возвращает зону в состояние `PD-374` при зелёной
батарее и зелёном гейте.

**Делай РОВНО так:** сверять состояние по хосту для КАЖДОЙ строки, а не для одной.
**Решаешь сама:** как закрыть обратное направление (строка перечня → исходники) и расширять ли набор
идиом; если считаешь, что «второй карьер факта» тут недостижим — скажи это аргументом.
⚠ **До этого `PD-374` не считать снятым как класс** — экземпляр вылечен, класс нет.

## П3 [важное] — три калитки нового гейта класса

- **(а) `accepted-risk` уводит ряд из класса молча.** Приёмка заменила статус `PD-162` (open, minor,
  «деньги + холд + блокир») на `accepted-risk`: `go test -run TestOpenRows` выходит нулём, счёт падает
  до 10, а единственная строка — «PD-162 has left the class legitimately» — идёт через `t.Logf` и
  **не начинается с `ALARM`**, поэтому лифтер цели `check` (`grep -o 'ALARM PD-.*'`) её не поднимает.
  Это ровно та калитка, против которой гейт и построен.
- **(б) фильтр «ниже major» слеп к весу ВЫШЕ major.** `strings.Contains(r.weight, "major")`, а словарь
  реестра содержит `**BLOCKER**`. Открытая BLOCKER-строка читается как «below major» и краснит
  `make check`, причём совет в самом сообщении («either its weight is major») предлагает **понизить
  вес самой громкой строки**. Воспроизведено вставкой `| PD-997 | bug | **BLOCKER** | … | open |`.
  Сегодня латентно — все три BLOCKER-строки закрыты, — но словарь живой.
- **(в) при прозаическом статусе сообщение называет неверную причину.** Гейт печатает «is in
  alarmBaseline and no longer a row of the register: … this is a gate reading the wrong document», хотя
  документ верный и строка на месте — причина в прозе статуса. Соседняя ветка гейта такую строку уже
  умеет отличать (она печатает её в списке `PD-439`).

**Делай РОВНО так:** (а) и (в) закрываются. **Решаешь сама:** форма — поднимать ли уведомление об
уходе до `ALARM`, ужесточать ли словарь дверей, и что делать с (б) — чинить фильтр или объявить
BLOCKER частью класса.
⚠ Решение про `PD-439` (семь рядов со статусом вне словаря) — на оркестраторе, и от него зависит,
какой из двух путей в (в) законен. Упрёшься — пинг, не догадка.

## П4 [мелочь] — `alarmBaseline` и числительное протухли ПОСЛЕ сдачи

`register_test.go:52-53` всё ещё несёт `PD-168`, который акт лендинга перевёл в `fixed(e85295d)`; гейт
на каждом прогоне печатает `ALARM PD-count: 11 … (baseline 12)` и собственное поручение. Комментарий
`:151` («the same **twelve** rows») и таблица живых проб в журнале зоны говорят «12».
⚠ **На сданном тобой дереве 12 было ВЕРНО** — число протухло от закрытия ряда актом лендинга, это не
твоя ошибка. Но правится в зоне: **делай РОВНО так** — снять `PD-168` из базы, поправить числительное,
снять «12» из таблицы живых проб. По существу довод комментария жив: оба прочтения дают один и тот же
список.

## П5 [мелочь] — записка о предусловии хоста неверна, и цена этого — потерянный старт следующей смены

Журнал зоны (`platform-PROGRESS.md:39-40` и `:357`) заявляет «Postgres на 5432», «`~/go/bin` не
существует», «`sqlc` и `golangci-lint` в `~/.local/bin`, уже в PATH, `make tools-check` → 0».
На этом хосте: `~/go/bin` **существует и держит `sqlc`** (mtime 30.08, ДО смены), в `~/.local/bin`
его нет, `make tools-check` на дефолтном PATH даёт «got: none», живой сокет — только
`/tmp/.s.PGSQL.55433`. Это ровно тот класс, что лечит твой же пункт 4: подсказка, отправляющая
читателя не к той ручке.

⚠ Записка ссылается на подтверждение владельца, что промт писан на другой машине. **Делай РОВНО так:**
либо привести записку к замеру на ЭТОМ хосте, либо вписать явно, что условия хоста замерены на другом
и здесь не проверялись. Молчаливое расхождение недопустимо — следующая смена теряет на нём заход.

## П6 [мелочь, по желанию] — `RunBudget` без пина в своём пакете

Подмена «читать ПОСЛЕДНИЙ холд вместо холда первой попытки» оставляет `go test ./internal/pgstore/`
зелёным; ловит её только соседний пакет (`internal/runs/sweep_test.go:1663`). Соседний денежный
читатель того же файла, `RunSpent`, пин в своём пакете имеет — то есть это асимметрия, а не норма.
⚠ Опровергатель понизил вес: штатная батарея зоны — `go test ./... -race`, так что «зелёный пакет»
достижим только ручным прогоном одного пакета, и дыры в защите инварианта нет.
**Решаешь сама:** заводить ли пин; отказ аргументируй.

## Границы — что НЕ делать

- ⛔ **Правку тейлера не ревертировать** и границы не двигать: отказ по декоду остаётся ВЫШЕ,
  понижение только при известном `want`, при `want == ""` валидация ПОЛНАЯ. Приёмка все три проверила.
- ⛔ Не трогать форму манифеста, схему хранилища движка, версию контракта, `docs/scripts/counts.py`.
- ⛔ Не решать за оркестратора `PD-439` и не переносить ряды между секциями регистра — статус и
  переезд суть акт лендинга, он их и делает.
- ⛔ Не трогать бэкенд-половину индекса, `.env`, соседний worktree.

## Что приёмка ПРОВЕРИЛА и признала — переделывать не нужно

- `make check` под всеми четырьмя условиями хоста: `0 issues`, 18 пакетов `ok`, три SKIP и все три от
  `ENGINE_BIN`. Дефект `PD-374` предъявлен вылеченным вживую: при выставленном DSN рецепт больше не
  посылает к DSN.
- Перечень условий **выводится из исходников по ВЫЗОВУ**, а не держится списком в прозе — это сильнее
  заказанного.
- Оба новых гейта посажены мутацией приёмкой и оба КРАСНЕЮТ (выброшенный цикл `LookPath`; дописанные
  слова тревоги в открытый не-major ряд).
- Тейлер: три границы соблюдены, зелёный пин `TestAnotherAttemptsStreamInTheSameJournalIsSkipped` жив,
  два прохода подряд идемпотентны, чужие события на нашу попытку не ложатся.
- `reopen` читает бюджет из холда в обеих точках, прогон без первого холда отвечается ошибкой.
- Пин `held` в ветке чужого handshake'а: приёмка исполнила заявленную им мутацию — **ловится**,
  обвинение в фиктивном покрытии снято.
- Строка рантбука исправлена верно; `PD-436` заведён.
- Число «55 посадок» против «60 строк таблицы» — расхождение снято: это ДВЕ таблицы, не одна.

## Мандат самопроверки — исполнением

1. **Каждый пункт П1–П6 проверяется своей командой**, выход — цитатой в отчёте.
2. **Мутации сажаются на копии** (`cp -a platform /tmp/…`), гейты предъявляются КРАСНЫМИ на своей
   мутации и зелёными после её снятия.
3. **Отдельный проход по своей готовой работе** свежим контекстом. Субагенты разрешены явно, модель
   ИМЕНЕМ, число знай.
4. ⚠ «Прошла, находок нет» отчётом не является — ноль обосновывается тем, ЧТО искалось.

## Отчёт

В `platform/docs/platform-PROGRESS.md` (в `docs/PROGRESS.md` платформа НЕ пишет). Пройди **по каждому**
пункту П1–П6 и отчитайся по каждому. Каждое число — с командой получения; приёмка пере-ранит.
⚠ Гейты и счёты гнать **ПОСЛЕДНИМ действием**, после того как текст дописан: на прошлом круге число
«12» протухло именно потому, что было снято до последней правки.
Обязательная секция **«Что НЕ удалось и что НЕ проверено»** — третий исход законен.

## Прямой канал

Механизм — `CLAUDE.md`, «Связь между сессиями»: свой блок в `/tmp/textmachine-channel`, сверка с
`ListAgents` перед отправкой; канала нет — нормальный случай, сессии подряд не опрашивать.