From 5b3a8552cd04dbed964c08e9c05c2d071ef7f17c Mon Sep 17 00:00:00 2001 From: heaven Date: Thu, 10 Sep 2026 21:25:57 +0300 Subject: [PATCH] Answer the open question the journal left waiting, since the owner's word on the two stops has arrived. --- docs/PROGRESS.md | 8 ++++++++ docs/architecture/05-decisions-log.md | 1 + 2 files changed, 9 insertions(+) diff --git a/docs/PROGRESS.md b/docs/PROGRESS.md index 7bf07253..f1f65c0e 100644 --- a/docs/PROGRESS.md +++ b/docs/PROGRESS.md @@ -1033,6 +1033,14 @@ counts.py → литералы сходятся (8 проверок) позицию, а другое их число. ⇒ **вопрос ждёт вердикта консилиума** (`D39.231` п.4), правки не начаты, дерево не трогается. +> ⚠ **ПОМЕТКА ОРКЕСТРАТОРА 10.09 — вердикт пришёл, вопрос выше ЗАКРЫТ; текст зоны не переписан, читать его +> как историю хода.** Владелец ратифицировал форму двух остановок (`D39.234` п.1): первое нажатие — МЯГКАЯ +> (новых единиц не раздаём, начатое доигрываем, ждём одну летящую попытку ~20 мин), второе — сегодняшняя +> ЖЁСТКАЯ. ⇒ догадка зоны подтвердилась: при мягкой остановке класс «деньги без ответа» не возникает вовсе. +> Но в КОДЕ двух остановок ещё нет — носитель работы строка **381**, и пак движка лендится ПАРОЙ с +> платформенным (`D39.234` п.2). Число позиций наряда пере-считывать не нужно: наряд отработан и закрыт +> (36 позиций, 34 «сделано», 2 «пинг»), а «пинги» стали строками **375** и — закрытой замером — **374**. + ⚠ И отдельно — **против отката денежной части**, если он будет рассматриваться. Откат разведения предикатов вернул бы состояние, где отклонённые провайдером запросы становятся ПЛАТНЫМИ (замер: 22 из 25, $0.80 на боевом пути) — списание с читателя за вызов, которого никто не выполнял. Это направление diff --git a/docs/architecture/05-decisions-log.md b/docs/architecture/05-decisions-log.md index 218285d9..61706d02 100644 --- a/docs/architecture/05-decisions-log.md +++ b/docs/architecture/05-decisions-log.md @@ -5,6 +5,7 @@ > ⚠ **Эррата 15.08 (D39.132):** D39.131 п.2(а) перечисляет полосу отказов «10 конфиг · 11 источник · 12 лок · 19 безымянный» — читать через D39.132 п.2(г): полоса ДОПОЛНЕНА **exit 13 = `schema_mismatch`** (~~обе зоны сошлись на числе независимо~~; ратифицирован направлением, ФИНАЛИЗИРОВАН приёмкой D39.134). > ⚠ **Эррата 15.08-б (D39.134 п.2а, вписана по аудиту корпуса):** клейм «зоны сошлись на 13 НЕЗАВИСИМО» (строкой выше и в D39.132 п.2г) СНЯТ — платформа прочитала число из незакоммиченного дерева движка и сама это записала (`platform/internal/ingest/exit.go:63-64`); на силу ратификации не влияет. > ⚠ **Эррата 15.08-в (D39.136 п.5):** форма контракт-ревью «фазный воркфлоу оркестратора» ОТМЕНЕНА словом владельца тем же днём — исполняет ОТДЕЛЬНАЯ СЕССИЯ со своим онбордингом (норма D39.120 п.2; оркестратор — автор части ратификаций 0.2.3, author≠reviewer); запущенная воркфлоу-фаза 1 остановлена, её результаты выброшены; промт — `docs/CONTRACT_REVIEW_SESSION_PROMPT.md`. +> ⚠ **Эррата 10.09-в (`D39.231` п.4) — ОТКРЫТЫЙ ВОПРОС ТОЙ НОТЫ ЗАКРЫТ В ТОТ ЖЕ ДЕНЬ.** Пункт 4 оставлял «чинить ли 31 позицию наряда» ждать вердикта о мягком останове. Вердикт есть: `D39.234` п.1 — форма «повтор ужесточает», мягкая остановка не рвёт летящие вызовы. Наряд при этом отработан целиком (36 позиций: 34 «сделано», 2 «пинг»), так что пере-считывать нечего; работа по мягкой остановке живёт строкой **381** и ещё не заказана. > ⚠⚠ **Эррата 10.09-б (`D39.232` п.1) — АКТ ОБЪЯВИЛ ТРИ СТРОКИ ЗАКРЫТЫМИ И НЕ ТРОНУЛ ТАБЛИЦУ.** «Закрыты строки 360 и 369, попутно 78» — все три остались в `docs/BACKLOG.md` живыми до 10.09, когда владелец спросил, актуализированы ли доки. Носитель сверки — норма этого же оркестратора в ролевом промте («сверка носителей — тем же движением, что и акт»), и она не сработала на акте её автора. Закрыто и сверено в `D39.234` п.3; там же четвёртая строка (**331**), закрытая тем же паком и не замеченная никем. > ⚠ **Эррата 10.09-а (`D39.232` п.9) — ПЕРЕЧЕНЬ ОСТАТКОВ НЕПОЛОН: их не четыре, а семь.** Пункт 9 писал «остатки заведены строками **374**–**377**» — это было верно в момент акта и перестало быть в тот же день: три находки приёмки, не вошедшие в круг, получили строки **378** (пин «не-2xx — не покупка» ловит мутанта ассертом об исходе прогона, денежные проверки не исполняются), **379** (два пина не утверждают своей посылки) и **380** (у денежного утверждения про бюджет пере-делки один носитель, а не пять). Две из трёх пере-сняты моим прибором на копии — с контрольной величиной рядом с нулём. Тело ноты не переписывается (D23.3); читать п.9 как **374**–**380**. ⚠ И ещё раз в тот же день: **374** и **371** ЗАКРЫТЫ замером (акт `D39.233` п.2 и п.3) ⇒ живой остаток темы — список в `D39.233` п.8, а не здесь. > ⛔⛔ **Эррата 08.09-д (`D39.229` п.2) — «ЧИСЛА ПЕРЕ-СНЯТЫ МНОЮ» ДОКАЗЫВАЛИ ПОЧТИ НИЧЕГО О ПРЕДМЕТЕ ПАКА, И ЭТО КЛАСС `D39.202`, ПРИМЕНЁННЫЙ К САМОЙ БАТАРЕЕ.** Пункт 2 записывает: «`go test ./... -count=1` → 20 пакетов `ok` · 0 FAIL · EXIT=0». Ровно эту картинку печатает машина БЕЗ Postgres, потому что `go test` без `-v` скипы не показывает вовсе. Замер в моём окружении: `TM_PLATFORM_TEST_DSN` пуст, прогон даёт **431 скип**, и среди них — **все десять тестов `internal/books/limit_test.go`**, то есть весь пин ЦЕНТРАЛЬНОГО механизма пака. `go test ./internal/books/ -run TestTheHostRunsNoMoreCutsAtOnceThanItsCapAllows -v` в том же окружении печатает `SKIP` и следом `PASS`. ⇒ мой приёмочный прогон потолка не касался ни разу. **Нашёл охотник вне карты, и доказал не рассуждением, а двусторонней посадкой:** ослабленный семафор (`NewWeighted(limit+3)`) без DSN даёт `ok 0.009s`, с DSN — `FAIL: TestTheHostRunsNoMoreCutsAtOnceThanItsCapAllows`. ⭐ **Пробел закрыт исполнением, а не оговоркой:** я подняла стенд (сокет `/tmp/.s.PGSQL.5432`) и прогнала оба флагманских теста с живой базой — **PASS, 0.81 с и 2.45 с**, а затем и всю платформенную батарею со стендом: **20 пакетов `ok` · 0 FAIL · скипов 9 вместо 431** (остаток гейтится движковым бинарём и `pg_restore`) — число независимо совпало со счётом слепого верификатора. Механизм ЗАПИНЕН по-настоящему; неверен был мой прибор, а не работа зоны. ⇒ **НОРМА: приёмочный прогон печатает счёт СКИПОВ рядом с числом `ok`, иначе «пере-снято мною» и «пере-снято на четырёхстах невыполненных тестах» неразличимы.** Гейт зоны (`make check`) скипы печатает и пустой лог объявляет красным — а голый `go test`, которым мерила приёмка, слеп по построению. ⚠ И `D39.228` п.2 (движковая батарея) той же поправке НЕ подлежит: там гейтов хоста нет, скипов 4 и они названы.