Ratify a battery that can no longer certify a run it did not measure, and record the two numbers its shared log had already bent

This commit is contained in:
heaven 2026-09-06 08:06:22 +03:00
parent 201363b2a7
commit e92d411cca
3 changed files with 21 additions and 4 deletions

File diff suppressed because one or more lines are too long

View file

@ -1,4 +1,4 @@
# Реестр D-нот — карта актуальности v2 (D1D39.212; титул — носитель головы, бампать при каждом аппенде)
# Реестр D-нот — карта актуальности v2 (D1D39.213; титул — носитель головы, бампать при каждом аппенде)
> ⚠ **Колонку «тело» `counts.py --check` НЕ сторожит по устройству:** он сверяет полноту НОМЕРОВ, а не
> место тела, поэтому колонка держится дисциплиной лендинга. Не нашёл тело по колонке — иди в слайсы,
@ -271,3 +271,4 @@
| D39.210 | 06.09 | **АКТ: движковый пак «форматы и честный словарь» ПРИНЯТ С ДОФИКСОМ** (`2f65d1d`, 29 путей; канон не бампался — пак аддитивен). EPUB читается по `nav`/NCX, словарь получил `delimited`, пути разреза txt КОНКУРИРУЮТ; гейт 8/8 байт-в-байт, текст не потерян на девяти книгах, каталог 211. ⭐ **Норма D39.209 окупилась ДВАЖДЫ в день ратификации** — пере-замер поймал неточность отчёта и ВТОРОЙ регресс, оба экземпляром, а не тестом. ⚠ Цена на книге владельца замерена: 2187 рун оглавления внутри главы; 64 из 71 главы короче 200 знаков | ✅ |
| D39.211 | 06.09 | **АКТ: второй круг платформенного пака** (`6ceb133` + канон `3e40c36`, `0.12.0`): заказ по размеру больше не притворяется заказом в главах — `ordered_chapters` нуллабелен, рядом `ordered_units`. ⛔ **Три лжи в каноне 0.11.0 написал Я**, и гейт не покраснил ни на одной — он сверяет ЧИСЛА, а не ФОРМЫ (строка 309). ⭐ Лечение: авторство утверждений о ЗНАЧЕНИИ отдаётся зоне с пином + порождённые примеры. ⚠ Условие Fable отклонено зоной и проверено мной по типам — буквальное исполнение было бы дефектом в деньгах | ✅ |
| D39.212 | 06.09 | **ДОФИКС КАНОНА ЗОНОЙ ИЗ ПИНОВ** (`33b896b`, `1cae0ac`, `f05795e`, `c206067`): норма авторства исполнена первый раз и окупилась ВОПРОСОМ «а точно ли ничто иное?» — нашлась вторая форма, дающая `ceiling_chapters = 0` и неотличимая от ре-прохода на проводе; гвард стоял, но его не держал ни один тест. Плюс: `stage` как различитель отклонён (открытый словарь) · нижняя граница `0` оставлена ПОЛОМ · зеркальное расщепление в `OrderOptions.structure` · номер строки из чужого письма протухает и переносить надо ТОКЕН | ✅ |
| D39.213 | 06.09 | **ПРИБОР ПРИЁМКИ ПЕРЕСТАЛ ВЫДАВАТЬ СПРАВКУ О НЕИЗМЕРЕННОМ** (`201363b`): попрогонный лог + гвард «лога нет ⇒ красный» + гейт формы. ⛔ Замерено, что дефект портил МОИ числа — общий лог дал призрачный пакет и СПРЯТАЛ ДВА СКИПА. ⛔ Первая редакция гейта требовала «есть выход», а не «выход КРАСНЫЙ»: ложная справка переезжала из строки для человека в КОД ВОЗВРАТА для машины — инструмент против ложной зелени сам её нёс | ✅ |

View file

@ -1,4 +1,4 @@
# Журнал решений оркестратора — контракт D1D39.212 (живой файл: карта · эрраты · живые тела · голова D39.124+ (подрезка D39.139); тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
# Журнал решений оркестратора — контракт D1D39.213 (живой файл: карта · эрраты · живые тела · голова D39.124+ (подрезка D39.139); тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
> **КАРТА АКТУАЛЬНОСТИ (ревизия D31, продлена до D38.2 [12.07]; исторические записи ниже НЕ переписываются — дисциплина D23.3).** Работая с контрактом (греп номера: живой файл → слайсы, целиком НЕ читать — D39.125), держи под рукой, что чем перекрыто:
> ⚠ **Эррата 09.08 (D39.125):** D39.111 п.1 предписывал промту S3 «максимум = баланс МИНУС открытые холды» — формула ОШИБОЧНА (вычитание дважды), исправлена D39.115 п.2(а): максимум = Balance КАК ЕСТЬ; тело D39.111 — в слайсе `../archive/architecture/05-decisions-D39-106-123.md` (испр. 05.09: прежнее «живёт ниже в этом файле» протухло подрезкой D39.139) (голова D39.106+).
@ -2647,3 +2647,19 @@ $2.00» не мерил никто), **а утверждение о ПРОШЛО
**7. ⚠ НАХОДКА О СПОСОБЕ ПЕРЕДАЧИ, отданная зоной мне и записываемая здесь: НОМЕР СТРОКИ, ПОСЛАННЫЙ СООБЩЕНИЕМ, ПРОТУХАЕТ ОТ СЛЕДУЮЩЕЙ ПРАВКИ ТОГО ЖЕ ФАЙЛА И НИЧЕМ НЕ СТОРОЖИТСЯ.** Замерено на себе: зона прислала три номера для чужих якорей, потом дописала в канон два блока — и все три уехали ровно на четыре строки. **Я поймал это только потому, что пере-считал сам**, а не взял из письма; зона поймала одновременно и прислала поправку. ⇒ **правило: номер строки из чужого письма НЕ переносится в док — переносится ТОКЕН, а номер пере-считывается линтом в момент правки.** Это тот же класс, что «замер, снятый до правки» (`D39.209`): цифра верна на момент отправки и лжёт на момент применения, и ничто в форме сообщения об этом не сигналит.
**8. Числа приёмки — сняты МНОЙ и ПОСЛЕ последней правки** (`make check`, стенд 55433): **MAKE-EXIT=0**, 21 пакет, **ноль красных**, линтер `0 issues`, `gofmt`/`go vet`/`sqlc diff` чисты, `ALARM PD-count: 12 (baseline 12)`; `pgstore` 213.7 с и `runs` 178.3 с — работа с живой БД, а не скипы. Пять названных пинов прогнаны отдельно: все PASS, 0.50.6 с каждый. ⚠ **Мой прогон СЛАБЕЕ зонного, и это named, а не спрятано:** скипов у меня **семь** против пяти у зоны, потому что из пяти гейтов стенда (`TM_PLATFORM_TEST_DSN` · `_ENGINE_BIN` · `_BOOK_TEMPLATE` · `_PGDUMP` · `_PGRESTORE`) я поднял только первый. ⚠ И первый мой заход батареи был ЛОЖНО-ЗЕЛЁНЫМ по форме отчёта: `make` умер на `tools-check` (`sqlc` не в PATH оболочки), а харнесс отчитался кодом `0` — это код завершающего `echo`, а не `make`. Поймано чтением лога; **код возврата составной команды отвечает на свой вопрос, а не на твой** (`D39.202`).
## D39.213 — ПРИБОР ПРИЁМКИ ПЕРЕСТАЛ ВЫДАВАТЬ СПРАВКУ О НЕИЗМЕРЕННОМ, и замерено, что он успел испортить МОИ ЖЕ числа (06.09) ✅
**1. Что заландено.** `201363b` (5 путей): попрогонное имя лога (`.check.log.$$`) · гвард «лога нет ⇒ выйти КРАСНЫМ до первого чтения» · гейт формы `gates.TestTheBatteryCannotReportCleanlinessWithoutItsLog` · ряд регистра `PD-454` · зонный журнал. Строка 310 закрыта. Заказан отдельным актом ПОСЛЕ дофикса по канону — зона намеренно не смешала предметы посреди лендинга, и это верно.
**2. ⛔ ДЕФЕКТ ПОРТИЛ НЕ ГИПОТЕТИЧЕСКИЕ ЧИСЛА, А МОИ — И ЭТО ЗАМЕРЕНО, А НЕ ВЫВЕДЕНО.** Три прогона по одному дереву: **(а)** мой `make check` при ОБЩЕМ логе, пока зона гнала свой параллельно — 21 строка `ok`, **7** скипов, `internal/money` дважды; **(б)** мой `make check` после починки, лог попрогонный — **20**, **9**, один; **(в)** мой `go test ./... -race -count=1 -v` в файл ВНЕ каталога зоны — **20**, **9**, один. ⇒ (б) и (в) сходятся ДО СТРОКИ, выброс — (а). **Общий лог дал призрачный лишний пакет и СПРЯТАЛ ДВА СКИПА.** ⚠ Направление ошибки — худшее из возможных: прибор ЗАНИЗИЛ то, чего не измерил, и наружу это шло как «прогналось всё». Именно на этих испорченных числах я и написал п.8 акта `D39.212`.
**3. ⚠ ПОПРАВКА К ЭРРАТЕ 06.09-д: причина названа неверно, и назвал я её ДОГАДКОЙ, поданной как наблюдение.** Там сказано, что 21-я строка — это `internal/money`, напечатанный дважды. Число (пакетов 20) верно, а МЕХАНИЗМ нет: дубль был артефактом общего лога, а не свойством рецепта. Улики: Fable воспроизвести дубль не смог (20 строк, все различны) · после починки он исчез · зона объясняла ту же единицу совсем иначе (лишняя голая строка `FAIL`), то есть три наблюдателя видели три разных «причины» одного числа. ⭐ Это ровно то, в чём зона уличила СЕБЯ пунктом 7 акта `D39.211` («объяснение чистого `sqlc diff` было ДОГАДКОЙ и неверной»), — и теперь то же со мной, в тексте про собственную ошибку.
**4. ⛔ ИНСТРУМЕНТ ПРОТИВ ЛОЖНОЙ ЗЕЛЕНИ САМ НЁС ЛОЖНУЮ ЗЕЛЕНЬ — найдено приёмкой, до лендинга.** Первая редакция гейта требовала, чтобы после гварда был шаг, начинающийся с `exit`, но НЕ требовала ненулевого кода. Замерено мной: `exit 1``exit 0` — гейт **зелен**; и сквозное следствие исполнением (гвард `exit 0` + стаб, не пишущий лога) — **`MAKE-EXIT = 0` при напечатанной строке «THE BATTERY LEFT NO LOG»**. ⇒ ложная справка не исчезала, а **переезжала из СТРОКИ, которую читает человек, в КОД ВОЗВРАТА, который потребляет машина**, — и это хуже исходного дефекта. ⚠ Сообщение самого гейта при этом говорило «so this exits RED» — **текст обещал больше проверенного, то есть болезнь пака сидела внутри лекарства от неё**.
**5. Починка и что она держит.** Гейт читает АРГУМЕНТ выхода: `exit 0` — красно · голый `exit` — красно (несёт статус предыдущей команды, а это `echo`, то есть ноль) · `exit $var` — красно намеренно, из рецепта не судится, а гвард, чей код нельзя прочесть, ничего не обещает. Зона держит ОДНУ БЕЗОПАСНУЮ ФОРМУ и говорит это прямо, а не притворяется доказательством свойства. ⚠ Четвёртая одежда дефекта — гвард, тестирующий ДРУГОЙ файл, — закрыта по построению: гейт ищет гвард только среди шагов, содержащих имя лога, а имя берёт из редиректа рецепта.
**6. Что проверил Я, а не принял отчётом.** Четыре мутации, файл восстанавливался по sha256 после каждой: неизменённый → `ok` · `exit 1``exit 0`**FAIL** · голый `exit`**FAIL** · гвард удалён целиком → **FAIL** исходным сообщением «never TESTS that it is there». ⇒ переписывание гейта не ослабило прежнего свойства. ⚠ Первую свою пробу (`make check GO=true`) я ВЫБРОСИЛ, а не зачёл: она падала на ранних целях с `exit 2`, гварда не достигала и не доказывала ничего. Зона наткнулась на ту же ложную пробу независимо.
**7. Числа после починки, снятые мной.** `make check`**MAKE-EXIT=0**, 20 пакетов, `FAIL 0`, `ALARM PD-count: 12 (baseline 12)`, и честная строка **«did NOT run: 9 skipped»** вместо прежней чистой справки. Регистр: 454 ряда · открытых **103** · major 3 · minor 34, форма зелёная. Гейты доков: литералы сходятся (7 проверок), якорей битых **0** в 116 живых доках. ⚠ Скипов у меня девять, а у зоны пять — я поднял один гейт стенда из пяти; расхождение объяснено, не спрятано.