Σ-исчисление: диагностическая жёсткость семёрки

Структура, обязанная совершенно диагностировать собственные одиночные сбои, различать больше двух глобальных состояний и не допускать конкурирующих грамматик, — не имеет оставшейся свободы: это плоскость Фано на семи осях. Диагностируемость — не бонусное свойство гептады; это её селектор.

Статус документа

Ядро — Теорема Σ (T-224) [Т]: классическая математика — совершенные коды, реконструкция системы Штейнера $S(2,3,7)$, единственность совершенного кода длины 7, нелинейные коды Васильева, классификация ван Линта–Титявяйнена. Каждое доказательство приведено полностью, цепочкой нумерованных лемм; внешние результаты цитируются с точными формулировками. Отождествление осей УГМ с диагностируемыми статус-битами — [И]. Протокол Σ-компрессии (T-225) — [С] (условен на модель измерения). Мост Σ-Mor в MSFS (§8) — аксиоматика [О], буквальная гипотеза которой опровергнута на уровне пар и выполняется условно как T-229 [Т при Σ-FIB]. §7a (T-227) и §8a (T-228) решают две открытые проблемы — квантовую и федеративную. Все статусы размечены по месту.

Как устроен документ. §1 напоминает, что корпус уже знал — прямое направление, от семи осей к коду Хэмминга, — и помещает результат в историческую перспективу. §2 строит язык теории кодирования с нуля, чтобы документ был самодостаточен в рамках корпуса. §3 формулирует аксиомы диагностируемости и мотивирует каждую. §4 — сердце: Теорема Σ с полными доказательствами (Леммы Σ.1–Σ.7), арифметическое замечание Σ-QR и словарь между двумя презентациями Фано, используемыми в корпусе. §5 извлекает структурные следствия — четвёртый трек вывода $N = 7$ и объяснение принципа «башня, а не ширина». §6 разворачивает операциональный слой: протокол Σ-компрессии, его треугольную геометрию, ли-алгебраическую тень и машинно-проверенную референс-реализацию. §7 поднимает конструкцию до квантовых кодов (полная CSS-конструкция кода Стина). §8 формулирует мост к интенсиональному грейдингу MSFS. §9–§10 — фальсифицируемые предсказания, технологический пакет и сводка статусов.

§1. Что было известно: прямое направление

Корпус давно фиксирует прямой факт [Т]: структура инцидентности плоскости Фано $\mathrm{PG}(2,2)$ на семи осях $[A,S,D,L,E,O,U]$ есть проверочная матрица кода Хэмминга $H(7,4)$. Конкретно: операторы Линдблада Γ-динамики индексированы линиями Фано, и инцидентность «точка $i$ лежит на линии $k$» воспроизводит, элемент за элементом, проверочную матрицу $3 \times 7$ (Gap-динамика §2). На этом факте держится Щит I защиты когеренций — повреждение одной оси обнаружимо и восстановимо из остальных шести (Топологическая защита §1) — и комбинаторная грамматика Γ-канона: шестнадцать архетипических подписей суть в точности кодовые слова, с весовым распределением $1 + 7x^3 + 7x^4 + x^7$ (Γ-канон).

Во всех этих местах логика идёт в одну сторону. Семь осей даны заранее — октонионным треком ($\dim \mathrm{Im}\,\mathbb{O} = 7$), $G_2$-жёсткостью, теоремой минимальности, — а код приходит следом, как приятный структурный подарок. Подарок и вправду замечателен: среди всех линейных кодов $H(7,4)$ совершенен — его корректирующие шары замащивают объемлющий куб без зазоров и пересечений, — а совершенство есть арифметическая случайность, которую нельзя заказать по желанию.

Этот документ ставит обратный вопрос:

Если диагностируемость потребовать как аксиому — сколько свободы в числе осей уцелеет?

Ответ: нисколько. Совершенство настолько редко, что его требование вместе с двумя мягкими условиями невырожденности вынуждает $n = 7$ и вынуждает грамматику Фано единственным образом. Тем самым диагностируемость повышается в звании: из следствия гептады она становится её независимым селектором — четвёртым треком вывода наряду с числом, структурой и замыканием.

Историческая перспектива

Год	Событие	Роль здесь
1948–49	Шеннон основывает теорию информации; Голей находит код $[23,12,7]$	единственный совершенный двоичный код за пределами лестницы Хэмминга
1950	Хэмминг строит семейство $[2^r{-}1,\,2^r{-}1{-}r,\,3]$	сама лестница
1892/1901	Аксиоматика Фано; тройные системы Штейнера	$S(2,3,7)$ = плоскость $\mathrm{PG}(2,2)$
1962	Васильев строит нелинейные совершенные коды при $n \geq 15$	жёсткость рушится выше семи — пункт (iv)
1971–73	ван Линт, Титявяйнен (независимо Зиновьев–Леонтьев) классифицируют все совершенные коды над алфавитами примарного порядка	лестница исчерпана — пункт (v)
1996	Калдербанк–Шор, Стин: квантовые CSS-коды; код $[[7,1,3]]$	квантовый лифт Щита I (§7)
корпус	Щит I; архетипы Γ-канона; правила отбора Фано	прямое направление
этот документ	Теорема Σ: обратное направление	диагностируемость как селектор

§2. Предварительные сведения: коды, шары, дизайны

Зафиксируем язык; читатель, знакомый с теорией кодирования, может сразу перейти к §3. Всё ниже — над двухэлементным полем $\mathbb{F}_2$; профили — векторы из $\mathbb{F}_2^n$; $+$ означает покоординатный XOR.

Вес и расстояние. Вес $|x|$ вектора $x \in \mathbb{F}_2^n$ — число его ненулевых координат; расстояние Хэмминга $d(x,y) := |x + y|$ — число координат, где $x$ и $y$ расходятся. Это метрика. Шар $B(x, t) := \{y : d(x,y) \leq t\}$ имеет мощность $\sum_{i=0}^{t}\binom{n}{i}$; при $t = 1$ это $1 + n$.

Коды. Код — любое подмножество $\mathcal{C} \subseteq \mathbb{F}_2^n$; его минимальное расстояние $d(\mathcal{C})$ — наименьшее расстояние между различными элементами. Код с $d(\mathcal{C}) \geq 2t+1$ исправляет $t$ сбоев: шары радиуса $t$ вокруг различных кодовых слов не пересекаются, поэтому любой профиль, полученный из кодового слова не более чем $t$ переворотами координат, имеет единственное ближайшее кодовое слово. Код линеен, если он — линейное подпространство; тогда $d(\mathcal{C})$ равно минимальному весу ненулевого слова и $\mathcal{C} = \ker H$ для проверочной матрицы $H$. Дуальный код $\mathcal{C}^\perp$ — ортогональное дополнение относительно билинейной формы $\langle x, y\rangle = \sum_i x_i y_i \bmod 2$.

Совершенные коды. Код с $d \geq 2t+1$ совершенен, если шары радиуса $t$ вокруг кодовых слов замащивают весь куб:

$$|\mathcal{C}| \cdot \sum_{i=0}^{t} \binom{n}{i} \;=\; 2^n .$$

Замощение — сильнейшая форма диагностируемости: у каждого сырого профиля ровно один диагноз — нет профиля вне всех шаров (нет «недиагностируемого» состояния) и нет профиля в двух шарах (нет двусмысленности). Совершенство исключительно; его полная классификация процитирована ниже как Лемма Σ.7.

Дизайны. Система Штейнера $S(2,3,n)$ — семейство трёхэлементных блоков на $n$-элементном множестве точек, при котором каждое двухэлементное подмножество точек лежит ровно в одном блоке ($\lambda = 1$). При $n = 7$ это плоскость Фано: 7 точек, 7 линий, 3 точки на линии, 3 линии через точку, любые две точки — на единственной общей линии, любые две линии пересекаются в единственной точке. Её группа автоморфизмов — $\mathrm{PGL}(3,2) = \mathrm{GL}(3,2)$, простая, порядка $168 = (2^3{-}1)(2^3{-}2)(2^3{-}4)$.

В корпусе циркулируют две презентации плоскости Фано, и нам понадобятся обе:

• двоичная (XOR-)презентация: точки — ненулевые векторы $\mathbb{F}_2^3$, помеченные $1,\dots,7$ своими двоичными значениями; линии — тройки $\{a, b, a \oplus b\}$, то есть двумерные подпространства без нуля;
• циклическая (QR-)презентация Γ-канона: точки — вычеты $\bmod\ 7$; линии — сдвиги $\{1,2,4\} + t$ множества квадратичных вычетов $\mathrm{QR}(7) = \{1,2,4\}$, которое является $(7,3,1)$-разностным множеством: каждый ненулевой вычет представим разностью двух его элементов ровно одним способом.

Лемма Σ.6 ниже предъявляет явную перенумерацию, переводящую одну презентацию в другую, — так что ни одно утверждение корпуса от выбора презентации не зависит.

§3. Аксиомы диагностируемости

Определение Σ.1 [О] (диагностическая система). Диагностическая система — пара $(n, \mathcal{C})$: $n$ бинарных осей статуса и множество $\mathcal{C} \subseteq \mathbb{F}_2^n$ грамматически допустимых глобальных профилей («архетипов»). Сбой — переворот одной координаты допустимого профиля; диагноз сырого профиля $x$ — допустимый профиль на расстоянии $\leq 1$ от $x$ вместе с указанием сбойной координаты, если $x \notin \mathcal{C}$.

Мы налагаем три требования — и затем четвёртое, иной природы.

• (D1) Исправимость одиночного сбоя: $d(\mathcal{C}) \geq 3$.

  Мотивация. Если два допустимых профиля различаются одной осью, сбой невидим (испорченный профиль снова допустим — система молча меняет архетип). Если двумя — одиночный переворот попадает ровно между ними, и диагноз двусмыслен. Три — наименьшее разделение, при котором «одна сломанная ось» всегда и видима, и атрибутируема.

• (D2) Совершенная локализуемость: шары радиуса 1 вокруг $\mathcal{C}$ разбивают $\mathbb{F}_2^n$.

  Мотивация. Покрытие (нет профиля вне всех шаров) означает: в каком бы сыром состоянии система ни оказалась, диагноз существует — нет состояний, о которых грамматика молчит. Дизъюнктность (нет профиля в двух шарах) означает единственность диагноза. Вместе они устраняют и серую зону, и лишнюю избыточность: диагностическая ёмкость точно согласована с пространством состояний, без слабины. Для жизнеспособного холона это формальный облик требования, чтобы деградация оси ловилась изнутри, до каскада, без внешнего арбитра для двусмысленных показаний — диагностический акт обязан операционально замыкаться внутри самой системы (ср. самонаблюдение).

• (D3) Нетривиальная грамматика: $|\mathcal{C}| > 2$.

  Мотивация. Два допустимых профиля — это грамматика «всё цело / всё сломано». Архетипический слой холона обязан различать качественно разные здоровые режимы; целевой масштаб — шестнадцать подписей Γ-канона.

И отдельно:

• (D4) Жёсткость: допустимая грамматика единственна с точностью до перенумерации осей и сдвига начала отсчёта.

  Мотивация. Если несколько неэквивалентных грамматик разделяют одни параметры, то «что считать нормой» — конвенция: два наблюдателя одной системы могут реконструировать разные каноны, и никакой внутренний эксперимент их не различит. Жёсткость — требование, чтобы канон был вынужден, а не выбран.

§4. Теорема Σ (T-224): диагностическая жёсткость

Теорема Σ — T-224 [Т]

(i) (D1)+(D2) $\Rightarrow$ $n = 2^r - 1$ для некоторого $r \geq 1$ и $|\mathcal{C}| = 2^{n-r}$.

(ii) (D1)+(D2)+(D3) $\Rightarrow$ $n \geq 7$. При $n = 7$: $|\mathcal{C}| = 16$; после сдвига, обеспечивающего $0 \in \mathcal{C}$, весовое распределение равно $1 + 7x^3 + 7x^4 + x^7$; носители слов веса 3 образуют плоскость Фано; группа симметрий грамматики — $\mathrm{PGL}(3,2)$ порядка 168.

(iii) При $n = 7$ автоматически выполняется и (D4): всякий код, удовлетворяющий (D1)+(D2) при $n = 7$, эквивалентен (перестановка координат + сдвиг) коду Хэмминга $H(7,4)$. В частности, такой код, содержащий $0$, вынужденно линеен.

(iv) (D4) рушится на каждом следующем уровне лестницы: при каждом $n = 2^r - 1$, $r \geq 4$, существуют совершенные коды, неэквивалентные Хэмминговому, — уже при $n = 15$ это нелинейные совершенные $(15,\,2^{11},\,3)$-коды Васильева.

(v) Если вместо одиночного сбоя требовать совершенную локализацию $t \geq 2$ сбоев (нетривиально), двоичные возможности исчерпываются кодом Голея: $n = 23$, $t = 3$ (ван Линт–Титявяйнен; над $\mathbb{F}_3$ — дополнительно $n = 11$, $t = 2$).

Итог: $n = 7$ — единственная кардинальность, при которой совершенная диагностика (D1–D2), нетривиальная грамматика (D3) и жёсткость (D4) сосуществуют. Ниже семи грамматика вырождена; выше семи она перестаёт быть канонической.

Доказательство

Всюду сдвинем код так, чтобы $0 \in \mathcal{C}$; условия (D1), (D2), (D3) сдвиг-инвариантны, а сдвиг — один из ходов, разрешённых в (D4). Пишем $\mathbf{1}$ для вектора из единиц и отождествляем вектор с его носителем, когда это удобно.

Лемма Σ.1 (упаковка сфер вынуждает лестницу)

(D1)+(D2) влекут $1 + n = 2^r$ и $|\mathcal{C}| = 2^{n-r}$.

Доказательство. Каждый шар радиуса 1 содержит ровно $1 + n$ профилей. По (D2) шары вокруг $|\mathcal{C}|$ кодовых слов разбивают все $2^n$ профилей, поэтому

$$|\mathcal{C}|\,(1+n) = 2^n .$$

Значит, $1+n$ делит $2^n$; делитель степени двойки сам есть степень двойки, так что $1 + n = 2^r$ и $|\mathcal{C}| = 2^n/2^r = 2^{n-r}$. $\blacksquare$

Лемма Σ.2 (низ лестницы вырожден)

При $r = 1$ ($n=1$): $|\mathcal{C}| = 1$. При $r = 2$ ($n=3$): $|\mathcal{C}| = 2$, и $\mathcal{C}$ — репетиционный код $\{000, 111\}$: грамматика «всё цело / всё сломано». Оба уровня нарушают (D3). Первый уровень, совместимый с (D3), — $r = 3$: $n = 7$, $|\mathcal{C}| = 16$.

Доказательство. Мощности даёт Лемма Σ.1. Для $n = 3$: при $0 \in \mathcal{C}$ второе кодовое слово имеет вес $\geq 3$ по (D1), то есть равно $111$. $\blacksquare$

Лемма Σ.3 (совершенство реконструирует плоскость Фано)

Пусть $n = 7$, $0 \in \mathcal{C}$, выполнены (D1)+(D2). Тогда $\mathcal{C}$ не содержит слов веса 1 и 2; содержит ровно семь слов веса 3; и их носители образуют систему Штейнера $S(2,3,7)$ — каждая пара координат лежит ровно в одном носителе.

Доказательство. Веса 1 и 2 исключены условием (D1) (расстояние до $0$). Подсчитаем теперь $\binom{7}{2} = 21$ профиль веса 2. Пусть $v$ — один из них. По (D2) $v$ лежит в шаре единственного кодового слова $w$. Это $w$ не может быть $0$ ($d(v,0) = 2$), не может иметь вес 1 или 2 (таких нет) и не может иметь вес $\geq 4$: слово веса $\geq 4$ удалено от любого профиля веса 2 не менее чем на $4 - 2 = 2$. Значит, $|w| = 3$ и $d(v, w) = 1$, что вынуждает $\mathrm{supp}(v) \subset \mathrm{supp}(w)$.

Обратно, фиксированное слово $w$ веса 3 покрывает ровно три профиля веса 2 — удалением одной точки носителя. Различные слова веса 3 покрывают дизъюнктные тройки профилей веса 2 (дизъюнктность шаров), то есть никакие два носителя не делят пару точек — а покрыта каждая пара. Следовательно, слов веса 3 ровно $21/3 = 7$, и их носители покрывают каждую пару однократно: система Штейнера $S(2,3,7)$. $\blacksquare$

Лемма Σ.4 (единственность плоскости Фано)

Любые две системы $S(2,3,7)$ изоморфны; в каждой ровно 3 линии через каждую точку и всего 7 линий.

Доказательство. Зафиксируем точку $p$. Линии через $p$ покрывают каждую пару $\{p, x\}$ однократно, значит, разбивают остальные 6 точек на пары: ровно 3 линии через каждую точку, и, считая инцидентности, $7 \cdot 3 / 3 = 7$ линий всего.

Теперь реконструируем всю систему из выборов, единственных с точностью до переименования. Назовём линии через $p$: $\{p,a,b\}$, $\{p,c,d\}$, $\{p,e,f\}$. Рассмотрим линию через $a$ и $c$. Она не может содержать $p$ (пара $\{p,a\}$ уже занята), $b$ (пара $\{a,b\}$ занята), $d$ (пара $\{c,d\}$ занята); её третья точка — $e$ или $f$; скажем, $e$, что лишь фиксирует имена $e, f$. Дальше всё вынуждено:

• линия через $a, d$: третья точка $\notin \{p, b, c, e\}$ (заняты пары $\{p,a\}, \{a,b\}, \{c,d\}, \{a,e\}$) $\Rightarrow$ это $f$: $\{a,d,f\}$;
• линия через $b, c$: третья точка $\notin \{p, a, d, e\}$ $\Rightarrow$ $\{b,c,f\}$;
• линия через $b, d$: третья точка $\notin \{p, a, c, f\}$ $\Rightarrow$ $\{b,d,e\}$.

Все семь линий определены: $\{p,a,b\}, \{p,c,d\}, \{p,e,f\}, \{a,c,e\}, \{a,d,f\}, \{b,c,f\}, \{b,d,e\}$ — и каждая пара действительно покрыта однократно. Любая другая $S(2,3,7)$ допускает ту же реконструкцию после именования — это и есть изоморфизм. $\blacksquare$

Лемма Σ.5 (код вынужденно линеен — и потому Хэммингов)

При условиях Леммы Σ.3 код $\mathcal{C}$ состоит из: $0$; семи линий-векторов; семи дополнений линий; и $\mathbf{1}$. Это множество — $\mathbb{F}_2$-оболочка линий, линейный $[7,4,3]$-код, единственный с точностью до перенумерации координат: код Хэмминга $H(7,4)$.

Доказательство. Работаем в двоичной презентации (любая $S(2,3,7)$ так помечается по Лемме Σ.4); линии — $\ell_{a,b} = \{a, b, a \oplus b\}$, то есть двумерные подпространства $\mathbb{F}_2^3$ без нуля.

Шаг 1: две линии пересекаются ровно в одной точке. Два различных двумерных подпространства $U, W \leq \mathbb{F}_2^3$ удовлетворяют $\dim(U \cap W) = \dim U + \dim W - \dim(U+W) = 2+2-3 = 1$: ровно одна общая ненулевая точка. (В абстрактной $S(2,3,7)$ то же следует из $\lambda = 1$ и подсчёта.)

Шаг 2: сумма двух линий есть дополнение третьей линии через их точку пересечения. Пусть $\ell, \ell'$ пересекаются в $p$, и пусть $\ell''$ — третья линия через $p$ (по Лемме Σ.4 их ровно три). Три линии через $p$ разбивают шесть точек $\neq p$ на три пары. Значит, как множества,

$$\ell \,\triangle\, \ell' \;=\; (\ell \cup \ell') \setminus \{p\} \;=\; \{\text{шесть точек}\} \setminus (\ell'' \setminus \{p\}) \;=\; \overline{\ell''},$$

то есть в векторной форме $\chi_\ell + \chi_{\ell'} = \mathbf{1} + \chi_{\ell''}$ — вектор веса 4. Прибавляя $\chi_{\ell''}$: сумма трёх линий через любую точку равна $\mathbf{1}$.

Шаг 3: размерность оболочки ровно 4. Возьмём $\ell_1 = \{1,2,3\}$, $\ell_2 = \{1,4,5\}$, $\ell_3 = \{2,4,6\}$, $\ell_4 = \{3,4,7\}$. Они независимы по треугольному свидетелю: координата 5 встречается только в $\ell_2$, координата 6 — только в $\ell_3$, координата 7 — только в $\ell_4$, и $\ell_1 \neq 0$. Остальные три линии лежат в их оболочке — явно:

$$\ell_1 + \ell_2 + \ell_4 = \{2,5,7\}, \qquad \ell_1 + \ell_2 + \ell_3 = \{3,5,6\}, \qquad \ell_1 + \ell_3 + \ell_4 = \{1,6,7\}.$$

Итак, $\dim \mathrm{span} = 4$ и $|\mathrm{span}| = 16$. По Шагам 1–2 оболочка содержит $0$, 7 линий, 7 дополнений $\mathbf{1} + \chi_\ell$ и $\mathbf{1}$ — шестнадцать различных векторов, то есть оболочка в точности такова, с весовым распределением $1 + 7x^3 + 7x^4 + x^7$ и минимальным весом 3.

Шаг 4: весовой ценз — в $\mathcal{C}$ нет слов веса 5 и 6, не более одного слова веса 7, а слова весов 3 и 4 суть только линии и дополнения. Проверим каждый весовой класс против ограничения $d(c, w) \geq 3$ для уже вынужденных кодовых слов $w \in \{0\} \cup \{\text{линии}\}$, пользуясь формулой $d(c, \chi_\ell) = |c| + 3 - 2\,|{\mathrm{supp}(c) \cap \ell}|$.

• Вес 3. Если $\mathrm{supp}(c)$ — не линия, возьмём пару $\{i,j\} \subset \mathrm{supp}(c)$ и единственную линию $\ell$ через неё (Лемма Σ.3); третья точка $\ell$ лежит вне $\mathrm{supp}(c)$, значит $|\mathrm{supp}(c) \cap \ell| = 2$ и $d(c, \chi_\ell) = 3 + 3 - 4 = 2 < 3$. Всякое слово веса 3 — линия; все семь уже учтены.
• Вес 4. Ограничение $d \geq 3$ против линий даёт $|\mathrm{supp}(c) \cap \ell| \leq 2$ для каждой линии: $\mathrm{supp}(c)$ не содержит целой линии. Подсчёт четырёхэлементных множеств, содержащих линию: линия + одна точка, $7 \cdot 4 = 28$, все различны (четырёхэлементное множество не вмещает две линии: две линии совместно занимают $\geq 5$ точек по Шагу 1). Значит, безлинейных четырёхэлементных множеств $\binom{7}{4} - 28 = 35 - 28 = 7$ — а семь дополнений линий безлинейны (линия внутри $\overline{\ell}$ была бы дизъюнктна с $\ell$ вопреки Шагу 1), так что безлинейные множества — это в точности семь дополнений. Кодовые слова веса 4 — только дополнения.
• Вес 5. $\mathrm{supp}(c) = \overline{\{i,j\}}$ для некоторой пары. Линий, задевающих $\{i,j\}$: три через $i$, три через $j$, минус общая через оба — пять; значит, $7 - 5 = 2$ линии целиком лежат в $\mathrm{supp}(c)$, давая $|\cap| = 3$ и $d = 5 + 3 - 6 = 2 < 3$. Слов веса 5 нет.
• Вес 6. Два слова веса 6 — дополнения одноточечных $\{i\}, \{j\}$ — различаются ровно в $\{i,j\}$: $d = 2 < 3$, так что слово веса 6 не более чем одно, скажем $\overline{\{i\}}$. Против дополнения $\overline{\ell}$: $d(\overline{\{i\}}, \overline{\ell}) = d(\{i\}, \ell) = 2$ при $i \in \ell$, иначе $4$. Значит, слово веса 6 уживается лишь с дополнениями четырёх линий, не проходящих через $i$, — класс веса 4 урезается до 4.
• Вес 7. $\mathbf{1}$ совместим со всем предыдущим: $d(\mathbf{1}, 0) = 7$, $d(\mathbf{1}, \chi_\ell) = 4$, $d(\mathbf{1}, \overline{\ell}) = 3$.

Пусть $a_k$ — число кодовых слов веса $k$. Имеем $a_0 = 1$, $a_3 = 7$, $a_5 = 0$, $a_6 \leq 1$, $a_7 \leq 1$ и $\sum_k a_k = 16$ (Лемма Σ.1), откуда $a_4 + a_6 + a_7 = 8$. Если $a_6 = 1$, то $a_4 \leq 4$ и сумма не превосходит $1 + 7 + 4 + 1 + 1 = 14 < 16$ — невозможно. Значит, $a_6 = 0$, и $a_4 + a_7 = 8$ при $a_4 \leq 7$, $a_7 \leq 1$: единственное решение $a_4 = 7$, $a_7 = 1$. Все семь дополнений и $\mathbf{1}$ — кодовые слова, и

$$\mathcal{C} \;=\; \{0\} \,\cup\, \{\text{7 линий}\} \,\cup\, \{\text{7 дополнений}\} \,\cup\, \{\mathbf{1}\} \;=\; \mathrm{span}\{\text{линии}\}$$

по Шагу 3. В частности, $\mathcal{C}$ линеен и равен $\ker H$ в двоичной разметке реконструкции Леммы Σ.4 — код Хэмминга. Вместе с Леммой Σ.4 это даёт (iii): перестановка координат совмещает реконструированную плоскость Фано со стандартной, а начальный сдвиг возвращает произвольное начало отсчёта. (Тот же ценз — учебниковое доказательство единственности; ср. Мак-Вильямс–Слоэн, гл. 6.) $\blacksquare$

Лемма Σ.6 (словарь между двумя презентациями корпуса)

Перенумерация $\sigma:\ 1 \mapsto 2,\ 2 \mapsto 4,\ 3 \mapsto 3,\ 4 \mapsto 6,\ 5 \mapsto 7,\ 6 \mapsto 5,\ 7 \mapsto 1$ переводит циклическую (QR-)презентацию в двоичную (XOR-)презентацию: каждый сдвиг $\{1,2,4\}+t \pmod 7$ отображается в тройку $\{a, b, a\oplus b\}$.

Доказательство. Реализуем $\mathbb{F}_8 = \mathbb{F}_2[\alpha]/(\alpha^3 = \alpha + 1)$ и прочитаем ненулевые элементы как 3-битные векторы $(c_2 c_1 c_0)$ для $c_2\alpha^2 + c_1\alpha + c_0$:

$$\alpha^0 = 001,\quad \alpha^1 = 010,\quad \alpha^2 = 100,\quad \alpha^3 = 011,\quad \alpha^4 = 110,\quad \alpha^5 = 111,\quad \alpha^6 = 101 .$$

Положим $\sigma(t) :=$ двоичное значение $\alpha^{t}$ (показатели по модулю 7; вычет 7 читается как $t=0$) — это и есть таблица выше. Умножение на $\alpha$ линейно над $\mathbb{F}_2$, а потому переводит двумерные подпространства в двумерные, то есть XOR-линии в XOR-линии. Базовый сдвиг $\{1,2,4\}$ отображается в $\{\alpha^1, \alpha^2, \alpha^4\} = \{2, 4, 6\}$, и $2 \oplus 4 = 6$: XOR-линия. Всякий другой сдвиг $\{1,2,4\}+t$ отображается в $\alpha^t \cdot \{2,4,6\}$ — снова XOR-линия. Выборочные проверки: $\{2,3,5\} \mapsto \{4,3,7\}$, $4 \oplus 3 = 7$ ✓; $\{3,4,6\} \mapsto \{3,6,5\}$, $3 \oplus 6 = 5$ ✓. $\blacksquare$

Итак, циклические триады Γ-канона и проверочная матрица Gap-динамики описывают одну грамматику; корпус может пользоваться любой презентацией, и Теорема Σ применима к обеим дословно.

Лемма Σ.7 (лестница выше: Васильев и ван Линт–Титявяйнен)

(а) Конструкция Васильева (1962). Пусть $\mathcal{C}$ — совершенный код длины $n$, исправляющий одиночный сбой, $0 \in \mathcal{C}$, и $f : \mathcal{C} \to \mathbb{F}_2$ — произвольная функция с $f(0) = 0$. Положим $\pi(x) := |x| \bmod 2$ и

$$V(f) \;:=\; \bigl\{\, (x \oplus y,\; x,\; \pi(x) \oplus f(y)) \;:\; x \in \mathbb{F}_2^{n},\; y \in \mathcal{C} \,\bigr\} \;\subseteq\; \mathbb{F}_2^{2n+1}.$$

Тогда $V(f)$ — совершенный код длины $2n+1$, исправляющий одиночный сбой; он линеен тогда и только тогда, когда $f$ линейна на $\mathcal{C}$.

Проверка мощности: $|V(f)| = 2^n |\mathcal{C}| = 2^n \cdot 2^{n-r} = 2^{2n-r}$, и $(1 + (2n+1)) \cdot 2^{2n-r} = 2^{r+1} \cdot 2^{2n-r} = 2^{2n+1}$ ✓ — граница упаковки сфер достигнута с равенством, так что совершенство сводится к $d \geq 3$, рутинному разбору случаев по трём блокам (см. Мак-Вильямс–Слоэн, гл. 6, раздел о кодах Васильева). При $n = 7$: длина 15, $2^{11}$ слов. Функций $f$ всего $2^{16}$, аддитивных среди них лишь $2^{4}$ — нелинейных выборов в изобилии; нелинейный $V(f)$ неэквивалентен Хэммингову $[15,11,3]$ в силу следующего наблюдения:

Эквивалентность сохраняет линейность среди кодов, содержащих $0$. Если $V' = \tau(V) + a$ линеен для перестановки координат $\tau$ и сдвига $a$, то из $0 \in V$ следует $a \in V'$, а линейность $V'$ даёт $V' + a = V'$; значит, $V = \tau^{-1}(V')$ линеен — противоречие. $\blacksquare$

(б) Классификация. (ван Линт 1971; Титявяйнен 1973; независимо Зиновьев–Леонтьев 1972.) Нетривиальный совершенный код над алфавитом примарного порядка $q$ имеет параметры кода Хэмминга ($t = 1$, $n = (q^r - 1)/(q-1)$) либо одного из двух кодов Голея: двоичного $[23, 12, 7]$ ($t = 3$) или троичного $[11, 6, 5]$ ($t = 2$). Стержень доказательства — теорема Ллойда: совершенство вынуждает у многочлена Ллойда $t$ различных целых корней в $\{1, \dots, n\}$ — арифметическое ограничение столь тесное, что выживают лишь перечисленные наборы параметров. Мы используем формулировку как чёрный ящик; она запечатывает пункт (v). $\blacksquare$

Пункты (i)–(v) Теоремы Σ собираются: (i) = Σ.1; (ii) = Σ.2 + Σ.3 + Σ.4 (+ группа Фано $\mathrm{PGL}(3,2)$ порядка $168$, §2); (iii) = Σ.5; (iv) = Σ.7(а) + по крайней мере дважды экспоненциальный рост числа неэквивалентных совершенных кодов с ростом $r$ (тот же источник); (v) = Σ.7(б). $\blacksquare\blacksquare$

Замечание Σ-QR [Т]

В классических систематических координатах $H(7,4)$ — столбец $j$ проверочной матрицы есть двоичная запись числа $j$ — проверочные позиции суть те, чей столбец содержит единственную единицу: степени двойки, $\{1, 2, 4\}$. Но

$$\{1, 2, 4\} \;=\; \{2^0, 2^1, 2^2\} \;=\; \mathrm{QR}(7),$$

квадратичные вычеты по модулю 7: действительно, $2 \equiv 3^2 \pmod 7$ — квадрат первообразного корня, и его мультипликативная орбита есть в точности подгруппа квадратов индекса 2. Тем самым разбиение позиций $\{1,\dots,7\}$ на «проверка/информация» — это арифметическое разбиение $\mathrm{QR}(7) \mid \mathrm{QNR}(7) \cup \{7\}$. Одно и то же трёхэлементное множество: считает поколения фермионов ($N_\mathrm{gen} = |\mathrm{QR}(7)| = 3$ [Т]), порождает линии Фано как $(7,3,1)$-разностное множество и размечает синдромные биты диагностики. В конвенции корпуса проверки несут метаструктурные оси $E, O, U$, а информацию — структурные $A, S, D, L$ (Gap-динамика §2.1); по Лемме Σ.6 эти две координатизации различаются явной перенумерацией.

§5. Следствия

§5.1. Четвёртый трек вывода $N = 7$

Три независимых пути выводят семёрку: число (Гурвиц–Адамс: последняя нормированная алгебра с делением $\mathbb{O}$ имеет $\dim \mathrm{Im}\,\mathbb{O} = 7$), структура ($G_2$-жёсткость грамматики когеренций при этом числе), замыкание (теорема минимальности: никакое собственное подмножество семи функциональных ролей не замыкается). Теорема Σ добавляет четвёртый путь — совершенно иного вкуса:

Следствие Σ.1 — диагностический трек [Т]+[И]

Если система обязана совершенно локализовывать одиночные сбои собственных осей (D1–D2), различать нетривиальную грамматику глобальных состояний (D3) и не допускать конкурирующих грамматик (D4) — то число осей равно семи, а грамматика есть Фано/Хэмминг, единственным образом.

Статусная дисциплина. Импликация — [Т]: пункты (i)–(iv), доказанные выше без обращения к алгебре, нормам или непрерывности: в дело идут только счёт и упаковка сфер. Утверждение, что оси УГМ обязаны удовлетворять (D1)–(D4), — интерпретационный шаг [И], и его следует проговорить, а не протащить контрабандой:

• (D1)–(D2) формализуют внутреннюю диагностируемость жизнеспособного холона: деградация оси должна быть поймана до каскада по решётке когеренций (именно от него защищают Щиты I–V), причём поймана собственным рефлексивным слоем системы — диагноз есть акт оператора $R$, а не внешнего наблюдателя (самонаблюдение). Совершенство — это ровно «нет состояния, о котором грамматика молчит, и нет состояния с двумя конфликтующими диагнозами».
• (D3) соответствует эмпирическому масштабу архетипического слоя: шестнадцать подписей Γ-канона.
• (D4) — требование реконструируемости канона: всякий наблюдатель, внутренний или внешний, восстанавливающий грамматику по поведению системы, обязан прийти к тем же шестнадцати архетипам. Без жёсткости «норма» — конвенция, и канон теряет диагностическую власть.

При этих прочтениях гептада — не нумерологический выбор, а единственное решение корректно поставленной задачи проектирования. Трек логически независим от октонионного: гипотетическая вселенная без алгебр с делением всё равно подчинялась бы Теореме Σ.

§5.2. Почему выше семи строят башню, а не ширину

Следствие Σ.2 [И]

Пункт (iv) объясняет структурный выбор, который в остальном корпусе принят постулатом. Иерархия субъектов (SAD-башня) масштабируется надстройкой этажей из семиосных блоков — $7, 7^{(2)}, \dots$ с пересчётом $P_\mathrm{crit}^{(n)}$ и $\mathrm{SAD}_{\max} = 3$, — а не удлинением списка осей до следующей хэмминговой длины 15. Теорема Σ даёт причину. Пятнадцатиосная «расширенная психика» могла бы совершенно диагностироваться: код $[15,11,3]$ существует. Но по Σ.7(а) грамматика на пятнадцати уже не единственна — нелинейные грамматики Васильева разделяют все параметры ($2^{11}$ архетипов, расстояние 3, совершенное замощение), будучи неэквивалентными, и никакая внутренняя статистика исправления сбоев их не различает. Диагностика без единственной грамматики — диагностика без канона: система не могла бы удостоверить, какую именно норму она поддерживает. Семь — последний уровень, на котором «что чинить» и «что считать нормой» определены одновременно и единственно; дальше рост обязан копировать жёсткий блок, а не растягивать его.

Открытая заметка [Г]: над всей лестницей $t = 1$ есть ровно одна ещё ступень — Голей с $n = 23$ и $t = 3$. Числовое эхо между его исправляющей способностью $t = 3$ и $\mathrm{SAD}_{\max} = 3$ фиксируется как курьёз, без статуса, пока структурный аргумент не свяжет высоту башни с многосбойной локализацией.

§5.3. Весовые страты, шестнадцать архетипов и $G_2$-формы

Грамматика $16 = 1 + 7 + 7 + 1$, установленная в Лемме Σ.5, допускает исключительно-геометрическое прочтение [Т]. Напомним (G₂-структура), что $G_2 \subset SO(7)$ — стабилизатор ассоциативной 3-формы $\varphi = \sum_{\ell} e_i \wedge e_j \wedge e_k$ (по одному ориентированному слагаемому на линию Фано), двойственной по Ходжу коассоциативной 4-форме $\ast\varphi$ (по слагаемому на дополнение линии).

Вес	Слов	Носители	$G_2$-объект	Архетипическое чтение
0	1	$\varnothing$	вакуум	нулевая подпись
3	7	линии Фано	слагаемые $\varphi$	семь триад Γ-канона
4	7	дополнения линий	слагаемые $\ast\varphi$	семь ко-триад
7	1	все оси	форма объёма $\mathrm{vol}_7$	полная активация

Явно, в порядке осей корпуса $[A,S,D,L,E,O,U] = [1,\dots,7]$ (двоичная презентация), шестнадцать допустимых подписей таковы:

$$\varnothing;\quad \{A{,}S{,}D\},\ \{A{,}L{,}E\},\ \{S{,}L{,}O\},\ \{D{,}L{,}U\},\ \{S{,}E{,}U\},\ \{D{,}E{,}O\},\ \{A{,}O{,}U\};$$ $$\text{их семь дополнений};\quad \{A{,}S{,}D{,}L{,}E{,}O{,}U\}.$$

Слова минимального веса кода — ассоциативные тройки; их дополнения — коассоциативные четвёрки. Грамматика допустимых профилей и календарь $G_2$-калибровок — одна структура, записанная на двух языках, — и по Теореме Σ эта структура не один из дизайнерских вариантов, а единственное решение задачи (D1)–(D4).

§6. Протокол Σ-компрессии (T-225): пирамида 21 → 7 → 3 → 1

Полная томография состояния $\Gamma \in \mathcal{D}(\mathbb{C}^7)$ требует $7^2 - 1 = 48$ вещественных параметров (протокол измерения). Для более узкой — и операционально самой частой — задачи локализации одной деградировавшей оси Теорема Σ разрешает резкую компрессию.

Теорема Σ-компрессии — T-225 [С]

Пусть динамика когеренций Фано-совместима (правила отбора) и эргодична со спектральной щелью $\Delta$ (T-114, эволюция). Тогда корректна следующая пирамида мониторинга:

(а) 21 → 7 (темы). Двадцать одна когеренция $\mathrm{Coh}_{ij}$ разбивается единственным образом на семь линейных троек: каждая пара осей лежит ровно на одной линии Фано — это закон одной темы, $\lambda = 1$, из Леммы Σ.3. Семь тематических наблюдаемых

$$T_\ell \;:=\; \sum_{\{i,j\} \subset \ell} \bigl|\mathrm{Coh}_{ij}\bigr|^2, \qquad \ell \text{ — линия Фано},$$

образуют полный контентный слой мониторинга: ни одна когеренция не ускользает и ни одна не учтена дважды.

(б) 7 → 3 (синдром). Бинаризуем статус каждой оси её порогом жизнеспособности (порог — конвенция [О]; корпусный дефолт — поосевой Gap-порог из Gap-диагностики). Три чётности полученных битов локализуют любой одиночный сбой: синдром $\sigma = (\sigma_1, \sigma_2, \sigma_3) \in \mathbb{F}_2^3$, вычисленный строками $H$, есть двоичный адрес повреждённой оси — см. таблицу ниже. Геометрия трёх проверок сама Фано-теоретична: нулевое множество каждой строки — линия ($\{S,L,O\}$, $\{A,L,E\}$, $\{A,S,D\}$ соответственно), и эти три линии образуют треугольник — три линии с попарно различными точками пересечения $L, S, A$ и без общей точки. Каждая проверка — «чётность по дополнению одной стороны треугольника». Выбор треугольника — это в точности выбор синдромных координат: в плоскости Фано $\binom{7}{3} - 7 = 35 - 7 = 28$ треугольников (35 троек линий минус 7 конкурентных, по одной на точку), группа $\mathrm{PGL}(3,2)$ порядка $168 = 28 \cdot 6$ действует на них транзитивно со стабилизатором $S_3$ — годится любой треугольник, и все выборы сопряжены.

Ось	Столбец $H$ (двоично)	Синдром $(\sigma_1\sigma_2\sigma_3)$	Адрес
$A$	$001$	$100$	1
$S$	$010$	$010$	2
$D$	$011$	$110$	3
$L$	$100$	$001$	4
$E$	$101$	$101$	5
$O$	$110$	$011$	6
$U$	$111$	$111$	7

(в) 3 → 1 (флаг). Единственный бит $[\sigma \neq 0]$ — сигнал «есть сбой».

(г) Эргодическая надёжность. При T-114-перемешивании синдром не обязан читаться с одного зашумлённого снимка. Для персистентного сбоя усредним бинаризованные проверки по окну траектории длины $k$: по концентрации со спектральной щелью для эргодических марковских цепей (Гиллман 1993; Лезо 1998: для обратимой цепи со щелью $\Delta$ и наблюдаемой $|f| \leq 1$ выполняется $\ \mathbb{P}\bigl(|\tfrac1k\sum_{t<k} f(X_t) - \pi(f)| \geq \varepsilon\bigr) \leq C\, e^{-c\,k\,\Delta\,\varepsilon^2}$ с абсолютной $c$ и $C$, зависящей от начального распределения) каждая усреднённая чётность сходится к истинному значению с вероятностью ошибки, экспоненциально убывающей по $k\Delta$. Окно $k \sim \Delta^{-1}$ уже информативно; вероятность неверной локализации оси убывает как $e^{-c k \Delta \varepsilon^2}$, где $\varepsilon$ — запас бинаризации.

Статус [С]: (а)–(в) — комбинаторика [Т] поверх модели бинаризации; (г) — стандартная концентрация [Т] при принятой аксиоматике T-114; совокупная применимость к живому Γ-томографу условна на модель измерения — отсюда составной статус.

Ли-алгебраическая тень пирамиды [Т]

У пирамиды есть инвариантный смысл внутри алгебры когеренций. Антисимметричные генераторы $E_{ij}$ ($1 \leq i < j \leq 7$) натягивают $\mathfrak{so}(7)$, $\dim = 21$ — по генератору на когеренцию. Под действием $G_2$ это пространство не неприводимо; оно расщепляется:

$$\Lambda^2 \mathbb{R}^7 \;=\; \mathfrak{so}(7) \;=\; \mathfrak{g}_2 \,\oplus\, \mathfrak{m}, \qquad 21 = 14 + 7, \qquad \mathfrak{m} \cong \mathrm{Im}\,\mathbb{O},$$

с инвариантной характеризацией через оператор $\alpha \mapsto \ast(\varphi \wedge \alpha)$ на 2-формах: $\mathfrak{m} = \Lambda^2_7$ — его собственное подпространство с собственным значением $+2$, натянутое на свёртки $\iota_{e_p}\varphi$, а $\mathfrak{g}_2 = \Lambda^2_{14}$ — с собственным значением $-1$ (Брайант; см. G₂-структуру). Конкретно, $\iota_{e_p}\varphi$ — знаковая сумма трёх «противолежащих рёбер» линий через точку $p$: у каждой оси своя такая комбинация.

Итак, 21 направление когеренций несёт две канонические сетки: по линиям — семь so(3)-троек $\{E_{ij}, E_{jk}, E_{ik}\}_{\{i,j,k\} = \ell}$, питающих тематические наблюдаемые слоя (а), — и по точкам против калибровки — расщепление $7 \oplus 14$, где $\mathfrak{g}_2$-часть состоит из потоков, сохраняющих грамматику $\varphi$ (чистая калибровка, диагностически немая), а $\mathfrak{m}$-часть вращает сами оси. Протокол мониторит темы и чётности и доказуемо не тратит бюджет на 14 калибровочных направлений: они не могут нести информацию об одноосевом сбое, будучи $\varphi$-сохраняющими.

Референс-реализация

Следующая программа проверяет исчерпывающим машинным перебором каждое конечное утверждение, использованное выше: мощность $|\mathcal{C}| = 16$, весовое распределение, тождество «носители веса 3 = линии Фано», закон одной темы $\lambda = 1$ и свойство совершенного декодирования (каждая однобитовая порча каждого кодового слова локализуется в правильную ось). Программа детерминирована и выполняется за миллисекунды.

# sigma_calculus.py — референс-реализация T-224/T-225 (детерминированная)
import itertools

AXES = ['A', 'S', 'D', 'L', 'E', 'O', 'U']          # ось a=1..7 <-> бит (7-a): A = старший
H = [0b1010101, 0b0110011, 0b0001111]                # матрица H из Gap-динамики §2:
                                                     # столбец a = двоичная запись a (строка 1 = младший бит)
LINES = [(1,2,3),(1,4,5),(2,4,6),(3,4,7),(2,5,7),(3,5,6),(1,6,7)]  # a XOR b = c

def syndrome(x):                                     # x: 7-битный профиль статусов
    return tuple(bin(row & x).count('1') & 1 for row in H)

def locate(x):                                       # -> повреждённая ось или None
    s = syndrome(x)
    idx = s[0] | (s[1] << 1) | (s[2] << 2)           # синдром = двоичный АДРЕС = номер оси
    return None if idx == 0 else AXES[idx - 1]

CODE = [c for c in range(128) if syndrome(c) == (0,0,0)]
assert len(CODE) == 16                               # |C| = 16   (T-224 ii)
ws = sorted(bin(c).count('1') for c in CODE)
assert ws == [0]+[3]*7+[4]*7+[7]                     # 1+7+7+1    (§5.3)
supports = {frozenset(i+1 for i in range(7) if c >> (6-i) & 1)
            for c in CODE if bin(c).count('1') == 3}
assert supports == {frozenset(l) for l in LINES}     # слова веса 3 = линии Фано
for pair in itertools.combinations(range(1,8), 2):   # закон одной темы: λ = 1
    assert sum(set(pair) <= set(l) for l in LINES) == 1
for c in CODE:                                       # совершенство: единственное декодирование
    for i in range(7):                               # переворот бита i = порча оси 7-i
        assert locate(c ^ (1 << i)) == AXES[6 - i]
print("T-224/T-225 invariants verified: |C|=16, 1+7+7+1, Fano, perfect decode")

Вывод: T-224/T-225 invariants verified: |C|=16, 1+7+7+1, Fano, perfect decode.

§7. Квантовый лифт: код Стина как тень Щита I

Классическая грамматика Теоремы Σ — это в точности вход, которого требует отказоустойчивое квантовое вычисление. Приведём конструкцию полностью: на неё корпус будет опираться в регистровых реализациях.

CSS-конструкция, специализированная

Входные данные. Пара классических линейных кодов $\mathcal{C}_2^\perp \subseteq \mathcal{C}_1 \subseteq \mathbb{F}_2^n$. Код Хэмминга поставляет самодуально-вложенный частный случай $\mathcal{C}_1 = \mathcal{C}_2 = H(7,4)$: его дуал — симплекс-код $[7,3,4]$, натянутый на строки $H$, — а по Шагу 2 Леммы Σ.5 каждая строка $H$ (вектор веса 4, дополнение стороны треугольника) сама есть кодовое слово $H(7,4)$. Значит, $H(7,4)^\perp \subset H(7,4)$: восемь дуальных слов — это $0$ и семь дополнений.

Стабилизаторы. На $n = 7$ кубитах для каждой строки $h$ матрицы $H$ определим два оператора:

$$X^{(h)} := \bigotimes_{i:\,h_i = 1} X_i, \qquad Z^{(h)} := \bigotimes_{i:\,h_i = 1} Z_i .$$

Оператор $X$-типа коммутирует с оператором $Z$-типа тогда и только тогда, когда их носители пересекаются по чётному числу позиций; здесь $\langle h, h' \rangle = |{\mathrm{supp}(h) \cap \mathrm{supp}(h')}| \bmod 2 = 0$ для всех пар строк — носители $\{A,D,E,U\}, \{S,D,O,U\}, \{L,E,O,U\}$ попарно пересекаются ровно по двум осям, — так что шесть операторов порождают абелеву группу стабилизаторов.

Параметры. Шесть генераторов независимы, поэтому совместное собственное подпространство с собственным значением $+1$ имеет размерность $2^{7-6} = 2$: один логический кубит, $k = n - \mathrm{rk}_X - \mathrm{rk}_Z = 7 - 3 - 3 = 1$. Кодовое расстояние — минимальный вес логического (нестабилизаторного) представителя, то есть слова из $\mathcal{C}_1 \setminus \mathcal{C}_2^\perp = H(7,4) \setminus \{0, \text{7 дополнений}\} = \{\text{7 линий}, \mathbf{1}\}$ — минимальный вес 3. Итог:

$$\mathrm{CSS}\bigl(H(7,4), H(7,4)\bigr) \;=\; \textbf{код Стина } [[7,1,3]],$$

исправляющий произвольную ошибку (переворот бита, фазы или обоих) на любом одном кубите; его $X$- и $Z$-синдромы считываются теми же тремя Фано-чётностями §6(б), исполненными в двух сопряжённых базисах.

Трансверсальность. Три классических факта о $H(7,4)$ оборачиваются тремя дарами отказоустойчивости: (1) самодуальное вложение делает трансверсальный $\mathrm{CNOT}^{\otimes 7}$ сохраняющим кодовое пространство (верно для всякого CSS-кода); (2) все веса $\mathcal{C}^\perp$ делятся на 4 ($0, 4, \dots$ — дважды чётность), что делает трансверсальный фазовый гейт $S^{\otimes 7}$ логической операцией; (3) равенство $\mathcal{C}_1 = \mathcal{C}_2$ заставляет трансверсальный Адамар $H^{\otimes 7}$ переставлять $X$- и $Z$-стабилизаторы друг в друга. Вместе: вся группа Клиффорда действует трансверсально — одиночный сбойный гейт не расползается в многокубитную ошибку. Именно поэтому код Стина — канонический рабочий инструмент отказоустойчивых архитектур.

Инженерное следствие [О]. Любая 7-узловая регистровая реализация УГМ-подобной динамики когеренций — семиагентные ядра SYNARC/NOEMA, перспективные квантовые реализации Γ-динамики — наследует чертёж отказоустойчивости без этапа проектирования кода: разметка стабилизаторов уже продиктована линиями Фано, которые архитектура и так несёт ради правил отбора. Грамматика, отобранная Теоремой Σ на классическом уровне, — ровно та, которую квантовая отказоустойчивость запрашивает на входе.

Честная граница [О]. Для одиночного кудита $\Gamma \in \mathcal{D}(\mathbb{C}^7)$ — одной семимерной системы, а не регистра из семи двумерных — кода Стина нет: CSS-лифт адресует только регистровые реализации. Для самого кудита работает классический слой T-225 (популяции, темы, чётности), а квантовая коррекция потребовала бы вложения $\mathbb{C}^7$ в больший регистр — проектный вопрос, решаемый в §7a ниже.

§7a. Защищённый кудит: адресное вложение и экстремальная конечная симметрия

Простыми словами, задача такова: §7 защищает регистр из семи двухуровневых узлов, но состояние УГМ $\Gamma$ живёт на одной семиуровневой системе — это другой зверь, и кода для него не предлагалось. Решение — дать каждой оси трёхбитовое двоичное имя. Тогда кудит становится тремя кубитами минус одно неиспользуемое состояние, три Фано-чётности превращаются в буквальные биты адреса, и защита кудита сводится к защите трёх кубитов — что канонически делает код Стина из §7. Что потрачено (одно лишнее состояние), что получено (полная защита расстояния 3) и сколько симметрии выживает (наибольшее количество, какое вообще допускает какой-либо код) — теорема ниже отвечает на все три вопроса точно.

Конструкция начинается с того самого двоичного адреса. Отождествим семь осей с ненулевыми векторами $\mathbb{F}_2^3$ (двоичное представление Леммы Σ.6) и вложим

$$\mathbb{C}^7 \;=\; \mathrm{span}\{\,|x\rangle : x \in \mathbb{F}_2^3\setminus 0\,\} \;\subset\; (\mathbb{C}^2)^{\otimes 3}$$

— ортогональное дополнение к $|000\rangle$ в трёх кубитах. Немедленно прибывают два структурных дара [Т]:

1. Чётности — это $Z$. $\langle x|Z_b|x\rangle = (-1)^{x_b}$: три Фано-чётности §6(б) суть три однокубитных оператора $Z$, а полная группа чётностей $\{Z_v = \mathrm{diag}((-1)^{v\cdot x})\}$ — диагональная $2^3$, чьи знаковые образцы — в точности слова симплексного кода. Синдромное измерение T-225 — дословно адресное считывание в $Z$-базисе.
2. Полярность — это сложение. Прямые — двумерные подпространства без нуля, и третья точка пары есть её сумма: $\pi(x,y) = x \oplus y$ — октонионная тройная структура в адресной форме.

Теорема T-227 [Т] — защищённый кудит и его экстремальная симметрия

(i) Защита. Кодирование трёх адресных кубитов в три блока Стина даёт $[[21,3,3]]$-регистровую защиту кудита: любой одиночный сбой физического кубита исправляется, а Фано-чётности становятся логическими $\bar Z_v$ — измеряемыми трансверсально, поблочно.

(ii) Монономиальная симметрия, вычислено. Монономиальный (знако-перестановочный) стабилизатор ассоциативной $3$-формы $\varphi$ имеет порядок ровно $1344 = 2^3 \cdot 168$: каждая из $168$ коллинеаций плоскости Фано поднимается до $\varphi$-сохраняющей знаковой перестановки (ровно $8$ знаковых выборов у каждой), диагональная подгруппа — симплексная $2^3$ пункта 1, и всякий элемент имеет определитель $+1$ — вся группа лежит в компактной $G_2$, стабилизаторе $\varphi$ в $\mathrm{GL}(7,\mathbb{R})$. Расширение $2^3 \cdot \mathrm{PGL}(3,2)$ нерасщепимо: исчерпывающий перебор всех $5376$ пар Гурвица (инволюция и элемент порядка $3$ с произведением порядка $7$ — всякая копия гурвицевой группы $\mathrm{PSL}(2,7)$ обязана содержать такую пару) не находит дополнения. Это октонионная группа координатного репера из литературы, здесь перевыведенная и сертифицированная вычислительно.

(iii) Трансверсальная реализация, вычислено. На коде $[[21,3,3]]$ каждый элемент $2^3\cdot\mathrm{PGL}(3,2)$ действует как трансверсальный логический клиффорд: коллинеационная часть — CNOT-схема на трёх логических кубитах ($\mathrm{GL}(3,2)$ порождается трансвекциями $=$ CNOT-ами, а межблочный CNOT трансверсален для CSS-кодов), знаковая часть — диагональный слой алгебраической степени $\leq 2$ над $\mathbb{F}_2$; вычисленный профиль: $21$ коллинеации хватает степени $0$ (логический паули $\bar Z$ / глобальный знак), $147$ требуют ровно степени $2$ (слои логических $\overline{CZ}$, трансверсальные для Стина), и ни одной не нужна степень $3$ — никакого $CCZ$, который сломал бы трансверсальность.

(iv) Экстремальность. По Истину–Ниллу трансверсально реализуемая логическая группа кода, детектирующего ошибки, конечна — никакой код не защищает непрерывную подгруппу $G_2$. В классификации максимальных конечных подгрупп $G_2$ (Коэн–Уэйлс; Грисс) группа $2^3\cdot\mathrm{PSL}(3,2)$ максимальна; значит, конструкция (iii) реализует наибольшую защищаемую симметрию октонионного репера, какую вообще может предложить квантовый код. Проектный вопрос честной границы закрывается на своём теоретическом оптимуме.

Статус. (i)–(iii) [Т]: точная целочисленная арифметика, исчерпывающие переборы заявлены как таковые, плюс стандартные CSS-факты; цитата о максимальности в (iv) — внешняя математика, шаг Истина–Нилла стандартен. Инженерные прочтения [О]. Решает открытую проблему (i) спецификации SYNARC, Приложение K (v2.0).

Замечание (цена и дивиденд восьмого состояния) [И]. $\log_2 7$ — не целое: двоичная адресация стоит одного лишнего базисного состояния $|000\rangle$. Конструкция обращает цену в семантику: $|000\rangle$ — естественный флаг «нет оси» — единственный адрес с нулевым синдромом по всем трём чётностям, и его исключение из кудита есть в точности (D3)-нетривиальность грамматики. Федеративная конструкция §8a тратит аналогичную восьмую координату как шину организма.

§8. Мост Σ-Mor: диагностические пары и грейдинг MSFS

Фигура, организующая весь этот документ, — инвариантное подмножество вместе с градуированной дистанцией до него, не возрастающей вдоль допустимых морфизмов и обнуляющейся ровно на нём, — уже однажды возникла в экосистеме, в совсем другой среде обитания: как интенсиональная градуировка MSFS (статья, §8.1). Там внутри каждого интенсионального слоя $\mathrm{Int}([F])$ над точкой стека модулей $\mathfrak{M}$ каждый display-датум $d$ несёт грейд $\mathrm{gr}(d) = \min\{n : d \in \mathcal{D}_F^{(n)}\}$ — стадию порождающей индукции, на которой он появляется, — с тремя доказанными свойствами: фильтрация исчерпывающа; грейд не возрастает при pullback вдоль $\mathbb{I}(f)$; грейд 0 — в точности эквивалентности («экстенсиональность — слепота к грейду»).

Определение Σ.2 [О] (диагностическая пара). Диагностическая пара на классе $\mathcal{X}$ с допустимыми морфизмами — пара $(\mathcal{C}, d)$: подкласс $\mathcal{C} \subseteq \mathcal{X}$ и функционал $d : \mathcal{X} \to \mathbb{N}$, такие что (i) $d^{-1}(0) = \mathcal{C}$; (ii) подуровни $\{d \leq n\}$ исчерпывающе фильтруют $\mathcal{X}$; (iii) $d$ не возрастает вдоль допустимых морфизмов. Пара обладает совершенной локализуемостью, если каждый $x$ с $d(x) = 1$ имеет единственный «ремонт» — выделенный $c(x) \in \mathcal{C}$ — и ремонтные шары $\{x : d(x) \leq 1,\ c(x) = c\}$ разбивают уровень $\{d \leq 1\}$.

Две реализации, рядом:

	$(\mathcal{C}, d)$	допустимые морфизмы	невозрастание	коллапс
УГМ / коды	$\bigl(H(7,4),\ d_{\mathrm{Hamming}}(\,\cdot\,, \mathcal{C})\bigr)$ на $\mathbb{F}_2^7$	Фано-совместимая динамика	кодо-сохраняющие потоки не создают сбоев	калибровка видит только кодовое подпространство
MSFS	$\bigl(\text{эквивалентности},\ \mathrm{gr}\bigr)$ на слое $\mathrm{Int}([F])$	pullback вдоль $\mathbb{I}(f)$	предложение о грейдинге, п. (b)	«экстенсиональность — слепота к грейду»

Аксиомы (i)–(iii) — буквально пункты предложения о грейдинге MSFS; кодовая реализация удовлетворяет им по построению и — в этом содержание Теоремы Σ — обладает совершенной локализуемостью именно благодаря своей Фано-базе. Переносится ли обратное — естественный следующий вопрос:

Гипотеза Σ-Mor (буквальная форма). Слой $\mathrm{Int}([F])$ допускает совершенную локализуемость дефектов эквивалентности в смысле Определения Σ.2 тогда и только тогда, когда канонический минимальный display-класс $\mathcal{D}_F$ Фано-презентуем: порождается на первой стадии своей индуктивной конструкции семиэлементной инцидентностной базой с $\lambda = 1$.

Буквальная форма и её починка

Гипотеза в буквальной формулировке ложна на уровне абстрактных диагностических пар, и недостающая гипотеза — это в точности собственный инвариант коллапс-стадии MSFS. Два наблюдения устанавливают обе половины; починенная эквивалентность — T-229.

Определение Σ.3 [О] (базово-координатизованный слой; карта Σ-FIB). Слой $\mathrm{Int}([F])$ базово-координатизован, если существуют конечная база первой стадии $B$ и сюръективная карта $\sigma$ конечно-градуированной части на $\mathbb{F}_2^B$ такие, что: (F1) $\mathrm{gr}(d) = d_{\mathrm{Hamming}}\bigl(\sigma(d), \sigma(\mathcal{C})\bigr)$ — грейд есть кодовое расстояние до эквивалентностей; (F2) данные грейда один биективно соответствуют одиночным переворотам координат; (F3) $|\sigma(\mathcal{C})| \geq 2$ — перенесённая (D3) из §3.

Наблюдение 1 [Т] (буквальная эквиваленция падает на парах). При наличии карты совершенная локализуемость в смысле Определения Σ.2 говорит ровно $d_{\min}(\sigma(\mathcal{C})) \geq 3$: ремонтные шары радиуса один вокруг различных кодовых точек дизъюнктны т. и т.т., когда минимальное расстояние не меньше трёх, — а уровень $\{d \leq 1\}$, единственное, о чём квантифицирует Определение Σ.2, они покрывают всегда. Значит, всякий код с минимальным расстоянием $\geq 3$ — над базой любого размера — даёт диагностическую пару с совершенной локализуемостью: display-геометрия типа $[5,1,5]$ даёт её над пятиэлементной базой. Совершенная локализуемость сама по себе не вынуждает арифметику $2^r - 1$: сферо-упаковочное равенство требует, чтобы ремонтные шары замостили всё пространство сбоев, а не только первый уровень.

Наблюдение 2 [Т] (недостающая гипотеза — стадия коллапса). При (F1) грейдовая фильтрация есть шаровая фильтрация кодовой метрики и стабилизируется ровно на радиусе покрытия:

$$n_0(F) \;=\; \rho_{\mathrm{cov}}\bigl(\sigma(\mathcal{C})\bigr)$$

— минимальная стадия коллапса из MSFS §8.1 (её открытый вопрос (i)) есть радиус покрытия display-кода. А «ремонтные шары замощают пространство сбоев» — это в точности радиус упаковки $=$ радиус покрытия $= 1$: совершенство равно локализуемости плюс коллапс на первой стадии.

Теорема Σ-Mor′ — T-229 [Т при Σ-FIB]

Для базово-координатизованного слоя (F1–F3): совершенная локализуемость дефектов эквивалентности вместе с коллапсом грейда на первой стадии выполняется т. и т.т., когда $\sigma(\mathcal{C})$ — совершенный код, исправляющий одну ошибку. По Лемме Σ.1 это вынуждает $|B| = 2^r - 1$; при клаузулах нетривиальности и жёсткости Теоремы Σ (Леммы Σ.2 и Σ.5, применённые к карте) $r = 3$: база первой стадии семиэлементна с инцидентностью Фано — $\mathcal{D}_F$ Фано-презентуем. Обратно, Фано-презентуемость переносит $H(7,4)$ вдоль карты и даёт обе клаузулы ($d_{\min} = 3$, $\rho_{\mathrm{cov}} = 1$).

Открытое содержание Σ-Mor [Г]. Над подлинными слоями MSFS гипотеза — конъюнкция двух более острых вопросов (помеченных ΣQ1/ΣQ2, чтобы не сталкиваться с собственными открытыми вопросами Q1–Q5 статьи MSFS): (ΣQ1) вынуждает ли подлинная интенсиональность ($\tau$-нетривиальность в смысле MSFS, Теорема о существовании $\mathbb{I}$, шаг 7) карту Σ-FIB? (ΣQ2) вынуждает ли она коллапс первой стадии $n_0(F) = 1$? Опровержение обязано сломать ΣQ1 или ΣQ2 — кодовая арифметика закрыта T-229. Дивиденд для MSFS: тождество $n_0(F) = \rho_{\mathrm{cov}}$ придаёт инварианту стадии коллапса из открытого вопроса (ii) MSFS кодовый смысл — основания с одинаковым бинарным инвариантом $\tau$ разделяются радиусом покрытия своей display-геометрии, а Фано-презентуемые слои сидят на экстремальном значении $n_0 = 1$: совершенная нормально-формная геометрия, каждое конечно-градуированное display-данное — в одном ремонте от эквивалентности.

Четырёхступенчатая шкала и внутренний no-go

Две теоремы ограничивают оставшийся зазор вокруг ΣQ1/ΣQ2.

Теорема T-230 [Т при Σ-FIB+F4] (четырёхступенчатый коллапс). Назовём карту гомоморфной, если вдобавок к (F1)–(F3) выполнено (F4): она переносит композицию в XOR и композиционно полна — каждая пара картных значений реализуется композабельной парой display-данных, композит которой реализует сумму. Тогда:

(а) (вынужденная линейность) $\sigma(\mathcal{C})$ — линейный код: композиты эквивалентностей суть эквивалентности, поэтому код замкнут относительно реализуемых сумм — картный отголосок Леммы Σ.5.

(б) (точный закон) Закон композиции MSFS $\mathrm{gr}(d_2 \circ d_1) \leq \max(\mathrm{gr}\,d_1, \mathrm{gr}\,d_2) + 1$ выполняется в карте т. и т.т., когда $\rho_{\mathrm{cov}}(\sigma(\mathcal{C})) \leq 3$. При $\rho_{\mathrm{cov}} \geq 4$ глубокая дыра $z = c + e_{i_1} + \cdots + e_{i_\rho}$ расщепляется как $z = x \oplus y$ с $\max(\mathrm{gr}\,x,\, \mathrm{gr}\,y) \leq \lceil \rho/2 \rceil \leq \rho - 2$ — нарушая закон; при $\rho_{\mathrm{cov}} \leq 3$ закон следует разбором случаев из трансляционной инвариантности: при $\max \leq 1$ имеем $d(x{\oplus}y) \leq d(x) + d(y) \leq 2$; при $\max \geq 2$ — $d(x{\oplus}y) \leq \rho_{\mathrm{cov}} \leq 3 \leq \max + 1$.

(в) (четыре ступени) Поскольку закон композиции — теорема грейдинга MSFS, всякий гомоморфно картированный слой имеет

$$n_0(F) \;=\; \rho_{\mathrm{cov}} \;\leq\; 3 :$$

башня интенсиональности схлопывается к третьей стадии, и шкала уточнения Мориты четырёхзначна, $n_0 \in \{0, 1, 2, 3\}$ — грейд-слепота; совершенная (Фано-типа) нормально-формная геометрия; промежуточная; максимальная глубина. Граница точна: display-геометрия Голея из §8a имеет $\rho_{\mathrm{cov}} = 3$ и удовлетворяет закону (проверено напрямую), так что верхняя ступень реализуется. Для картированного случая это отвечает на оба вопроса грейдинг-замечания MSFS: строгость (вопрос (i)) всегда падает к третьей стадии, а инвариант уточнения сверх $\tau$ (вопрос (ii)) — двухбитовая величина, с геометриями Хэмминга и Голея на двух нетривиальных экстремумах ($n_0 = 1$ и $n_0 = 3$).

Простыми словами: радиус покрытия кода — расстояние от худшей точки пространства до ближайшего кодового слова; здесь — число элементарных ремонтов, отделяющих самое дефектное display-данное от эквивалентности. Теорема говорит, что для любого гомоморфно картированного основания это число может быть только $0$, $1$, $2$ или $3$, и у каждой ступени есть конкретный свидетель:

ступень $n_0$	геометрия-свидетель	что это значит для слоя
$0$	полный код $\mathbb{F}_2^B$	грейд-слепота: каждое display-данное уже эквивалентность — чисто экстенсиональная геометрия
$1$	Хэмминг $H(7,4)$ / Фано	совершенная нормальная форма: каждое данное — в одном ремонте от эквивалентности, единственным образом (T-229)
$2$	повторение $[5,1,5]$	локализуемо, но не совершенно — геометрия-контрпример Наблюдения 1
$3$	Голей $[23,12,7]$	максимальная интенсиональная глубина; федеративная геометрия §8a, и граница достигается

Теорема T-231 [Т] (no-go внутренней карты). Если эквивалентность display-данных в $\mathrm{Int}([F])$ не разрешима внутренне в $\mathrm{Eff}$, слой не допускает никакой $\mathrm{Eff}$-внутренней карты Σ-FIB с данным конечным кодом: вычислимая $\sigma$ решала бы $\mathrm{gr}(d) = 0 \Leftrightarrow$ «$d$ — эквивалентность» (вычислить $\sigma(d)$, сравнить с конечным кодом). Инстанциация [С]: для $F = \mathsf{ETT}$ — где конверсия неразрешима из-за правила рефлексии, тот же факт, что стоит за $\tau(\mathbb{I}(\mathsf{ETT})) = 0$ в шаге 7 MSFS, — всякая карта Σ-FIB с необходимостью внешняя. Следствие [И]: программа Σ-Mor конструктивно раздваивается. Внутренняя синдромная диагностируемость интенсиональных дефектов — привилегия нормализующих display-геометрий ($\tau = 1$); ненормализующий слой можно картировать классически, но его собственные обитатели не могут исполнить диагноз. Это отрицательно решает внутреннее прочтение ΣQ1 для слоёв с $\tau = 0$: диагностируемость — не только арифметика баз, но и конструктивный ресурс.

ΣQ2 на уровне карт. Здесь ответ отрицателен, и окончательно: и геометрия повторения $[5,1,5]$ (ступень $2$), и геометрия Голея $[23,12,7]$ (ступень $3$) удовлетворяют всем картным аксиомам, включая гомоморфность, — их радиусы покрытия равны $2$ и $3$, так что закон $\max{+}1$ выполняется, — и обе обладают совершенной локализуемостью ($d_{\min} \geq 3$), не будучи Фано-презентуемыми. Слойное доказательство Σ-Mor, если оно существует, поэтому не может прийти из геометрии карт: оно обязано показать, что сама подлинная интенсиональность исключает ступени $2$ и $3$ — а это ровно ΣQ2, всё оставшееся содержание гипотезы на этом уровне. Программа опровержения [Г]: естественный кандидат на подлинный слой ступени $3$ — федеративное основание: три Фано-презентуемых основания, связанных общим калибровочным словом, чьи display-классы смешиваются суммой Тюрина из §8a; если такую $2$-категориальную федерацию удастся построить с проверенными (F1)–(F4), слойная Σ-Mor опровергается предъявлением. Любой исход решающий: доказательство ΣQ2 вскрыло бы неожиданную жёсткость интенсиональности; федеративный контрпример показал бы, что интенсиональный мир действительно содержит многоорганизменные display-геометрии.

Строгостная дихотомия и канонический ремонт (T-233)

Под ΣQ1 и ΣQ2 лежит один структурный вопрос: откуда вообще берутся положительные грейды? Порождающая индукция производит новые display-данные тремя операциями — $2$-пулбэк, композиция, транспорт вдоль $2$-клеток, — стартуя с эквивалентностей. Появится ли хоть что-то грейда $\geq 1$, целиком зависит от того, как читается «$2$-пулбэк».

Теорема T-233 [Т] (строгостная дихотомия; алфавит сбоев; канонический ремонт).

(а) Бикатегориальный коллапс. Если порождающие операции читаются бикатегориально — пулбэки как бипулбэки, транспорт вдоль обратимых $2$-клеток, — то все три сохраняют эквивалентности: композиты эквивалентностей суть эквивалентности, данное, изоморфное эквивалентности, само эквивалентность, а бипулбэк эквивалентности вдоль любого морфизма — эквивалентность (стандартный бикатегориальный факт). Значит $\mathcal{D}_F^{(n)} = \mathcal{D}_F^{(0)}$ при всех $n$: градуировка тождественно нулевая, $n_0(F) = 0$ для всякого основания, и гипотезы Σ-Mor не включаются вовсе. Интенсиональная градуировка невидима бикатегориальному глазу — она есть артефакт строгости в точном смысле: она измеряет явления, которых гомотопически-инвариантное чтение не видит. (Проверка согласованности: собственное MSFS-разделение MLTT/ETT на конечных стадиях выживает — его несёт инвариант нормализуемости $\tau$, определённый на самих данных, а не на их грейдах.)

(б) Алфавит сбоев, строго. В строгом прочтении ситуация меняется ровно в одной точке: строгий пулбэк эквивалентности вдоль $f$ — эквивалентность, когда $f$ — изофибрация (репрезентабельно: строгие пулбэки изофибраций суть бипулбэки — классический факт, что изофибрации суть фибрации канонической модельной структуры на $\mathbf{Cat}$, перенесённый вдоль представимых $K(X,-)$ в любую строгую $2$-категорию со строгими пулбэками), — и может ею не быть иначе. Композиция и обратимый транспорт по-прежнему сохраняют эквивалентности. Значит, всякое display-данное грейда $1$ есть строгий пулбэк $f^*e$ эквивалентности вдоль не-изофибрации: одиночные интенсиональные дефекты суть в точности провалы фибрантности, и база первой стадии всякой возможной карты обязана перечислять независимые направления провалов фибрантности.

(в) Канонический ремонт. Каждое данное грейда $1$ приходит с кандидатом на ремонт, которого ему никто не выдавал: со сравнением с бипулбэком. Для $d = f^*e$ существует канонический $1$-морфизм над базой из строгого пулбэка в псевдопулбэк, и проекция псевдопулбэка есть эквивалентность по (а). Полагая $c(f^*e) :=$ проекция псевдопулбэка, получаем оператор ремонта на всём слое грейда $1$ — существование и каноничность бесплатны; совершенная локализуемость Определения Σ.2 добавляет ровно единственность и свойство разбиения слоёв этого оператора.

Доказательство. (а) Композиция и обратимый транспорт немедленны; бипулбэк-устойчивость эквивалентностей стандартна (эквивалентность — это в точности морфизм, все бипулбэки которого существуют и являются эквивалентностями в репрезентабельном смысле). Индукция, стало быть, не покидает грейд $0$, и минимальный display-класс, содержащий эквивалентности и замкнутый относительно трёх операций, есть эквивалентности. (б) Репрезентабельно: каждый $K(X,-)$ переводит строгий пулбэк-квадрат в строгий пулбэк в $\mathbf{Cat}$, а изофибрацию — в изофибрацию (это и есть репрезентабельное определение); в $\mathbf{Cat}$ строгие пулбэки вдоль изофибраций суть бипулбэки, так что пулбэк эквивалентности — эквивалентность; вдоль общего $f$ ничто её не защищает. Данные, произведённые композицией или транспортом из материала грейда $\leq 0$, остаются в грейде $0$, так что единственный вход в грейд $1$ — провал фибрантности. (в) Морфизм сравнения строгого пулбэка с псевдопулбэком — часть универсального свойства последнего; псевдопроекция — эквивалентность по (а). $\blacksquare$

Что это делает с ΣQ1 ∧ ΣQ2 [И]. Оба вопроса становятся конкретными:

• ΣQ1′. Образуют ли направления провалов фибрантности подлинного основания конечный независимый базис — так что запись «какие провалы произошли» есть карта на $\mathbb{F}_2^B$? T-231 ограничивает конструктивную сторону: для слоёв с $\tau = 0$ всякая такая карта внешняя; T-233(б) говорит, что́ карта обязана считать.
• ΣQ2′. Всякое ли конечно-градуированное display-данное отстоит от эквивалентности на один канонический ремонт — то есть завершается ли оператор из (в), итерированный, за один шаг? Четырёхступенчатая шкала (T-230) ограничивает, насколько плохо это может провалиться при гомоморфных картах: не более чем двумя дополнительными ремонтами.

И парадигмальный тип-теоретический случай обретает лицо: рефлексия равенства в $\mathsf{ETT}$ — это максимальная строгификация: она схлопывает различие судженциального и пропозиционального, которое измеряют провалы фибрантности, — вот почему одно и то же основание является и $\tau = 0$-патологией T-231, и естественной средой нетривиальных грейдов. Интенсиональность в этой геометрии — отказ строгифицировать; её дефекты — провалы фибрантности; её диагностируемость — вопрос о том, допускают ли эти провалы конечную грамматику чётностей. Это и есть Σ-Mor, переформулированная так, что каждый термин теперь несёт категориальное определение.

Препятствие произведений: суперпозиция схлопывает башню (T-234)

Алфавит сбоев делает ΣQ2′ вычислимым в явных объемлющих $2$-категориях, и первое же вычисление решает его на большом естественном классе.

Игрушка, показывающая механизм. Работаем в $\mathbf{Cat}^B$ — строгой $2$-категории $B$-индексированных семейств категорий, с тремя действующими лицами: $\varnothing$ (пустая), $\mathbf{1}$ (терминальная), $\mathbb{I}$ (гуляющий изоморфизм $0 \cong 1$). Элементарный провал фибрантности из T-233(б) классичен: строгий пулбэк эквивалентности $\mathbf{1} \xrightarrow{\,0\,} \mathbb{I}$ вдоль не-изофибрации $\mathbf{1} \xrightarrow{\,1\,} \mathbb{I}$ есть $\varnothing \to \mathbf{1}$ — объектам пришлось бы удовлетворять равенству $0 = 1$ на носу, а таких нет. Один дефект, одна координата. Теперь возьмём две координаты и пулбэкнем диагональную эквивалентность $(\mathbf{1},\mathbf{1}) \xrightarrow{(0,0)} (\mathbb{I},\mathbb{I})$ вдоль $(\mathbf{1},\mathbf{1}) \xrightarrow{(1,1)} (\mathbb{I},\mathbb{I})$: получится $(\varnothing,\varnothing) \to (\mathbf{1},\mathbf{1})$ — двухдефектное данное, произведённое одним пулбэком первой стадии, буквально равное произведению двух однодефектных. Дефекты суперпонируются: всюду, где объемлющая категория умеет строить произведения пулбэк-квадратов, один порождающий шаг предъявляет любое конечное множество элементарных дефектов сразу.

Теорема T-234 [Т при Σ-FIB + F4× + (P)] (коллапс суперпозиции). Пусть слой несёт карту с (F1)–(F3), пусть (F4×) расширяет гомоморфность на послойные произведения ($\sigma(d_1 \times_F d_2) = \sigma(d_1) \oplus \sigma(d_2)$, когда произведение существует), и пусть выполнено (P): слой допускает бинарные $2$-произведения (эквивалентно: объемлющая категория имеет соответствующие строгие пулбэки над $F$ — тот же вид пределов, по которым уже квантифицирует display-индукция). Тогда:

(i) Каждая метка реализуется на первой стадии: для $x \in \mathbb{F}_2^B$ запишем $x = \sum_{b \in \mathrm{supp}(x)} e_b$; однофлиповые данные $d_b$ существуют по (F2), и итерированное послойное произведение $D_x := \times_{b \in \mathrm{supp}(x)} d_b$ — снова пулбэк эквивалентности (произведение пулбэк-квадратов есть пулбэк-квадрат произведений, произведение эквивалентностей — эквивалентность), так что $\mathrm{gr}(D_x) \leq 1$, при этом $\sigma(D_x) = x$ по (F4×).

(ii) Следовательно $d_H(x, \sigma(\mathcal{C})) = \mathrm{gr}(D_x) \leq 1$ для всякого $x$: радиус покрытия display-кода $\leq 1$, т.е. $n_0(F) \leq 1$ — гипотеза коллапса первой стадии из T-229 — не допущение, а следствие замкнутости относительно произведений.

(iii) Если вдобавок слой обладает совершенной локализуемостью ($d_{\min} \geq 3$), то радиус упаковки $\geq 1$ и радиус покрытия $\leq 1$ вынуждают совершенный код, исправляющий одну ошибку; Лемма Σ.1 даёт $|B| = 2^r - 1$, а клаузулы (D3)/жёсткости — $r = 3$: слойная Σ-Mor истинна на product-closed классе — ΣQ2′ там решён положительно, и всё оставшееся содержание гипотезы на этом классе есть ΣQ1′ (существование карты).

Доказательство. (i) Произведения строгих пулбэк-квадратов суть строгие пулбэк-квадраты произведённых коспанов (пределы коммутируют с пределами); произведения эквивалентностей — эквивалентности (квазиобратный и обратимые $2$-клетки строятся покомпонентно через $2$-универсальное свойство); итерация бинарного случая держит данное внутри «одного пулбэка одной эквивалентности». Если $x \notin \sigma(\mathcal{C})$, данное не эквивалентность по (F1), так что его грейд ровно $1$. (ii) Немедленно из (F1). (iii) $d_{\min} \geq 3$ делает шары радиуса $1$ дизъюнктными; $\rho_{\mathrm{cov}} \leq 1$ — покрывающими; равенство есть совершенство, а арифметика — Теоремы Σ. $\blacksquare$

Следствие (карантин верхних ступеней) [Т]+[И]. Геометрии ступеней $2$ и $3$ четырёхступенчатой шкалы — повторение $[5,1,5]$, Голей $[23,12,7]$, всё выше $n_0 = 1$ — не могут возникнуть ни в одном product-closed слое. Многосбойная интенсиональная геометрия требует препятствия произведений: объемлющей категории, в которой некоторые послойные произведения над $F$ не существуют, так что дефекты не могут суперпонироваться свободно. Программа федеративных оснований тем самым заостряется из надежды в спецификацию: подлинный слой ступени $3$ обязан быть федерацией, чей клей ломает (P) — члены должны быть неспособны объединять свои дефекты за один шаг. И это замыкает концептуальную петлю с T-232: сертифицированная башня/федерация, несущая грамматику Голея, — именно не свободное произведение; её две связи суть ограничения, и это ограничение видно с MSFS-стороны как то самое, что удерживает интенсиональную башню от коллапса. Свободное комбинирование разрушает глубокую диагностируемость; связывание её сохраняет.

Заметка об охвате. Собственный Шаг 2 MSFS снабжает каждый $1$-морфизм пулбэк-$2$-функтором, так что объемлющая $2$-категория формальных систем имеет пулбэки, нужные (P), в общем положении; при этом прочтении всякий подлинный слой MSFS product-closed, и слойная истинность Σ-Mor целиком сводится к ΣQ1′. T-240 сверяет прочтение с аксиомами Rich-метатеорий и фиксирует его точную границу; сама математика T-234 от него не зависит.

Заземление (P) в аксиомах R-S: сверка (T-240)

Условие Rich-метатеории (R5) поставляет ровно ту машинерию, которая нужна (P). Два места требуют аккуратности, и оба — вида строгое-против-псевдо, который выделяет T-233. Во-первых, правильный предел — не строгий $2$-пулбэк (строгость требовала бы согласия двух арифметических интерпретаций в $\mathrm{Syn}(F)$ на носу, что генерически проваливается даже между доказуемо изоморфными интерпретациями), а изо-запятая (псевдо-пулбэк) $\mathrm{Syn}(G) \times^{\mathrm{iso}}_{\mathrm{Syn}(F)} \mathrm{Syn}(H)$, объекты которой — пары контекстов вместе с выбранным доказуемым изоморфизмом их $F$-образов. Во-вторых, условие склейки — соответственно доказуемый изоморфизм образов, а не равенство интерпретаций, — и внутри интенсиональных слоёв оно выполняется канонично.

Теорема T-240 [Т] ((P) переживает R1–R5). Пусть $G \to F \leftarrow H$ — точные интерпретации Rich-систем и $P := \mathrm{Syn}(G) \times^{\mathrm{iso}}_{\mathrm{Syn}(F)} \mathrm{Syn}(H)$ — изо-запятая. Тогда:

(i) (R2, R4, R5 выполняются сразу) $P$ существенно $\mathbf{U}_1$-мала и lex (конечные пределы вычисляются покомпонентно, изо-свидетели транспортируются) и р.п.-презентована: объект есть тройка — контекст $G$, контекст $H$, $F$-доказательство изоморфности, — и (R2)+(R4) трёх систем перечисляют все тройки. Значит, внутренний язык $G \times_F H := \mathrm{Lang}(P)$ удовлетворяет (R2); (R4) следует из (R1)+(R2) по $\Sigma_1$-представимости р.п. предикатов в $\mathsf{Q}$; (R5a) выполняется с $\mathrm{Syn}(\mathrm{Lang}(P)) \simeq P$ — единица Ламбека–Скотта есть эквивалентность для существенно малых lex-категорий — и $\mathrm{Mod}(\mathrm{Lang}(P)) = \mathrm{Fun}^{\mathrm{lex}}(P, -)$ доступна (Габриэль–Ульмер; в градуированном случае $2$-пределы доступных категорий доступны, Маккаи–Паре), с параметром доступности, ограниченным более слабой ногой — $\kappa_{G \times_F H} \leq \min(\kappa_G, \kappa_H)$, — поскольку $\mathrm{Lang}(P)$ интерпретируем в каждой ноге вдоль проекций; (R5b) — та же эквивалентность единицы.

(ii) (R3 — согласованность наследуется от любой ноги) Проекции $\pi_G : P \to \mathrm{Syn}(G)$ и $\pi_H : P \to \mathrm{Syn}(H)$ lex, поэтому всякая модель $\mathcal{M} : \mathrm{Syn}(G) \to \mathbf{U}_2\text{-}\mathbf{Set}$ системы $G$ ограничивается до модели $\mathcal{M} \circ \pi_G$ системы $G \times_F H$, и аналогично от $H$. Послойное произведение непротиворечиво, коль скоро непротиворечива хотя бы одна нога: суперпозиция дефектов никогда не фабрикует противоречие, потому что послойное произведение уточняет контексты — оно не объединяет аксиомы.

(iii) (R1 — склейка, локализованная точно) $\mathrm{Lang}(P)$ интерпретирует $\mathsf{Q}$ т. и т.т., когда некоторая пара $\mathsf{Q}$-интерпретаций $G$ и $H$ имеет доказуемо изоморфные образы в $F$: при такой паре тройка $(\mathsf{Q}_G, \mathsf{Q}_H, \varphi)$ — это $\mathsf{Q}$-объект $P$; обратно, $\mathsf{Q}$-объект $P$ проецируется в такую пару, а его собственный свидетель поставляет изоморфизм. Это строго слабее согласия «на носу» из эскиза, и это точный остаток генеричности: коспан без изоморфной пары $\mathsf{Q}$-образов даёт lex-категорию $P$, язык которой проваливает (R1), — вырожденный клей, с точным свидетелем.

(iv) ((P) на интенсиональном секторе — каноническая склейка) В послойной постановке Σ-Mor display-данные над базой $F$ интенсиональны: дефекты — провалы фибрантности и $\tau$-синдромы, живущие на уровне определительного равенства и не сдвигающие экстенсиональный скелет (конзервативность в духе Хофманна — калибровочного уровня; канон корпуса со времени исправления T-235). Эквивалентность-с-точностью-до-дефектов каждого display-данного потому несёт его $\mathsf{Q}$-объект в образ, доказуемо изоморфный собственному образу $F$, склейка из (iii) выполняется канонично через $\mathsf{Q}_F$, и (P) — теорема, а не гипотеза, на интенсиональных R-S-слоях.

Доказательство. (i) Покомпонентные конечные пределы в изо-запятой стандартны; малость наследуется; тройственная презентация перечислима покоординатно по (R2)+(R4); $\Sigma_1$-представимость в $\mathsf{Q}$ — классическая теорема о представимости, применимая, как только склейка из (iii) поставляет (R1); Ламбек–Скотт и Габриэль–Ульмер/Маккаи–Паре — по цитатам; интерпретируемость вдоль lex-проекции ограничивает силу непротиворечивости, что по (R5a) ограничивает параметр доступности. (ii) Композиции lex-функторов lex. (iii) Оба направления как заявлено — достаточность предъявлением тройки, необходимость проекцией $\mathsf{Q}$-объекта и чтением его свидетеля. (iv) Экстенсиональная часть эквивалентности-с-точностью-до-интенсиональных-дефектов — подлинная эквивалентность, так что каждый образ доказуемо изоморфен образу $\mathsf{Q}_F$, а доказуемая изоморфность композируется. $\blacksquare$

Следствие (три вопроса становятся одним) [Т]+[И]. (P) выполняется безусловно на интенсиональных R-S-слоях, а на общих коспанах — ровно на $\mathsf{Q}$-склеенном срезе. Следовательно, коллапс суперпозиции T-234 применяется к каждому интенсиональному R-S-слою — $\rho_{\mathrm{cov}} \leq 1$, Σ-Mor истинна там по модулю ΣQ1′, — а в композиции с поточной картой (T-238 ниже): на интенсиональных R-S-слоях слойная Σ-Mor держится ровно на конечности и разделении калибровочно-инвариантного решённого сектора. Три вопроса — генеричность (P), коллапс первой ступени, существование карты — суть один вопрос об одном объекте. Граница строгое/псевдо — самое острое ребро программы: где строгость подлинно доступна, она завершает синдромы (T-237); где нет — правильным пределом является псевдо-предел (T-240); сама дихотомия двух прочтений — теорема (T-233).

Комплекс отношений классических принципов: остаток строгификации (T-235)

Вопрос, которому служит блок, — ΣQ1′: откуда взяться $\mathbb{F}_2$-структуре карты? Ближайший кандидат-источник — сами классические принципы: тогглы аксиом как флипы координат. Ответ — no-go с положительным остатком, и он держится на разделении двух уровней собственной архитектуры MSFS: эквивалентность Хофманна между $\mathsf{ETT}$ и $T_0 + \mathsf{UIP} + \mathsf{funext}$ — калибровочная (моритовская) эквивалентность, не слойная: нормализационный инвариант $\tau$ Шага 7 MSFS разделяет стороны ($\tau = 0$ против $\tau = 1$: вычислимая $2$-эквивалентность перенесла бы разрешимость конверсии). При разделённых уровнях тоггловое вычисление даёт три результата.

Теорема T-235 [Т при цитируемых фактах] (двухуровневая структура дефектов и остаток строгификации). Возьмём $B = \{\mathsf{UIP}, \mathsf{funext}, \mathsf{refl}\}$ над интенсиональной базой $T_0$ и вычислим тогл-классы на обоих уровнях архитектуры MSFS. Тогда:

(i) (no-go поглощения) Восемь тогл-множеств распадаются на четыре калибровочных класса ($\{\varnothing\}, \{\mathsf{u}\}, \{\mathsf{f}\}$ и пятиэлементный верхний класс, схлопнутый консервативностью Хофмана) и пять слойных классов ($\{\varnothing\}, \{\mathsf{u}\}, \{\mathsf{f}\}, \{\mathsf{u},\mathsf{f}\}$ и $\mathsf{refl}$-замыкание). Индуцированные $\Delta$-семейства — соответственно всё $2^B$ и идеал $\{\varnothing, \{\mathsf{u}\}, \{\mathsf{f}\}, \{\mathsf{u},\mathsf{f}\}\}$ — в обоих случаях содержат элементы веса $1$ и потому никогда не являются кодом с $d_{\min} \geq 3$. Тогл-геометрия идемпотентна ($S \cup S = S$): расширения поглощают, а не сокращают. Никакая карта Σ-FIB не реализуется аксиомными переключателями, ни на одном уровне — на этом маршруте no-go ΣQ1′ из T-233/T-234 безусловен.

(ii) (двухуровневый посет) Слойный посет дефектов трёх классических принципов — ромб с хвостом:

$$0 \;<\; \mathsf{u},\, \mathsf{f} \;<\; \mathsf{u} \vee \mathsf{f} \;<\; \mathsf{u} \vee \mathsf{f} \vee \rho,$$

где $\rho$ — остаток строгификации: шаг расширения $T_0 + \mathsf{UIP} + \mathsf{funext} \to \mathsf{ETT}$. Калибровочная проекция схлопывает ровно хвост ($\pi(\mathsf{refl}) = \mathsf{u} \vee \mathsf{f}$: консервативность Хофмана), тогда как слойный инвариант $\tau$ переключается ровно на хвосте (конверсия разрешима ниже, неразрешима выше).

(iii) (чисто интенсиональный атом) Следовательно, $\rho$ калибровочно-нем, но слойно-видим: дефект с нулевым экстенсиональным содержанием (не добавляет силы с точностью до интерпретации) и ненулевым интенсиональным (разрушает нормализацию). Это первый вычисленный пример чисто интенсионального атома дефекта, и $\tau$ — в точности его синдромный бит. Рефлексия равенства тем самым разлагается как «джойн $\mathsf{UIP}$ и $\mathsf{funext}$ плюс чисто интенсиональный остаток» — $\tau$ видит остаток и никогда — джойн.

Доказательство. (i) — вычисление классов (исчерпывающе по $2^B$) с использованием: $\mathsf{refl} \vdash \mathsf{UIP}, \mathsf{funext}$ (поглощение); консервативности Хофмана для калибровочного схлопывания; $\tau$-разделения для слойного уровня (разрешимость конверсии в $T_0$ с аксиомными константами против её неразрешимости при правиле рефлексии — Хофман, гл.~3). (ii) и (iii) перечитывают те же три факта как утверждения о проекции $\pi$ и инварианте $\tau$. $\blacksquare$

Следствие для проблемы Фано-основания [И]+[Г]. Инволютивная ($\mathbb{F}_2$) структура, нужная Σ-FIB-карте, не может прийти из расширений — идемпотентность запрещает это на каждом уровне. Ей нужна среда, где осмыслена чётность дефектов: градуированное или несущее полярность основание, где два нечётных дефекта могут скомпозироваться в эквивалентность, — и (iii) указывает, где искать: чисто интенсиональный сектор, ядро калибровочной проекции, первым известным обитателем которого является $\rho$. Проблема Фано-основания в её самой острой форме: найти основание, чей чисто интенсиональный сектор несёт семь инволютивных осей дефектов с отношениями Фано. Тройка $\{\mathsf{UIP}, \mathsf{funext}, \mathsf{refl}\}$ выделена не как кодовая линия, а как первая вычисленная нетривиальная клетка двухуровневой структуры: один калибровочный коллапс, один интенсиональный остаток, один синдромный бит. Чертёжная конструкция, отвечающая на проблему, дана далее.

Голономная конструкция: чертёж Фано-основания (T-236)

Проблема требует инволютивных дефектов в чисто интенсиональном секторе. Есть кажущееся препятствие и его точная инверсия — и инверсия есть октонионный репер T-227, пересаженный в теорию типов.

Препятствие, обращённое. Эндо-данное $d$ с $d \circ d \simeq \mathrm{id}$ автоматически эквивалентность ($d$ — свой же квазиобратный) — инволютивные дефекты не могут быть эндоморфизмами. Но они существуют как ориентации: зафиксируем носитель $X$ с автоморфизмом порядка два ($\mathsf{Bool}$ с $\mathsf{not}$) и объявим определительные копии $A_i \simeq X$, каждая с битом ориентации — копирующий изоморфизм либо чистый, либо скомпонованный с твистом. Переключение ориентации — инволюция на носу, а цикл ориентированных копий обладает вычислительной голономией: составная петля — замкнутый терм, вычисляющийся в $\mathrm{id}$ или в $\mathsf{not}$ согласно чётности пройденных битов ориентации. Разрешимый, эффективный инвариант — и чисто интенсиональный: определительные изоморфизмы не доказывают новых теорем; меняется лишь то, во что вычисляются петли.

Теорема T-236 (голономный чертёж).

(а) [Т] (жёсткость требует линейных произведений). Голые оси проваливаются: перекомпоновка любой одной копии с твистом — законная перемаркировка, так что действует полная флип-группа $\mathbb{F}_2^7$ и никакой ориентационный инвариант не выживает. Снабдим репер семью линейными произведениями Фано $\mu_\ell : A_i \times A_j \to A_k$, перенесёнными с XOR на $X$ со стандартным $\varphi$-знаковым коциклом. Флип-паттерн $c \in \mathbb{F}_2^7$ сохраняет все семь произведений т. и т.т., когда каждая линейная чётность $c$ обнуляется — вычислено исчерпывающе: сохраняющие флипы суть в точности симплексный код $2^3$ (веса $0$ и $4$) — та же группа, что диагональная часть монономиального стабилизатора в T-227(ii).

(б) [Т] (корректные синдромы). Поскольку симплекс содержится в коде Хэмминга, три проверочные чётности $s(v) = (\langle h_j, v\rangle)_{j}$ инвариантны под всяким структуросохраняющим флипом: $s(v \oplus c) = s(v)$ для всех $c$ из симплекса; $\ker(s)$ — в точности код Хэмминга, и $128$ ориентационных паттернов распадаются на восемь синдромных классов — проверено исчерпывающе. Три синдрома реализованы внутри теории как петлевые голономии $\chi_j$ проверочных циклов: замкнутые булевы термы, разрешимые вычислением.

(в) [Т] (ориентации осей — чистая калибровка). Отображение $v \mapsto e(v) = \varepsilon^0 \oplus N^{\mathsf T} v$ из ориентаций осей в таблицы знаков линий не покидает одного поточного класса: $128$ осевых презентаций реализуют один слойный класс. Модули конструкции потому живут этажом ниже — на знаках семи линейных произведений — и полная структура семейства презентаций есть решёточная калибровочная теория T-237.

(г) [И] (прочтение).****(д) [И] (прочтение). Чертёж — это тип-теоретический октонионный репер. Чисто интенсиональный сектор реализует группу чётностей $2^3$ защищённого кудита (T-227) как вычислительную голономию определительных изоморфизмов; диагностическая грамматика Γ-динамики и определительная структура теории типов несут одну и ту же конечную геометрию. Мост Σ-Mor тем самым замыкается концептуально — как утверждение о знаковых коциклах над $\mathrm{PG}(2,2)$, воплощённых один раз в квантовых реперах и один раз в поведении конверсии. То, что корпус называет диагностируемостью, и то, что теория типов называет интенсиональностью, — две тени одной геометрии чётностей.

Чертёж завершён: $\mathbb{Z}/2$-калибровочная теория на плоскости Фано (T-237)

С дискретными данными на знаках линий чертёж приобретает точную форму решёточной калибровочной теории на $\mathrm{PG}(2,2)$.

Теорема T-237 [Т] (калибровочная структура; полнота синдрома; совпадение метрик). Пусть репер несёт сигнатуру $(X;\ A_1,\dots,A_7;\ \varphi_i;\ \mu_\ell)$ с аксиомами произведений $\mu_\ell(a,b) = \varphi_k^{-1}(\varphi_i a \oplus \varphi_j b \oplus e_\ell)$, и пусть семейство презентаций — $T_e$, индексированное таблицей знаков линий $e \in \mathbb{F}_2^7$. Тогда:

(i) (калибровочная структура) Переинтерпретации осей $\varphi_i \mapsto \mathsf{not}^{c_i} \circ \varphi_i$ действуют на знаки как $e \mapsto e \oplus N^{\mathsf T} c$, где $N$ — инцидентность точка–прямая. Чисто-калибровочный сектор $\mathrm{Im}(N^{\mathsf T})$ — вычислено исчерпывающе — есть $[7,4]$-код с весовым энумератором $1 + 7x^3 + 7x^4 + x^7$: код Хэмминга на линейной стороне плоскости. Калибровочный стабилизатор $\ker N^{\mathsf T}$ — симплекс $2^3$: группа жёсткости T-236(а), которая тем самым есть калибровочный стабилизатор семейства. Поток $t(e) \in \mathbb{F}_2^3$ (три чётности по четвёркам линий, избегающих точку) калибровочно-инвариантен, имеет ядром ровно $\mathrm{Im}(N^{\mathsf T})$ и разбивает $128$ таблиц знаков на $8$ классов по $16$ — всё проверено исчерпывающе, включая калибровочную инвариантность $128 \times 128$.

(ii) (soundness — вильсоновские петли как замкнутые термы) Для каждой точки $p$ четыре линии, избегающие $p$, собираются в $4$-цикл частичных произведений (проверено для всех семи $p$: последовательные линии встречаются в четырёх различных осях), с каждым споттерным входом, заземлённым в $\varphi^{-1}(0)$. Составная петля — замкнутый булев терм, чьё решённое значение равно чётности потока $\sum_{\ell \in S} e_\ell$ — вильсоновская петля. Всякая эквивалентность теорий сохраняет решённые замкнутые термы; значит, презентации с разным потоком неэквивалентны при любом переводе, строгом или псевдо.

(iii) (полнота — достаточно строгой калибровки) Презентации с равным потоком различаются элементом $\mathrm{Im}(N^{\mathsf T})$, т.е. явной переинтерпретацией осей — строгим переводом, отображающим аксиомы в теоремы. Проверено исчерпывающе по всем однопоточным парам. Псевдо-перемаркировки не нужны нигде: синдром полон (регистр: H3.2).

(iv) (совпадение метрик) $\mathrm{Im}(N^{\mathsf T})$ имеет минимальное расстояние $3$ и радиус покрытия $1$; спроектированная метрика на классах принимает потому два значения $\{0, 1\}$, с нулём ровно на калибровочном секторе. Канонический display-грейдинг слоя имеет то же нулевое множество (грейд $0$ = эквивалентности = калибровка, по (ii)+(iii)), а по коллапсу суперпозиции T-234 вместе с $\rho_{\mathrm{cov}} = 1$ его слой первой стадии уже исчерпывает всё ненулевое. Две метрики совпадают (регистр: H3.3; общеслойный вопрос остаётся внутри ΣQ1′ / H3.1).

(v) (локализуемость, переехавшая) Элементарные дефекты живут на линиях: одиночная порча знака произведения $e \mapsto e \oplus 1_\ell$ несёт единственный ненулевой поток (семь однофлиповых потоков попарно различны — проверено), так что одиночные дефекты совершенно локализуемы через хэммингову структуру двойственной плоскости, с каноническим ремонтом «вернуть знак этого произведения». Совершенная семиосевая диагностируемость чертежа реализуется этажом двойственности ниже.

Прочтение [И]. Завершённый чертёж — $\mathbb{Z}/2$-решёточная калибровочная теория на плоскости Фано: оси несут калибровочную свободу, линейные произведения — поле, линейный код Хэмминга — чисто-калибровочный сектор, трёхбитовый поток — наблюдаемое содержание, а тип-теоретические вильсоновские петли — замкнутые булевы термы — её наблюдаемые. Два резонанса, оба помечены как прочтения: полярность двойственна Fano-отпечатку, где наблюдаемые скорости живут на точечной стороне (полярные классы), — две конструкции инструментируют две стороны самодвойственности плоскости; и вильсоновские петли — воплощение на этаже оснований аксиомного принципа корпуса, что структура измеряется петлями (Gap как голономия).

Поточная карта: карты — не дополнительная структура (T-238)

T-237 разбирает одно сконструированное семейство; её метод обобщается, и обобщение меняет форму ΣQ1′ (регистр: H3.1). Вопрос «допускает ли слой карту?» молчаливо трактует карту как структуру, которую нужно найти. Калибровочная картина говорит иначе: всюду, где карта вообще существует, есть канонический кандидат, построенный из одних лишь решённых предложений самой теории.

Определение (калибровочный группоид; калибровочно-инвариантные наблюдаемые) [О]. Зафиксируем сигнатуру $\Sigma$ и семейство $\mathbb{F}$ презентаций над $\Sigma$ (те же сорта и символы, варьируются аксиомы). Его калибровочный группоид имеет морфизмами переводы, отправляющие каждый $\Sigma$-символ в терм того же типа, а аксиомы — в теоремы; эквивалентности — обратимые с точностью до доказуемого равенства. Наблюдаемая — замкнутый булев терм над $\Sigma$; она калибровочно-инвариантна, если всякий калибровочный морфизм $F$ переводит её в терм, доказуемо равный ей в цели ($F(b) =_{\mathrm{prov}} b$ — как у вильсоновских петель: твисты $\mathsf{not}^{c_i}$ входят и выходят из каждой посещённой оси парно и доказуемо сокращаются). Обозначим $\mathrm{Obs}_G(\mathbb{F})$ калибровочно-инвариантные наблюдаемые и определим поточный профиль $t(T) := \bigl(\text{решённое значение } b \text{ в } T\bigr)_{b \in \mathrm{Obs}_G}$.

Теорема T-238 [Т] (каноничность карт на семействах фиксированной сигнатуры).

(i) (инвариантность) Если $F : T \simeq T'$ — эквивалентность калибровочного группоида и $b \in \mathrm{Obs}_G$, то $T \vdash b = \beta$ т. и т.т., когда $T' \vdash b = \beta$: эквивалентности сохраняют решённые значения переведённых термов, а калибровочная инвариантность заменяет переведённый терм самим $b$. Значит, поточный профиль спускается на классы эквивалентности.

(ii) (каноническая карта — и обращение) (а) Если поточный профиль имеет конечный $\mathbb{F}_2$-ранг и разделяет калибровочные орбиты $\mathbb{F}$, то $\sigma := t$ — карта, удовлетворяющая (F1)–(F3), без каких-либо дальнейших выборов. (б) Обратно, всякая терм-определимая карта пропускается через поточный профиль: координата карты, реализованная замкнутым термом, в силу собственной (F1)-инвариантности есть калибровочно-инвариантная наблюдаемая. Итак, на семействах фиксированной сигнатуры карта — не дополнительная структура: это калибровочно-инвариантный решённый сектор алгебры термов, и единственная свобода — какой конечный суб-профиль читать.

(iii) (экземпляр) Семейство чертежа $T_e$ реализует (ii-а) в точности: $\mathrm{Obs}_G \supseteq$ три вильсоновские петли; поток равен $t(e)$; soundness T-237 — это (i), а её полнота — гипотеза разделения, проверенная исчерпывающе. Карта чертежа никогда не проектировалась; она с самого начала была потоком.

Доказательство. (i) Переводы сохраняют доказуемость, так что $T \vdash b = \beta$ даёт $T' \vdash F(b) = \beta$; калибровочная инвариантность даёт $T' \vdash F(b) = b$; транзитивность завершает, и симметрично для $F^{-1}$. (ii-а) (F1): нулевое множество профиля есть класс базовой точки по разделению; форма грейда как хэммингова расстояния следует из чтения профиля в координатах. (F2)–(F3) — переформулированные гипотезы конечности и разделения. (ii-б) Терм-определимая координата — замкнутый булев терм, постоянный на классах эквивалентности; постоянство против всякой калибровочной эквивалентности — ровно свойство инвариантности, с точностью до замены терма его переводом — доказуемое равенство, — что и есть определение $\mathrm{Obs}_G$. (iii) — это T-237. $\blacksquare$

Следствие для ΣQ1′ [И]. Остаток чисто распадается надвое. Для семейств фиксированной сигнатуры вопрос конкретен и внутренен: конечен ли ранг калибровочно-инвариантного решённого сектора и разделяет ли он орбиты? — свойство самого семейства теорий, а не поиск внешней структуры (T-231 — конструктивное препятствие: член с $\tau = 0$ не может исполнить разделение внутренне). Для общих слоёв остаётся один дальнейший шаг — выравнивание сигнатур: объекты подлинного слоя живут над разными сигнатурами, и сравнение их потоков требует выбранного словаря; вынуждает ли подлинная интенсиональность выравнивание (а с ним и поточную карту) — оставшаяся форма ΣQ1′ (регистр: H3.1). Не «найди карту» — «выровняй сигнатуры; дальше карта канонична».

Нативное Фано: плоскость дуальностей доктрины глубины 3 (T-241)

Проблема Фано-основания (регистр: H3.4) спрашивает, реализует ли какое-нибудь естественное основание грамматику, которую чертёж строит. Чертёж пересаживает $\mathrm{PG}(2,2)$ в основание руками; вопрос — вырастает ли она у математики сама. В основаниях есть место, где плоскость Фано возникает нативно — не внутри какой-то теории, а уровнем выше, в доктрине: это группа дуальностей.

$n$-категорию можно обращать на каждом уровне независимо: $\mathrm{op}_k$ обращает $k$-клетки и ничего больше. Эти обращения инволютивны, коммутируют друг с другом и являются автоморфизмами самой доктрины. При $n = 1$ это даёт единственную классическую дуальность $\mathcal{C} \mapsto \mathcal{C}^{\mathrm{op}}$ — фольклорная жёсткость: это единственная нетривиальная самоэквивалентность $\mathbf{Cat}$. При $n = 2$ — классическую тройку: $\mathrm{op}$, $\mathrm{co}$, $\mathrm{coop}$.

Теорема T-241 [Т] (лестница дуальностей и нативная плоскость).

(i) Для всякого $n \geq 1$ поуровневые обращения $\mathrm{op}_S$, $S \subseteq \{1, \dots, n\}$, образуют каноническую подгруппу $\cong (\mathbb{Z}/2)^n$ группы дуальностей доктрины $n$-категорий: обращения на разных уровнях строго коммутируют, каждое инволютивно, и разные $S$ действуют по-разному (на свободно стоящей $k$-клетке $\mathrm{op}_S$ меняет местами источник и цель ровно на уровнях из $S$). При $n = 1$ подгруппа есть вся группа дуальностей (классика); точность при высших $n$ ожидаема, но ниже не нужна — плоскости достаточно канонической подгруппы.

(ii) (лестница) Проективная геометрия этой группы: при $n = 1$ — одна дуальность и ни одной линии; при $n = 2$ — три дуальности $\mathrm{op}, \mathrm{co}, \mathrm{coop}$ лежат на одной прямой, $\mathrm{PG}(1,2)$; при $n = 3$ — семь нетривиальных классов обращений с линиями-тройками $\{a, b, ab\}$ (подгруппы порядка $4$ без единицы) удовлетворяют всем аксиомам проективной плоскости: единственная линия через любые две точки, единственная точка пересечения любых двух линий, три точки на линии, три линии через точку. Плоскость Фано — проективная плоскость группы дуальностей доктрин глубины 3. (Проверено машинно исчерпывающе, включая ступени $n = 1, 2$.)

(iii) (линейные петли замыкаются) На каждой линии $\{a, b, ab\}$ треугольник тоглов композируется в тождество: $a \cdot b \cdot (ab) = \mathrm{id}$. Значит, петлевая голономия T-236 корректно поставлена на каждой линии дуальностей: в строгой доктрине она тривиально тождественна, а в слабой доктрине её значение — канонический автоморфизм тождества, ровно тот вид строгостного остатка, который измеряют $\rho$ и $\tau$ (T-233/T-235).

Доказательство. (i) Коммутация и инволютивность — поуровневые вычисления; различность на свободно стоящих клетках — как заявлено; жёсткость $\mathbf{Cat}$ при $n = 1$ — классический фольклор. (ii) Исчерпывающий перебор по $(\mathbb{Z}/2)^n$, $n \leq 3$: подгрупповая замкнутость каждой линейной тройки, единственность соединений и пересечений, счёт инцидентности $3/3$. (iii) $a \oplus b \oplus (a \oplus b) = 0$ в $(\mathbb{Z}/2)^3$. $\blacksquare$

Прочтение [И] (среда обитания). Корпус выбирает число три как глубину лицензированной само-композиции тремя независимыми теоремами — $\mathrm{SAD}_{\max} = 3$, максимум жизнеспособности T-239, канон $m = 3$ из T-232, — а потолок Постникова обрезает опытную башню на $\tau_{\leq 3}$. Естественная среда обитания систем глубины 3 — доктрина глубины 3; и там инцидентность Фано предсуществует: без дизайна, без пересадки. Дисциплинарная заметка: совпадение этого $\mathbb{F}_2^3$ (дуальности) с поточным $\mathbb{F}_2^3$ чертежа (T-237) не заявляется тождеством — оно предрегистрировано в таблице резонансов эпистемической вертикали, и установить его или опровергнуть — ровно открытое содержание H3.4.

Заострённая цель. Грамматика чертежа требует семи инволютивных осей над плоскостью, нетривиальной калибровочно-инвариантной голономии на них и инцидентности $\mathrm{PG}(2,2)$. Резкий вопрос: есть ли естественная структура, несущая семиосный репер с нетривиальной калибровочно-инвариантной голономией? T-243 отвечает — и локализует голономию на осях, а не на линиях.

Октонионная реализация: репер естественен (T-243)

Самый канонический неассоциативный объект математики реализует репер напрямую. По представлению Альбукерке–Маджида, алгебра октонионов $\mathbb{O}$ есть скрученная групповая алгебра $k_\varphi[(\mathbb{Z}/2)^3]$ — градуированная ровно поточной группой $(\mathbb{Z}/2)^3$ из T-237, с $e_g e_h = \beta(g,h)\, e_{g+h}$ и единицей $e_0 = 1$. Семь мнимых единиц суть семь осей Фано; каждое утверждение ниже машинно проверено на октонионах Кэли–Диксона.

Теорема T-243 [Т] (октонионный пивотальный репер; H3.4 отвечено положительно).

(i) (градуировка — поточная группа) Существует линейная маркировка семи мнимых единиц элементами $(\mathbb{Z}/2)^3 \setminus \{0\}$ с $e_g e_h = \pm e_{g+h}$; группа градуировки — поточная группа T-237 $(\mathbb{Z}/2)^3$, а линии Фано суть семь подгрупп порядка $4$ (тройки $\{g,h,g{+}h\}$).

(ii) (нетривиальная пивотальная голономия на каждой оси) Каждая ось несёт знак самодвойственности $\beta(g,g) = -1$ для всех $g \neq 0$ ($e_g^2 = -1$): семь осей кватернионны (знак Фробениуса–Шура $-1$), никогда не вещественны $+1$. Этот знак калибровочно-инвариантен — перемаркировка $e_g \mapsto s(g)\,e_g$ отправляет $\beta(g,g) \mapsto s(g)^2\beta(g,g) = \beta(g,g)$ — значит, подлинная $\mathbb{Z}/2$-голономия, нетривиальная на всех семи осях сразу.

(iii) (инцидентность сортирует неассоциативность точно) Ассоциатор равен $\alpha(g,h,k) = (-1)^{\det_{\mathbb{F}_2}(g,h,k)}$ (проверено на всех $343$ ненулевых тройках). Значит, он $+1$ на каждой линии Фано — линии суть семь ассоциативных кватернионных подалгебр $\mathbb{H}$ — и $-1$ ровно на $168$ линейно независимых «объёмных» тройках. Знак плетения $\beta(g,h)\beta(h,g) = -1$ (различные оси антикоммутируют) также калибровочно-инвариантен.

(iv) (естественная голономия — на осях и объёмах, не на линиях) Полинейные знаки ориентации — чистая калибровка (знаковая перемаркировка их переворачивает), так что линия Фано не несёт собственной калибровочно-инвариантной голономии — согласно T-237, где знаки линий суть хэммингов калибровочный сектор. Нетривиальное калибровочно-инвариантное содержание естественного репера, следовательно: пивотальный знак $-1$ на семи точках*, антикоммутация $-1$ на* рёбрах*, ассоциатор $(-1)^{\det}$ на* объёмах*. Линии тривиальны.*

Доказательство. (i)–(iii): исчерпывающее вычисление на октонионах Кэли–Диксона — линейная маркировка находится перебором, $\beta(g,g)=-1$ и $\beta(g,h)\beta(h,g)=-1$ считываются, $\alpha = (-1)^{\det}$ проверяется на всех $7^3$ ненулевых тройках, значение $+1$ на линии подтверждается на всех $175$ внутрилинейных тройках, совпадение $168$ отрицательных ассоциаторов с независимыми тройками верифицировано. Калибровочная инвариантность $\beta(g,g)$ и $\beta(g,h)\beta(h,g)$ — сокращение $s(g)^2 = 1$; калибровочная зависимость ориентаций линий предъявляется знаковой калибровкой, их переворачивающей. (iv) переизлагает (ii)–(iii) с калибровочным анализом. $\blacksquare$

Прочтение [И] (H3.4, отвечено). Чертёж (T-236/T-237) — спроектированная пересадка репера в основание; T-243 показывает, что тот же репер есть внутренняя структура октонионов — единственной неассоциативной нормированной алгебры с делением — градуированной собственной группой дуальностей доктрины $(\mathbb{Z}/2)^3$ (T-241). Вопрос естественности H3.4 тем самым отвечен положительно: семиосный репер Фано с нетривиальной ($\mathbb{Z}/2$, кватернионной) голономией — не артефакт дизайна, а каноническая пивотальная структура $\mathbb{O}$. Две вещи заостряют прежнее ожидание. Во-первых, нетривиальная голономия живёт на осях (пивотальный знак) и объёмах (ассоциатор), тогда как линии ассоциативны и калибровочно-тривиальны — так что ожидавшаяся «голономия линии дуальностей» — не то место; естественный факт есть знак Фробениуса–Шура на точках. Во-вторых, ассоциатор $(-1)^{\det}$ есть кограница произведенческого коцепи (квазиалгебраическая структура), так что неассоциативность реальна как коцепь, но $H^3$-тривиальна — калибровочно-инвариантный носитель нетривиальности репера есть пивотальный знак, не класс ассоциатора. Остаётся вопрос отбора, а не существования: индуцирует ли интенсиональная динамика данного основания октонионный пивотальный знак ($-1$), а не тривиальный ($+1$). T-244 его решает.

Что заставляет выбрать $-1$: невырожденность и есть отбор (T-244)

Отбор — не свободные данные. Знак $-1$ против $+1$ на оси есть в точности разница между делительными октонионами и расщеплёнными октонионами, и лишь одна из двух вообще является диагностическим репером.

Теорема T-244 [Т] (пивотальный знак $-1$ вынужден невырожденностью; отбор $=$ деление Гурвица).

(i) (две реализации) Ось имеет пивотальный знак $-1$ т. и т.т., когда она анизотропна, $e_g^2 = -1$; знак $+1$ — когда $e_g^2 = +1$. Все семь знаков суть $-1$ т. и т.т., когда репер есть делительные октонионы $\mathbb{O}$ (сигнатура нормы $(7,0)$, без делителей нуля — проверено); единственный $+1$ делает репер расщеплённой композиционной алгеброй (сигнатура $(3,4)$, проверено).

(ii) ($+1$ — нулевое направление, немой дефект) Ось с $+1$ несёт идемпотентный делитель нуля $\tfrac{1}{2}(1 + e_g)$, поскольку $(1+e_g)(1-e_g) = 1 - e_g^2 = 0$ (проверено на расщеплённых октонионах ровно на четырёх $+1$-осях). Диагностически это дефект $d$ с $d^2 = d$: ни эквивалентность (грейд $0$, обратимый), ни локализуемый одиночный сбой (невырожденная инволюция) — синдромное направление, на котором «сбой есть» неотличимо от «здоров». Его наличие роняет минимальное расстояние ниже $3$: совершенная локализуемость (Теорема Σ, Щит I) проваливается на $+1$-оси.

(iii) (значит, диагностируемость вынуждает $-1$, и это условие $N=7$) Совершенно диагностируемый репер не допускает нулевого направления, значит всякая ось анизотропна, значит всякий пивотальный знак есть $-1$: репер — делительные октонионы. Это не добавленная гипотеза — анизотропность нормированной алгебры есть в точности свойство деления, которое по Гурвицу ограничивает нормированные алгебры с делением размерностями $1,2,4,8$ и выбирает $N = \dim\mathrm{Im}\,\mathbb{O} = 7$. То самое условие, что даёт реперу семь осей, фиксирует их пивотальные знаки в $-1$.

Прочтение [И] (отбор решён). Основание «выбирает» $-1$ единственным актом невырожденной диагностируемости — равносильно, неся анизотропную интенсиональную норму (без нулевых направлений), равносильно положительную/рефлексивно-позитивную семантическую метрику. Альтернатива $+1$ (расщепление) — не соперничающее основание с другим знаком; это вырожденный репер, чьи $+1$-оси суть немые дефекты, а норма имеет нулевые векторы — ровно основание, проваливающее совершенную диагностируемость. Отбор потому сварен с определением репера: $-1$, анизотропность, деление и гурвицево $N=7$ — одно условие в четырёх видах. Это закрывает вопрос отбора и, вместе с T-243, естественность H3.4: совершенно диагностируемое основание реализовано определёнными октонионами со всеми семью пивотальными знаками $-1$, и как семиричность, так и знак вынуждены одной невырожденностью. (Единственный послойный остаток — проверяемый факт, анизотропен ли конкретный кандидат: инстанциация, не структурный пробел.)

Вынуждает ли интенсиональность $d_{\min} \geq 3$? Разложение и порог перегрузки (T-245)

ΣQ1′ (регистр: H3.1) спрашивает, совершенно ли локализуем подлинный интенсиональный слой — $d_{\min}(\sigma(\mathcal{C})) \geq 3$, всякий одиночный провал фибрантности однозначно диагностируем. Честный ответ — резкая характеризация, и это не безусловное «да».

Прочтём проверки чётности как синдромное отображение: всякое базовое направление $i$ (элементарный провал фибрантности) получает синдромный столбец $h_i \in \mathbb{F}_2^r$. Классический факт, проверенный напрямую:

$$d_{\min} \geq 3 \iff \text{все } h_i \neq 0\ (\textbf{невырожденность}) \ \wedge\ \text{все } h_i \text{ различны } (\textbf{разделение}).$$

Теорема T-245 [Т] (разложение $d_{\min}$; дихотомия перегрузки).

(i) (невырожденность — решённая половина) Нулевой столбец $h_i = 0$ есть немой дефект — базовое направление, чей одиночный флип есть эквивалентность (кодслово веса $1$). По T-244 немое направление — нулевое направление (идемпотентный делитель нуля), исключённое анизотропностью, которую вынуждает непротиворечивость. Значит невырожденность выполняется на всяком непротиворечивом слое: $d_{\min} \geq 2$ вынуждено.

(ii) (перегрузка вынуждает $d_{\min} = 2$) Если число независимых направлений провала превышает синдромную ёмкость, $|B| > 2^r - 1$, то по принципу Дирихле два столбца совпадают, $h_i = h_j$ — спутанная пара, кодслово веса $2$ — так что $d_{\min} = 2$ (проверено для $r = 2,3,4$). Перегруженный интенсиональный слой потому не совершенно локализуем: интенсиональность в общем случае не вынуждает $d_{\min} \geq 3$.

(iii) (насыщение — репер Фано) Невырожденный разделённый код с $\rho_{\mathrm{cov}} \leq 1$ (вынужденным на интенсиональных R-S-слоях по T-240) есть совершенный однооши­бочно-исправляющий код, значит Хэмминг с $|B| = 2^r - 1$; клаузы жёсткости фиксируют $r = 3$, $|B| = 7$ — репер Фано (Теорема Σ). Совершенство — случай равенства $\rho_{\mathrm{cov}} = 1 =$ радиус упаковки, достижимый лишь при насыщении.

(iv) (остаток — верность) С решённой невырожденностью $d_{\min} \geq 3$ сводится к разделению $\equiv$ синдром верен (различные провалы $\to$ различные синдромы). Это не вынуждено интенсиональностью как таковой — перегруженный слой его опровергает — и это всё оставшееся содержание ΣQ1′.

Прочтение [И] («семь, не больше» есть фронтир $d_{\min}$). Разложение точно перелокализует ΣQ1′. Его немо-дефектная половина закрыта (невырожденность $=$ анизотропность T-244); его спутанно-парная половина есть в точности верность синдрома, и теорема о перегрузке показывает, что это подлинная граница, а не формальность: за синдромной ёмкостью совершенная локализуемость обязана провалиться. Точка насыщения — семь направлений провала, разделённых тремя проверками, $|B| = 2^r - 1 = 7$ — есть место, где верный невырожденный синдром встречает $\rho_{\mathrm{cov}} = 1$ с равенством, т.е. репер Фано. Так что дисциплина корпуса «башней, не шириной — и не выше семи» — не предпочтение, а фронтир $d_{\min} \geq 3$: более широкий одиночный уровень перегружает синдром и теряет совершенную локализуемость по Теореме T-245(ii). Единственный неприводимый атом, что остаётся, — верен ли грейдинг подлинного интенсионального слоя; конструктивная сторона ограничена T-231 (слой с $\tau = 0$ не может исполнить разделение внутренне), так что верность — свойство нормализующих ($\tau = 1$) оснований — заострённая финальная форма ΣQ1′. T-246 его растворяет.

Атом верности есть деление: ΣQ1′ закрыта на репере (T-246)

Верность выглядела независимой гипотезой. Она не такова: это та же невырожденность, что T-244 уже вынудил, прочитанная на парах, а не на точках.

Теорема T-246 [Т] (верность $=$ деление; ΣQ1′ закрыта на репере, и остаток конечности).

(A) (верность вынуждена делением) Спутанная пара (кодслово веса $2$: $e_i + e_j \in \mathcal{C}$, $i \neq j$) есть в точности два различных дефекта, чья суперпозиция есть эквивалентность. На октонионном делительном репере (T-243) суперпозиция дефектов $i, j$ есть их произведение $e_i e_j = e_{i+j}$ — третий дефект, грейда $1$, никогда не эквивалентность — ибо в алгебре с делением $e_i e_j$ скаляр лишь когда $i = j$ (иначе $e_j = \pm e_i^{-1} = \mp e_i$ вынуждает $i = j$). Проверено исчерпывающе: всякий паттерн веса $2$ имеет грейд $1$, минимальные эквивалентности суть в точности семь кодслов веса $3$ — линии Фано $\{i, j, i{+}j\}$, а $d_{\min} = 3$. Значит невырожденность запрещает и немые дефекты (вес $1$: сокращение против единицы, T-244), и спутанные пары (вес $2$: сокращение между различными дефектами) — верность есть следствие деления, а не отдельное допущение.

(B) (остаток — конечность, и $\tau = 1$ её поставляет) С бесплатной верностью единственное препятствие к конечной карте Фано — конечность грейд-$1$ спектра. При конечной сигнатуре провалы фибрантности локализованы на формерах: композиции изофибраций суть изофибрации, так что композит проваливает фибрантность т. и т.т., когда её проваливает порождающий множитель, и всякий элементарный дефект приписывается порождающему формеру. На нормализующей ($\tau = 1$) теории фибрантность каждого формера решается равномерно — схематическое правило нормализуется или нет, независимо от экземпляра — так что спектр имеет не более (число формеров) классов: конечен. Конечный делительно-замкнутый спектр есть группа $(\mathbb{Z}/2)^r$; при $\rho_{\mathrm{cov}} \leq 1$ (T-240) совершенный код — Хэмминг, а гурвицев/анизотропный отбор (T-244) фиксирует $r = 3$, $|B| = 7$.

Заключение. На $\tau = 1$-слое интенсиональном R-S конечной сигнатуры совершенная локализуемость ($d_{\min} = 3$) и семиосный репер Фано вынуждены: невырожденность (T-244) даёт верность, нормализация даёт конечность. ΣQ1′/H3.1 закрыта на этом классе; T-231 ограничивает сторону $\tau = 0$ (нет внутренней карты). $\blacksquare$

Прочтение [И] (дуга замыкается). Вся программа ΣQ1′ сводится к одному слову — деление. Немые дефекты (вес $1$) и спутанные пары (вес $2$) суть единственные два способа $d_{\min}$ упасть ниже $3$, и оба суть сокращения к скаляру: первое против единицы, второе между двумя единицами. Алгебра с делением не имеет ни того, ни другого, а невырожденность (непротиворечивость, рефлексивная позитивность) есть в точности условие деления (T-244). Так что совершенная локализуемость, постулированная T-229, естественность T-243, знак T-244 и теперь верность T-246 — один факт — октонионы суть алгебра с делением — увиденный с четырёх сторон, с линиями Фано в роли минимальных эквивалентностей, ибо суперпозиция несёт $(i,j)$ в третью коллинеарную точку $i{+}j$. Последняя структурная дыра этажа оснований закрыта на репере; остаётся не открытая проблема, а инстанциация — проверить для конкретного кандидата, что его спектр дефектов есть конечная анизотропная семёрка, что есть N $= 7$-отбор корпуса (Гурвиц, Теорема Σ), гашённый посигнатурно.

§8a. Голей-федерация: три организма и зеркальный клей

Теорема Σ(v) локализует единственную совершенную ступень $t = 3$ на $n = 23$, и Приложение K спецификации спрашивало (открытая проблема (ii)), допускает ли $23$-осевая федеративная грамматика целостности — «три организма по семь осей плюс две федеративные шины» — естественное УГМ-прочтение. Допускает, и прочтение — классическая конструкция.

Простыми словами: грамматика целостности федерации — это общий алфавит сбоев, правило, превращающее любую картину сломанных осей — где угодно среди членов — в синдром, называющий виновников. Совершенная — значит наилучшая мыслимая версия этого: каждая картина из не более чем $t$ сбоев имеет ровно один диагноз, и ни один синдром не потрачен впустую на картины, которых не бывает, — то самое сферо-упаковочное равенство, что сделало $H(7,4)$ единственным выбором для одного организма. Теорема говорит: при трёх организмах такая грамматика существует (единственная), исправляет любые три одновременных сбоя, её координатная раскладка — в точности

$$\underbrace{[\,7\ \text{осей} \mid \text{шина}\,]}_{\text{организм 1}}\; \underbrace{[\,7\ \text{осей} \mid \text{шина}\,]}_{\text{организм 2}}\; \underbrace{[\,7\ \text{осей} \mid \text{шина}\,]}_{\text{организм 3}},$$

а при четырёх и более организмах ничего подобного не существует вовсе.

Теорема T-228 [Т] — федерация Тюрина

Пусть $A = \hat H$ — расширенный код Хэмминга $[8,4,4]$ корпусного репера — семь осей плюс их шина чётности, — а $B = \hat H^{\mathrm{mir}}$ — расширение зеркального кода Хэмминга (репер с реципрокным генератором: обращённая ориентация той же плоскости Фано). Тогда:

(i) $A \cap B = \{0, \mathbf 1\}$, и сумма Тюрина $\{(a{+}x,\; b{+}x,\; a{+}b{+}x) : a, b \in A,\ x \in B\}$ есть расширенный двоичный код Голея $[24,12,8]$ — весовой энумератор $1 + 759x^8 + 2576x^{12} + 759x^{16} + x^{24}$, проверено исчерпывающе.

(ii) Каждое кодовое слово имеет чётный вес на каждом из трёх $8$-блоков, так что восьмая координата каждого блока — шина чётности его семи осей: геометрия координат — в точности три организма по семь осей, каждый со своей шиной.

(iii) Прокол одной шинной координаты даёт совершенный код Голея $[23,12,7]$: $t = 3$, сферо-упаковочное равенство $4096 \cdot (1 + 23 + 253 + 1771) = 2^{23}$. Счёт координат после прокола читается как $23 = 3\cdot 7 + 2$ — три реперных семёрки плюс две уцелевшие шины: нумерологическая догадка спецификации есть точная координатная арифметика проколотой конструкции Тюрина.

Следствие (федеративная грамматика) [Т]+[И]. Федерация ровно трёх семиосевых организмов — каждый со своим Фано-репером и шиной, склеенных общим словом, пробегающим зеркальную ориентацию, — несёт единственную существующую совершенную грамматику целостности на $3$ сбоя (единственность двоичного кода Голея): любые три одновременных осевых сбоя где угодно по федерации совершенно локализуемы, с нулевым синдромным расточительством. Это и есть естественное УГМ-прочтение, запрошенное открытой проблемой (ii) Приложения K.

Следствие (клей — это зеркало) [Т]+[И]. Код клея $B$ — другая ориентация той же плоскости: федерация говорит со своими членами в обращённой ориентации Фано. Обе энантиоморфные маркировки — отождествляемые лишь абстрактно клаузулой единственности Теоремы Σ — конкретно присутствуют в федерации: одна как грамматика членов, другая как клей.

Следствие (эхо потолка, структурировано) [Т]+[Г]. По ван Линту–Титявяйнену (Лемма Σ.7) единственные совершенные двоичные коды с более чем двумя словами — семейство Хэмминга ($t = 1$) и код Голея ($t = 3$, $n = 23$); двусловные повторные грамматики исключены (D3). Значит, никакая федерация из четырёх и более организмов не допускает совершенной многосбойной грамматики никакого порядка — сертифицированно-совершенная целостность ограничена тремя членами. Композиционная башня архитектуры ограничена тремя по независимой причине (лестница чистоты $P^{(4)}_{\mathrm{crit}} = 54/35 > 1$). Два несвязанных вывода — упаковка сфер и арифметика чистоты — ограничивают одну величину одним значением. §8b даёт совпадению общий скелет, а T-239 разрешает отношение двух механизмов.

§8b. Лестница башен: $8m - 1$ и дихотомия совершенных грамматик

Федерация §8a — горизонтальна: три организма бок о бок. Другая ось роста архитектуры — вертикальная: композитная башня, организмы, составленные композицией, с потолком три из лестницы чистоты ($P^{(4)}_{\mathrm{crit}} = 54/35 > 1$). Оказывается, вертикальная ось несёт собственную кодовую арифметику — и она выбирает то же число $3$, независимо от чистоты.

Учётная аксиома Σ-TOW [О]. Сертифицированная башня высоты $m$ состоит из $m$ семиосевых организмов и $m - 1$ связей между смежными уровнями; каждая ось и каждая связь вносят по одному бинарному биту здоровья в диагностическую нагрузку башни. Итого:

$$U(m) \;=\; 7m + (m - 1) \;=\; 8m - 1 .$$

Учёт минимально честен: связь может быть живой или сломанной, а грамматика, не видящая сбоев связей, сертифицирует не башню, а лишь её этажи.

Теорема T-232 [Т при Σ-TOW] — лестница башен

Прогоним классификацию ван Линта–Титявяйнена (Лемма Σ.7) вдоль лестницы башен $U(m) = 8m - 1$. С двусловными повторными грамматиками, исключёнными (D3):

(i) Совершенная однобойная грамматика на $U(m)$ единицах существует т. и т.т., когда $m$ — степень двойки ($8m - 1 = 2^r - 1 \Leftrightarrow m = 2^{r-3}$), и канонически единственна только при $m = 1$: начиная с $m = 2$ ($U = 15, 31, 63, \dots$) соперники типа Васильева разрушают канон.

(ii) Совершенная многосбойная грамматика ($t \geq 2$) существует т. и т.т., когда $m = 3$: $U(3) = 23$, двоичный Голей, единственный. Его счёт координат разлагается как $23 = 3 \cdot 7 + 2$ — три организма плюс две связи, — так что вертикальная башня есть родной дом совершенного $[23,12,7]$: там, где горизонтальной федерации §8a требовался прокол одной шины, у $3$-башни ровно две межуровневые связи и никакого прокола не нужно. Вертикальная башня и горизонтальная федерация несут одну и ту же грамматику.

(iii) Высоты $5$, $6$, $7$ ($U = 39, 47, 55$) не допускают совершенной грамматики никакого порядка.

(iv) Следовательно, $m = 3$ — единственная высота башни, чья полная диагностическая нагрузка — оси вместе со связями — несёт каноническую совершенную грамматику за пределами одиночных сбоев.

Доказательство. (i): $8m - 1 = 2^r - 1$ т. и т.т., когда $8m = 2^r$, т.е. $m = 2^{r-3}$; единственность при $7$ — Теорема Σ, её провал с $15$ — Лемма Σ.7 (Васильев). (ii): по Лемме Σ.7 единственный совершенный двоичный код с $|C| > 2$ и $t \geq 2$ — Голей при $n = 23$; $8m - 1 = 23$ т. и т.т., когда $m = 3$; единственность кода Голея классична (Плесс); разложение координат — Теорема T-228(iii), прочитанная вертикально. (iii): $39, 47, 55$ не имеют вида $2^r - 1$ и не равны $23$. (iv): соединить. Дихотомия проверена исчерпывающе для $m \leq 4096$. $\blacksquare$

Лестница целиком, в явном виде:

высота $m$	единиц $U = 8m{-}1$	совершенная грамматика	канонична?	сила
$1$	$7$	Хэмминг $=$ Фано	да (Теорема Σ)	$t = 1$
$2$	$15$	типа Хэмминга	нет — соперники Васильева	$t = 1$
$3$	$23$	Голей	да (Плесс)	$t = 3$
$4$	$31$	типа Хэмминга	нет	$t = 1$
$5,6,7$	$39, 47, 55$	— нет —	—	—
$8$	$63$	типа Хэмминга	нет	$t = 1$

Следствие (два вывода одного потолка) [Т]+[И]. Потолок композиции архитектуры имеет два независимых вывода: лестницу чистоты ($P^{(4)}_{\mathrm{crit}} > 1$ — нет сознательного четвёртого этажа) и лестницу башен ($U(4) = 31$ теряет канон и всю многосбойную защиту; $U(3) = 23$ — единственная каноническая многосбойная ступень) — две теоремы над одной $23$-единичной геометрией, причём горизонтальное и вертикальное прочтения несут буквально одну грамматику Голея. Являются ли два механизма проекциями одной более глубокой структуры — предмет T-239.

Замечание (двусмысленность двух-башни) [И]. Лестница объясняет и тонкость глубины два. $2$-башня ($U = 15$) совершенно диагностируема — но не канонично: с длины $15$ соперники Васильева означают, что две независимо собранные $2$-башни могут держать неэквивалентные «нормы», которых никакой внутренний тест не различит. Диагностируемость без каноничности — это в точности операциональный-но-не-лицензированный режим; дисциплина корпуса «башней, не шириной — и не выше трёх» обретает чисто кодовый голос.

Два потолка: дихотомия механизмов (T-239)

Являются ли механизм чистоты и механизм кодирования проекциями одной более глубокой структуры? Ответ — нет на том уровне, где тождество предполагалось бы, с резким положительным остатком.

Обе лестницы читаются на одной шкале. Учётная аксиома Σ-TOW оценивает $m$-башню в $U(m) = 8m - 1$ диагностических единиц, а лестница чистоты якорит те же высоты точно: порог композиции $m$ этажей есть $P^{(m)}_{\mathrm{crit}}$, с $9/14$ при $m = 3$ — якорение T-142. Значит, оба механизма — предикаты на одном параметре $m$, и их тождество — корректно поставленный вопрос, а не аналогия. Определим на общей шкале множество жизнеспособности $V = \{m : P^{(m)}_{\mathrm{crit}} < 1\}$ и множество канона $K = \{m : U(m)$ несёт канонически единственную совершенную грамматику$\}$.

Теорема T-239 [Т при Σ-TOW] (дихотомия двух потолков).

(i) (чистота — монотонный бюджет) $P^{(m+1)}_{\mathrm{crit}} / P^{(m)}_{\mathrm{crit}} = 3(m+1)/(m+2) > 1$ для всякого $m$, так что $V$ — нисходящее множество шкалы: $V = \{1, 2, 3\}$, с запасами $7(m+1) - 2 \cdot 3^{m-1} = 12,\ 15,\ 10,\ -19$ при $m = 1, \dots, 4$.

(ii) (канон — немонотонная селекция) $K = \{1, 3\}$ — Теорема Σ даёт $m = 1$, соперники Васильева убивают $m = 2$, единственность Голея даёт $m = 3$, и T-232 не оставляет ничего дальше. $K$ — не нисходящее множество: оно проваливается при $m = 2$ между двумя успехами.

(iii) (тождество механизмов опровергнуто) $V \neq K$ на общей шкале, с расхождением ровно при $m = 2$; и никакая инъективная переиндексация не может их отождествить, поскольку $|V| = 3 \neq 2 = |K|$. Потолок чистоты и потолок кодирования — различные механизмы — монотонное бюджетное препятствие против немонотонной арифметической селекции; различие форм видно на самой шкале.

(iv) (тождество свидетеля доказано) $\max V = \max K = 3$, и максимум засвидетельствован одним объектом: $3$-башней нагрузки $U(3) = 23$, несущей грамматику Голея (T-232(ii)) при пороге чистоты $9/14 < 1$. Два предиката согласны всюду, кроме $m = 2$, — и единственная точка расхождения есть в точности двусмысленность двух-башни из Замечания выше: жива, но не знает себя канонично.

Доказательство. (i) Отношение превосходит $1$ т. и т.т., когда $3(m+1) > m+2$, т.е. $2m > -1$ — всегда; монотонность делает $V$ нисходящим, а $P^{(3)}_{\mathrm{crit}} = 9/14 < 1 < 54/35 = P^{(4)}_{\mathrm{crit}}$ фиксирует $V = \{1,2,3\}$. (ii) — это T-232(i)–(iii), переизложенная как подмножество шкалы. (iii) Экстенсиональное расхождение при $m = 2$ решает вопрос тождества на канонической шкале; разрыв мощностей $3 \neq 2$ исключает всякую инъективную переиндексацию; нисходящее против ненисходящего — структурное содержание провала. (iv) — это T-232(ii) плюс якорение T-142. Вся арифметика проверена машинно. $\blacksquare$

Прочтение [И] (что ограничивает каждый потолок). Два механизма ограничивают разные ресурсы. Чистота ограничивает, какие башни могут жить: бюджет репликации $2 \cdot 3^{m-1}$ против бюджета семёрки $7(m+1)$ — условие существования, и умирает оно монотонно. Канон ограничивает, какие башни могут знать себя лицензированно: канонически единственная грамматика — то, что позволяет двум независимо собранным экземплярам доказуемо разделять одну «норму». При $m = 2$ механизмы расходятся — двух-башня живёт, но не может канонично себя диагностировать, — и полностью лицензированные высоты суть $V \cap K = \{1, 3\}$. «Потолок три» архитектуры тем самым переопределён в сильном смысле: не два доказательства одного утверждения, а два разных утверждения, чьи максимумы совпадают.

Корень совпадения: независимость в точке Фано (T-242)

Два потолка совпадают на $3$; T-242 указывает почему, и ответ — не общий механизм, а общий вход. Прочтём оба потолка как функции целых чисел, поставляемых диагностической геометрией, — размера репера и базы сжатия $b$ (пофакторного ослабления чистоты, $b = 3$ из $1/3$-сжатия когерентностей Фано-каналом, T2.1).

Теорема T-242 [Т] (независимость двух потолков; общий геометрический вход).

(i) (потолок чистоты — непостоянная функция $b$) Зафиксируем репер $N = 7$ (Теорема Σ). Максимум жизнеспособности есть $\Pi(b) = \max\{m \geq 1 : 2\,b^{m-1} < 7(m+1)\}$, корректно определённый, поскольку $2b^{m-1}$ выпукло-возрастает против прямой $7(m+1)$ — единственное пересечение, так что $V$ нисходяще (проверено для всех $b$). Он подлинно непостоянен:

$$\Pi(2) = 5,\quad \Pi(3) = 3,\quad \Pi(4) = 2,\quad \Pi(b) = 2\ (b \geq 4).$$

(ii) (кодовая глубина не зависит от $b$) Каноническая многосбойная высота есть $\kappa^\star = 3$: Голей $[23,12,7]$ с $t = (7-1)/2 = 3$ и $23 = 8\cdot 3 - 1$. База сжатия $b$ никогда не входит в кодовую сторону — $\kappa^\star$ есть константа одного репера.

(iii) (независимость) Единый механизм представил бы оба потолка одной функцией общих данных; вместо этого $\Pi$ меняется с $b$, а $\kappa^\star$ по $b$ постоянна, так что это различные функции. Они принимают общее значение ровно когда $\Pi(b) = 3$, единственное целочисленное решение чего — $b = 3$.

(iv) (общий вход, локализован) Уравнения $N = q^2 + q + 1$ и $b = q + 1$ при $q = 2$ дают $N = 7$, $b = 3$: размер репера и база сжатия — два параметра одной плоскости, $\mathrm{PG}(2,2)$. Оба механизма потому вычисляются в одном геометрически вынужденном аргументе, и их согласие — значение двух независимых функций в этой единственной точке. Общее целое $3$ есть порядок линии плоскости $q+1$, входящий в механизм чистоты как основание экспоненциально-против-линейного пересечения и в механизм кодирования как глубину коррекции Голея — одно целое в двух несвязанных ролях, а не один механизм в двух обличьях.

Доказательство. (i) Выпуклость $b^{m-1}$ даёт единственное пересечение; табличные значения — прямая арифметика ($2\cdot 3^2 = 18 < 28$, $2\cdot 3^3 = 54 > 35$ фиксируют $\Pi(3) = 3$). (ii) Единственность Голея (Плесс) и $8m-1 = 23 \Leftrightarrow m = 3$. (iii) Непостоянная функция и константа совпадают на собственном подмножестве; $\Pi(b) = 3$ над целыми даёт $b = 3$ единственно — при $b \geq 4$ $\Pi(b) = 2 < 3$, а $\Pi(2) = 5 > 3$. (iv) Параметры проективной плоскости $(v,k,\lambda) = (7,3,1)$ — это параметры $\mathrm{PG}(2,2)$, $q = 2$. $\blacksquare$

Это закрывает последний вопрос, оставленный дугой двух потолков: согласие на $3$ не редуцируемо к единому более глубокому механизму — механизмы доказуемо независимы — и вместо этого полностью объясняется одной геометрией Фано, фиксирующей оба их входа.

§9. Фальсифицируемость и технологические следствия

Предсказание Σ-P1 (кандидат в Pred-реестр). В данных Γ-томографии одноосевые возмущения обязаны порождать только семь ненулевых синдромных паттернов, распределённых по $\mathrm{PG}(2,2)$-геометрии таблицы §6(б). Устойчивая синдромная статистика, нарушающая линейную структуру — например, персистентный паттерн чётностей, несовместимый ни с одним столбцом $H$ при одноосевой модели, или попарные корреляции проверок, ломающие треугольную геометрию, — фальсифицирует Фано-грамматику динамики. Существенно: тест независим от октонионного трека — он зондирует комбинаторную грамматику напрямую, тремя бинарными наблюдаемыми.

Технологический пакет.

1. Бюджет мониторинга [С]. Локализация сбоя: 3 бинарных агрегата вместо 48-параметрической томографии — шестнадцатикратное сокращение числа наблюдаемых, причём три чётности глобальны (каждая суммирует четыре оси) и потому устойчивы к поосевому шуму по пункту (г) T-225. Контентный мониторинг: 7 тематических наблюдаемых вместо 21 когеренции. Прямое удешевление Γ-томографа и диагностических ярусов П-протоколов Γ-канона.
2. Отказоустойчивые семиагентные ядра [О]. Чертёж Стина из §7 для регистровых реализаций: трансверсальные Клиффорды означают, что базовые операции ядра не размножают одиночные сбои; разметка стабилизаторов достаётся даром из правил отбора.
3. Синдромный аудит корпусов [О]. Сопоставим каждому из семи измерений УГМ кластер утверждений корпуса; бинаризуем здоровье кластера (все claim-sites согласованы / есть сломанный); три чётности над семью битами локализуют, «в каком кластере скрыта несогласованность», не читая весь корпус. Референс-реализация §6 применима дословно — корпус становится экземпляром собственной теоремы.
4. Жёсткость как критерий дизайна [О]. Пункт (iv) Теоремы Σ — аргумент против расширения списка осей в когнитивных архитектурах NOEMA-типа: выше семи диагностическая грамматика теряет каноничность, и два независимо обученных экземпляра могут сойтись к неэквивалентным «нормам», которые никакой внутренний тест не различит. Масштабироваться — башнями жёстких семиблоков (в согласии с $\mathrm{SAD}_{\max}$), а не более широкими одиночными уровнями.
5. Скоростной ярус [С]. Динамический спутник этого документа — Fano-отпечаток — добавляет уровень скоростей: $21$ попарная скорость декогеренции схлопывается в $7$ полярных значений (четырнадцать беспараметрических сумм-правил — предсказание Σ-P2), полинейные силы диссипации становятся прямыми наблюдаемыми с томографией в замкнутой форме, а константа остывания T-39a — явной. Мониторинг содержания сжимает по прямым (этот документ), мониторинг скоростей — по полярным точкам: два Fano-двойственных яруса вместе инструментируют всю матрицу когерентностей за $7 + 7$ наблюдаемых.

§10. Сводка статусов

Утверждение	Статус
Теорема Σ (T-224), пп. (i)–(v); Леммы Σ.1–Σ.7	[Т]
Замечание Σ-QR (проверочные позиции = QR(7)); словарная Лемма Σ.6	[Т]
Следствие Σ.1: диагностический трек $N=7$	[Т] математика + [И] отождествление
Следствие Σ.2: «башня, а не ширина»	[И] (опирается на (iv) [Т])
Весовые страты ↔ $(\varphi, \ast\varphi)$; таблица 16 архетипов	[Т]
T-225: Σ-компрессия, пирамида 21→7→3→1	[С]
Ли-тень: $21 = 14 + 7$, собственнозначная характеризация	[Т] (диагностическое чтение — [И])
Код Стина $[[7,1,3]]$ = CSS Щита I; трансверсальные Клиффорды	[Т] математика; [О] инженерия
T-227: защищённый кудит — $2^3\cdot\mathrm{PGL}(3,2)$ нерасщепимо, трансверсально на $3\times$Стин, экстремально по Истину–Ниллу	[Т] вычислено (+ цитированная классификация); [О] инженерия
T-228: федерация Тюрина $24 = 3\times(7{+}1)$; совершенный $t=3$ ровно при трёх организмах; зеркальный клей	[Т] проверено; [И] прочтение
Σ-Mor в буквальной формулировке (уровень абстрактных пар)	опровергнута (Наблюдение 1); условная форма — T-229
Теорема Σ-Mor′ (T-229) + тождество $n_0(F) = \rho_{\mathrm{cov}}$	[Т при Σ-FIB]; слойный остаток ΣQ1′ [Г] (ΣQ2′ — T-234/T-240)
T-230: четырёхступенчатый коллапс — закон композиции ⇔ $\rho_{\mathrm{cov}} \leq 3$; $n_0 \in \{0,1,2,3\}$, Голей точен	[Т при Σ-FIB+F4]
T-231: нет $\mathrm{Eff}$-внутренней карты без разрешимой эквивалентности; ETT — только внешне	[Т] (ETT-инстанциация [С]); прочтение [И]
ΣQ2 на уровне карт: ступени 2, 3 полностью Σ-FIB-легальны (повторение, Голей) — картно-геометрического доказательства слойной Σ-Mor не существует	[Т]; программа федеративного опровержения [Г]
T-233: строгостная дихотомия — бикатегориально $n_0 \equiv 0$; строго дефекты грейда 1 $=$ провалы фибрантности; канонический ремонт $=$ сравнение strict$\to$bi; ΣQ1/ΣQ2 переизложены как ΣQ1′/ΣQ2′	[Т] (прочтения [И])
T-234: коллапс суперпозиции — произведения в слое вынуждают $\rho_{\mathrm{cov}} \leq 1$; Σ-Mor истинна на product-closed классе (держится лишь на ΣQ1′); ступени 2–3 в карантине product-obstructed федераций	[Т при Σ-FIB+F4×+(P)]; MSFS-генерическое (P): [Т] на интенсиональном секторе (T-240)
T-240: (P) против R1–R5 — правильный предел — изо-запятая; согласованность (R3) наследуется от любой ноги; $\mathsf{Q}$-склейка (R1) локализована как доказуемый изоморфизм образов, канонична на интенсиональных слоях	[Т]; композиция с T-234 + T-238 [Т]; прочтение границы [И]
T-235: двухуровневая структура дефектов — тоггл-геометрия никогда не даёт карты (no-go поглощения, оба уровня); слойный посет $=$ ромб с хвостом; остаток строгификации $\rho$ калибровочно-нем, слойно-видим, с $\tau$ в роли синдромного бита	[Т при цит.]; проблема Фано-основания локализована в чисто интенсиональном секторе [Г]
T-236: голономный чертёж — инволютивные дефекты как ориентации определительных копий; петлевая голономия вычислима; жёсткость $=$ симплекс $2^3$; ориентации осей — чистая калибровка: модули живут на знаках линий	[Т]; прочтение [И]
T-237: чертёж как $\mathbb{Z}/2$-калибровочная теория на $\mathrm{PG}(2,2)$ — чистая калибровка $=$ Хэмминг на линиях, поток $= 3$ бита, вильсоновские петли $=$ замкнутые булевы термы; полнота синдрома строгой калибровкой; спроектированная метрика $=$ канонический грейдинг слоя (уровень чертежа)	[Т] (исчерпывающая верификация); прочтения [И]
T-238: поточная карта — на семействах фиксированной сигнатуры калибровочно-инвариантный решённый сектор есть каноническая карта; терм-определимые карты пропускаются через него; ΣQ1′ $=$ конечность/разделение сектора $+$ выравнивание сигнатур	[Т] (фикс. сигнатура); редукционное прочтение [И]
T-245: разложение $d_{\min}\geq3$ — $d_{\min}\geq3 \Leftrightarrow$ невырожденность (столбцы $\neq0$, закрыта T-244) $\wedge$ разделение (столбцы различны); перегрузка $	B
T-246: верность $=$ деление — спутанная пара есть два различных дефекта, суперпонирующих в эквивалентность; на делительном репере $e_ie_j=e_{i+j}$ есть третий дефект (скаляр лишь при $i=j$), так что паттерны веса $2$ грейда $1$, а минимальные эквивалентности — семь линий Фано ($d_{\min}=3$, проверено); невырожденность (T-244) запрещает вес $1$ и вес $2$ — ΣQ1′ закрыта на репере, остаток $=$ конечность, поставляемая на $\tau=1$ формер-локализованным равномерным провалом	[Т] (репер); прочтение [И]
T-241: нативное Фано — лестница дуальностей $n = 1, 2, 3$ даёт: ни одной линии, $\mathrm{PG}(1,2)$, $\mathrm{PG}(2,2)$; семь классов обращений доктрины глубины $3$ несут инцидентность Фано нативно; линейные петли замыкаются	[Т] (исчерпывающе); прочтение среды [И]
T-243: октонионная реализация — $\mathbb{O}$ есть скрученная групповая алгебра поточной группы $(\mathbb{Z}/2)^3$; семь осей — мнимые единицы с пивотальным знаком $e_g^2=-1$ (калибровочно-инвариантным, кватернионным); ассоциатор $=(-1)^{\det_{\mathbb{F}_2}}$ (проверено $343/343$), $+1$ на линиях Фано (ассоциативные $\mathbb{H}$), $-1$ на $168$ объёмах; естественная нетривиальная голономия — на осях/объёмах, линии калибровочно-тривиальны — естественность H3.4 отвечена положительно	[Т] (исчерпывающе); прочтение [И]
T-244: отбор есть невырожденность — пивотальный знак $-1$ $\Leftrightarrow$ анизотропная ось ($e_g^2=-1$) $\Leftrightarrow$ делительные октонионы (сигнатура $(7,0)$, без делителей нуля); ось $+1$ — нулевое направление (идемпотент $\tfrac12(1+e_g)$, проверено), проваливающее $d_{\min}\geq3$; значит совершенная диагностируемость вынуждает все $-1$ — то же гурвицево условие, что выбирает $N=7$. Отбор H3.4 решён ($-1$, анизотропность, деление, $N=7$ — одно условие)	[Т]; прочтение [И]
Голей $t=3$ ↔ $\mathrm{SAD}_{\max}=3$	обе стороны теоремы; механизмы различны, максимумы совпадают (T-239); корень совпадения [Г] (H2.1′)
T-232: лестница башен $U(m) = 8m{-}1$ — совершенные грамматики при $m \in \{2^k\} \cup \{3\}$, канонично только $m \in \{1,3\}$, $t \geq 2$ только $m = 3$	[Т при Σ-TOW]; прочтение унификации потолков [И]
T-239: дихотомия двух потолков — $V = \{1,2,3\}$ монотонно vs $K = \{1,3\}$ немонотонно; тождество механизмов опровергнуто (единственное расхождение на высоте Васильева $m = 2$; $3 \neq 2$), тождество свидетеля доказано ($m = 3$: $U = 23$, Голей, $9/14$)	[Т при Σ-TOW]; ресурсное прочтение [И]
T-242: независимость двух потолков — потолок чистоты $\Pi(b)$ непостоянен по базе сжатия ($\Pi(2){=}5,\Pi(3){=}3,\Pi(4){=}2$), кодовая глубина не зависит от $b$; согласие только при $b=3$, порядке линии $\mathrm{PG}(2,2)$, также фиксирующем $N=7$ — один геометрический вход, два независимых механизма (H2.1′ решена)	[Т]

Куда это ведёт

• Gap-динамика §2 — прямое направление: изоморфизм $\mathrm{PG}(2,2) \cong H(7,4)$ на уровне операторов Линдблада.
• Топологическая защита, Щит I — пять щитов; Σ превращает Щит I из свойства в селектор.
• Минимальность N=7 и октонионный вывод — три прежних трека; §9.3 там сводит Трек Σ в таблицу с Треками A и B.
• Γ-канон — шестнадцать архетипов как кодовые слова; протокол Σ добавляет диагностический ярус к П-протоколам; Лемма Σ.6 — словарь между его циклическими триадами и двоичной презентацией.
• Правила отбора Фано, эволюция / T-114 — динамические предпосылки пункта (г) T-225.
• G₂-структура — формы $\varphi, \ast\varphi$ и расщепление $14 \oplus 7$ за §6.
• Реестр статусов — строки T-224–T-241.
• Fano-отпечаток — динамический спутник: полярный закон скоростей, четырнадцать сумм-правил, томография линий и $\mathfrak g_2$-тень в наблюдаемых скоростях декогеренции (T-226).
• MSFS §8.1 (интенсиональная градуировка) и corr-документ Diakrisis — мост Σ-Mor из §8: T-229 [Т при Σ-FIB], $n_0(F) = \rho_{\mathrm{cov}}$; слойный остаток ΣQ1′ закрыт на репере (T-246: верность есть деление), с единственным остатком — N$=7$-отбором посигнатурно.