Альтернативы исключаются counterfactual-аргументами и подсчётом различений. Ниже — пошаговое объяснение в формате «что замыкается / почему минимум / что вылетает».
далее — пошагово
Если есть хоть один наблюдатель, отличающий «что-то» от «ничего», уже работает Bool = {false, true}.
Counterfactual: меньшее (∅ как множество) не различает; большее (Fin 3) избыточно для самого первого шага. Минимум — ровно 2.
Bool сам по себе не описывает переход. {вход → преобразование → выход} — минимальная структура, где состояние имеет «середину».
Counterfactual: двойка распадается на статичные «было/стало» без процесса. Четвёрка вводит избыточный элемент, не форсируемый из Bool. Fin 3 единственно.
Каждая мода = пара (тип, фаза). Шесть мод (2 · 3) — полное пространство для классификации.
Эти же шесть категорий описывают универсальные режимы отказа замыкания. Подробнее — в разделе 6 режимов.
Триада замыкается в цикл: K₃ = ℤ/3ℤ. Появляется холономия — обязательная ненулевая петля.
Здесь рождается цвет SU(3): три различения, замкнутые циклически, ведут к симметрии цветовой группы.
Цикл нужно интерполировать без разрывов. Единственная топологически совместимая группа — U(1) (окружность).
Repair-форсинг: любой дискретный цикл, требующий непрерывного транспорта, замыкается через U(1). Не S² (не имеет однородной структуры цикла), не дискретный ℤ/n (не интерполируется гладко).
U(1) + точное вещественное представление = ℂ. Поле комплексных чисел появляется не как постулат, а как минимальное замыкание окружности на её собственном вещественном носителе.
Триадная мультиплицитность из шага 1 переносится на комплексный носитель: ℂ³.
Это даёт ровно 3 поколения фермионов. Не четыре, не два. Falsifier: 4-е поколение на LHC опровергнет каскад.
ℂ³ + калибровочное замыкание триадных холономий = 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 6 | SOLID |
| Koide Q = 2/3 | Z₃-орбита заряженных лептонов | SOLID |
| Vud = √(19/20) | CKM подсчёт в Fin 3 × Fin 3 | SOLID |
| v / MPl | (19/40)·exp(−12π) из CKM × 2·6 | SOLID |
| sin²θW = 5/8 | GUT-нормировка подпространств | SOLID |
| mp / ΛQCD = 11π/8 | b₀ · π / dim(adj) на Nc = 3 | PATTERN |
Полные Lean-доказательства: DD_Lab/master. Модули в DD_PACKAGE/LEAN/FailureKernel/.