OPT Red Team — Standing Objection Log

Anders Jarevåg

v1.0 — April 30, 2026

Красная команда OPT

Назначение. Гигиена добросовестного посредника для Теория упорядоченного патча (OPT). Этот документ собирает самые сильные возражения против данной рамки — уже существующие, ожидаемые и ранее выдвигавшиеся — с честными оценками, а не защитительными ответами. Он публикуется как сопроводительный текст к формальным статьям, но намеренно не оптимизирован ни под цитирование, ни под риторику: его задача — сделать слабые места видимыми, а не выигрывать споры.

Правило использования. Обновляйте этот файл, добавляя возражения; не сокращайте его. Тест Сокала на то, было ли возражение воспринято всерьёз: кто-то, враждебно настроенный к этой рамке, должен прочитать запись и сказать “да, именно это я и имею в виду.” Если он скорее сказал бы “вы это смягчили,” запись нужно переписать.

Перекрёстные ссылки. Обязательства по фальсификации приведены в opt-theory.md §6.8 (F1–F5). Теории, с которыми OPT действительно несовместима, перечислены в opt-theory.md §7.12. Этот файл идёт глубже, чем оба этих раздела: он документирует конкретные аргументы и честную оценку того, насколько OPT в её нынешнем виде им противостоит.


R1. Возражение универсальности (ловушка теории струн)

Тезис. Соломоновская \xi настолько допускающа, что в качестве апостериора в неё можно вложить любую вычислимую структуру. Поэтому утверждение «OPT структурно совместима с X» близко к пустому: этот каркас не способен что-либо исключать, а лишь вмещать. Каждое успешное «структурное соответствие» в §7 / §IV служит свидетельством не проницательности, а вседозволенности. Здесь просматривается тот же паттерн, что и в теории струн: внутренне богатая математическая структура, которая вмещает всё и ничего не предсказывает.

Честная оценка. Это самое глубокое возражение из тех, что сейчас стоят на повестке, и защиты OPT здесь носят структурный, а не эмпирический характер. Опубликованный ответ (§7.12, пункт 6) называет эту проблему, но не рассеивает её. Единственное, что превращает OPT из мировоззрения в исследовательскую программу, — это обязательства по предварительной регистрации из §6.8, и они пока ещё не прошли проверку. Пока F1–F5 не дадут хотя бы одного количественного подтверждения числа, заданного до измерения, возражение универсальности остаётся не опровергнутым.

Что изменило бы оценку. Успешное предварительно зарегистрированное предсказание с численным значением, более узким, чем априорный диапазон у конкурирующих теорий. До тех пор главы о структурных соответствиях остаются украшением.


R2. Смещение отбора в сравнительном анализе

Тезис. В §7 (opt-theory) и §IV (opt-philosophy) цитируются те рамки, которые согласуются с теорией, и почти не рассматриваются всерьёз те, которые с ней не согласуются. Гуссерль, Мерло-Понти, Гелл-Манн, ван Раамсдонк, Уилер — все включены. Строгие элиминативисты (Frankish), сильные редуктивные физикалисты, антифункционалисты и когнитивные учёные, считающие бутылочное горлышко случайным, по большей части отсутствуют или сведены к опровержениям в один абзац. Каждая рамка, добавленная в §7, усиливает видимость конвергенции; сама эта асимметрия уже служит свидетельством предвзятости.

Честная оценка. По существу верно. §7.12 был добавлен, чтобы частично ответить на это замечание, но это всё ещё один подраздел против одиннадцати подразделов о конвергенции. Таблица §IV в opt-philosophy аналогичным образом смещена в сторону согласия. Разговорный паттерн, в результате которого появились §7.5–§7.11 в 2026-04, был таким: выявить пробелы → заполнить их → повторить — без сопоставимого числа пунктов в духе «а вот почему эта близкая теория не согласна».

Что изменило бы оценку. Расширение §7.12 так, чтобы он охватывал по меньшей мере столько же позиций и с той же глубиной, что и подразделы о конвергенции. Второй проход по §7.1–§7.11 с указанием тех мест, где конвергирующая теория конкретно расходится с OPT, а не только тех, где она пересекается с ней.


R3. \Delta_{\text{self}} как универсальная отговорка

Тезис. Феноменальный остаток по своей конструкции структурно нефальсифицируем, что уместно как локатор Трудной проблемы, но создаёт методологическую опасность: любые опровергающие данные можно поглотить формулой «это находится в \Delta_{\text{self}}». Самое сильное формальное утверждение этой рамки оказывается её самым слабым эмпирическим утверждением — именно та её часть и защищена от проверки.

Честная оценка. В §6.8 предпринимается явная попытка отгородить это: \Delta_{\text{self}} исключается из фальсифицируемого ядра, а «поглощение фальсификации F1–F5 в \Delta_{\text{self}}» прямо обозначается как дисквалифицирующее постфактум-переосмысление. Устоит ли этот барьер на практике — открытый вопрос: это зависит от дисциплинированного применения со стороны будущих авторов и рецензентов, а не от самого формального аппарата. Риск смягчён, но не устранён.

Что изменило бы оценку. Документированный случай, в котором рамка чисто принимает фальсификацию, не прибегая к \Delta_{\text{self}} или приоритету субстрата как к пути отступления. Пока такого случая не существует, этот барьер остаётся предварительным.


R4. Антропоцентрическое обратное конструирование C_{\max}

Тезис. Численное значение C_{\max} \approx \mathcal{O}(10) бит/с получается при движении назад от человеческой интроспективной пропускной способности (оценка «пользовательской иллюзии» у Нёрретрандерса, данные о моргании внимания, насыщение Норвича—Вонга), а не вперёд от первых принципов. «Информационная необходимость» именно этого числа вызывает сомнение: любая теория, основанная на компромиссе скорость–искажение, могла бы задать иную пропускную способность и согласовать с ней модель. Это число — подгонка, а не предсказание.

Честная оценка. В основном верно. Приложение T-1 выводит диапазон, но этот диапазон достаточно широк, чтобы вместить эмпирически наблюдаемое значение, а не предсказать его. F1 фиксирует \mathcal{O}(10) с окном в два порядка величины, что весьма щедро. Подлинная предварительная регистрация должна была бы дать конкретное число, более узкое, чем диапазон человеческих данных, и выведенное без использования самих этих данных.

Что изменило бы оценку. Повторный вывод C_{\max} из ограничений уровня субстрата (взвешивание по Соломонову + Ландауэр + размерность Марковского одеяла), дающий конкретное число — в идеале такое, которое расходится с человеческой интроспективной оценкой на небольшой, но определённый коэффициент, — а затем эмпирическая проверка этого небольшого расхождения.


R5. Фильтр стабильности — тавтология

Тезис. «Наблюдатели существуют тогда и только тогда, когда их предиктивная скорость укладывается в пределы их пропускной способности» — это определение, а не открытие. Любой кажущийся наблюдатель, который существует, тривиально удовлетворяет Фильтру; любой предполагаемый наблюдатель, который не существует, тривиально его не проходит. Фильтр не может ничего ни включать, ни исключать — это круговое переописание того, какие конфигурации имеют форму наблюдателя.

Честная оценка. Частично верно. Фильтр стабильности в формулировке §3 действительно имеет дефинитивный оттенок — он характеризует совместимость с наблюдателем, а не предсказывает её из независимых оснований. Защита этой рамки состоит в том, что Фильтр порождает отличимые предсказания (§6.1–§6.7), которые не следовали бы из тавтологического прочтения: иерархию пропускной способности, нулевое состояние высокого \Phi, ожидание временного замедления. Если бы Фильтр был подлинно тавтологичен, эти следствия не имели бы эмпирического содержания.

Что изменило бы оценку. Демонстрация того, что предсказания в §6 действительно зависят от Фильтра, а не мотивированы независимо. В настоящий момент это лишь утверждается; формально ещё не показано, что, например, нулевое состояние высокого \Phi следует именно из Фильтра стабильности, а не из более слабого независимого допущения.


R6. Структурные соответствия в §IV / §7 носят постфактумный характер

Тезис. Когда OPT соотносится с Юмом, Гуссерлем, Франкфуртом, Мерло-Понти, Метцингером и т. д., это соотнесение выстраивается после того, как уже известно, к каким выводам пришла каждая из этих традиций. Это обратное конструирование, а не предсказание. Теория, которую невозможно было бы построить без оглядки на эти традиции, не может утверждать, что выводит их результаты; она может лишь утверждать, что воспроизводит их в иной терминологии.

Честная оценка. Верно в строгом смысле. OPT создавалась с учётом целевых ориентиров, а главы §IV / §7 носят объяснительный, а не предсказательный характер. Защита теории — что она предлагает более глубокое структурное основание того, почему сходящиеся традиции увидели именно то, что увидели, — правдоподобна, но недоказуема, поскольку не существует контролируемого эксперимента, в котором OPT предсказывала бы выводы той или иной традиции до того, как сама традиция к ним пришла. Эта конвергенция по самой своей конструкции является постфактумной.

Что изменило бы оценку. Новое философское или эмпирическое утверждение, выведенное исключительно из информационно-теоретического аппарата OPT, к которому ещё не пришла ни одна существующая традиция, и к которому последующая работа в этих традициях пришла бы независимо. Это стало бы ретроспективным свидетельством объяснительной силы.


R7. Узкое место пропускной способности как эволюционная контингентность

Тезис. GWT, стандартная позиция когнитивной науки, рассматривает узкое место сознательного доступа как эволюционно сформировавшуюся особенность коры приматов, а не как структурную информационную необходимость. Нет убедительного аргумента в пользу того, что это узкое место должно было принять именно ту форму, которую оно имеет; при достаточно иной эволюционной траектории феноменальность могла бы возникнуть в параллельной архитектуре. «Информационная необходимость» в OPT — это переименование контингентного факта в структурный.

Честная оценка. Это наиболее сильная и конкретизированная версия R1. Ответ OPT (§7.10) состоит в том, что узкое место необходимо, поскольку несжимаемые параллельные потоки нарушают условие пропускной способности, — но это уже предполагает Фильтр стабильности, а именно он и является предметом спора (R5). Диалектика замыкается в круг. Честная позиция состоит в том, что тезис о необходимости в настоящее время постулируется, а не доказан; F1 в §6.8 — это эмпирическое обязательство, которое, если подтвердится, даст недостающий аргумент.

Что изменило бы оценку. Либо (a) измерение F1, плотно сгруппированное вокруг \mathcal{O}(10) для крайне различных когнитивных архитектур (люди, китообразные, врановые и, в конечном счёте, ИИ), что указывало бы на структурное, а не контингентное происхождение; либо (b) строгое теоретическое доказательство того, что ни одна система, совместимая с Фильтром стабильности, не может обходиться без этого узкого места.


R8. Расширение на тему «сознания ИИ» на практике нефальсифицируемо

Утверждение. §7.8 / §6.7 фиксирует позицию, согласно которой LLM и ограниченные AIXI-аппроксимации не являются сознательными, поскольку у них отсутствует узкое место C_{\max}. F3 (временная дилатация при наличии узкого места) в принципе поддаётся проверке, но на практике никто не станет создавать намеренно ограниченного таким узким местом синтетического агента на скорости тактового хода 10^4 \times и спрашивать его о субъективной длительности. Предсказание выглядит как содержательно заявленное, но операционально инертное.

Честная оценка. В основном верно по состоянию на 2026-04. Для F3 нужен конкретный экспериментальный протокол и как минимум одна профинансированная или публично обещанная попытка его провести. Без этого предсказания об ИИ в §7.8 сводятся к формуле «это было бы проверяемо, если бы кто-нибудь попробовал» — а это более слабое обязательство, чем F2 (High-\Phi Null, где дискриминаторы между IIT и OPT уже действительно конструируются).

Что изменило бы оценку. Конкретное институциональное обязательство провести F3 (например, исследовательская группа, датированная веха, экспериментальный протокол, согласованный до начала конструирования). Без этого F3 остаётся лишь предварительной пререгистрацией.


R9. Утверждение о приоритете субстрата внутренне нефальсифицируемо

Тезис. В §3.12 утверждается, что субстрат «более фундаментален», чем рендер, на основании аргумента о термодинамической необратимости, однако любая проверка этого приоритета должна была бы проводиться внутри рендера. Это утверждение внутренне некогерентно: если приоритет субстрата не вносит никакого операционального различия внутри рендера, то он лишён содержания; если же он вносит операциональное различие, то это различие само является частью рендера, а не свидетельством о субстрате.

Честная оценка. Это признаётся в §3.12 и §6.8 (исключено из F1–F5). Защита позиции состоит в том, что приоритет субстрата предлагается как онтологическое обязательство, а не как фальсифицируемое эмпирическое утверждение. Следует ли допускать в научной рамке онтологические обязательства, не подлежащие эмпирической проверке, — отдельный методологический вопрос. Строгие эмпиристы (R5 / запись §7.12 5) отвергнут эту категорию; OPT сохраняет её, но помечает соответствующим образом.

Что изменило бы оценку. Это устойчивое расхождение во взглядах, а не эмпирический вопрос. Интеллектуально честный ход — держать приоритет субстрата изолированным от F1–F5 и признать, что строгих эмпиристов это не убедит.


R10. Сами «критерии структурного отключения» структурно легко поддаются манипуляции

Тезис. Окно F1 в два порядка величины, требование F2 о «согласованном протоколе до начала построения», формулировка F3 «для k \in [10, 10^4]» — всё это оставляет достаточно пространства для интерпретаций, чтобы мотивированное рассуждение могло представить почти-опровержения как не-опровержения. Критерии отключения выглядят строгими, но на практике ими можно манипулировать, ужесточая определения, оспаривая измерения или ссылаясь на экспериментальные смешивающие факторы.

Честная оценка. Это мета-возражение: предварительная регистрация обязательна лишь в той мере, в какой обязательны дисциплина и добросовестность тех, кто её интерпретирует. OPT не может самостоятельно обеспечивать исполнение собственных обязательств по фальсифицируемости. Смягчающим механизмом в §6.8 служит требование, чтобы любое ослабление помечалось как повторная регистрация в истории версий, что аннулирует предшествующие тесты, — однако будущий автор может просто так и поступить, приняв эту цену. Доверие к критериям отключения зависит от внешней проверки третьими сторонами, а не только от самого формального обязательства.

Что изменило бы оценку. Внешнее состязательное рецензирование, ориентированное на проверку формулировок F1–F5 на предмет допускающей манипуляции расплывчатости и их последующее ужесточение. Предварительная регистрация у третьей стороны (OSF, AsPredicted), а не только в истории версий.


R11. Реликтовое микроволновое излучение несёт квантовые сигнатуры, которые кодеку не нужно было изобретать

Тезис. Космическое микроволновое фоновое излучение демонстрирует специфические квантово-механические сигнатуры — почти масштабно-инвариантный спектр мощности, почти гауссовы флуктуации, ограничения на отношение тензорных мод к скалярным, статистические особенности, совпадающие с предсказаниями квантовой теории поля в инфляционной космологии с точностью данных спутника Planck. Обычно это интерпретируется как отпечатки квантовых вакуумных флуктуаций, действовавших в космологических масштабах примерно за 13,8 млрд лет до появления какого-либо наблюдателя. Если квантовая механика — это «артефакт разрешения» кодека наблюдателя, ограниченного пропускной способностью (opt-theory.md §7.1, пункты 1–2), то почему глубокое космологическое прошлое — наблюдаемое агрегированно, без тонкоразрешающего измерения — несёт именно квантовые сигнатуры, а не сигнатуры классического теплового шума? Это конкретный космологический случай R1 и особенно острая точка давления на трактовку QM как особенности кодека.

Честная оценка. Теория упорядоченного патча (OPT) может включить наблюдения реликтового излучения в свою рамку только ценой принятия сильной интерпретации, а не слабой. Слабая интерпретация — «QM есть учётная схема на стороне наблюдателя во время измерения» — вступает в конфликт с космологическими данными. Сильная интерпретация — сжатие кодека глобально имеет гильбертову структуру, применяется единообразно вперёд и назад по рендеренному времени, а наиболее сжимаемое прошлое выбирается соломоновской парсимонией — внутренне согласована: инфляционно-квантовое прошлое даёт объяснение наблюдаемого паттерна реликтового излучения с минимальной длиной описания, и потому кодек вынужден рендерить именно его. Этот ответ опирается на §8.5 (вневременной субстрат), §7.1 пункт 4 (обобщённый delayed-choice) и цепочку QECC в Приложении P-2. Цена состоит в том, что OPT приходится принять более сильное и более фальсифицируемое утверждение, чем допускает слабая интерпретация: гильбертова структура кодека действует на всей рендеренной временной линии, и любой наблюдатель, ограниченный пропускной способностью и обладающий когерентным космологическим прошлым, будет видеть в нём квантовые сигнатуры. Абзац о принятом обязательстве в §7.1 (добавлен в v3.4.0) делает эту позицию публичной.

Что изменило бы оценку. Такие особенности космологической истории, чья минимальная длина описания превышает то, что даёт инфляционно-квантовый сценарий по умолчанию, — то есть особенности, которые кодек не стал бы изобретать под давлением парсимонии, но которые всё же присутствуют в данных. Конкретные кандидаты: устойчивые негауссовости высокой алгоритмической сложности, не допускающие никакой краткой инфляционной модели; анизотропии реликтового излучения, сохраняющиеся после тщательной проверки без какого-либо сжимаемого инфляционного объяснения; сигнатуры первичных гравитационных волн с конкретной квантово-событийной генеалогией, которые инференциальный гильбертов кодек, работающий назад во времени, воспроизвести не может. Любое такое наблюдение, подтверждённое независимыми сторонами и устойчивое к альтернативным сжатым объяснениям, составило бы избыток длины описания против механизма наиболее-сжимаемого-прошлого и фальсифицировало бы сильную интерпретацию. В операциональном смысле это подпадало бы под тип «независимой демонстрации», названный в критериях Project Shutdown §6.8, хотя напрямую и не относилось бы к F1–F5.


R12. Обязательство сильного прочтения выглядит как мотивированная постфактум-иммунизация

Тезис. Абзац §7.1 об обязательстве в отношении геометрии кодека (добавлен в v3.4.0, 30 апреля 2026 года) был добавлен в прямой ответ на вызов CMB-QM, поднятый в той же сессии. Он усиливает трактовку QM в OPT: от мягкого «учёта на стороне наблюдателя в момент измерения» к сильной — «гильбертовой структуре на протяжении всей отрендеренной временной линии», — что удобно превращает наблюдения CMB-QM в предсказание, а не в фальсификатор. Названный фальсификатор — «избыток длины описания в космологической истории» — технически определён, но практически трудно демонстрируем. Структурно именно так и действуют исследовательские программы, когда сталкиваются с вызовом: ужесточают рамку, чтобы поглотить вызов, заявляют, что это всегда уже подразумевалось, и называют фальсификатор настолько абстрактный, что никакое наблюдение в обозримом будущем не сможет ему удовлетворить. R1 обвиняет OPT в том, что она приспосабливает под себя всё; R12 обвиняет OPT в том, что она учится приспосабливать в реальном времени. Тогда R11 становится свидетельством в пользу R12, а не независимым подтверждением OPT.

Честная оценка. Частично верно и частично оправданно.

Верно по форме. Это обязательство было добавлено в ответ на конкретный вызов. Хотя §8.5 (вневременной субстрат), §7.1 пункт 4 (обобщённый delayed-choice) и Приложение P-2 (цепочка QECC) уже поддерживали сильное прочтение, публичное обязательство именно к этому прочтению как к канонической для OPT интерпретации стало новшеством v3.4.0. Извне это выглядит как перенос ворот; изнутри — как прояснение. Никакой внешний тест не различает эти два прочтения.

Частично оправданно. Сильное прочтение — это издержка, а не бесплатный бонус: оно закрывает путь к отступлению в мягкое прочтение, который иначе оставался бы доступен перед лицом будущих вызовов того же типа. OPT версии v3.4.0 более фальсифицируема, чем OPT версии v3.3.0, а не менее. Названный фальсификатор (избыток длины описания / minimum description length) обладает определимым математическим содержанием, даже если его операционализация затруднена, так что это не «всё, что мы решим не засчитывать».

Честная позиция. Обязательство v3.4.0 не следует считать свидетельством в пользу OPT. Это уточнение, которое смещает бремя внутри самой рамки. Наблюдения CMB, побудившие к этому обязательству, не могут приводиться как подтверждение, поскольку именно они и послужили побуждающим свидетельством. На эмпирический статус OPT при сильном прочтении влияют только независимые будущие проверки предсказания v3.4.0 — наблюдения или анализы, выполненные после 30 апреля 2026 года сторонами, не участвовавшими в формулировании этой рамки.

Что изменило бы оценку. Либо (a) космологическое наблюдение, сделанное после 30 апреля 2026 года, которое обязательство v3.4.0 специально предсказывает и которое конкурирующие рамки предсказывают менее чисто, — свидетельство того, что это обязательство было реальным упреждающим ограничением, а не постфактум-поглощением; либо (b) внешний комментарий, выявляющий неявные следствия сильного прочтения, которые не были предвосхищены в момент принятия обязательства, — что ослабило бы защиту в духе «это всегда уже подразумевалось» и усилило бы постфактум-прочтение; либо (c) ужесточение третьей стороной формулировки фальсификатора до конкретного класса измеримых наблюдаемых, делающее «избыток длины описания» операционально отличимым, а не просто абстрактным.


R13. Показатель 10 бит/с, лежащий в основе F1, сам по себе является предметом спора

Тезис. F1 (§6.8) опирается на «человеческую субъективную предиктивную пропускную способность C_{\max} \approx \mathcal{O}(10) бит/с», выведенную из работы Zheng & Meister 2024 [23] и четырёх десятилетий сходящихся психофизических данных. Однако показатель 10 бит/с был оспорен в литературе 2025 года — например, в работе «The brain works at more than 10 bits per second» (PMC12320479), — где утверждается, что каналы сознательного доступа шире канонической оценки, если изменить методологию измерения. Если каноническая величина ошибочна на небольшой множитель, центральное эмпирическое обязательство OPT подлежит перекалибровке; если же она ошибочна на порядки величины, проблемой становится уже само окно F1.

Честная оценка. Окно F1 было намеренно задано широким (по 2 порядка величины в каждую сторону) именно потому, что лежащая в его основе эмпирическая величина является спорной и чувствительной к методологии. Сам по себе спорный статус якорного значения 10 бит/с не опровергает F1 — значения от \sim 10^{-1} до \sim 10^3 бит/с всё равно попадали бы в окно F1, а \sim 100 бит/с даже не считались бы близким опровержением. Это, однако, означает, что F1 нельзя представлять как утверждение, основанное на устоявшемся измерении. Структурное требование, от которого OPT действительно зависит, — это существование низкопропускного последовательного узкого места, а не точное численное значение; и различение между структурным критерием и биологической константой в §7.8 (добавлено в v3.4.0) делает это явным. F1 остаётся полезным заранее зарегистрированным обязательством для человеческих наблюдателей, но его эмпирический якорь носит предварительный, а не окончательно установленный характер.

Что изменило бы оценку. Либо (a) стороннее воспроизведение измерения пропускной способности сознательного доступа, сходящееся к значению с существенно меньшими погрешностями, чем в текущей литературе, что позволило бы сузить F1 до более острого теста; либо (b) убедительный методологический аргумент, что сам конструкт узкого места не сохраняется при варьировании схем измерения, — а это было бы более глубоким вызовом, чем R13, и переводило бы обсуждение к R5 (Фильтр стабильности как тавтология). Промежуточное состояние и остаётся актуальным: сохранять F1 в нынешнем виде, с оговоркой, что его эмпирический якорь не является окончательно установленным.


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

Тезис. В R11 в качестве фальсификатора обязательства §7.1 относительно геометрии кодека указывается «избыток длины описания в признаках космологической истории сверх инфляционно-квантового значения по умолчанию». По состоянию на 2026-04 текущие ограничения по CMB исключают сильную негауссовость, но ещё недостаточно строги, чтобы исключить инфляционно-квантовое значение по умолчанию; ограничения на первичные гравитационные волны продолжают ужесточаться, однако обнаружения пока нет. Ни одно наблюдение 2026 года не изменило картину ни в пользу, ни против сильного прочтения OPT.

Честная оценка. Фальсификатор R11 в принципе действительно операционализируем, но в настоящий момент не активен. Для структурного обязательства такого рода это надлежащее состояние: фреймворк указал, что именно могло бы его опровергнуть, экспериментальное сообщество движется к более строгим тестам, а положительного результата ни в ту, ни в другую сторону пока не получено. Честный ход — оставить R11 без изменений и ежегодно перепроверять этот пункт по мере поступления новых космологических данных.

Что изменило бы оценку. Формальный результат Simons / LiteBIRD / CMB-S4, который либо (a) обнаруживает признаки, чья минимальная длина описания при инфляционно-квантовом значении по умолчанию превышает таковую у конкурирующих сжатых объяснений, — тем самым фальсифицируя сильное прочтение и запуская рассмотрение §6.8 Project Shutdown; либо (b) достаточно ужесточает существующие ограничения, чтобы перевести фальсификатор R11 из статуса «в принципе» в статус «в настоящее время выдерживает проверку» при существенно меньших погрешностях, — тем самым усиливая сильное прочтение, не подтверждая его. Любой из этих шагов требует явного аннотированного обновления R11.


Рабочие примечания