Мост над пустым временем

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

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

Ина назначила имена не объектам, а ошибкам: «вид», «замыкание», «несущая доля», «масса». Рядом поставили пятый, исправный контейнер — контрольный. Внутрь всех пяти поместили по три химических индикатора, которые меняли цвет только при разгерметизации, нагреве или контакте с воздухом станции. Индикаторы ничего не должны были делать в Пустоте. Их задача была скромнее: доказать, что вышедшее состояние не придумано после получения результата.

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

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

— Вы всё время отодвигаете доказательство.

— Я всё время называю его размер.

На стене шёл обратный отсчёт до окна внешнего полигона. Сам вход в Пустоту сегодня не открывали. Испытание проводили на модели распознавания якоря: две станции независимо получали описание объекта, строили паспорт выхода и решали, разрешён ли створ. Так можно было проверить логику, не теряя ещё одну вещь в области без времени.

Паспорта вчерашнего дня описывали контейнер перечнем величин. Масса — столько-то. Габарит — такой-то. Замки — закрыты. Маяк — на частоте. Ина видела теперь главный изъян: перечень признаков позволял собрать убедительную ложь из правильных частей.

— Нам нужны зависимости, — сказала она. — Не только что существует, но что с чем обязано быть связано.

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

— Родственные признаки, — предложил расчётчик.

— Свидетельства одного состояния, — поправила Сая. — Родство ничего не запрещает.

Ина записала: «связность свидетельств».

Роск вздохнул.

— Совет не поймёт этой фразы.

— Тогда объясним на крышке. Крышка существует, замки существуют, корпус существует. Но целое существует только тогда, когда замки держат именно этот корпус и подтверждают то же внутреннее давление.

— А если на выходе якорь достроит недостающее по паспорту?

Никто не ответил сразу.

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

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

— То есть мост ничего не чинит, — сказала Сая.

— И ничего не завершает за нас.

— Включите это в запреты.

На экране появился ответ Леты, отправленный до вопроса Роска:

— Отсвет предлагает считать целым не набор параметров, а замкнутую систему проверок. Если хотя бы один признак нельзя подтвердить двумя независимыми свидетельствами, объект не получает разрешения.

Ина улыбнулась задержанному совпадению мыслей и тут же перестала улыбаться. Два свидетельства для каждого признака удваивали датчики, массу и число возможных отказов. Красивое правило могло сделать реальный объект непроверяемым.

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

— Кто определит тождество? — спросила Сая.

— Отправитель.

— Тогда отправитель всегда назовёт удобное.

— Получатель тоже.

— Тогда они могут назвать разное.

— И вход не откроется.

Сая кивнула. Это было не согласие с формулировкой, а признание того, что в ней появился настоящий запрет.

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

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

Ина провела между контурами толстые черты.

— Ни один не заменяет другой. Безопасный обломок остаётся обломком. Целый контейнер с перегретой батареей остаётся опасным. Исправная батарея без контейнера не доставляет груз.

— А человек? — снова спросила Сая.

— Существование: тело и непрерывность личной записи принадлежат одному вошедшему человеку. Безопасность: медицинские пределы не нарушены. Назначение...

Ина остановилась. Слово было неправильным.

— У человека нет назначения, — сказала Села Ард от двери. — Есть воля.

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

Сая убрала слово из человеческого контура.

— Существование. Безопасность. Воля, — произнесла она. — Если первые два подтверждены, а третье нет, мы не называем выход успешным.

— И не повторяем вход, — добавила Села.

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

Испытание началось в тринадцать ноль-ноль.

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

Первый ложный контейнер — без крышки — система отвергла сразу: внутреннее давление не подтверждалось положением замков.

Второй, крышку на короткой раме, тоже отвергла: замки были закрыты, но не отвечали ни одному объёму.

Половина каркаса прошла контур безопасности и провалила существование. Правильное распределение нагрузки сохранялось на трёх опорах из шести; прежняя модель усреднила бы показатели и назвала их допустимыми.

Четвёртый объект, равный по массе и габаритам, прошёл всё.

На столе зажёгся зелёный знак.

Никто не заговорил.

Ина проверила ввод. Балласт давал правильную реакцию на опорах. Герметичный мешок держал давление. Отдельные пластины замыкали электрическую цепь. Маяк питался от общей шины. Каждое свидетельство было настоящим. Вместе они описывали не контейнер, а машину, умеющую притворяться контейнером перед проверкой.

— Ложноположительное решение, — сказал Роск. — Исправляем правило и повторяем.

— Сначала фиксируем провал дня, — ответила Ина.

— День ещё не закончен.

— Но правило, объявленное до испытания, уже провалилось.

Она внесла результат в реестр. Через одиннадцать минут двадцать секунд Отсвет должен был получить ту же неприятную правду, если не нашёл ошибку раньше.

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

— Почему мы считаем её ложной? — спросила она.

— Потому что это не контрольный контейнер.

— Это имя, не правило.

— Она собрана из других частей.

— Контрольный тоже.

— У него штатная конструкция.

— Значит, целое определяет чертёж?

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

Младший расчётчик вывел историю сборки обоих объектов. У контрольного контейнера каждая операция была зарегистрирована: сварка каркаса, установка корпуса, проверка шины, герметизация. У ложного те же признаки появились независимо и были соединены за час до испытания.

— Непрерывность сборки, — сказал он.

— После ремонта непрерывность прервётся? — спросил Роск.

— Нет, если ремонт включён в историю состояния.

Ина приблизила журнал. Вот чего не было у найденных фрагментов и у старых паспортов экспедиций: доказательства, что наблюдаемая часть сохраняет заявленную связь с исходным целым. Фрагмент обшивки действительно принадлежал кораблю Миры, но это не делало его кораблём. Тар действительно входил с первой экспедицией, но одного совпадения личности было недостаточно, чтобы объявить возвращение всей команды.

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

— Пустота не видит историю, — заметила Сая.

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

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

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

— И происхождение связывает обе проверки, — записала Ина.

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

К вечеру они провели вторую слепую серию. Техники незаметно для расчётчиков заменили одну стеновую панель контрольного контейнера, добавили штатный ремонт в журнал и снова перемешали описания. Ещё один объект собрали из правильных частей по правильному чертежу, но не провели испытание герметичности. Третий получил полный журнал, скопированный от контрольного, однако контрольные ключи операций ему не принадлежали.

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

Четыре первоначальные ложные конфигурации не прошли обновлённые контуры. Исправный контейнер прошёл.

Роск посмотрел на часы.

— Теперь день закончен?

Ина перечитала условие, записанное утром: научить якорь отличать целое от совместимой части. Оно звучало увереннее, чем полученный результат.

— Мы научили два якоря отвергать восемь известных способов подмены. Не отличать целое вообще.

— Для отчёта это слишком слабая формулировка.

— Для отчёта это точная формулировка.

Сая поставила свою подпись под результатом.

— И достаточная, чтобы купить второй день. Теперь мы знаем, какую ошибку проверяем завтра: одинаковая масса при разном состоянии.

Ина подписала вслед за ней. Лета уже отправила закрытый отпечаток Отсвета; он пришёл через одиннадцать минут и совпал.

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

— Нет, — сказала Ина. — Пустое оставьте пустым.

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

Перед отправкой Сая задержала её руку над подтверждением.

— Завтра, если масса совпадёт, а состояния разойдутся, кто сможет остановить испытание?

— Любой якорь.

— Технически.

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

— Завтра до испытания закрепим ваше аварийное вето на створе, — сказала Ина.

— Не моё личное. Вето службы с дежурной сменой и записанной причиной.

— Почему не личное?

— Потому что меня тоже можно заменить.

За внешним стеклом рабочие увозили ложные контейнеры. Исправный остался у границы для завтрашней проверки массы.

Ина посмотрела на пустую середину карты. Нельзя было назначить человека мостом через неизвестность. Нельзя было строить безопасность на чьей-то несменяемости.

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

Только после этого первый день был закончен.