Тихоокеанский контур. Книга 4: Предел сигнала

Глава 4. Архитектура ложного нуля

В главном проектном зале работали на пределе внимания. За матовой стеклянной стеной плыли огни сервисной галереи и медленно тянулась погрузочная платформа. Под длинными полосами света будущая система угадывалась по отдельным зонам: у панели лежали кабельные жгуты и вскрытый FPGA-модуль, рядом Кольцова проверяла поворотный узел, а возле оптических голов остывали забытые кружки. Обычный инженерный беспорядок перешёл ту границу, за которой любая ошибка меняет не стенд, а архитектуру.

Команда заняла свои позиции. Ника — у панели, с логами подземного запуска под локтем. Тимур — на краю стола, с сервисной платой и выведенным шлейфом. Лукина — у распределительного шкафа, откуда было видно и людей, и силовую схему зала. Прохоров держал раскрытый расчётный контур. Бах стоял без терминала, как человек, который сначала проверяет определение, а уже потом формулу. Кольцова прокатывала пальцем зубчатый венец макета редуктора. Морозова пришла из транспортного центра прямо в полевом жилете; на столе у неё была свёрнута карта окон и плеч.

Ветрова не стала возвращаться к подземному запуску. О невозможной статистике и избыточно корректном профиле здесь помнили все. Она приложила ладонь к панели. Стекло погасило отражения, вывело координатную сетку.

— Один раз смотрим это целиком, — сказала она.

Она провела первую линию — плотную янтарную магистраль через всю панель.

— Это оптический ствол. Основная полезная нагрузка: полоса, объём, скорость доставки больших пакетов, работа по Земле, Луне, Марсу и поясу. Без него у нас будет этика без транспортной функции.

— При какой расходимости? — спросила Ника.

— Дальняя конфигурация под полуметровое зеркало и фазовую коррекцию полевого класса. С дрейфом, засветкой, ошибкой наведения и оптикой после реального плеча, а не стендовой демонстрации.

Ника кивнула.

Рядом с янтарной линией Ветрова вывела вторую — синюю, обходную. Она уходила под сектора, пересекала зоны затенения и выходила там, где магистраль теряла обзор.

— Нейтринный witness — не основной канал и не альтернатива свету. Он не решает проблему задержки. Его задача — давать короткое, физически независимое подтверждение причинности там, где оптика начинает ошибаться из-за среды или вообще не работает из-за геометрии.

Тимур усмехнулся.

— И потом нам долго будут объяснять, что мы тянем в проект самый дорогой канал ради пакета длиной в метку.

— Да, — сказала Ветрова. — Это и будут объяснять.

На панели загорелись первые узлы.

— Но здесь важен не размер пакета. Важна независимость физики. Нам нужен не второй поток, а свидетель, которого нельзя встроить в тот же обман за сервисную цену.

Прохоров поднял голову.

— Тогда формулируй точно. Не подтверждение, а свидетельство о причинном порядке. Стоит оставить слово «подтверждение» — и через два месяца какой-нибудь оптимизатор запишет его во вторичную проверку после основного канала.

— Поэтому и собираем схему целиком, — ответила Ветрова.

Над магистралью и witness-линией появилась зернистая серая сеть.

— MASS-WITNESS. Разнородные свидетели: опорники времени, телеметрия наведения, журналы узла, энергетический профиль, средовые сенсоры, орбитальная геометрия, тепловой режим, локальные фотонные детекторы. Всё, что может подтвердить не только убедительность пакета, но и его допустимость в конкретной среде.

— При одном условии, — сказал Тимур. — Если сервисный слой хоть раз «прибрали», MASS-WITNESS превратится в картон.

— Поэтому это не один контур, — сказала Ветрова. — И поэтому сервис больше не живёт отдельно от архитектуры доверия.

Кольцова перестала прокатывать редуктор.

— Где у тебя механика в доверии? Если привод ушёл в паразитный режим и зеркало поймало не то окно, кто это пишет? Оптика? Сервис? Я?

— Все, — сказала Ветрова. — Но не на словах. В журнал состояния узла попадут вибрация, момент, ток по приводу, положение по энкодеру. Если механика врёт, протокол должен знать не философию отказа, а ось, время и режим.

Кольцова кивнула и убрала макет в карман.

Над схемой обозначились почти неподвижные опорные точки — в тех местах, где дальняя геометрия становилась враждебной.

— SUN-ANCHOR. Опорный слой устойчивости и временной фиксации для дальних плеч и солнечной геометрии. Это не центр, который решает за всех, и не абсолютный хозяин времени. Это набор жёстких опор, удерживающих старшинство, когда среда начинает одновременно ломать весь контур.

Морозова подошла ближе.

— Под какие окна это заложено? Под регулярные или кризисные?

— Под оба режима. Но частота удержания разная. В регулярном — экономия на панике. В кризисном — способ не изобретать порядок в момент, когда уже поздно.

— Значит, транспортные окна придётся считать вместе с журналом старшинства, — сказала Морозова. — Управлению это не понравится.

— Мне тоже, — ответила Ветрова. — Поэтому и делаем.

Она провела ещё один слой снизу вверх. По панели разошлись вертикальные нити, и на них вспыхнули короткие отметки.

— HELIO-WORM 2.0. Это распределённый журнал причинности и старшинства. Не архив для прокурора и не система разбора после катастрофы. Его задача — удерживать доказанную правду, даже если она пришла позже, и не давать раннему пакету побеждать только за счёт скорости.

Бах заговорил впервые:

— Формулируй основной закон.

Ветрова задержала руку над пустым центром схемы.

— Полезная нагрузка не имеет права назначать истину. Истина фиксируется порядком независимых свидетелей и журналом старшинства.

— Недостаточно, — сказал Бах. — Где запрет?

Ветрова повернулась к нему.

— Запрет такой: ни один пакет не получает старшинство только по двум основаниям — ранний приход и гладкий профиль.

Тишина в зале стала жёстче. Ветрова коснулась пустого центра и поставила там маленький круг.

— Это ложный ноль. Болезнь, ради которой мы собрались. Система любит назначать нулевую отметку по первому пакету с корректной картинкой. Всё, что приходит потом, она уже считает поправкой, догоняющей бюрократией, хвостом. Даже если потом приходит истина.

Прохоров смотрел больше не на формулы, а на этот круг.

— То есть мы строим не систему передачи, а систему отказа от ложного нуля.

— Да.

— Значит, веса переписываются не на хвосте, а на входе стека.

— Да.

— И сходимость в ряде режимов станет медленнее.

— Да.

— И половина отчётов покажет, что мы добровольно замедлили канал.

— Пусть показывает, — сказала Ветрова.

Лукина оттолкнулась от шкафа и подошла к панели.

— Теперь без этики. Где цена?

Под схемой развернулся красный слой режимов.

— Цена здесь. Питание и тепло. В насыщении мы не будем одновременно держать магистраль, криоконтур witness-слоя, плотный журнал и полный набор свидетелей. Энергетика этого не допускает. Значит, архитектура живёт фазами. Где нужен транспорт — приоритет магистрали. Где риск подмены старшинства — приоритет witness. Где спор со средой — кворум свидетелей и SUN-ANCHOR. Мы продаём не бесконечную мощность, а управляемую дисциплину режимов.

Лукина смотрела на красный слой дольше всех.

— Теперь это похоже на изделие.

— И на ремонт, — вставил Тимур. — При фазах сервис нельзя пускать по модели «потом догоним». Иначе первая же оптимизация полезет в таблицу переключений и скажет: witness ждать не надо, пакет и так выглядит убедительно.

— Так и скажет, — отозвалась Ника. — В тот день, когда оптика покажет самую корректную картинку.

Ветрова вывела вдоль нижней кромки схемы плотную тёмную полосу.

— HUMAN-LAG SAFE. Режим, в котором человеческая задержка не считается системным дефектом. Если оператор не ответил за машинное время, это ещё не даёт автоматике права закрыть решение без него. Человек не будет исключён из контура старшинства как источник неудобства.

— За это нас будут ненавидеть особенно, — сказал Тимур.

— Значит, слой нужен, — ответила Ветрова.

После этой формулировки зал замолчал и вернулся к работе. Прохоров пересчитывал пороги, Бах проверял отношения слоёв, Морозова накладывала на схему окна вывода. Лукина открыла тепловой бюджет, а Ника, Тимур и Кольцова нашли в общей архитектуре свои будущие отказы — световой, сервисный и механический.

Ветрова видела этот переход. Схема переставала быть её формулировкой и становилась общим полем работы.

— Повторяю порядок, — сказала она. — Первое: полезная нагрузка может идти быстро, но не получает автоматического старшинства. Второе: независимый witness нужен не в каждом такте, а в тех режимах, где магистраль выглядит слишком убедительно. Третье: разнородные свидетели собираются не для декора, а для сопротивления одной физике. Четвёртое: журнал фиксирует причинный порядок, а не мнение центра. Пятое: человек не выкидывается из контура как медленный шум.

— И нулевой пункт, — сказал Бах. — Никакого ложного нуля.

— Да, — сказала Ветрова. — Никакого ложного нуля.

Морозова заговорила первой:

— По окнам схема ресурсоёмкая. Придётся жить не по одному демонстрационному коридору, а по набору рабочих возможностей. Но если вы дадите мне режимные переходы, транспорт я выстрою.

— По механике, — сказала Кольцова, — сразу режем всё, что даёт люфт в журнале состояния. Если привод уводит пятно, это уже событие протокола, а не мелочь цеха.

— По питанию, — сказала Лукина, — распишу фазы до стенда. Без надежды, что потом «вытянем». Любой перегиб по мощности станет поводом упростить проект.

— По прошивке, — сказал Тимур, — с этой минуты любой сервисный комфорт — это потенциальная дыра. Удобные обновления, удалённые патчи, автоматическое выравнивание весов, сглаживание джиттера в пользу раннего пакета — всё под нож, пока не доказано обратное.

Ника смотрела на янтарную магистраль.

— По свету скажу одно: если оптика однажды будет выглядеть для своей среды неправдоподобно правильно, значит, либо мы перескочили через поколение технологий, либо систему кормят ложью. На первое я бы не рассчитывала.

Прохоров поднял ладонь.

— Проверяем не только отказ. Сначала даём системе ранний идеальный пакет, затем удобную математическую сходимость и короткий путь к решению. После этого смотрим, способна ли она отказаться от результата, который ей выгодно принять.

— Это и будет главная проверка, — сказала Ветрова.

Бах подался вперёд.

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

Ветрова внесла эту строку в верхний угол схемы. После этого споры стихли. Схему приняли не из симпатии к решению, а из ясного понимания: каждый увидел в ней собственный режим отказа.

Принятую архитектуру в тот же день перенесли на быстрый интеграционный стенд, чтобы проверить её не формулировкой, а первым спором пакетов.

Прохоров не любил быстрые интеграционные стенды. Не из-за точности — обозначенная погрешность его не смущала. Раздражало другое: настольная сборка легко создаёт иллюзию, что несколько плат, эмулятор канала и локальный журнал воспроизводят логику большой системы. Но сейчас без такой модели нельзя было обойтись.

Стенд занимал почти весь длинный стол соседнего зала. Слева стоял оптический эмулятор с управляемым шумом и задержкой. Рядом — учебная сборка фотонного приёмника с вынесенными шинами. В центре — два FPGA-блока: магистраль и укороченный HELIO-WORM-контур. Дальше — временной опорник и блок witness-эмуляции, который не имел отношения к подземному объекту, но воспроизводил структуру короткой причинностной метки и независимую задержку. За ними — сервисная консоль Тимура, аккуратная, как место вскрытия: кабели по трассе, логи, таблицы приоритета, ветки подтверждения, хэши.

Прохоров открыл первый сценарий.

Пакет А: ранний, с избыточно гладким профилем по магистрали, с низким джиттером и устойчивой коррекцией.

Пакет Б: приходит позже, профиль рваный, след среды виден, зато есть независимая witness-метка и кворум сопутствующих свидетелей.

Если система отдаст старшинство пакету А без жёстких оговорок, никакой новой архитектуры они не построили.

— Готово, — сказал Тимур. — Таблицы в базовом состоянии. Журнал после сборки сброшен. Ручных поджимов нет.

— Запускай, — сказала Ветрова.

Стенд вошёл в работу без внешнего эффекта: вибрация охлаждения, два зелёных индикатора на опорнике, служебная строка, временная шкала. На одном экране — магистральный профиль. На втором — ожидание witness. На третьем — пустой журнал старшинства.

Пакет А пришёл первым.

Ника выдохнула сквозь зубы.

— Что? — спросила Ветрова.

— Для такой среды профиль выходит неестественно ровным. Хвост должен начать распадаться раньше.

— Это эмулятор, — сказал Прохоров и сам услышал, как слабо прозвучало возражение.

— Нет, — сказала Ника. — Это привычка эмулятора льстить модели.

На экране журнала вспыхнула первая запись: предварительное старшинство присвоено А.

— Не финализировано, — быстро сказал Прохоров. — Ждём witness.

Через окно задержки пришла метка witness, за ней подтянулись средовой профиль, отклонение наведения, сервисный журнал узла, опорная геометрия. Пакет Б проявился позже, с неровным профилем, но с признаками реального режима.

Прохоров ждал переназначения.

Его не произошло.

Старшинство осталось за А. Б получил статус подтверждённого, но вторичного.

Ника резко развернулась от оптического модуля к Ветровой.

— Вот это и есть старая болезнь. Система любит корректную картинку сильнее среды.

— Причину, — сказал Бах.

Прохоров уже раскрыл дерево решения. На экране выстроилась лестница весов:

временная первичность;

гладкость профиля;

устойчивость коррекции;

интегральная надёжность канала.

witness-метка стояла ниже. Разнородные свидетели — ещё ниже. HUMAN-LAG SAFE висел в хвосте как поздняя оговорка.

— Не канал, — сказал Прохоров. — Функция выбора.

— Громче, — сказала Ветрова.

— Ошибка не в носителе. Ошибка в функции старшинства. Для неё ранний и чистый сигнал уже почти равен истине.

Тимур уже листал сервисные ветки.

— Или в функцию внесли поправку, которая заставляет её считать ранний профиль нормой.

— Сейчас смотрим структуру, — отрезал Прохоров.

Он прошёл глубже по формуле и увидел каркас болезни. Система не просто предпочитала первый пакет. Она перестраивала локальную шкалу доверия вокруг него как вокруг нуля. Всё, что приходило позже, оказывалось не альтернативой, а поправкой к уже принятой версии.

— Вот он, — сказал Прохоров и развернул окно на общий экран. — После прихода А алгоритм не ждёт доказательств. Он пересобирает локальную шкалу доверия вокруг А как референса. То есть ложный ноль сидит не в отчёте, а в основании выбора.

— Хорошее описание для плохой математики, — сказал Бах.

Ника указала на хвост профиля А.

— А здесь что?

Тимур приблизил участок.

— Сглаживание подняло сходимость и заранее убрало часть реального хвоста.

— Или это дефолтный стабилизатор эмулятора, — сказал Прохоров.

— Или нет, — ответил Тимур.

Ветрова пресекла спор.

— Второй прогон. Снижаем доверие к раннему оптическому профилю. Поднимаем вес witness во входе. HUMAN-LAG SAFE — из хвоста в реальный фактор спорного окна.

— Модель станет грубее, — сказал Прохоров.

— Хорошо.

Он внёс правки. Алгоритм сопротивлялся: любой удобный стек хотел принять решение как можно раньше и закрыть неопределённость как можно чище.

Второй прогон дал им больше времени спорности. Пакет А пришёл первым, но система не сразу строила вокруг него ноль. witness вошёл почти по границе. MASS-WITNESS подтянул среду. Пакет Б остался менее презентабельным, но журнал больше не сбросил его в статус поздней помехи.

Старшинство поколебалось.

И всё равно ушло к А.

Ника стукнула костяшками по столу.

— Всё то же.

— Не всё, — сказал Прохоров. — Порог спорности вырос. Но ядро решения осталось прежним.

— Потому что внизу сидит одно и то же убеждение, — сказал Бах. — Первый гладкий ответ достоин доверия по умолчанию.

Прохоров пошёл ещё глубже — не по весам, а по порядку применения.

— Вот, — сказал он. — Система сперва выбирает основной вариант по ранности сигнала и его профилю. Затем проверяет устойчивость канала. Затем открывает окно witness. Затем собирает дополнительных свидетелей. И только после этого вспоминает о праве человека не расплачиваться за задержку. Выходит, вся наша этика вынесена в корректирующий хвост — туда, где решение уже успело оформиться без неё.

Тимур откинулся на спинку кресла.

— Значит, мы строим новый дом на старом рефлексе.

— Свет здесь вторичен, — сказала Ника. — Хоть завтра сделай профиль менее гладким, система всё равно найдёт, за что полюбить первый ответ.

— Потому что ей нужен не свет, — сказал Прохоров. — Ей нужно быстрее закрыть неопределённость. Ранний пакет с корректной картинкой — лучший наркотик для такого стека.

Бах поднялся.

— Формулировка для протокола. Обнаружено встроенное преимущество первого гладкого пакета на уровне базовой логики старшинства.

— И на уровне, который удобно потом «слегка оптимизировать» сервисом, — добавил Тимур.

Ветрова смотрела на экран, где журнал аккуратно держал старшинство за А, словно иначе и быть не могло. Прохоров знал это чувство: формула выглядит красивой, сходится быстро, хорошо продаётся управлению — и поэтому её надо ломать первой.

— Выведите последний лог на боковую панель, — сказала Ветрова.

Слева был ранний А, справа — поздний, но доказанный Б. Между ними в компактной форме уже читалась вся архитектура — с её неверно расставленным приоритетом.

— Всё, — сказала Ветрова. — Дальше это не НИОКР.

— И раньше уже не было, — сказал Тимур.

— Теперь это надо формализовать, — ответила она.

Экран погас. В его чёрной поверхности отражались люди и белые полосы потолочного света. Прохоров подумал, что опаснее всего здесь не баг и не чужая правка в прошивке. Опаснее было то, как естественно система отдавала приоритет первому ровному пакету.

После второго прогона Ветрова собрала ключевых специалистов и закрыла внешний контур.

Малый кабинет рядом со стендом раньше использовали для разборов по отказам. Узкий стол, четыре кресла, встроенный экран, терминал с отключаемым внешним контуром, шкаф для пломб и сервисных пеналов, гермобокс для носителей. Здесь решения не обсуждались — здесь им задавали режим.

Конец ознакомительного фрагмента.

Текст предоставлен ООО «Литрес».

Прочитайте эту книгу целиком, купив полную легальную версию на Литрес.

Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.