Accept the formats pack with its fix list, and record that a re-measurement caught two things no test did on the day the rule was written

This commit is contained in:
heaven 2026-09-06 01:43:21 +03:00
parent 988ee6e44d
commit 9d4c59f097
3 changed files with 25 additions and 3 deletions

File diff suppressed because one or more lines are too long

View file

@ -1,4 +1,4 @@
# Реестр D-нот — карта актуальности v2 (D1D39.209; титул — носитель головы, бампать при каждом аппенде) # Реестр D-нот — карта актуальности v2 (D1D39.210; титул — носитель головы, бампать при каждом аппенде)
> ⚠ **Колонку «тело» `counts.py --check` НЕ сторожит по устройству:** он сверяет полноту НОМЕРОВ, а не > ⚠ **Колонку «тело» `counts.py --check` НЕ сторожит по устройству:** он сверяет полноту НОМЕРОВ, а не
> место тела, поэтому колонка держится дисциплиной лендинга. Не нашёл тело по колонке — иди в слайсы, > место тела, поэтому колонка держится дисциплиной лендинга. Не нашёл тело по колонке — иди в слайсы,
@ -268,3 +268,4 @@
| D39.207 | 05.09 | **АКТ ВЕРИФИКАЦИИ обоих актов приёмки холодной сессией без пака** (воркри `/tmp/tm-verify-0509` на `d766007`, $0): 15 из 15 фактических утверждений ПОДТВЕРЖДЕНЫ, три прогоном; 7 находок вне карты (F1 — три протухших «финальных» числа в журнале, включая «0 SURVIVED» против четырёх; F2/F3 — имена в Go-комментариях, не разрешающиеся ни во что; F5 — `/tmp/.git` ломает `go build` под `/tmp`). **Норма: утверждение о замере ИЛИ о причине непроверки обязано цитировать КОМАНДУ.** Дыра скипа платформы замерена: 373 против 6 при неотличимом `exit 0` | ✅ | | D39.207 | 05.09 | **АКТ ВЕРИФИКАЦИИ обоих актов приёмки холодной сессией без пака** (воркри `/tmp/tm-verify-0509` на `d766007`, $0): 15 из 15 фактических утверждений ПОДТВЕРЖДЕНЫ, три прогоном; 7 находок вне карты (F1 — три протухших «финальных» числа в журнале, включая «0 SURVIVED» против четырёх; F2/F3 — имена в Go-комментариях, не разрешающиеся ни во что; F5 — `/tmp/.git` ломает `go build` под `/tmp`). **Норма: утверждение о замере ИЛИ о причине непроверки обязано цитировать КОМАНДУ.** Дыра скипа платформы замерена: 373 против 6 при неотличимом `exit 0` | ✅ |
| D39.208 | 06.09 | **АКТ: платформенный пак «форма заказа» ПРИНЯТ С ДОФИКСОМ**, залендено двумя актами (код + канон 0.11.0), гейт версии не подгоняли. Центральное: пак читал цену движка, но считал в ГЛАВАХ там, где движок считает в ЮНИТАХ — полоса символьного заказа стояла бы `0/N` навсегда. ⭐ **Норма: фикстура, в которой две РАЗНЫЕ величины совпадают, делает весь класс их расхождений невидимым** — девять находок при зелёной батарее. ⚠ Моя ошибка лендинга: pathspec молча уронил 5 untracked-файлов, включая миграцию; хук предупреждал, я обрезал его вывод пайпом | ✅ | | D39.208 | 06.09 | **АКТ: платформенный пак «форма заказа» ПРИНЯТ С ДОФИКСОМ**, залендено двумя актами (код + канон 0.11.0), гейт версии не подгоняли. Центральное: пак читал цену движка, но считал в ГЛАВАХ там, где движок считает в ЮНИТАХ — полоса символьного заказа стояла бы `0/N` навсегда. ⭐ **Норма: фикстура, в которой две РАЗНЫЕ величины совпадают, делает весь класс их расхождений невидимым** — девять находок при зелёной батарее. ⚠ Моя ошибка лендинга: pathspec молча уронил 5 untracked-файлов, включая миграцию; хук предупреждал, я обрезал его вывод пайпом | ✅ |
| D39.209 | 06.09 | **Замер «ДО» без замера «ПОСЛЕ» ничего не доказывает: дефект, предъявленный экземпляром ВНЕ батареи, регресс-сетки не имеет по построению.** В батарее репродуцер работает сам; разрыв — там, где экземпляр за симлинком, в платном прогоне, в стенд-конфиге, в живом сценарии, в полном каталоге. Исполнимая форма: таблица «дефект → экземпляр → пере-мерен после: да/нет + КОМАНДА» в отчёте каждого пака; пропуск указывается ПОИМЁННО. Основание — ПЯТЬ экземпляров из ТРЁХ зон за неделю, ни один не пойман процессом | ✅ | | D39.209 | 06.09 | **Замер «ДО» без замера «ПОСЛЕ» ничего не доказывает: дефект, предъявленный экземпляром ВНЕ батареи, регресс-сетки не имеет по построению.** В батарее репродуцер работает сам; разрыв — там, где экземпляр за симлинком, в платном прогоне, в стенд-конфиге, в живом сценарии, в полном каталоге. Исполнимая форма: таблица «дефект → экземпляр → пере-мерен после: да/нет + КОМАНДА» в отчёте каждого пака; пропуск указывается ПОИМЁННО. Основание — ПЯТЬ экземпляров из ТРЁХ зон за неделю, ни один не пойман процессом | ✅ |
| D39.210 | 06.09 | **АКТ: движковый пак «форматы и честный словарь» ПРИНЯТ С ДОФИКСОМ** (`2f65d1d`, 29 путей; канон не бампался — пак аддитивен). EPUB читается по `nav`/NCX, словарь получил `delimited`, пути разреза txt КОНКУРИРУЮТ; гейт 8/8 байт-в-байт, текст не потерян на девяти книгах, каталог 211. ⭐ **Норма D39.209 окупилась ДВАЖДЫ в день ратификации** — пере-замер поймал неточность отчёта и ВТОРОЙ регресс, оба экземпляром, а не тестом. ⚠ Цена на книге владельца замерена: 2187 рун оглавления внутри главы; 64 из 71 главы короче 200 знаков | ✅ |

View file

@ -1,4 +1,4 @@
# Журнал решений оркестратора — контракт D1D39.209 (живой файл: карта · эрраты · живые тела · голова D39.124+ (подрезка D39.139); тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`) # Журнал решений оркестратора — контракт D1D39.210 (живой файл: карта · эрраты · живые тела · голова D39.124+ (подрезка D39.139); тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
> **КАРТА АКТУАЛЬНОСТИ (ревизия D31, продлена до D38.2 [12.07]; исторические записи ниже НЕ переписываются — дисциплина D23.3).** Работая с контрактом (греп номера: живой файл → слайсы, целиком НЕ читать — D39.125), держи под рукой, что чем перекрыто: > **КАРТА АКТУАЛЬНОСТИ (ревизия 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+). > ⚠ **Эррата 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+).
@ -2581,3 +2581,24 @@ $2.00» не мерил никто), **а утверждение о ПРОШЛО
· **Хвосты отчётов бэкенда:** «взаимодействие переноса с потолком на длинном хвосте не замерено», «цикл из трёх покупок на флагнутом юните не замерен» — зона ЗНАЕТ, что не проверено, и это не превращается в шаг. · **Хвосты отчётов бэкенда:** «взаимодействие переноса с потолком на длинном хвосте не замерено», «цикл из трёх покупок на флагнутом юните не замерен» — зона ЗНАЕТ, что не проверено, и это не превращается в шаг.
**5. Что норма НЕ требует.** Не требует покупать замер. Требует **назвать** его отсутствие поимённо и назначить момент, когда он случится. Дешёвый случай (файл вне git, $0) исключений не имеет: там пропуск — не цена, а забывчивость. **5. Что норма НЕ требует.** Не требует покупать замер. Требует **назвать** его отсутствие поимённо и назначить момент, когда он случится. Дешёвый случай (файл вне git, $0) исключений не имеет: там пропуск — не цена, а забывчивость.
## D39.210 — АКТ ПРИЁМКИ ДВИЖКОВОГО ПАКА «ФОРМАТЫ И ЧЕСТНЫЙ СЛОВАРЬ»: ПРИНЯТ С ДОФИКСОМ, `2f65d1d`; норма D39.209 окупилась ДВАЖДЫ за смену (06.09) ✅
**1. Что заландено.** `2f65d1d`, 29 путей, все в `backend/`. Канон НЕ бампался и не должен был: пак аддитивен, `manifestVersion` не тронут, а `structure` описан в контракте как ОТКРЫТЫЙ словарь ещё до лендинга — четвёртое значение доедет до клиента дословно.
**2. Метод.** Шесть находок нашла САМА зона в промте ДО кода (две блокирующие: цикл в порядке разреза и недостижимый гейт). Приёмка — две линзы моими агентами, не сессиями: **на реальных EPUB владельца** (собрала движок из сданного дерева, прогнала три книги, сверила отданное с тем, что объявляет файл) и **слепая** (судила заказ и дифф, отчёт зоны не открывала, ставила собственные мутации). Всё $0.
**3. Что устояло, и проверено НЕ отчётом зоны.** Гейт: **8 из 8 исходников байт-в-байт**, слепая линза пере-собрала `tmctl` из HEAD и из дерева зоны и сверила своим прибором — id и номера глав идентичны, unit-id расходятся ТОЛЬКО компонентом `cutTag`, ровно как §3 разрешает. **Текст не потерян ни на одной из девяти стендовых книг** — сверка по знакам, до последнего. Инвариант сохранения сошёлся на всех трёх живых EPUB. Каталог **211**, 0 неожиданных исходов.
**4. Находки приёмки и диспозиции.** **M-1** — молчаливая потеря текста: роль `toc` с ФРАГМЕНТОМ исключала документ целиком, хотя фрагмент означает «оглавление начинается ЗДЕСЬ ВНУТРИ»; форма уже стояла в книге владельца. Починено. **M-2** — три счётчика, объявленных единственной тревогой пака, не имели потребителей; построен репортёр с РЕФЛЕКСИОННЫМ сторожем. **M-3/M-4** — две дыры в пинах, найденные посадкой при зелёной батарее (компонент версии можно было вынуть из `manifestKey`; метки `nav` можно было перестать собирать). **Д-1** — инвариант сохранения текста, потребованный Fable.
**Граница Д-1 установлена ЗОНОЙ, а не автором требования, и она сузила довод:** инвариант ловит текст, ушедший **без решения**, и НЕ ловит неверное, но ЗАПИСАННОЕ решение — исключение учтено, сумма сходится. ⇒ «M-1 и M-2 лечатся одним» **снято**: три механизма на три класса. Предъявлено двумя посадками. ⚠ Довод я передал зоне с чужих слов, не проверив, — то есть исполнил ровно то, за что ловили меня.
**5. ⭐ НОРМА `D39.209` ОКУПИЛАСЬ ДВАЖДЫ В ДЕНЬ РАТИФИКАЦИИ.** Пере-замер трёх EPUB после дофиксов поймал: **(а)** неточность в отчёте самой зоны — она связала «служебная роль внутри документа» и «исключено» как одну сделку, а исключён был ПУСТОЙ титульный лист; перечень с именами и размерами это опроверг, счёт «исключено: 1» — не мог; **(б) ВТОРОЙ регресс**, которого не искали: сужение `title_raw` оказалось слишком широким и у односоставной книги выбрасывало её единственный настоящий заголовок. **Оба поймал экземпляр, а не тест.** Формулировка зоны: «я бы этот случай не вычислил, я его увидел».
**6. Цена на книге владельца — ЗАМЕРЕНА, не предположена.** Дофикс M-1 обменял потерю текста на ШУМ: документ, до починки исключавшийся целиком (и там это случайно было верно), теперь прикреплён как текст книги ⇒ **2187 рун печатного оглавления уедут модели, будут оплачены и покажутся читателю внутри главы**. По `D39.205` меньшее зло, чем потеря, но это РЕГРЕСС на боевом файле относительно состояния до дофикса. Узкий ремонт («до якоря — книга, от якоря — служебное») **НЕ делался сознательно: это и есть резка xhtml по якорям**, под которой четыре пина байт-паритета; входить в самое уязвимое место пака на последнем шаге — сделка, от которой пак предостерегает. Живёт строкой **302**. ⚠ Там же второе число: из 71 главы Kristoff **64 короче 200 знаков** — цели оглавления указывают в задний печатный листинг; окна банка получают на этой книге гранулярность 6.
**7. Границы вердикта — честно.** **`make battery` одной командой НЕ прошла: система убила её ДВАЖДЫ по нехватке памяти**; прогон сделан ПО СТАДИЯМ с теми же целями и тем же `-race`, отчёт — командами, а не словом «зелёная»; скипов 3, те же, что в базовой линии. **Не исполнялись на реальных данных:** landmarks (EPUB 3) — половина обязательной пары §2.3, во всех трёх книгах их нет; вложенные `ol`/`navPoint` — глубина везде 1; `linear="no"` — ноль вхождений; `targets_collapsed > 0` и понижение до `delimited` на EPUB — не получено ни разу; конкуренция путей txt — форм-фидов в реальных книгах нет вовсе. ⇒ **целые правила формата держатся только на синтетических фикстурах, написанных самой зоной**, и это назвала она сама.
**8. Мои ошибки этого пака.** Промт я выдал, **не дождавшись вердикта Fable** (проверено им постфактум: все пять его находок круга 10 в выданную редакцию вошли, вердикт совпал бы). §2.3 я написал «тревога — СЧЁТОМ, и это всё, что требуется», не проверив, что счёт куда-то доходит, — то есть заказал непостроенную тревогу. И передал зоне чужой довод как проверенный (п.4).