Каскад · 8 шагов · ∅ → SM

Каждый шаг — единственное
минимальное замыкание.

Альтернативы исключаются counterfactual-аргументами и подсчётом различений. Ниже — пошаговое объяснение в формате «что замыкается / почему минимум / что вылетает».

step 0 · пустота forcing Boolstep 1 · различение triadic Fin 3step 2 · триада loop K₃step 3 · петля phase U(1)step 4 · фаза complex step 5 · комплекс triple ℂ³step 6 · 3 поколения gauge Standard Model step 7 · SM

далее — пошагово

step 0 · ∅ → Bool
От «ничего» — к различению

Если есть хоть один наблюдатель, отличающий «что-то» от «ничего», уже работает Bool = {false, true}.

Counterfactual: меньшее (∅ как множество) не различает; большее (Fin 3) избыточно для самого первого шага. Минимум — ровно 2.

step 1 · Bool → Fin 3
Триадное замыкание

Bool сам по себе не описывает переход. {вход → преобразование → выход} — минимальная структура, где состояние имеет «середину».

Counterfactual: двойка распадается на статичные «было/стало» без процесса. Четвёрка вводит избыточный элемент, не форсируемый из Bool. Fin 3 единственно.

step 2 · Bool × Fin 3
Полное пространство мод

Каждая мода = пара (тип, фаза). Шесть мод (2 · 3) — полное пространство для классификации.

Эти же шесть категорий описывают универсальные режимы отказа замыкания. Подробнее — в разделе 6 режимов.

step 3 · Fin 3 → K₃
Петля замыкания

Триада замыкается в цикл: K₃ = ℤ/3ℤ. Появляется холономия — обязательная ненулевая петля.

Здесь рождается цвет SU(3): три различения, замкнутые циклически, ведут к симметрии цветовой группы.

step 4 · K₃ → U(1)
Дискретное → непрерывное

Цикл нужно интерполировать без разрывов. Единственная топологически совместимая группа — U(1) (окружность).

Repair-форсинг: любой дискретный цикл, требующий непрерывного транспорта, замыкается через U(1). Не S² (не имеет однородной структуры цикла), не дискретный ℤ/n (не интерполируется гладко).

step 5 · U(1) → ℂ
Комплексификация

U(1) + точное вещественное представление = ℂ. Поле комплексных чисел появляется не как постулат, а как минимальное замыкание окружности на её собственном вещественном носителе.

step 6 · ℂ → ℂ³
Три поколения

Триадная мультиплицитность из шага 1 переносится на комплексный носитель: ℂ³.

Это даёт ровно 3 поколения фермионов. Не четыре, не два. Falsifier: 4-е поколение на LHC опровергнет каскад.

step 7 · ℂ³ → SM
Стандартная модель

ℂ³ + калибровочное замыкание триадных холономий = U(1) × SU(2) × SU(3).

Параметры (массы, углы смешивания, Koide Q = 2/3) вычисляются как функции подсчётов на каждом шаге каскада. Без свободных подгонок.

что выводится бесплатно

ОбъектИсточник в каскадеУровень
SU(3) цветFin 3 → K₃ → циклические автоморфизмыSOLID
SU(2) слабыйBool-холономия на ℂ²SOLID
U(1) гиперstep 4 напрямуюSOLID
3 поколенияℂ³ из step 6SOLID
Koide Q = 2/3Z₃-орбита заряженных лептоновSOLID
Vud = √(19/20)CKM подсчёт в Fin 3 × Fin 3SOLID
v / MPl(19/40)·exp(−12π) из CKM × 2·6SOLID
sin²θW = 5/8GUT-нормировка подпространствSOLID
mp / ΛQCD = 11π/8b₀ · π / dim(adj) на Nc = 3PATTERN

Полные Lean-доказательства: DD_Lab/master. Модули в DD_PACKAGE/LEAN/FailureKernel/.