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) цитуються рамки, які узгоджуються з OPT, і немає серйозної взаємодії з тими, що не узгоджуються. Гуссерль, Мерло-Понті, Ґелл-Манн, Ван Раамсдонк, Вілер — усі присутні. Строгі елімінативісти (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) біт/с отримують, рухаючись назад від людської інтроспективної пропускної здатності (оцінка «ілюзії користувача» Ньорретрандерса, дані про attentional blink, насичення Норвіча—Вонга), а не вперед від перших принципів. «Інформаційна необхідність» саме цього числа викликає підозру: будь-яка теорія, заснована на rate-distortion, могла б задати іншу пропускну здатність і змусити її працювати. Це число — підгонка, а не передбачення.

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

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

R5. Фільтр стабільності є тавтологією

Твердження. «Спостерігачі існують тоді й лише тоді, коли їхня предиктивна швидкість уміщується в межах їхньої пропускної здатності» — це визначення, а не відкриття. Будь-який позірний спостерігач, який існує, тривіально задовольняє Фільтр стабільності; будь-який гаданий спостерігач, який не існує, тривіально його не проходить. Фільтр не може нічого ні включити, ні виключити — це циркулярний переопис того, які конфігурації мають форму спостерігача.

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

Що змінило б оцінку. Демонстрація того, що передбачення в §6 справді залежать від Фільтра стабільності, а не мають незалежної мотивації. Наразі це лише стверджується; формально ще не верифіковано, що, наприклад, Нульовий стан високого \Phi випливає саме з Фільтра стабільності, а не зі слабшого незалежного зобов’язання.

R6. Структурні відповідності в §IV / §7 є постфактумними

Твердження. Коли OPT зіставляють із Г’юмом, Гусерлем, Франкфуртом, Мерло-Понті, Метцінгером тощо, це зіставлення конструюється після того, як уже відомо, яких висновків дійшла кожна традиція. Це зворотне проєктування, а не передбачення. Теорія впорядкованого патча (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 млрд років до появи будь-якого спостерігача. Якщо QM є «артефактом роздільної здатності» кодека спостерігача, обмеженого пропускною здатністю (opt-theory.md §7.1, пункти 1–2), то чому глибоке космологічне минуле — спостережуване в сукупності, без тонкодисперсного вимірювання — несе саме квантові сигнатури, а не сигнатури класичного теплового шуму? Це конкретний космологічний випадок R1 і гостра точка тиску на прочитання QM-як-властивості-кодека.

Чесна оцінка. Теорія впорядкованого патча (OPT) може поглинути спостереження CMB лише ціною переходу до сильного прочитання, а не вільнішого. Вільніше прочитання — «QM є бухгалтерією на боці спостерігача під час вимірювання» — вступає в конфлікт із космологічними даними. Сильне прочитання — стиснення кодека має глобально гільбертову структуру, застосовується рівномірно вперед і назад у рендереному часі, а найстисліше минуле відбирається соломоновською парсимонією — є внутрішньо узгодженим: інфляційно-квантове минуле є поясненням спостережуваного патерну CMB з мінімальною довжиною опису, і тому кодек змушений рендерити саме його. Цю відповідь підтримують §8.5 (атемпоральний субстрат), §7.1 пункт 4 (узагальнений відкладений вибір) і ланцюг QECC у Додатку P-2. Ціна полягає в тому, що OPT бере на себе сильніше й більш фальсифіковне твердження, ніж вільніше прочитання: гільбертова структура кодека діє на всю рендерену часову лінію, і будь-який спостерігач, обмежений пропускною здатністю, з когерентним космологічним минулим бачитиме в ньому квантові сигнатури. Абзац про зобов’язання в §7.1 (доданий у v3.4.0) робить цю позицію публічною.

Що змінило б оцінку. Риси космологічної історії, чия мінімальна довжина опису перевищує те, що породжує інфляційно-квантовий варіант за замовчуванням, — тобто риси, які кодек не став би вигадувати під тиском парсимонії, але які все одно присутні в даних. Конкретні кандидати: стійкі негаусовості високої алгоритмічної складності, що не піддаються жодній короткоописовій інфляційній моделі; анізотропії CMB, які витримують перевірку без будь-якого стислого інфляційного пояснення; сигнатури первинних гравітаційних хвиль зі специфічним походженням із квантових подій, які інференційний гільбертів кодек, що працює назад у часі, не може відтворити. Будь-яке таке спостереження, підтверджене незалежною стороною й стійке до альтернативних стислих пояснень, становило б надлишок довжини опису проти механізму найстислішого-минулого і спростувало б сильне прочитання. В операційному сенсі це кваліфікувалося б як той тип «незалежної демонстрації», що названий у критеріях 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 (позачасовий субстрат), пункт 4 у §7.1 (узагальнений delayed-choice) і Додаток P-2 (ланцюг QECC) уже підтримували сильне прочитання, публічне зобов’язання щодо цього прочитання як канонічної для OPT інтерпретації було новим у v3.4.0. Ззовні це виглядає як пересування воріт; зсередини — як уточнення. Жоден зовнішній тест не розрізняє ці два варіанти.

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

Чесна позиція. Зобов’язання 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. Очікується, що наступний раунд — Simons Observatory, LiteBIRD, CMB-S4 — посилить обмеження приблизно на порядок, але в часовому масштабі років, а не тижнів.

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

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

Операційні примітки