From dce51bdb6e612e5726120534e96fd2a28566b961 Mon Sep 17 00:00:00 2001 From: heaven Date: Fri, 11 Sep 2026 19:07:54 +0300 Subject: [PATCH] Extend the foreign-evidence rule to citations: a number can exist in the carrier and still be taken on a different cell than the claim --- CLAUDE.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/CLAUDE.md b/CLAUDE.md index 1907050f..766e799e 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -257,6 +257,16 @@ Go-бэкенд издательского художественного пер ⛔ **НЕИЗМЕРЕННАЯ МУТАЦИЯ ХУЖЕ ВЫЖИВШЕЙ.** Запись, у которой не сошёлся БАЗОВЫЙ прогон пакета («NOT GREEN before any mutation»), не «поймана» и не «выжила» — она НЕ ИЗМЕРЕНА, в число не кладётся и закрывается отдельно. Выжившая говорит «здесь дыра»; неизмеренная не говорит ничего, а выглядит как строка отчёта. + ⛔ **И ТОТ ЖЕ КЛАСС У ЦИТАТЫ, А НЕ ТОЛЬКО У ПИНА: утверждение может удовлетворяться ЧУЖИМ ОБЪЕКТОМ.** + Замер 11.09: в пак было вписано «эхо-риск — 1 чистый китайский выход из 16», число проверено по квиркам + и там действительно есть. ⛔ Но оно снято на модели в роли **ПЕРЕВОДЧИКА**, а единственная стадия, + которую заказанная ручка двигает, — **РЕДАКТОР**, чья эхо-безопасность при том же усилии в тех же + квирках объявлена НЕ МЕРЕНОЙ. ⇒ условие включения денежного механизма стояло бы на замере из ЧУЖОЙ + КЛЕТКИ. ⚠ И почему этого не увидели ни автор пака, ни исполнитель (формулировка зоны): **оба читали + ЧИСЛО и проверяли, что оно ЕСТЬ; читатель проверил другое — что оно снято на ТОЙ КЛЕТКЕ, о которой + речь.** Это разные вопросы, и второй не задаётся сам собой. ⇒ у каждого заимствованного числа + спрашивай не только «оно есть в носителе?», но и **«о ТОМ ЛИ оно предмете — та же роль, та же модель, + та же стадия, тот же режим?»**; фантом-гард по номеру ноты этого не ловит. ⛔ **ПИН МОЖЕТ УДОВЛЕТВОРЯТЬСЯ ЧУЖОЙ УЛИКОЙ — и это НЕ флейк, а детерминированная пустота** (10.09, зона поймала у себя). Утверждение `errors.Is(err, context.Canceled)` про ОДИН выход держалось тем, что фикстура гнала петлю через провод: ошибка попытки уже несла отмену в своём поле, и `errors.As` находил