Record that a green pin proved the mapping while the line beside it spoke about the life, and name the question that separates them

docs/architecture/05-decisions-index.md

@@ -1,4 +1,4 @@
-# Реестр D-нот — карта актуальности v2 (D1–D39.213; титул — носитель головы, бампать при каждом аппенде)
+# Реестр D-нот — карта актуальности v2 (D1–D39.214; титул — носитель головы, бампать при каждом аппенде)
 
 > ⚠ **Колонку «тело» `counts.py --check` НЕ сторожит по устройству:** он сверяет полноту НОМЕРОВ, а не
 > место тела, поэтому колонка держится дисциплиной лендинга. Не нашёл тело по колонке — иди в слайсы,
@@ -272,3 +272,4 @@
 | 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`): попрогонный лог + гвард «лога нет ⇒ красный» + гейт формы. ⛔ Замерено, что дефект портил МОИ числа — общий лог дал призрачный пакет и СПРЯТАЛ ДВА СКИПА. ⛔ Первая редакция гейта требовала «есть выход», а не «выход КРАСНЫЙ»: ложная справка переезжала из строки для человека в КОД ВОЗВРАТА для машины — инструмент против ложной зелени сам её нёс | ✅ |
+| D39.214 | 06.09 | **«ЕСТЬ ПИН» ≠ «ПИН ДОКАЗЫВАЕТ СКАЗАННОЕ»** (`3524e47`, `49c1093`, `bf062a9`): одна трёхзначная эра протухла в ТРЁХ носителях по-разному, третьим был ЗЕЛЁНЫЙ тест — доказано отображение, сказано про жизнь. ⇒ цитируя пин, спрашивать «то ли он мерит», а не «зелен ли». Плюс: `not_started` без провенанса СПРОЕКТИРОВАН (`FinishParse`), база гейта алармов 12→14 законна как исполнение его же инструкции | ✅ |

docs/architecture/05-decisions-log.md

@@ -1,4 +1,4 @@
-# Журнал решений оркестратора — контракт D1–D39.213 (живой файл: карта · эрраты · живые тела · голова D39.124+ (подрезка D39.139); тела закрытых эр — в слайсах `docs/archive/architecture/`, указатель ниже; реестр всех нот — `05-decisions-index.md`)
+# Журнал решений оркестратора — контракт D1–D39.214 (живой файл: карта · эрраты · живые тела · голова 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+).
@@ -2664,3 +2664,19 @@ $2.00» не мерил никто), **а утверждение о ПРОШЛО
 **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 живых доках. ⚠ Скипов у меня девять, а у зоны пять — я поднял один гейт стенда из пяти; расхождение объяснено, не спрятано.
+
+## D39.214 — «ЕСТЬ ПИН» НЕ ЗНАЧИТ «ПИН ДОКАЗЫВАЕТ СКАЗАННОЕ»: одна эра протухла в трёх носителях, и один из них был зелёным тестом (06.09) ✅
+
+**1. Что заландено.** `3524e47` (платформа: пин хранилища, правка провода, два ряда регистра с объявлением в гейте) · `49c1093` (канон: `Book.structure`) · `bf062a9` (три якоря + литерал регистра). Нашёл дефекты СТРОИТЕЛЬ (`textmachine-main-fe`), не я и не гейт.
+
+**2. ⛔ ОДНА ТРЁХЗНАЧНАЯ ЭРА ПРОТУХЛА В ТРЁХ НОСИТЕЛЯХ ПО-РАЗНОМУ, И НИ ОДИН ГЕЙТ ЭТОГО НЕ ВИДЕЛ.** **(а)** Правило «`null` is not a FOURTH kind of cut» — при четырёх значениях словаря `null` был бы ПЯТЫМ; число снято совсем, а не пересчитано, чтобы правило пережило следующее значение (`3cabe69`). **(б)** `OrderOptions.structure` утверждал, что сиблинг `Book.structure` «несёт тот же факт и не может разойтись», а `Book.structure` не различал `null` и `none` ВООБЩЕ и звал `null` «still arriving». ⇒ правило жило в схеме ЗАКАЗА, а поле, которое клиент читает в КАРТОЧКЕ КНИГИ, о нём молчало; «не могут разойтись» было заявлением о НАМЕРЕНИИ. **(в)** Комментарий провода `wireBook.Structure` перечислял ТРИ значения из четырёх. ⇒ перечень убран СОВСЕМ: список в комментарии протухает молча и читается как обещание, а словарь открыт.
+
+**3. ⭐⭐ ГЛАВНОЕ ЗА СМЕНУ: ПИН БЫЛ, ЗЕЛЁНЫЙ И НАСТОЯЩИЙ, А УТВЕРЖДЕНИЕ ВСЁ РАВНО УЕХАЛО.** Первая редакция правки цитировала `httpapi.TestABooksCutProvenanceIsTheEnginesOwnWordOrAnExplicitNull` и иллюстрировала `null` книгой в статусе `not_started` — «fully uploaded, no manifest». Но `BookStatus` В ТОМ ЖЕ ДОКУМЕНТЕ говорит «`not_started` **cut**, never run». Пин при этом верен: он доказывает, что пустая колонка едет на провод как явный `null`. ⇒ **доказано ОТОБРАЖЕНИЕ, а сказано про ЖИЗНЬ; фикстура прочитана как продуктовое состояние.** ⚠ **Класс ловится НЕ тем вопросом, что предыдущие:** «чем это подпёрто?» здесь даёт честный ответ «пином», и проверяющий проходит мимо. **Цитируя пин в утверждении о ЗНАЧЕНИИ, спрашивать надо не «зелен ли он», а «ТО ЛИ ОН МЕРИТ».** Формулировка зоны, ратифицирую.
+
+**4. Ответ пином, и ложной оказалась ИЛЛЮСТРАЦИЯ, а не словарь.** `FinishParse` переводит книгу `parsing → not_started` **и в той же транзакции взводит долг на дерево** (`platform/internal/pgstore/books.go:314`=`FinishParse records a parsed book`): провенанс приходит ПОЗЖЕ, когда материализатор долг оплатит, и окно «разрезана, провенанса нет» — устройство, а не гонка. Пин уровня ХРАНИЛИЩА заведён под этот вопрос: `pgstore.TestAParsedBookIsNotStartedBeforeItHasAnyProvenance` — прогоняет интейк и получает пару «`not_started` + пустой `structure`» от самой базы. ⇒ `not_started` говорит, что разрезан ИСХОДНИК, а не что прочитан манифест; обе строки канона верны. ⚠ К `null` ведут ещё две дороги, ни одна не про книгу в полёте: манифест СТАРШЕ поля и книга, заведённая из файла, уже лежащего на диске (`books.go:88`=`AddBook registers a book`). Канон держит два предмета раздельно: пин хранилища — про жизнь, пин провода — про отображение.
+
+**5. Базовая линия гейта алармов поднята 12 → 14, и это ЗАКОННО — проверено устройством, а не словом.** База есть ДЛИНА объявленного списка: гейт краснеет и на необъявленный новый ряд («add its id here in the same change and say why»), и на объявление, пережившее свою причину. ⇒ поднять её молча нельзя; зона назвала оба ряда с доводом там, где гейт этого требует. **Это исполнение инструкции гейта, а не его обезвреживание** — различение, без которого `D39.121` читается как запрет любой правки базовой линии.
+
+**6. Мелочь, названная, чтобы не стала нормой.** В том же дереве приехала НЕОБЪЯВЛЕННАЯ правка ряда `PD-446` — пере-наводка якоря `v0.go:308`→`:317`, сдвинутого правкой зоны. По существу верна (линт зелен). Но **необъявленная правка чужого ряда неотличима на ревью от случайно подхваченной чужой работы**, и разбор занял столько же, сколько занял бы настоящий занос. ⇒ пере-наводка якорей объявляется наравне с содержательной правкой.
+
+**7. Числа, снятые МНОЙ на итоговом дереве** (`make check`, стенд 55433, попрогонный лог): **MAKE-EXIT=0** · 20 пакетов · `FAIL 0` · линтер **0 issues** · `ALARM PD-count: 14 (baseline 14)` · честное «did NOT run: **9** skipped» (девять — для моего стенда: поднят один гейт из пяти). Новый пин прогнан отдельно: PASS 0.40 с на живой БД. Гейты доков: литералы сходятся (7 проверок), **0 битых якорей в 116 живых доках**. Регистр: 457 рядов · открытых 105 · major 3 · minor 35.