I. Висновок підрозділу
Цей підрозділ більше не додає ліній рішення на рівні окремих об’єктів. Натомість він запроваджує холодніші, жорсткіші й значно менш зручні правила аудиту. Якщо EFT хоче записати залишки червоного зміщення, замикання Спільної базової карти, структурне розшарування, тонкі деталі поблизу горизонту, пороги Граничних пристроїв і квантові запобіжники з 8.4—8.11 до графи «Підтримка», вона спершу має прийняти чотири спільні обмеження: до Відкладених наборів не можна повертатися для підлаштування критеріїв; під час Засліплення не можна підглядати відповідь; Нульові перевірки не можуть бути значущими разом із головним результатом; Міжконвеєрна реплікація не дозволяє одному маршруту монополізувати істину. Без цих Чотирьох методологічних шлюзів восьмий том, хоч би яскравим він був, усе ще може лишатися наративом із великою пояснювальною силою. Лише пройшовши їх, EFT починає виглядати як теорія-кандидат, готова до аудиту.
II. Після рівня об’єктів потрібен ще загальний методологічний шлюз
У 8.4—8.11 уже викладено всі поля бою на рівні об’єктів, де EFT найбільше прагне перемогти й водночас найбільше ризикує: Спільний член без дисперсії для різних зондів, головна вісь TPR і залишки PER, Спільна базова карта для обертання, лінзування й злиття, структурогенез, космічний негатив і томографія середовища, Відмітні сигнатури поблизу горизонту та межі, граничні пристрої й сильнопольовий вакуум, а також квантове поширення і запобіжник неможливості передавання інформації. Проте недостатньо лише написати, «що вимірювати», «що вважати Підтримкою» і «що завдасть Структурної шкоди». Адже мова EFT сама по собі має велику пояснювальну силу, а теорії з великою пояснювальною силою найбільше загрожує не брак прикладів, а те, що за їхньої надмірної кількості будь-який результат можна узгодити заднім числом.
У попередніх підрозділах бракувало загального шлюзу: щодо кожного результату, який претендує на залік, треба спочатку з’ясувати, чи здобуто його за єдиної системи методологічних запобіжників. Лише після того, як цей шлюз визначено, наступний підсумковий рахунок має право розрізняти «безпосередню Підтримку», «Уточнення» і «Структурну шкоду»; інакше він легко перетворюється на книгу заслуг, складену з прикладів, відібраних заднім числом.
III. Цей підрозділ не додає нових родин експериментів — лише дисципліну перевірки
Цей підрозділ не слід перетворювати на підручник зі статистики. Тоді восьмий том утратив би живий тон і відхилився б від своєї справжньої мети. 8.12 не навчає читача, що таке тренувальна й тестова вибірки, значущість, байєсівський фактор чи усереднення моделей. Він робить лише одну, значно безжальнішу річ: показує, як не дозволити EFT обманути саму себе.
Отже, чотири правила 8.12 — не ізольовані технічні прийоми. Вони підпорядковані одній загальній дисципліні: критерії фіксують наперед; після розкриття дозволено лише вести облік, а не переписувати правила. До перегляду головного результату треба визначити, як добирають вибірку, які об’єкти входять до головної вибірки, які частотні діапазони або шари червоного зміщення залишають Відкладеними наборами, які показники середовища входять до головного аналізу, які правила вилучення є чинними та за якими критеріями зараховують влучання. Без цього Відкладені набори потай використовуватимуть для налаштування, Засліплення перетвориться на виставу, для Нульових перевірок обиратимуть найслабші варіанти, а Міжконвеєрна реплікація стане лише «тією самою упередженістю, запущеною двічі».
Не менш важливо розділити ролі. Для багатьох експериментів і спостережень восьмого тому природною є спільна схема: група попереднього прогнозу лише за показниками середовища, геометрією та вже зафіксованими проксі публікує картку передбачень; група вимірювання вилучає покази, не знаючи змісту цієї картки; арбітражна група лише наприкінці зіставляє прогноз і результат за попередньо зареєстрованою таблицею оцінювання. Не кожна лінія мусить механічно копіювати поділ на три групи, але ця схема нагадує найважливіше правило підрозділу: прогноз має передувати красивому графіку, а правила — красивій історії.
IV. Перший запобіжник: Відкладені набори — за результатом не можна підлаштовувати критерії заднім числом
У 8.12 Відкладений набір — не м’яка «перевірка здатності до узагальнення», а ніж проти підлаштування заднім числом. Найтиповіша помилка EFT полягає не в тому, що вона зовсім не бачить сигналу. Побачивши бодай натяк на напрям, легко почати далі змінювати вибірку, стратифікацію за середовищем, поріг, спосіб обліку фону та сімейство припасувань, доки цей натяк не перетвориться на красивий графік. Відкладений набір перекриває такий шлях відступу: на тренувальній частині можна встановити критерії, але не можна повертати дані з Відкладеного набору до аналізу, щоб полагодити вже сформульовану тезу.
У космологічному блоці Відкладеним набором може бути окреме вікно червоного зміщення, клас джерел, ділянка неба, версія огляду або навіть цілий незалежний ланцюг визначення відстаней. У блоці екстремального Всесвіту можна відкласти частину об’єктів, епох спостережень, азимутальних секторів, груп злиттів або рівнів середовища. У лабораторному й квантовому блоках це може бути діапазон параметрів, клас матеріалів, окремий прилад або набір ще не розкритих рівнів сканування поблизу порога. Форми різні, але дисципліна одна: Відкладені набори лише перевіряють; ними не можна зворотно налаштовувати модель.
Результат на Відкладеному наборі справді додає EFT ваги не тоді, коли тенденція, яку один раз побачили на тренувальній частині, там «трохи схожа», а коли напрям не змінюється, ранжування не розсипається, а критерії не переписуються. Наприклад, якщо Спільний член із 8.4 справді є спільним фоном без дисперсії, то в зарезервованих частотних діапазонах, вікнах подій або на інших станціях він має щонайменше зберігати той самий напрям і те саме часове вікно. Якщо головна вісь TPR у 8.5 справді поглинає основний фон, універсальне α не повинно негайно змінюватися для зарезервованого класу джерел або ділянки неба. Якщо Спільна базова карта з 8.6 не є мозаїкою окремих випадків, її заморожена версія не повинна одразу вимагати нового набору латок на відкладених об’єктах. І навпаки: щойно тенденція у Відкладеному наборі змінює напрям, утрачає порядок або виживає лише після нового добору вибірки, вона перестає бути головним висновком і повертається до статусу попередньої ознаки.
І ще одне: не можна відкладати лише «найлегшу для проходження частину». Якщо теорія залишає наостанок найчистіші, найзнайоміші й найзручніші вибірки, а ділянки неба з високим ризиком, важкі для калібрування діапазони, складні об’єкти та параметричні вікна поблизу порога заздалегідь використовує для багаторазових спроб і помилок, такий Відкладений набір уже забруднено. Належний Відкладений набір має свідомо містити одиниці спостереження, які найімовірніше виявлять помилку теорії, адже мета восьмого тому — не підвищити відсоток перемог, а зробити умови перемоги й поразки жорсткішими.
V. Другий запобіжник: Засліплення — прогноз має заговорити раніше за красивий графік
Цінність Засліплення не в тому, що воно формально виглядає «науковіше». Воно змушує теорію заздалегідь назвати те, чим вона справді ризикує. У EFT надто багато місць, де після перегляду графіка легко додати пояснення: Спільний член виявився сильнішим у насиченішому середовищі — отже, заявити, що саме цього й очікували; певне зміщення сильніше лише у вузловому середовищі — отже, сказати, що каркас і мав поводитися саме так; після порога з’явилося плато — отже, оголосити його ознакою порогової дискретності. Якщо ці речення не записано до перегляду результатів, це не прогнози, а ретроспективна риторика.
Засліплення, якого вимагає 8.12, не зводиться до приховування назв файлів або перетасування міток вибірки. Для EFT важливіша структурована схема «попередній прогноз — вимірювання — арбітраж». На етапі попереднього прогнозу теорія може, спираючись лише на зафіксовані показники середовища, геометрію, параметри матеріалу або історичний журнал, записати картку передбачень: який рівень має бути сильнішим, який — слабшим, чи очікується той самий або протилежний знак, чи має сигнал лишатися без дисперсії та чи повинен проявитися в тому самому вікні. На етапі вимірювання команда вилучає сигнал, не знаючи змісту цієї картки. На етапі арбітражу третя сторона за замороженими правилами підраховує влучання, помилкові напрями й промахи. Лише так EFT справді ризикує собою, а не імітує ризик.
Конкретна форма Засліплення може сильно відрізнятися між блоками. У 8.4 і 8.5 можна засліплювати мітки стратифікації за середовищем і класів джерел; у 8.6—8.9 — поле напрямків каркаса, фазу злиття, рівень холодної плями, азимутальний шаблон поблизу горизонту або клас об’єкта; у 8.10 і 8.11 — партію матеріалу, рівень порога, порядок збудження, клас чистоти тракту й навіть належність до відкладеного параметричного вікна. Важлива не однакова форма, а однакова дисципліна: спочатку сказати, що має статися, і лише потім перевірити, чи сталося це; а не спершу побачити результат, а потім заявити, що він завжди був очевидним.
Засліплення має ще одну часто недооцінену цінність: воно змушує EFT розрізняти здатність передбачити наперед і здатність пояснити заднім числом. На папері обидві можуть виглядати як «ми влучили», але їхній науковий статус докорінно різний. Перша ризикує до появи результату; друга шукає мову, здатну вмістити результат після його появи. 8.12 захищає саме першу, бо лише вона справді може змінити шанси теорії.
VI. Третій запобіжник: Нульові перевірки — не приймати артефакти за нову фізику
Багато ліній рішення EFT шукають структури «слабкі, але дисципліновані»: Спільний член без дисперсії, монотонність за середовищем, співлокалізоване масштабування, післяпорогове плато, влучання попереднього прогнозу та Спільну базову карту для різних зондів. Саме тому, що ці сигнали зазвичай не є величинами, які переважають усе інше, а радше проявляються як ранжування, знак, спільне вікно, залишки й стратифікація, їх особливо легко непомітно відтворити систематичними похибками, функцією відбору, дрейфом калібрування, зміщенням шаблону або звичками аналітичного конвеєра. Нульові перевірки створюють для таких артефактів окремий суд.
Справді жорсткий набір Нульових перевірок має містити щонайменше два типи.
- Нульові перевірки з руйнуванням структури: перестановка міток, обернення часу, перестановка частотних діапазонів або станцій, обертання неба, рандомізація напрямку каркаса, перемішування ідентичності об’єктів і зміна порядку порогів. Вони запитують: якщо зруйнувати структурні зв’язки, на яких спирається EFT, чи повернеться головний результат до випадкового рівня?
- Нульові перевірки на забруднення тракту: збурення смуги пропускання, зсув часової шкали, ін’єкція шаблону, випадкова маска, фіктивне контрольне вікно, сурогатний матеріал, псевдопорогове сканування, зворотна полярність і позаосьова геометрія. Вони запитують: чи може відомий нефізичний чинник усередині процедури відтворити значущість того самого рівня, що й головний результат?
Нульові перевірки не є другорядними й не повинні формально з’являтися лише в додатку. Для 8.4 головний результат не має підстав, якщо обернення часу, перестановка частотних діапазонів і контроль за законом дисперсії так само дають «Спільний член із нульовою затримкою». Для 8.6 і 8.7 результат радше свідчить про алгоритмічне зміщення, якщо після випадкового обертання каркаса або збурення Базової карти колінеарність і спільність карти нікуди не зникають. Для 8.9 Відмітна сигнатура лише живиться конвеєром обробки, якщо тонка структура поблизу горизонту лишається так само значущою після зміни правил формування зображення й напрямку шаблону. Для 8.10 і 8.11 «нова фізика» просто кружляє всередині приладу, якщо сурогатні конфігурації, фіктивні навантаження, порожні резонатори, від’єднання класичного звіряння або псевдопорогові контролі дають той самий «новий сигнал». Якщо головний результат не зберігає специфічності перед Нульовими перевірками, його не можна підвищувати до Підтримки.
Крім Нульових перевірок, потрібен і Позитивний контроль. Процедура має не лише не виявляти сигналу, коли «структури EFT» немає, а й правильно спрацьовувати, коли відому структуру ін’єктовано або коли має проявитися відома фізика. Якщо конвеєр не здатний ані зруйнувати артефакт, ані відновити відомий сигнал, його головний результат узагалі не має залікової сили. Отже, Нульові перевірки восьмого тому — не просто демонтаж; вони одночасно фіксують правило «успіх тоді, коли має бути успіх, і невдача тоді, коли має бути невдача».
VII. Четвертий запобіжник: Міжконвеєрна реплікація — жоден маршрут не повинен монополізувати істину
Одна з найнебезпечніших перемог восьмого тому — та, що зникає, щойно змінюється маршрут обробки даних. Багато величин, важливих для EFT, залежать від складних ланцюгів вилучення: як віднімають фон, як виділяють каркас, як виконують інверсію лінзування, як реконструюють кільцеві зображення, як розпізнають пороги, як синхронізують необроблені потоки та як розмежовують шум і постселекцію. Якщо хоча б одна з цих ланок сильно залежить від звичних налаштувань конкретної команди, красивий результат одного конвеєра ніколи не може автоматично стати фізичним висновком.
Тому Міжконвеєрна реплікація в 8.12 — не повторний запуск того самого коду з іншим зерном генератора випадкових чисел. Вона вимагає справжньої незалежності: незалежних ланцюгів попередньої обробки, моделей фону, методів реконструкції каркаса або зображення, сімейств припасувань і маршрутів калібрування, а бажано ще й незалежних команд, установ та версій апаратури. Для астрономічних даних це означає, що різні продукти оглядів, конвеєри формування зображень або інверсії та набори макромоделей мають давати висновки одного напряму. Для лабораторних даних — що інший прилад, інше керувальне програмне забезпечення, інша система збору даних і інший ланцюг післяобробки не можуть довільно перевертати результат.
EFT не вимагає, щоб усі конвеєри дали чисельно тотожні відповіді. Їй потрібна простіша й водночас важча для підробки річ: головний знак, головне ранжування й головна структура мають збігатися. Якщо сигнал існує лише за певного способу віднімання фону, певної регуляризації реконструкції, певного базису шаблонів або певного постселекційного вікна, а в інших розумних конвеєрах одразу розсипається, восьмий том має чесно записати не «результат суперечливий, але дуже перспективний», а «поки що це лише ознака, залежна від конкретного конвеєра обробки».
Врешті Міжконвеєрна реплікація має спиратися на відкритість журналів і можливість незалежного перерахунку. Не кожна команда зобов’язана одразу й без жодних обмежень оприлюднити всі проміжні файли, але зовнішні перевіряльники мають бачити ключові точки рішень: які вибірки вилучено, які параметри зафіксовано, яких відкладених одиниць не торкалися, які Нульові перевірки провалено й із чим не погодилися незалежні конвеєри. Якщо ці журнали лишаються лише в первинної команди, зовнішньому світові важко відрізнити «це складне явище» від «це складний процес обробки».
VIII. Чому чотири запобіжники мають діяти разом, а не формально поодинці
Працювати лише з Відкладеними наборами, але без Засліплення — означає спершу побачити тенденцію, а потім ретельно вибрати «розумний» набір для перевірки. Застосувати лише Засліплення, але без Нульових перевірок — означає не підглядати відповідь, але все одно ризикувати прийняти систематичний артефакт за відкриття. Виконати Нульові перевірки, але не Міжконвеєрну реплікацію — означає дозволити одному аналітичному маршруту нести те саме зміщення і в головний результат, і в контрольні перевірки. Виконати Міжконвеєрну реплікацію, але не мати Відкладених наборів — означає, що кілька команд можуть разом перенавчити тренувальну вибірку майже до рівня пророцтва. Чотири запобіжники — не чотири декоративні елементи, а один ланцюг.
Саме тому 8.12 прямо відкидає поширену логіку компенсації: «Ми не мали Відкладеного набору, зате застосували Засліплення; Нульові перевірки слабкі, зате конвеєри досить узгоджені; незалежної реплікації ще немає, зате тренувальна вибірка виглядає чудово». У рекламі такий підрахунок може бути зручним, але під час аудиту він є порушенням. Восьмий том не змагається за «загальний бал за враження»; він запитує, чи здатен вистояти за найневигідніших для себе правил. Якщо не пройдено хоча б один ключовий шлюз, красивим результатом іншого шлюзу це компенсувати не можна.
IX. Як ці чотири запобіжники застосовуються до 8.4—8.11
Для 8.4 і 8.5 головне завдання чотирьох запобіжників — не дати зшити заднім числом «Спільний член» і розмежування TPR / PER. Тут бажано відкладати класи джерел, ділянки неба, частотні діапазони й вікна подій. Засліплення вимагає наперед зафіксувати картку передбачень за середовищем і правила розмежування головної величини та залишку. Серед Нульових перевірок пріоритетними є сурогати закону дисперсії, обернення часу, перестановка міток і станцій. Міжконвеєрна реплікація має охопити щонайменше ланцюг обробки червоного зміщення, ланцюг часових затримок, незалежний ланцюг визначення відстаней і ланцюг моделювання лінзування. Поки цих запобіжників бракує, 8.4 і 8.5 легко скочуються назад до формули «і цей графік схожий, і для того графіка можна придумати історію».
Для 8.6—8.9 завдання чотирьох запобіжників — не дозволити «Спільній базовій карті, полю напрямків каркаса, тонкій структурі поблизу горизонту й Відмітним сигнатурам межі» перетворитися на вільне тлумачення зображень. Тут доцільніше відкладати об’єкти, епохи спостережень, шари червоного зміщення, фази злиття та одиниці вздовж променя зору. Засліплення можна накласти на поле напрямків каркаса, рівень середовища, азимутальний шаблон, класифікацію об’єкта й картку передбачень Відмітної сигнатури. Нульові перевірки мають особливо наголошувати на обертанні шаблонів, випадкових каркасах, випадкових масках, позаосьових контролях, фіктивних гарячих / холодних плямах, зсувах і повторній дискретизації. Для Міжконвеєрної реплікації потрібні висновки одного напряму від різних алгоритмів каркаса, методів реконструкції маси, схем формування зображень і ланцюгів вилучення часових затримок.
У 8.10 і 8.11 послаблювати ці чотири запобіжники тим більше не можна. Саме лабораторний блок найчастіше дає псевдоперемогу типу «сигнал дуже красивий, але існує лише на цьому приладі й у цьому сценарії обробки». Тут Відкладеним набором може бути ціле параметричне вікно, клас матеріалів, окремий прилад або партія мікросхем. Засліплення можна накласти на рівні порогів, мітки матеріалів, порядок збудження й класи чистоти тракту. Нульові перевірки мають охоплювати сурогатні конфігурації, порожні резонатори, фіктивні навантаження, зворотну полярність, контроль із розірваним трактом, часові невідповідності та ін’єкцію з відновленням. Міжконвеєрну реплікацію бажано довести до міжінституційного, міжапаратного й міжпрограмного рівнів, окремо оприлюднюючи необроблений журнал і журнал постселекції. Лише так восьмий том не перепише інженерну випадковість як нову перевагу EFT.
X. Який методологічний результат справді підтримує EFT
З погляду 8.12 справжньою Підтримкою EFT є не те, що певний клас об’єктів «більше схожий на EFT», а те, що після прийняття найнесприятливіших для себе правил EFT і далі демонструє структурно узгоджені влучання в кількох лініях рішення. Конкретніше, мають одночасно виконуватися щонайменше такі умови:
- у Відкладених наборах напрям, ранжування й головна структура лишаються узгодженими з тренувальною частиною без підлаштування критеріїв заднім числом;
- частота влучань засліплених карток передбачень стабільно перевищує випадковий рівень і контролі з перестановкою, а не починає здаватися «очевидною» лише після розкриття;
- головний результат значуще перевершує і Нульові перевірки з руйнуванням структури, і Нульові перевірки на забруднення тракту;
- щонайменше два справді незалежні конвеєри й дві команди доходять висновку одного напряму, не винаходячи для цього нових правил.
Якщо ці умови виконуються не на одній ізольованій лінії, а одночасно в кількох родинах 8.4—8.11, EFT уперше справді позбувається найнебезпечнішої оцінки — «теорія, що вміє розповідати історії». Це означає, що вона не лише пояснює об’єкти, а й погоджується методологічно обмежити власну свободу тлумачення; ще важливіше — після такого обмеження в неї щось лишається.
Треба жорстко зафіксувати ще одне: методологічна Підтримка також має рівні. Найслабший означає лише, що результат не впав перед запобіжниками. Значно сильніший — що він не тільки не впав, а й продемонстрував влучання попереднього прогнозу, стійкість у Відкладених наборах, відокремлення від Нульових перевірок і узгодженість між командами — чотириланкове замикання. Восьмому тому потрібен не перший рівень, а другий. Перший лише показує, що EFT поки не спіймали на процедурній помилці; другий означає, що вона починає здобувати довіру до самої процедури.
XI. Які результати означають лише Уточнення, а не негайне вибуття
Не кожна методологічна складність відразу відправляє EFT на переписування. Деякі результати означають радше Уточнення, ніж відмову від твердження.
- Перший тип Уточнення — результат зберігається на Відкладених наборах лише в частині вікон. Тобто певні твердження проходять усі чотири запобіжники для конкретних класів джерел, середовищ, платформ або параметричних вікон, але слабшають поза ними. Такий результат може означати, що EFT справді вловила щось реальне, проте її Область застосовності треба звузити.
- Другий тип Уточнення — під час Засліплення є влучання, але лише за напрямом, не за амплітудою; лише за стратифікацією, не за єдиною шкалою. Тоді EFT зберігає здатність до прогнозу, але втрачає надто сильну претензію на універсальну граматику. Третій тип — Нульові перевірки загалом пройдено, але деякі зони високого ризику все ще лишаються вразливими, наприклад конкретна ділянка неба, край частотної смуги, конфігурація формування зображення або партія матеріалу. Четвертий тип — різні конвеєри дають один напрям, але сходяться лише за ширшої смуги систематичних похибок. Усе це не слід прикрашати як повну Підтримку, але й негайного вибуття воно не означає. Такі результати змушують EFT звузити амбіції й зробити формулювання жорсткішими.
XII. Які результати безпосередньо завдадуть Структурної шкоди
- Перший тип результатів, що справді б’є по методологічному каркасу EFT, — систематична зміна напряму у Відкладених наборах. Тобто напрям, ранжування й замикання, які в тренувальній частині виглядали стабільними, у Відкладених наборах зникають, перевертаються або виживають лише після нового добору вибірки. Це не «трохи слабша здатність до узагальнення», а ознака того, що головний висновок, імовірно, залежить від підлаштування заднім числом.
- Другий тип — Засліплення протягом тривалого часу не дає влучань, а після розкриття щоразу з’являється красиве пояснення. Якщо за заморожених критеріїв частота влучань картки передбачень близька до випадкової, частка прогнозів із хибним напрямом висока або після перегляду графіка доводиться знову й знову переписувати пороги, стратифікацію та проксі, EFT більше не може подавати ці пояснення як прогностичну граматику.
- Третій тип — Нульові перевірки й головний результат мають однакову значущість. Якщо перестановка міток, обернення часу, обертання шаблонів, сурогатні матеріали, фіктивні контрольні вікна, збурення смуги пропускання або випадковий каркас дають «сигнал Підтримки» приблизно тієї самої сили, восьмий том має визнати не те, що «результат складний», а те, що «процедура виробляє сигнал».
- Четвертий тип — EFT можна побачити лише в одному конвеєрі або в результатах однієї команди. Якщо після зміни моделі фону, методу інверсії, маршруту формування зображення, ланцюга калібрування або версії апаратури головний результат розсипається, а незалежні перерахунки в інших установах тривалий час не дають висновку одного напряму, EFT утрачає підстави вимагати визнання. П’ятий, найжорсткіший тип — чотири запобіжники суперечать один одному: Відкладені набори пройдено, але Засліплення не дає влучань; головний результат значущий, але Нульові перевірки так само значущі; одна команда стабільна, а кілька команд не відтворюють результат. Якщо такий розкол довго зберігається в кількох родинах рішень, 8.12 слід записувати не як методологічну перевагу, а як серйозну ваду достовірності всього тому.
Є й інша, часто недооцінена форма методологічної Структурної шкоди: правила завжди оновлюють після появи результату. Сьогодні вимагають одного напряму, завтра — ранжування, післязавтра — лише підвибірки з сильним середовищем. Сьогодні двох конвеєрів досить, завтра через неузгодженість оголошують надійним лише один. Сьогодні відкладають ділянку неба, завтра після зміни напряму — частотний діапазон. Якщо «правила біжать слідом за результатом» протягом тривалого часу, 8.12 мусить винести вердикт про тяжку шкоду: EFT ще не навчилася віддавати себе під владу фіксованих правил.
XIII. Коли сьогодні ще не можна винести рішення
- Цей підрозділ, звісно, зберігає статус «Поки не винесено рішення», але його межі мають бути дуже вузькими. Перший справді виправданий випадок — необроблені журнали й ключові метадані ще недостатньо відкриті. Якщо ланцюги часової прив’язки, смуги пропускання й калібрування, визначення відкладених одиниць або проксі середовища лишаються непрозорими, примусовий вердикт лише підвищить рівень шуму в суперечці.
- Другий випадок — охоплення вибірки ще не дає сформувати справжню структуру Відкладених наборів. Наприклад, для деяких передбачень Відмітних сигнатур нині є надто мало об’єктів: відкласти один — майже те саме, що залишитися без вибірки. А для деяких екстремальних платформ поки немає умов для міжустановної реплікації. За таких обставин статус «Поки не винесено рішення» є проявом стриманості.
- Третій випадок — для чотирьох запобіжників ще немає спільних критеріїв. Якщо різні команди не досягли базової згоди щодо того, що вважати незалежним конвеєром, чинною Нульовою перевіркою, влучанням під час Засліплення або одиницею Відкладеного набору, сьогодні справді може бути зарано для жорсткого вердикту. Але такий статус не можна продовжувати безмежно. Щойно необроблені журнали відкрито, критерії зафіксовано, Відкладені набори й Нульові перевірки виконано, незалежні конвеєри готові, а результат усе одно спрямований у протилежний бік, це вже не «Поки не винесено рішення». Це вже послаблення EFT, а не пауза в очікуванні зручнішого виправдання.
Є ще один виправданий, але небезпечний випадок: об’єкти надто рідкісні, платформи надто дорогі, а цикл відтворення надто довгий. Деякі тонкі деталі поблизу горизонту, екстремальні злиття або дорогі квантові канали зв’язку справді неможливо так само швидко відтворити в кількох установах, як звичайний лабораторний експеримент. У такій ситуації 8.12 може тимчасово дозволити формулу «щільність доказів недостатня», але не дозволяє підміняти її формулою «отже, поки зарахуємо Підтримку». У граматиці восьмого тому дорожнеча й рідкісність можуть лише сповільнити вердикт, але не підвищити шанси на перемогу.
XIV. Не плутати «можна пояснити» з «витримує перевірку»: головний поворот цього підрозділу
Цей підрозділ додає не кілька технічних вимог, а змінює позицію всього тому — від герменевтики пояснення до дисципліни перевірки. Герменевтика пояснення найкраще вміє знайти для кожного нового об’єкта фразу, в яку його можна вписати. Дисципліна перевірки робить протилежне: спершу зв’язує теорії руки, а потім запитує, що після цього лишається від самої теорії. Для EFT, яка прагне переписати Базову карту, цей поворот особливо важливий. Чим красномовніша EFT, тим раніше вона має навчитися мовчати; чим більше здатна пояснити, тим охочіше має прийняти найневигідніші правила.
Саме це слід запам’ятати з цього підрозділу: Справжня загроза фальсифікації не в силі супротивника, а в тому, чи готова теорія судити саму себе за найнесприятливішими для неї правилами. Якщо EFT не погодиться на це, то навіть за відсутності негайного спростування вона лишатиметься теорією, що вміє розповідати історії. І навпаки: навіть якщо за найневигідніших правил вона виграє лише в частині вікон, така перемога важитиме більше, ніж цілий том красивих пояснень, які не пройшли методологічних запобіжників.
XV. Підсумок підрозділу
Те, чи вистоїть восьмий том, залежить не лише від того, що він побачив, а й від його готовності поставити себе в невигідне становище перед Чотирма методологічними шлюзами — Відкладеними наборами, Засліпленням, Нульовими перевірками та Міжконвеєрною реплікацією. Лише прийнявши ці незручні правила, EFT може домогтися того, щоб майбутня Підтримка не була лише відлунням її власної оповіді.