diff --git a/docs/ORCHESTRATOR_SESSION_PROMPT.md b/docs/ORCHESTRATOR_SESSION_PROMPT.md index 0e50e7e8..dc8002e3 100644 --- a/docs/ORCHESTRATOR_SESSION_PROMPT.md +++ b/docs/ORCHESTRATOR_SESSION_PROMPT.md @@ -112,6 +112,8 @@ D-ссылка грепается по D-логу · mid-flight аддендум связность вместо истинности · соглашательство с чёткой позицией · рационализация задним числом · слепое пятно моделей, обученных на одном корпусе · экономия усилия на неудобном. +⚠ **Адверсариальный проход, который ГЕЙТИТ лендинг, судит КОНКРЕТНОЕ дерево: на время прохода дерево морозится либо ревьюеру называется КОММИТ (D39.172).** Иначе лендинг посреди прохода делает его отчёт описанием состояния, которого уже нет, и пере-прогон ложится на ревьюера. + **Механика-минимум:** ≥1 верификатор выносит мнение по промту+диффу ДО чтения отчёта · ≥1 ищет дефекты ВНЕ карты отчёта · **проверка обязана различать истинно/ложно, а не внесено/не внесено** — лестница: «правка внесена» (дифф) → «правка достигает цели» (репро молчит) → «утверждение истинно» diff --git a/platform/docs/platform-PROGRESS.md b/platform/docs/platform-PROGRESS.md index 88a72ed6..898f99df 100644 --- a/platform/docs/platform-PROGRESS.md +++ b/platform/docs/platform-PROGRESS.md @@ -295,7 +295,7 @@ Override с явным именем алиаса тоже НЕ применяе `queries/sessions.sql`. Новая цель — строка, где `maxAge` СТАНОВИТСЯ значением; причина записана в самой строке реестра. Сам дефект не тронут. Нашла и назвала их сессия `textmachine-c0` — спасибо. -### Адверсариальный проход по готовой работе (обязателен, слово владельца) — шесть находок, все починены +### Адверсариальный проход по готовой работе (обязателен, слово владельца) — семь находок, все починены Отдельный агент по шести осям, на готовом дереве, с правом мутировать копии. **Саму конверсию сломать не смог**, и это проверено сильнее, чем я сама проверяла: транзакционные ручки подтверждены не только @@ -314,6 +314,20 @@ Override с явным именем алиаса тоже НЕ применяе | 4 | **Одна лишняя обратная кавычка в прозе `.sql` давала ЛОЖНОЕ КРАСНОЕ** с ложным диагнозом: экстрактор резал ВЕСЬ файл по кавычкам, а генерённые файлы несут прозу `.sql` комментариями, где кавычки — домашний стиль репозитория. Сегодня чётность держалась случайно | читаются только настоящие `const … = ` + raw-строка | добавила кавычку в комментарий, регенерировала: гейт зелёный | | 5 | Тест ретенции не проверял СВОЮ границу: `at <` → `at <=` проходил | в фикстуру добавлена строка РОВНО на отсечке | посадка красная адресно | | 6 | `Lim: int32(limit)` СУЗИЛ тип: у CLI `-limit` это `flag.Int`, и `-limit 2147483648` из рабочего запроса стал ошибкой Postgres | `::bigint` в запросе, `int64(limit)` в вызове | сборка + батарея | +| 7 | Комментарий в `sqlc.yaml` говорил «42 statements», хотя конвертированных мест вызова 41, а текстов 40 | исправлено на «these 41 call sites» | дифф | + +⚠ **Пере-проверено ПОСЛЕ лендинга тем же агентом, на коммите `63fcee5`:** все семь посадок, выживавшие +на дереве, которое он копировал, на залендженном дереве краснеют — каждая с утверждением, называющим +настоящую причину. Его список «сломать не смог» при этом не изменился: транзакционные ручки, денежная +точность на `2^53+1` (и переполнение как ОШИБКА, а не заворот), перепись 173→172 при 164→164 различных +текстов, посемантическая сверка всех 40 запросов против HEAD — этих мест пост-копийные правки не +касались, файлы байт-в-байт те же. + +⚠ **Процессная заметка агента, и она справедливая:** его просили ревьюить ГОТОВОЕ незакоммиченное +дерево, а дерево закоммитили в середине его прохода — поэтому его первый отчёт описывал состояние, +которого уже не было. Если адверсариальный проход должен ГЕЙТИТЬ лендинг, дерево на время прохода +обязано быть заморожено либо ревьюеру называется КОММИТ. Здесь обошлось — я успела починить всё сама +до лендинга, и его пере-прогон это подтвердил, — но обошлось случайно. ⚠ **Главный урок находки №1 записываю прямо, потому что он про мою же дисциплину:** я добавила поведенческий тест для `OpenReservations` ровно по этому доводу — и не добавила такой же для `Lookup`,