Иерархия интериорности: L0 → L4
Иерархия различает онтологическую интерпретацию, операционную классификацию и математические следствия этой классификации. Матрица плотности сама по себе не устанавливает наличие феноменального сознания. Отождествление операционного предиката L2 с когнитивными квалиа остаётся двухаспектным мостом [I].
Эта страница задаёт каноническую иерархию. Пересмотр от 2026-10-03 заменяет несовместимые определения L3/L4 и ложную теорему Gap-инъекции. Определения имеют статус [D], алгебраические следствия — [T], утверждения об организмах или феноменальном доступе — [H]/[I]. Подробные доказательства и контрпримеры: формальная спецификация.
Типизированный вход
Классификация использует расширенную запись
а не только матрицу. Здесь задаёт реализацию интериорности, — реализованную самомодель и считывание, — пробы и калибровку проверки предсказаний высших порядков. Отсутствующие компоненты получают значение неизвестно, а не восстанавливаются из фазы или чистоты.
Два режима интериорности различаются явно:
| Режим | Предикат L1 | Дифференциация |
|---|---|---|
| Прокси 7D [D] | ||
| Заданное расширение |
Каноническая нормировка: . Прокси — условно выбранная статистика, а не равенство с энтропией расширения. В расширении должна быть нормированной матрицей плотности на явно заданном пространстве. Настоящий тензорный фактор допускает частичный след. В 42D-реализации Пейджа—Вуттерса E-ось является слагаемым шестимерного системного фактора: её часовой блок при ненулевом следе необходимо нормировать на этот след. Подъём и условное выделение входят в . См. типизацию 7D/42D.
Каноническая E-проекция включает :
Поэтому для положительной матрицы эквивалентно . Это не устанавливает ненулевую E-связность или буквальное многомерное пространство переживания. В частности, проходит прокси L1, но имеет . Для вопроса о связности следует отдельно использовать внедиагональный вес .
Вложенные предикаты возможностей
Пусть означает обладание возможностью ; исключительный уровень — наибольшая выполненная возможность. Вложенность задана явно:
| Возможность | Операционное определение | Интерпретация |
|---|---|---|
| L0 | : корректное состояние | Интериорность [I] |
| L1 | : объявленный выше тест интериорности | Феноменальная геометрия / прокси [D/I] |
| L2 | ; — четыре воротных условия ниже | Мост к когнитивным квалиа [I] |
| L3 | Проверенная способность метамодели [D] | |
| L4 | Идеальная согласованная башня [D] |
Предикаты организуют выбранную модель. Они не приписывают электрону, бактерии, млекопитающему, медитатору или сети измеренный уровень. Такие отнесения требуют независимо калиброванных данных и сохраняют статус [H].
L0: интериорность
Определение L0 [D]. выполнено для любого корректного состояния модели. Наименование его внутреннего аспекта «интериорностью» — онтологическая интерпретация. Универсальность является следствием определения, а не теоремой об опыте каждого физического объекта. Матрица не обязана быть близка к ; L0 не накладывает .
L1: феноменальная геометрия
Определение L1 [D]. Используется ровно один типизированный тест из таблицы входа. Одномерная базисная ось не является тензорной подсистемой: невозможно. Эквивалентность буквального рангового теста и не утверждается.
Для заданного пространства лучи чистых состояний образуют . Для нормированных представителей расстояние Фубини—Штуди равно
Ограниченная величина — квадрат хордовой различимости, а не формула конечного расстояния для линейного элемента. См. определение метрики.
L2: канонический предикат возможностей
В фиксированном семантическом базисе определены
Канонический воротный предикат:
Теорема (численное окно) [T]. При выполнении этого предиката
Доказательство: ; из следует .
Равенство измеряет близость к . Это не точность реализованной самомодели. Следует различать , величину и fidelity. Монотонность метрик и подсчёт трёх динамических слагаемых не устанавливают этих отождествлений.
| Выбор | Математическое следствие | Дополнительный мост |
|---|---|---|
| HS-критерий большинства | Большинство как физическая жизнеспособность [H] | |
| Каноническое | как калиброванная рефлексивная компетентность [H/I] | |
| Внедиагональный HS-вес не меньше диагонального | Интерпретация когнитивной интеграции [I] | |
| В расширении | Минимальная феноменальная дифференциация [H/I] |
Внутри этих определений пороги точны. Универсальная эмпирическая интерпретация требует независимой проверки; принятие условий не доказывает сознательный опыт каждого прошедшего их состояния. Дополнительные условия полной жизнеспособности, например ограничения напряжения или длительность поддержания, фиксируются отдельно и не подменяют этот мгновенный предикат.
L3: проверенная способность метамодели
Определение L3 [D]. L3 требует L2 и сертификата предсказания второго порядка. Для заранее объявленного семейства проб сравниваются предсказание реализованной метамодели и независимо измеренная цель , описывающая отклик первой модели:
Обе матрицы должны лежать в одном объявленном пространстве выходов. В эксперименте супремум берётся по указанному конечному набору; перенос за его пределы требует модельной или статистической гарантии. и набор проб — параметры калибровки, фиксируемые независимо от результатов теста. Они не универсальные константы, выведенные из септичности. Постоянное предсказание не проходит оба условия по неравенству треугольника.
Статус прежнего аргумента
Прежнее безусловное доказательство T-67 отозвано [✗]. Три слагаемых генератора и одна модификация когерентности не устанавливают четыре независимых информационных канала. Ненулевой дифференциал не обязательно инъективен; свойство CPTP не исправляет этот переход. Диагностику можно регистрировать, но она не сертифицирует L3: в тривиальной неподвижной точке она равна .
Метастабильность сертифицированной метамодели — динамический вопрос. Необходимы аттрактор, класс возмущений и спектральные оценки либо оценки выхода. Формула не является универсальным временем удержания; сам L2 также не гарантирует устойчивость.
L4: идеальная согласованная башня
Определение L4 [D]. Требуются сертификаты каждого порядка, заданные пространства проб и целей и забывающие отображения между последовательными моделями. означает, что предсказание порядка после забывания даёт объявленное предсказание порядка : точно в идеальной модели либо с указанным бюджетом погрешности в приближении. Каждый порядок сохраняет условие нетривиальности отклика .
Прежнее условие отозвано [✗]: оно противоречит наследуемому от L2 ограничению . Неподвижная точка или предел последовательных fidelity, равный , не устанавливает нетривиальную согласованную башню.
Категориальная типизация и башня Постникова
Прежнее универсальное доказательство T-86 отозвано [✗]. Для объекта в -топосе башня Постникова — обратная система
Сравнение имеет вид , а не колимита канонической прямой башни. Восстановление требует соответствующей предпосылки сходимости. Усечение допускает гомотопию до степени , но не требует . Уже -усечённый объект стабилизируется при .
L-уровни — операционные предикаты; -усечения — категориальные конструкции. Их отождествление требует явно заданного объекта опыта и теоремы-моста. Расстояние Бюреса между топосом и его усечением здесь не определено. Стандартные источники: Kerodon, башни Постникова, Lurie, Higher Topos Theory, §§5.5.6, 7.2.1.
Конечные ресурсы и идеальный предел
Условная ресурсная граница [C]. Если каждый независимо реализованный порядок расходует не менее объявленного ресурса, а бюджет системы равен , одновременно реализуемо не более порядков. Это следует из . Минимальную стоимость порядка и независимость необходимо установить для конкретной реализации. Конечномерность пространства состояний, неполнота и сжатие сами по себе этих предпосылок не дают. Конечный алгоритм может символически задавать бесконечное семейство; конечные экспериментальные наблюдения сами по себе не сертифицируют все его элементы.
Допустимые профили ворот
Четыре воротных теста сводятся к трём численным величинам , поскольку определяется чистотой. Их формальное булево перечисление содержит двенадцать меток. Это не двенадцать гарантированно непустых физических областей.
Теорема (ограничение допустимости) [T]. . Следовательно:
| Область чистоты | Допустимая интеграция |
|---|---|
| Обязательно | |
| ; равенство требует равномерной диагонали | |
| Возможны обе стороны порога ; численное окно L2 | |
| Ворота рефлексии не пройдены; интеграция сама по себе не сертифицирует L2 |
Прежние примеры «затопленности» и «белого провала», совмещавшие с , отозваны [✗]. Наименование провала ворот не измеряет клиническое или психоделическое состояние.
На нижней границе , на верхней . Это алгебраические факты. Субъективная интерпретация требует эмпирической калибровки.
Двустороннее окно в нейронаучной модели не является количественным подтверждением этих порогов. Энтропия нейронного сигнала и требуют валидированного измерительного моста. Даже энтропия фон Неймана не определяется единственным образом чистотой в размерности семь.
Gap-профили и идентифицируемость
В фиксированном базисе для ненулевых когерентностей; ноль при нулевой когерентности — соглашение. Интерпретация этой величины как сознательной «непрозрачности» имеет статус [I]. Профиль содержит фазы без амплитуд и калибровки, поэтому численные ворота не вынуждают конкретные непрозрачные каналы.
Теорема (условная устойчивость считывания) [T]. Если самомодель приближает фактическую матрицу с , а модуль каждой наблюдаемой фактической когерентности не меньше , то ошибка Gap отдельного канала не превосходит . Ограничение канонического само по себе не является ограничением ошибки самомодели. Доказательство и существенная нижняя граница амплитуд: Gap-характеризация.
В точной неподвижной точке фактический и вычисленный профили совпадают тождественно. Равенство не доказывает феноменального доступа. Никакая теорема Хэмминга не требует трёх ненулевых Gap-каналов; мост от кода к наблюдаемым был бы отдельной предпосылкой.
Замена Gap-инъекции
Прежняя теорема «различные L-уровни имеют различные Gap-профили» отозвана [✗].
Теорема (критерий факторизации) [T]. Классификация вычисляется из статистики тогда и только тогда, когда постоянна на каждом слое . Эквивалентно: существует с . Необходимость следует подстановкой; достаточность определяет по любому представителю слоя. Это факторизация, а не инъекция из уровней в профили.
Контрпример к идентификации численных ворот только по фазам [T]. Для положим
Все 21 попарных Gap равны нулю, но , и .
| Ворота чистоты / рефлексии / интеграции | ||||
|---|---|---|---|---|
| Пройдены | ||||
| Рефлексия не пройдена |
Это устанавливает невозможность идентифицировать численный предикат возможностей; полное эмпирическое отнесение к L2 без сертификата дифференциации и считывания не утверждается. Совместная запись определяет заданную иерархию. Фазовый профиль сам по себе — нет. Общие повороты не сохраняют попарный профиль в данном базисе; факторизация по не исправляет эту проблему.
Пересечение порога и бифуркация
Прежнее безусловное отождествление T-41 всех L-переходов с «ласточкиным хвостом» отозвано [✗]. Порог можно пересечь по гладкой траектории без изменения числа или устойчивости аттракторов. Три управляющих параметра не устанавливают особенность коразмерности три.
В стандартной потенциальной конвенции имеет росток : — складка, — касп (), — ласточкин хвост (). Для заявленной нормальной формы необходимы гладкая редукция к центральному многообразию, нужное вырождение, трансверсальность параметров и явная связь с воротами. См. формальные критерии.
Алгоритм классификации
Вход: Gamma, режим E, объявленные самомодели и сертификаты.
Проверить эрмитовость, положительность и trace = 1.
P = sum_ij abs(Gamma_ij)^2
Q = sum_i Gamma_ii^2
R = 1 / (7*P)
Phi = (P-Q) / Q
Прокси: A1 = Coh_E > 0; D = 1 + 6*Coh_E.
Расширение: требуется нормированная rho_E; A1 = rank(rho_E) > 1;
D = exp(-Tr(rho_E log rho_E)).
Если нужных данных нет: вернуть вычисленные ворота и НЕИЗВЕСТНЫЕ компоненты.
A2 = A1 and P > 2/7 and R >= 1/3 and Phi >= 1 and D >= 2.
A3 = A2 and независимо проверенный MetaCert_2.
A4 = A3 and доказательство/сертификат согласованной башни всех порядков.
Вернуть наибольший выполненный A_k; сохранить неопределённость непроверенных порядков.
Расчёт требует . Проверка положительности и спектральное разложение расширения имеют собственную стоимость; сертификаты высших порядков не получаются несколькими операциями с матрицами. При измерительной неопределённости следует сообщать интервалы ворот и требовать отступа от каждой границы. Численный сертификат L2 — классификация модели; феноменальная интерпретация остаётся отдельным утверждением.
Связанные документы
- Формальная спецификация и доказательства
- Идентифицируемость, устойчивость и ранг Gap
- Самонаблюдение и различные меры рефлексии
- Реализация интериорности
- Башня глубины: её канальный показатель не является автоматически сертификатом L-уровня.