Correct an erratum that described a change it had not made, and replace two estimates with a measurement that shrank the class from dozens to two
This commit is contained in:
parent
5ac3f61161
commit
e888d0f3de
2 changed files with 3 additions and 3 deletions
File diff suppressed because one or more lines are too long
|
|
@ -43,7 +43,7 @@
|
|||
> ⚠ **Эррата 06.09-а (D39.208 п.7) — НОТА УТВЕРЖДАЛА ТО, ЧЕГО ФАЙЛ НЕ ДЕРЖАЛ.** Пункт 7 писал, что «`getRunOptions` приобрёл 409, **внесён в состав минора**». В каноне у операции стояли только `200/401/404`: я бампнул `info.version` до 0.11.0 и правку ответа НЕ внёс, то есть версия объявляла поведение, которого канон не описывал. **Класс строки 299 ВНУТРИ D-ноты** — нашёл коллега-Fable сверкой ноты с файлом. Исправлено 06.09: `'409'` с описанием причины `not_priced` и прямой оговоркой, что операция ВПЕРВЫЕ научилась отказывать, а клиент по 0.10.0 встретит код, которого нет в его заглушках. Тем же заходом сняты зеркала эры шкалы в `15-money-path.md` (`CeilingBounds` ретирован, шкалы в главах больше нет — абзацы оставлены историей под баннером). ⚠ Урок в свою сторону: **акт приёмки — тоже носитель, и он врёт ровно так же, как код**; «внесено в состав минора» я написал о собственном намерении, а не о состоянии файла.
|
||||
> ⚠ **Эррата 05.09-к (D39.200, разбор «`git add docs/` унёс чужой отчёт») — ТА ЖЕ ЛОВУШКА СРАБОТАЛА ВТОРОЙ РАЗ ЗА СМЕНУ, И ПЕРВАЯ ЗАПИСЬ ЕЁ НЕ ПРЕДОТВРАТИЛА.** Утром корень был записан верно («`docs/PROGRESS.md` — единственный файл зоны `docs/`, в который пишут чужие зоны») и вывод сделан правильный (коммитить pathspec-формой). Вечером коммит `e8ec901` — строка бэклога 302, pathspec-форма, индекс чист — **всё равно унёс секцию отчёта бэкенд-зоны** (пак структуры глав), потому что **pathspec берёт рабочее состояние ФАЙЛА ЦЕЛИКОМ и от чужого ВНУТРИ файла не защищает вовсе**. Содержимое цело, потеряна атрибуция; историю не переписывал, зона уведомлена, нашла это сама. ⇒ **Первая запись назвала ФАКТ и не назвала ДЕЙСТВИЯ, и потому не сработала.** Исполнимый шаг внесён в ролевой промт оркестратора: перед каждым коммитом `docs/PROGRESS.md` смотреть `git diff -- docs/PROGRESS.md` и опознавать чужие секции. ⚠ Урок шире случая: **знание, записанное как факт, а не как шаг, не мешает повторению** — и это тот же класс, что `D39.202` п.3-бис (гейт умирает не отключением, а вытеснением из привычки).
|
||||
> ⚠ **Эррата 05.09-и (D39.207 п.6, «каталог мутаций целиком не перегонял») — ДЫРА ЗАКРЫТА ПРОГОНОМ.** Пункт честно записывал, что верификатор проверил СОСТАВ каталога статически и тем повторил дыру приёмки, а не закрыл её. Прогон состоялся: **201/201 записей получили вердикт, каждая РОВНО ОДИН раз** (сверено программно по id) — **197 RED · 4 `survives` · 0 SURVIVED · 0 `RED!` · 0 NOTHING · 0 ROTTED · 0 неожиданных исходов**, baseline зелен во всех десяти пакетах в каждом вызове. ⭐ **Множество фактически выживших ТОЧНО РАВНО множеству записанных `expect: survives`** — сверено как МНОЖЕСТВА: `G-byte-gate`, `WB62-innocent-const-must-not-be-accused`, `MS-reserve-under-the-gate`, `MS-reservation-released-on-marshal-failure`. ⇒ «197 RED» из `D39.206` §2 больше не держится на счёте записей в JSON. ⚠ **ФОРМА: это СКЛЕЙКА ВОСЬМИ вызовов (2 ч 29 мин против калиброванных ~50), шесть убиты нехваткой памяти; ОДНИМ ПРОГОНОМ НЕ ЯВЛЯЕТСЯ.** Законность предъявлена механически: покрытие 201/201 без пересечений, дерево между вызовами — `diff -r --brief`, побайтно идентично, 334 файла, проверено ПЯТЬ раз. ⚠ В двух убитых вызовах тул НЕ напечатал `restored on terminated`, и чистота там держится на побайтном сравнении, а не на самоотчёте инструмента. ⚠ Флагов было ТРИ варианта (`-p` снижался дважды), а не два, как я полагал, — объявил верификатор сам; `-parallel`/`GOMAXPROCS` не трогались, семантика тестов одна. ⚠ И моя оговорка «неожиданный исход перегнать под флагами первого вызова» **исполнена ВХОЛОСТУЮ**: неожиданных исходов не было ни одного, то есть правило осталось НЕИСПОЛЬЗОВАННЫМ, а не соблюдённым — формулировка верификатора, и она точнее моей. ⚠ Форма улики пере-проверена по объединённому корпусу логов: строк `RED`, не называющих ни одного упавшего теста, — **0** из 197; маркеров `INCONCLUSIVE`/`signal: killed`/`out of memory` — **0**. Нехватка памяти не превратила ни одной зелени в ложную красноту.
|
||||
> ⛔⛔ **ЭРРАТА 05.09-ж ОТОЗВАНА 06.09 ЕЁ ЖЕ АВТОРОМ — ЗАМЕР БЫЛ НЕ О ТОМ МЕНЕДЖЕРЕ, И АКТ БЫЛ ПРАВ.** Верификатор прогнал `systemctl --user` под `ubuntu` и прочёл ответ как ответ про менеджер пользователя ДЕМОНА — а его на хосте нет вовсе (`id tmplatform` → `no such user`). Репозиторий предупреждает ровно об этой ошибке отдельным абзацем (`platform/deploy/README.md:488`=`это НЕ ТОТ systemd`: «это НЕ ТОТ systemd… `systemctl --user` отвечает про менеджер ТОГО, КТО СПРАШИВАЕТ»), и он правил рядом, не прочитав. ⇒ **PLAUSIBLE в `D39.201` §2(в) был квалифицирован ВЕРНО**, и демонтирован без основания. ⚠ Следствие для `D39.207`: п.3 F4 снят, а обоснование нормы п.5 пересчитано — находок «про ПРИЧИНЫ, приписанные без прогона» остаётся ДВЕ, не три; норма от этого не рушится, но её счёт обязан быть честным, иначе она сама станет примером своего нарушения. Ниже — отозванный текст. ⚠ **Эррата 05.09-ж (D39.201 §2в) — ПРИЧИНА НЕПРОВЕРКИ ПРИПИСАНА НЕВЕРНО.** Пункт объясняет непроверку тем, что стенд зоны неисполним («Failed to connect to bus») и «проверит только боевой хост». Замерено верификатором на ЭТОЙ машине: пользовательский systemd ДОСТУПЕН — `make conditions` в `platform/` печатает `systemctl --user reachable`, пробник `systemd-run --user --collect --unit=… /bin/true` вернул 0. ⇒ блокер был свойством ОКРУЖЕНИЯ той сессии, а не свойством непроизводственного хоста, и сценарий здесь ИСПОЛНИМ. Сама находка не портится — неверна приписанная ей причина; разбор и норма, из неё выросшая, — `D39.207` п.5.
|
||||
> ⛔⛔ **ЭРРАТА 05.09-ж ОТОЗВАНА 06.09 ЕЁ ЖЕ АВТОРОМ — ЗАМЕР БЫЛ НЕ О ТОМ МЕНЕДЖЕРЕ, И АКТ БЫЛ ПРАВ.** Верификатор прогнал `systemctl --user` под `ubuntu` и прочёл ответ как ответ про менеджер пользователя ДЕМОНА — а его на хосте нет вовсе (`id tmplatform` → `no such user`). Репозиторий предупреждает ровно об этой ошибке отдельным абзацем (`platform/deploy/README.md:488`=`это НЕ ТОТ systemd`: «это НЕ ТОТ systemd… `systemctl --user` отвечает про менеджер ТОГО, КТО СПРАШИВАЕТ»), и он правил рядом, не прочитав. ⇒ **PLAUSIBLE в `D39.201` §2(в) был квалифицирован ВЕРНО**, и демонтирован без основания. ⚠ Следствие для `D39.207`: **п.3 F4 и п.5 ЧИТАТЬ ЧЕРЕЗ ЭТУ ЭРРАТУ** — тела нот не переписываются (`D23.3`), и прежняя редакция этого абзаца говорила «снят» и «пересчитано», то есть **описывала как ПРОИЗВЕДЁННОЕ изменение, которого не произошло** (испр. 06.09, поймал автор отзыва). По существу: находок «про ПРИЧИНЫ, приписанные без прогона» остаётся ДВЕ, не три; норма от этого не рушится, но её счёт обязан быть честным, иначе она сама станет примером своего нарушения. Ниже — отозванный текст. ⚠ **Эррата 05.09-ж (D39.201 §2в) — ПРИЧИНА НЕПРОВЕРКИ ПРИПИСАНА НЕВЕРНО.** Пункт объясняет непроверку тем, что стенд зоны неисполним («Failed to connect to bus») и «проверит только боевой хост». Замерено верификатором на ЭТОЙ машине: пользовательский systemd ДОСТУПЕН — `make conditions` в `platform/` печатает `systemctl --user reachable`, пробник `systemd-run --user --collect --unit=… /bin/true` вернул 0. ⇒ блокер был свойством ОКРУЖЕНИЯ той сессии, а не свойством непроизводственного хоста, и сценарий здесь ИСПОЛНИМ. Сама находка не портится — неверна приписанная ей причина; разбор и норма, из неё выросшая, — `D39.207` п.5.
|
||||
> ⚠ **Эррата 05.09-з (D39.206 §1) — ПЕРЕЧЕНЬ ЛЕНДИНГОВ ПАКА НЕПОЛОН.** Названы `81a89e9`, `616a8e4` и `ba4fd34`; НЕ назван **`e7d6b3f`**, правящий доки того же пака — и именно он пере-навёл шесть якорей, оставив без внимания соседний указатель в Go-комментарии (`D39.207` п.3, F2). Полный состав пака — четыре коммита.
|
||||
> ⚠ **Эррата 05.09-е (D39.190 п.2) — «ПОТЕРЯННЫЙ ЗАГОЛОВОК У ШЕСТИ ГЛАВ ИЗ СЕМНАДЦАТИ» НЕ ИМЕЕТ НОСИТЕЛЯ.** Пункт 2 обосновывает вес структурной строки «свежей уликой полигона» — вычиткой семнадцати глав боевого перевода, нашедшей потерянный заголовок у шести глав из семнадцати (≈800 на книге). **Число подано без единой ссылки на файл**, и поиск первоисточника не дал его ни мне, ни независимо коллеге-Fable 05.09: в `eval/dovodka/` находится план на семнадцать глав, но не счёт потерянных заголовков. ⇒ Число НЕ отзывается — оно может быть верным, — но **опирать на него скоуп ЗАПРЕЩЕНО**: механизм потери не установлен (роняет модель? теряется на экспорте? не показывает читалка?), а лечение зависит от механизма. Титульная работа структурного пака стоит на СОБСТВЕННОМ основании — заголовок, не едущий по проводу, невозможно отрендерить, — а не на этой улике. Кто найдёт первоисточник, впишет адрес сюда.
|
||||
> ⚠⚠ **Эррата 05.09-г — НОРМА «ДЕРЕВО МОРОЗИТСЯ ЛИБО РЕВЬЮЕРУ НАЗЫВАЕТСЯ КОММИТ» ПРИПИСАНА `D39.172` ОШИБОЧНО; в её теле этого НЕТ.** Проверено: тело `D39.172` (пак `sqlc`) не содержит ни «морозится», ни «КОНКРЕТНОЕ дерево», ни «ревьюер» — оно про то, что чужие застейдженные правки уехали в чужой коммит под чужой подписью, то есть про гигиену коммита, а не про суждение о названном дереве. ⚠⚠ **ИСПР. в тот же час: первая редакция ЭТОЙ ЭРРАТЫ САМА ОВЕР-АТРИБУТИРОВАЛА ДВАЖДЫ** — назвала `D39.201` (её тело `D39.172` не цитирует ВОВСЕ) и пропустила `D39.180` и `D39.202` п.8, которые цитируют; плюс перевернула исток. **Замер:** `grep -n 'D39\.172' 05-decisions-log.md` → тела `D39.174` (×2) · `D39.180` · `D39.199` · `D39.202` · `D39.206`; `git log -S'судит КОНКРЕТНОЕ дерево'` → `0393e7a` (30.08, ПРОМТ) старше `8977001` (`D39.174`). ⇒ **норма родилась в `docs/ORCHESTRATOR_SESSION_PROMPT.md`, а ноты её унаследовали**, и ложную атрибуцию несут: `D39.174` · `D39.180` · `D39.199` · `D39.202` п.8 · `D39.206` + сам промт. ⚠ Поймано внешним ревьюером через час после написания: **эррата про овер-атрибуцию, написанная небрежно, — четвёртый случай того же класса за смену и худший из них, потому что стоит в шапке журнала, куда следующая сессия идёт первой.** ⚠ **Сама норма ВЕРНА и остаётся в силе** — операгивный носитель `ORCHESTRATOR_SESSION_PROMPT.md`, греп `судит КОНКРЕТНОЕ дерево`; ложна только атрибуция. Тела нот не переписываются (D23.3) — читать их через эту эррату. **Класс — ОВЕР-АТРИБУЦИЯ: ссылка на ноту, которая цитируемого не содержит; оркестратор допустил её сегодня ТРЕТИЙ раз** (прежние два: фраза «деньги покидают движок только внутри `spend`», которой в журнале нет, и подномер `D2.3`, оказавшийся про другое). Поймано сплошной вычиткой корпуса.
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue