Correct the gate-memory row: the foreground run of the same package passes, so the foreground is not subject to the background supervisor
This commit is contained in:
parent
6109422af2
commit
b1a4baab13
1 changed files with 1 additions and 1 deletions
|
|
@ -402,4 +402,4 @@
|
||||||
| 485 | ⛔ **ПЕРВАЯ ВРЕЗКА ФАЙЛА, КОТОРЫЙ ЧИТАЕТ КАЖДАЯ ПОЛИГОН-СЕССИЯ ПРИ ОНБОРДИНГЕ, ДЕРЖИТ ЗАПРЕТ, СНЯТЫЙ ПОЛТОРА МЕСЯЦА НАЗАД.** `eval/README.md:7`=`Платные прогоны/докупки СТОП` объявляет «Платные прогоны/докупки СТОП до ре-пробы (бэклог-строка 74)», а строка **74 ЗАКРЫТА актом `D39.95` (02.08)**: в таблице трекера её нет вовсе (греп по номеру ряда → 0 при 354 рядах), ограничение пало лендингом 112. ⇒ обязательное чтение роли объявляет ЗАПРЕЩЁННЫМ то, что зона делает ежедневно, и этим обесценивает все прочие предупреждения того же файла — формулировка пинга оркестратора №20 от 02.09, не исполненного с тех пор. ⭐ **И вот что здесь дороже самого дефекта: норму против него сформулировал ТОТ ЖЕ акт, который закрыл строку.** `D39.95` записан в реестре с уроком «закрытие строки обязано триггерить греп по её номеру во всех живых доках» — и для строки 74 этот греп не сделан до сих пор, то есть нота не исполнила собственный вывод. ⇒ закрывать ряд надо ОБОИМИ движениями: снять врезку и прогнать греп по номерам закрытых строк по живым докам, иначе класс вернётся. ⚠ Живым из врезки остаётся ДРУГОЕ, и его не потерять: смена весов под тем же слагом (⚠0731) и стохастичность эха по вызову. ⚠ Заведено 17.09 при выносе хроники полигона в архив: по условию владельца (`D39.261` п.2) живое уезжает СТРОКОЙ ТРЕКЕРА прежде своего носителя. `eval/` — чужая зона, рукой не трогаю | полигон | скоро | врезка пере-написана под живое ограничение, и греп по номерам закрытых строк в живых доках даёт 0 | пинг №20 02.09, замер 17.09 |
|
| 485 | ⛔ **ПЕРВАЯ ВРЕЗКА ФАЙЛА, КОТОРЫЙ ЧИТАЕТ КАЖДАЯ ПОЛИГОН-СЕССИЯ ПРИ ОНБОРДИНГЕ, ДЕРЖИТ ЗАПРЕТ, СНЯТЫЙ ПОЛТОРА МЕСЯЦА НАЗАД.** `eval/README.md:7`=`Платные прогоны/докупки СТОП` объявляет «Платные прогоны/докупки СТОП до ре-пробы (бэклог-строка 74)», а строка **74 ЗАКРЫТА актом `D39.95` (02.08)**: в таблице трекера её нет вовсе (греп по номеру ряда → 0 при 354 рядах), ограничение пало лендингом 112. ⇒ обязательное чтение роли объявляет ЗАПРЕЩЁННЫМ то, что зона делает ежедневно, и этим обесценивает все прочие предупреждения того же файла — формулировка пинга оркестратора №20 от 02.09, не исполненного с тех пор. ⭐ **И вот что здесь дороже самого дефекта: норму против него сформулировал ТОТ ЖЕ акт, который закрыл строку.** `D39.95` записан в реестре с уроком «закрытие строки обязано триггерить греп по её номеру во всех живых доках» — и для строки 74 этот греп не сделан до сих пор, то есть нота не исполнила собственный вывод. ⇒ закрывать ряд надо ОБОИМИ движениями: снять врезку и прогнать греп по номерам закрытых строк по живым докам, иначе класс вернётся. ⚠ Живым из врезки остаётся ДРУГОЕ, и его не потерять: смена весов под тем же слагом (⚠0731) и стохастичность эха по вызову. ⚠ Заведено 17.09 при выносе хроники полигона в архив: по условию владельца (`D39.261` п.2) живое уезжает СТРОКОЙ ТРЕКЕРА прежде своего носителя. `eval/` — чужая зона, рукой не трогаю | полигон | скоро | врезка пере-написана под живое ограничение, и греп по номерам закрытых строк в живых доках даёт 0 | пинг №20 02.09, замер 17.09 |
|
||||||
| 486 | ⚠ **МУТАЦИОННЫЙ ХАРНЕСС ЗОНЫ ПЛАТФОРМЫ СЧИТАЕТ ПОИМКОЙ ЛЮБОЕ КРАСНОЕ И НЕ ТРЕБУЕТ ЗЕЛЁНОГО БАЗОВОГО ПРОГОНА — два пункта, каждый превращает число «посадок N, поймано M» в утверждение о другом предмете.** (1) **Нет зелёного базового прогона пакета ДО первой посадки:** пакет, красный по своей причине, отчитается КАЖДОЙ посадкой как о поимке. Норму про это зонный стандарт держит отдельно (`PD-395`), но сам инструмент её не исполняет. (2) **Засчитывается любое `--- FAIL`, а не падение ИМЕННО ожидаемого пина** ⇒ правый вердикт по неправой причине неотличим от поимки — класс `D39.217` п.2в. ⭐ Найдено сессией зоны 17.09 на себе: она написала СВОЙ харнесс, не проверив, что у зоны уже есть `platform/tools/mutate.py`, — то есть завела второй механизм на тот же вопрос, — и, разбирая это, обнаружила, что её собственный критерий был СТРОЖЕ зонного (требовал обоих условий). ⇒ забирать её скрипт в зону НЕ НАДО (два механизма на один вопрос — то, что канон запрещает); надо добавить два пункта в существующий инструмент, это десяток строк. ⚠ Числа кампании пака `PLATFORM_BANK_READOUT` (17 посадок, 17 RED) от этого не шатаются: они сняты строгим критерием, а не зонным | платформа | скоро | `platform/tools/mutate.py` требует зелёного базового прогона и падения названного пина, иначе исход «не измерена» | зона 17.09, приёмка D39.262 |
|
| 486 | ⚠ **МУТАЦИОННЫЙ ХАРНЕСС ЗОНЫ ПЛАТФОРМЫ СЧИТАЕТ ПОИМКОЙ ЛЮБОЕ КРАСНОЕ И НЕ ТРЕБУЕТ ЗЕЛЁНОГО БАЗОВОГО ПРОГОНА — два пункта, каждый превращает число «посадок N, поймано M» в утверждение о другом предмете.** (1) **Нет зелёного базового прогона пакета ДО первой посадки:** пакет, красный по своей причине, отчитается КАЖДОЙ посадкой как о поимке. Норму про это зонный стандарт держит отдельно (`PD-395`), но сам инструмент её не исполняет. (2) **Засчитывается любое `--- FAIL`, а не падение ИМЕННО ожидаемого пина** ⇒ правый вердикт по неправой причине неотличим от поимки — класс `D39.217` п.2в. ⭐ Найдено сессией зоны 17.09 на себе: она написала СВОЙ харнесс, не проверив, что у зоны уже есть `platform/tools/mutate.py`, — то есть завела второй механизм на тот же вопрос, — и, разбирая это, обнаружила, что её собственный критерий был СТРОЖЕ зонного (требовал обоих условий). ⇒ забирать её скрипт в зону НЕ НАДО (два механизма на один вопрос — то, что канон запрещает); надо добавить два пункта в существующий инструмент, это десяток строк. ⚠ Числа кампании пака `PLATFORM_BANK_READOUT` (17 посадок, 17 RED) от этого не шатаются: они сняты строгим критерием, а не зонным | платформа | скоро | `platform/tools/mutate.py` требует зелёного базового прогона и падения названного пина, иначе исход «не измерена» | зона 17.09, приёмка D39.262 |
|
||||||
| 487 | ⚠ **МАЙНЕР ПРОИЗВОДИТ СОСТОЯНИЕ, КОТОРОЕ ЧЕТЫРЕ ЕГО ЖЕ КОММЕНТАРИЯ ОБЪЯВЛЯЮТ НЕВОЗМОЖНЫМ: `status:auto` с НЕПУСТЫМ `dst`.** Движок утверждает «`auto` ⇒ dst нет, строка инертна» в четырёх местах: `backend/internal/miner/miner_emit.go:22`=`status:auto, no dst` · `miner_emit.go:53`=`inert until someone signs it` · `miner_emit.go:274`=`term with no dst stays` · `backend/internal/terminology/terminology.go:693`=`status:auto (inert)`. Но ветка `miner_emit.go:272-273` ставит `st.Dst = props[0].Dst` при `props[0].Via == ""` и статуса НЕ трогает (он остаётся `auto` из `:251`; `draft` выставляется только на `:279` при консолидированном dst) ⇒ рождается пара, которой двухрежимная эмиссия §C2-7 не предусматривает. ⛔ **Пина нет ни одного:** утверждений о паре статус/dst в тестах пакета майнера 0 при контроле «12 функций Test в трёх файлах»; ряда в трекере не было (0 по четырём шаблонам при контроле «майнер» → 12). ⚠ **ЧТО ИЗМЕРЕНО И ЧТО НЕТ, раздельно.** Измерено: состояние достижимо по коду и не запинено; на ПРОВОД оно не уходит — отбор в инжект требует `approved` и непустого dst (`backend/internal/membank/memory.go:1245`, `:442`), то есть денежной утечки здесь НЕТ. НЕ измерено: как такую строку читает ЧЕЛОВЕК в карте подписи — рядом стоит собственное предупреждение движка, что dst без провенанса приглашает владельца прочесть его как уже-канон (`appendProposalNote`). Это и есть вопрос ряда, а не утверждение. ⭐ Найдено 17.09 при разборе строки Д-3 консилиума: сама Д-3 ОТКЛОНЕНА (её адрес указывал в несуществующий путь, а по верному адресу ветка статуса не касается), но проверка её формулировки вскрыла это | бэкенд | скоро | пара статус/dst либо запинена как законная с объяснением, либо `auto` перестаёт получать dst | разбор Д-3, 17.09 |
|
| 487 | ⚠ **МАЙНЕР ПРОИЗВОДИТ СОСТОЯНИЕ, КОТОРОЕ ЧЕТЫРЕ ЕГО ЖЕ КОММЕНТАРИЯ ОБЪЯВЛЯЮТ НЕВОЗМОЖНЫМ: `status:auto` с НЕПУСТЫМ `dst`.** Движок утверждает «`auto` ⇒ dst нет, строка инертна» в четырёх местах: `backend/internal/miner/miner_emit.go:22`=`status:auto, no dst` · `miner_emit.go:53`=`inert until someone signs it` · `miner_emit.go:274`=`term with no dst stays` · `backend/internal/terminology/terminology.go:693`=`status:auto (inert)`. Но ветка `miner_emit.go:272-273` ставит `st.Dst = props[0].Dst` при `props[0].Via == ""` и статуса НЕ трогает (он остаётся `auto` из `:251`; `draft` выставляется только на `:279` при консолидированном dst) ⇒ рождается пара, которой двухрежимная эмиссия §C2-7 не предусматривает. ⛔ **Пина нет ни одного:** утверждений о паре статус/dst в тестах пакета майнера 0 при контроле «12 функций Test в трёх файлах»; ряда в трекере не было (0 по четырём шаблонам при контроле «майнер» → 12). ⚠ **ЧТО ИЗМЕРЕНО И ЧТО НЕТ, раздельно.** Измерено: состояние достижимо по коду и не запинено; на ПРОВОД оно не уходит — отбор в инжект требует `approved` и непустого dst (`backend/internal/membank/memory.go:1245`, `:442`), то есть денежной утечки здесь НЕТ. НЕ измерено: как такую строку читает ЧЕЛОВЕК в карте подписи — рядом стоит собственное предупреждение движка, что dst без провенанса приглашает владельца прочесть его как уже-канон (`appendProposalNote`). Это и есть вопрос ряда, а не утверждение. ⭐ Найдено 17.09 при разборе строки Д-3 консилиума: сама Д-3 ОТКЛОНЕНА (её адрес указывал в несуществующий путь, а по верному адресу ветка статуса не касается), но проверка её формулировки вскрыла это | бэкенд | скоро | пара статус/dst либо запинена как законная с объяснением, либо `auto` перестаёт получать dst | разбор Д-3, 17.09 |
|
||||||
| 488 | ⛔ **ТЕСТ ГЕЙТА ГРУЗИТ ВЕСЬ МОДУЛЬ С СИНТАКСИСОМ И ТИПАМИ — 1.44 ГБ БЕЗ `-race`, 3.2 ГБ С НИМ, И РАСТЁТ ВМЕСТЕ С РЕПОЗИТОРИЕМ.** `backend/internal/archguard/shippingtree_test.go:34`=`Mode: packages.LoadAllSyntax, Tests: true` грузит `textmachine/backend/...` целиком ⇒ его память пропорциональна размеру РЕПО, а не предмету теста. Замерено зоной 17.09 после ТРЁХ убийств гейта подряд; пере-снято оркестратором чтением (`LoadAllSyntax` 1 хит, `Tests: true` 1 хит в пакете). ⛔ **Убивает не нехватка памяти и не потолок cgroup:** `memory.max = max` у обоих слайсов, `MemAvailable` держался ≈4.2 ГБ — падал **`MemFree`, до 110 МБ**, и супервизор бьёт по НЕМУ. ⇒ «свободных четыре гигабайта» ничего не гарантирует, и это практическое знание для всех зон, а не частность движка. ⭐ **Три версии причины, выдвинутые до замера, оказались ЛОЖНЫМИ, и это стоит держать видимым:** «конкуренция наборов» (убило в одиночку) · «параллелизм пакетов» (убило с `-p=2`) · «тяжёлый `internal/pipeline`» (замер: пик 313 МБ под `-race`). ⚠ **И контроль A/B едва не обманул в ОБРАТНУЮ сторону:** первая попытка шла с `-run TestShipping`, вернула `ok … [no tests to run]` и 126 МБ; прими зона этот «дешёвый базис» за `HEAD`, вышел бы вывод «пак утроил память» — из контроля, который НЕ ЗАПУСКАЛСЯ. Настоящее имя — `TestInvariantsHoldInTheShippingTree`. Честное A/B: чистый `HEAD` 1.44 ГБ против рабочего дерева 1.44 ГБ, разница **+0.3 %** ⇒ дефект НЕ от пака. ⚠ Границы: в батарейное подмножество каталога мутаций `archguard` НЕ входит (пере-снято оркестратором: 0 упоминаний при 491 записи и 280 в батарее), поэтому кампанию он не трогает — страдает только `make battery`. Родня — ряд **484** (ратифицированный рецепт, не помещающийся в машину, на которой его требуют гонять) | бэкенд | скоро | тест судит инварианты, не загружая весь модуль, либо гейт объявляет свою потребность в памяти и условие, при котором не запускается | замер зоны 17.09, контроли оркестратора |
|
| 488 | ⛔ **ТЕСТ ГЕЙТА ГРУЗИТ ВЕСЬ МОДУЛЬ С СИНТАКСИСОМ И ТИПАМИ — 1.44 ГБ БЕЗ `-race`, 3.2 ГБ С НИМ, И РАСТЁТ ВМЕСТЕ С РЕПОЗИТОРИЕМ.** `backend/internal/archguard/shippingtree_test.go:34`=`Mode: packages.LoadAllSyntax, Tests: true` грузит `textmachine/backend/...` целиком ⇒ его память пропорциональна размеру РЕПО, а не предмету теста. Замерено зоной 17.09 после ТРЁХ убийств гейта подряд; пере-снято оркестратором чтением (`LoadAllSyntax` 1 хит, `Tests: true` 1 хит в пакете). ⭐ **ПРИЧИНА УТОЧНЕНА 17.09 ТРЕТЬИМ НЕЗАВИСИМЫМ ЗАМЕРОМ, и прежняя редакция ряда читалась опаснее правды: бьёт СУПЕРВИЗОР ФОНОВЫХ ЗАДАЧ ХАРНЕССА, а ПЕРЕДНИЙ ПЛАН ему не подчиняется.** Та же команда с теми же флагами в переднем плане проходит: `go test ./internal/archguard/ -race -count=1 -timeout=20m` → `ok 29.048s`, пик **3 418 648 kB (3.26 ГБ)**, совпавший с показанием семплера ДО КИЛОБАЙТА. ⇒ гейт в машину ПОМЕЩАЕТСЯ; не помещается он в фоновую задачу. Умерли ПЯТЬ версий причины (конкуренция наборов · параллелизм `-p` · тяжесть пакета конвейера · потолок cgroup · нехватка памяти машины), живёт одна. ⚠ Следствие для приёмок: «гнать гейт, когда рядом нет второго тяжёлого прогона» — НЕ лечение, а суеверие; лечение — гнать не в фоне. ⛔ **Убивает не нехватка памяти и не потолок cgroup:** `memory.max = max` у обоих слайсов, `MemAvailable` держался ≈4.2 ГБ — падал **`MemFree`, до 110 МБ**, и супервизор бьёт по НЕМУ. ⇒ «свободных четыре гигабайта» ничего не гарантирует, и это практическое знание для всех зон, а не частность движка. ⭐ **Три версии причины, выдвинутые до замера, оказались ЛОЖНЫМИ, и это стоит держать видимым:** «конкуренция наборов» (убило в одиночку) · «параллелизм пакетов» (убило с `-p=2`) · «тяжёлый `internal/pipeline`» (замер: пик 313 МБ под `-race`). ⚠ **И контроль A/B едва не обманул в ОБРАТНУЮ сторону:** первая попытка шла с `-run TestShipping`, вернула `ok … [no tests to run]` и 126 МБ; прими зона этот «дешёвый базис» за `HEAD`, вышел бы вывод «пак утроил память» — из контроля, который НЕ ЗАПУСКАЛСЯ. Настоящее имя — `TestInvariantsHoldInTheShippingTree`. Честное A/B: чистый `HEAD` 1.44 ГБ против рабочего дерева 1.44 ГБ, разница **+0.3 %** ⇒ дефект НЕ от пака. ⚠ Границы: в батарейное подмножество каталога мутаций `archguard` НЕ входит (пере-снято оркестратором: 0 упоминаний при 491 записи и 280 в батарее), поэтому кампанию он не трогает — страдает только `make battery`. Родня — ряд **484** (ратифицированный рецепт, не помещающийся в машину, на которой его требуют гонять) | бэкенд | скоро | тест судит инварианты, не загружая весь модуль, либо гейт объявляет свою потребность в памяти и условие, при котором не запускается | замер зоны 17.09, контроли оркестратора |
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue