Собственное прошлое

— Может. Но возраст комментария не делает его причиной правила.

Поздних комментариев оказалось три.

ДЛЯ СОХРАНЕНИЯ НЕЗАВИСИМЫХ ВЕРСИЙ.

ВО ИЗБЕЖАНИЕ ПОТЕРИ РАЗЛИЧИЙ ПРОИСХОЖДЕНИЯ.

УСТАРЕВШАЯ МЕРА. УДАЛЕНИЕ ОТЛОЖЕНО.

— Три объяснения, — сказал Артём.

— Ни одного исходного, — ответила Ника.

— Первое и второе почти совпадают.

— Пока не спросишь, какие версии и какие различия происхождения.

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

— Правило сохранилось лучше объяснения, — сказал он.

— Поэтому объяснение придётся проверять поведением, — ответила Ника.

Для первого контроля взяли два состояния, разделённые штатной миграцией.

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

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

Михаил получил только временные метки без названий маршрутов.

Так никто из них не мог подстроить описание пары под желаемый результат.

Они находились в разных узлах, проходили через разные очереди и вернулись к одинаковым параметрам.

Современная система предложила объединение.

Старый преобразователь разрешил.

ОБЪЕДИНЕНИЕ: ВЫПОЛНЕНО.

— Значит, не любая разница пути, — сказал Михаил.

Контроль повторили с другой штатной миграцией.

Старый преобразователь снова разрешил объединение.

Только после второго ответа Ника открыла подписи.

Для второго контроля подняли две редакции обычного служебного пакета.

Текущие данные совпадали.

Источник одной редакции ещё не был подтверждён.

Преобразователь удержал ветви раздельно.

Ника запросила архивный сертификат.

После подтверждения источника повторила операцию.

ОБЪЕДИНЕНИЕ: ВЫПОЛНЕНО.

— Здесь различие можно закрыть внешним документом, — сказал Илья.

— Точнее: после подтверждения источника узел больше не удерживает его, — ответила Ника.

— Разница важна?

— Мы не знаем, что происходит внутри. Поэтому описываем только ответ.

— Документальное происхождение он умеет считать закрытым, — сказал Михаил.

— В этом случае, — уточнила Ника.

— А различие после варианта — нет.

— Пока в проверенном случае — нет.

Артём открыл две исходные ветви снова.

— Тогда что он сохраняет?

Михаил начал отвечать и остановился.

Ника ждала.

— Различие, которое современная система больше не умеет описать, — сказал он.

— Допустимо.

— А если проще?

— Проще будет сильнее доказательств.

Артём посмотрел на одинаковые поля настоящего.

— То есть сейчас разницы нет.

— В доступных параметрах нет, — сказала Ника.

— В современной модели нет.

— Да.

— Но для следующего действия они всё ещё не одно и то же.

Михаил поднял голову.

— Вот это надо проверить.

* * *

Активную операцию записали до открытия сектора.

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

Контрольный план занимал семь страниц.

На первой находилась сама последовательность.

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

Испытательный допуск удлинял каждую операцию двумя подтверждениями.

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

За утро они успевали сделать меньше, чем раньше за час.

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

Артём отвечал за физический режим.

Ника и аудитор подтверждали каждое изменение.

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

Илья следил за тем, чтобы формулировка результата не менялась после результата.

— Питание в пределах, — сказал Артём.

— Карточка операции? — спросила Ника.

— Открыта.

— Верхняя граница?

— Зафиксирована.

— Аварийный разрыв?

— Независим.

Аудитор приложил второй ключ.

— Активный режим разрешён.

Артём запустил последовательность.

Первый полуконтур открыл два продолжения.

Одно удержалось четыре цикла.

Второе распалось почти сразу.

Современная карта вернула освободившийся участок к исходному состоянию.

Старый преобразователь оставил ветви раздельно.

НЕ СЛИВАТЬ ПРИ СОВПАДЕНИИ РЕЗУЛЬТАТА.

Группа не запускала следующий этап сразу.

Ника потребовала повторно подтвердить, что текущие параметры сошлись.

Артём прочитал значения вслух.

Михаил сверил их с заранее записанными пределами.

Илья отметил, что расхождение осталось только в причинной карте.

Только после этого открыли вторую операцию.

Подтверждение аудитора задержалось: он сверял, не изменились ли условия после первого расхождения.

Артём стоял у панели и ничего не трогал.

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

— Тогда начнём заново, — ответила Ника.

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

Артём выполнил ровно записанную операцию.

Новое расхождение возникло раньше, чем в контрольной последовательности.

— Он учёл прошлый раз, — сказал Артём.

— Мы этого не знаем, — ответила Ника.

— Условия были другими из-за прошлого раза.

— Это знаем.

— Какая разница?

— В первом случае ты приписываешь системе действие. Во втором описываешь последовательность.

Михаил добавил в журнал:

«Следующее порождение произошло в причинной среде, где предыдущее различие не было закрыто».

— Без объяснения скорости, — сказал Илья.

— Без объяснения скорости, — согласился Михаил.

На карте появилась лестница.

Возникло различие.

Текущие параметры снова совпали.

Старый слой не закрыл различие.

Следующее событие произошло после незакрытого.

— Они связаны, — сказал Артём.

— Связаны функции, — сказал Михаил.

— Первая открывает продолжения.

— Вторая не позволяет некоторым различиям между ними исчезнуть после схождения.

— Значит, оставляет нужные.

— Мы не знаем, что для неё нужно.

— Но не все же.

— Не все. Это ограничение, а не доказанный критерий предпочтения.

Артём не стал продолжать.

В журнале осталось слово «некоторые».

* * *

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

Сначала первый полуконтур вывели из активного диапазона.

Старое правило продолжало удерживать уже созданное различие.

Нового не возникло.

— Второй ничего не порождает сам, — сказал Артём.

— В проверенных условиях, — добавил Михаил.

Потом восстановили первый полуконтур и временно исключили область, в которой срабатывало старое правило.

Операцию выполняла штатная группа.

Артём называл соединения и ждал подтверждения после каждого шага.

Варианты возникли.

Распались.

Современная система объединила совпавшие состояния.

Следующее порождение началось в среде без сохранённого различия.

Связанная лестница исчезла.

В обычной серии на этом месте карта возвращалась к исходной форме.

Новое расхождение, если возникало, не имело на ней доступной связи с предыдущим.

При действующем старом правиле карта не возвращалась полностью.

Следующее событие получало условие, которого не было до первого варианта.

После возврата старой области она возникла снова.

— Первая функция порождает различие, — сказал Михаил.

— Вторая сохраняет определённый тип различия, — продолжил Артём.

— Вместе они поддерживают более длинную последовательность.

— Два полуконтура.

Илья повернул к ним своё поле.

— Почему второй вообще полуконтур?

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

— Свойство среды тоже может так делать.

Михаил посмотрел на карту.

— Может.

— Тогда название ничего не говорит о природе объекта.

— Оно говорит о функции в этой последовательности.

— И только.

— И только.

Ника отметила формулировку.

Второй полуконтур мог быть отдельным механизмом.

Мог быть свойством старой среды.

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

Доступные данные не позволяли выбрать одну версию.

И не позволяли объединить два полуконтура в одну сущность только потому, что их функции дополняли друг друга.

Первый без второго создавал краткие варианты.

Второй без первого не создавал новых различий.

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

Последовательность стала длиннее.

Автономной она не стала.

* * *

Ника вернулась к возрасту правила после закрытия активного режима.

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

Правило оказалось старше временной комиссии.

Старше Института.

Старше большинства действующих систем восстановления.

Ниже начинались фрагменты таблиц без единых идентификаторов.

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

Ника построила две возможные цепи продолжения.

В первой древние поля были ранними формами того же правила.

Во второй совпадение возникло независимо, потому что разные системы решали похожую служебную задачу одинаковыми средствами.

Обе цепи объясняли доступные фрагменты.

Ни одна не позволяла доказать тождество.

— Здесь запись обрывается? — спросил Артём.

— Здесь обрывается доказуемое тождество, — ответила Ника.

— Но правило могло быть и раньше.

— Могло.

— Почти с начала среды.

— Возможно.

— Ты сейчас разрешила два предположения подряд.

— Ни одно не стало выводом.

Михаил назвал отметку нулевым уровнем документированной истории.

Потом перечитал фразу.

— «Истории правила» можно?

— Документированной истории строки, — сказала Ника.

Он исправил.

Артём закончил с разрывом питания и вернулся к столу.

— Первый полуконтур появился после нашей работы с первой НЦЖ.

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

— Это не одно и то же?

— Нет. «После» не означает «от».

Решение защитить первую НЦЖ изменило режимы восстановления и допустимой непрерывности.

В изменившейся среде позднее проявилась функция порождения вариантов.

Но второй след был значительно старше этих изменений.

Красивая родословная не складывалась.

— Первая НЦЖ — часть истории условий, — сказал Михаил. — Не доказанный родитель.

— Оставь так, — ответила Ника.

Михаил оставил.

* * *

К концу дня причинная карта занимала три поля.

На первом было видно, как возникло различие.

На втором — как текущие параметры снова совпали, а старое правило не закрыло расхождение путей.

На третьем следующее порождение происходило уже после него.

Илья попросил убрать с карты имена оборудования.

Без них осталась последовательность переходов.

Потом попросил убрать названия правил.

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

Когда Артём убрал человеческие подписи действий, карта перестала быть проверяемой.

Стало невозможно установить, где наблюдение заканчивалось и начиналось вмешательство.

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

— Значит, люди входят в условия этого наблюдения, — сказала Ника. — Это не одно и то же.

Михаил прочитал итоговую формулу.

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

— Это собственная история? — спросил Артём.

— Нет, — сказала Ника.

— Почему?

— Обе функции существовали до этой последовательности. Она не создала их для себя.

— Но использует.

— Мы видим совместимость функций. Не намерение и не субъекта.

Илья увеличил среднее поле.

— Тогда где находится второй след?

Артём указал на старый преобразователь.

— Здесь.

— Правило переносили между системами, — сказал Михаил. — Значит, не только здесь.

— В таблицах, — предложил Артём.

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

— Тогда в маршруте.

— Каком? Ветви прошли через несколько физических узлов.

Они открыли три доступные карты.

Современный интерфейс помещал функцию в запись состояния.

Старое оборудование — в преобразователь и его таблицы.

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

Границы не совпали.

— Следующий вопрос уже не в том, что делает второй след, — сказал Михаил.

Ника посмотрела на три карты.

— А в том, где это происходит.

7. Несовпадающие границы

Физическая карта показывала старый преобразователь.

Он стоял в прежней стойке, принимал питание и отвечал на служебные запросы.

Административная карта временной комиссии показывала пустое место.

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

Причинная карта не признавала ни одной из этих границ.

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

Линии пересекали оба прямоугольника и уходили за край сектора.

— Три правильные карты, — сказал Артём.

— Три карты для разных решений, — ответила Ника.

— На какой из них находится процесс?

Михаил увеличил причинную схему.

— Мы пока не установили, что он вообще находится так, как оборудование.

На физической карте старый узел ещё существовал.

На административной его уже не было.

На причинной функция проходила через оба состояния.

Илья вывел карты рядом.

— Сегодня это можно проверить.

Ника сверилась с расписанием обслуживания.

— Сегодня преобразователь меняют.

— Поэтому и можно.

— Его меняют не для нас.

— Тем лучше.

Ника не ответила.

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

Остановить всё это ради наблюдения группа не могла.

Илья добавил четвёртое поле.

ЗАМЕНА НОСИТЕЛЯ: ПЛАНОВАЯ.

ИССЛЕДОВАТЕЛЬСКОЕ ВМЕШАТЕЛЬСТВО: НЕ ДОПУСКАЕТСЯ.

ФИКСАЦИЯ: НЕПРЕРЫВНАЯ.

— Мы не создаём условие, — сказал он. — Только наблюдаем условие, которое всё равно возникнет.

— И не задерживаем его без необходимости, — добавила Ника.

Илья посмотрел на окно обслуживания.

— Что считается необходимостью?

— Возможность потом доказать, что именно сделали сотрудники, а что произошло без их команды.

* * *

Бригада пришла за девять минут до начала окна.

Инженер обслуживания увидел дополнительные журналы и перестал здороваться.

— У нас сорок пять минут, — сказал он. — Потом учебный архив.

— Теперь пятьдесят семь, — ответила Ника.

— Кто перенёс?

— Я запросила независимую фиксацию каждого этапа. Диспетчер дал двенадцать минут.

— Вы запросили двенадцать. У архива их забрали.

— Да.

Ника не стала делать вид, что время появилось бесплатно.

Инженер открыл схему замены.

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

Обычная осторожная замена.

До вечера таких у бригады было ещё три.

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

Инженер ткнул в строку подтверждения.

— Вот.

— Это технический момент.

— Другого в регламенте нет.

— А причинный?

— Если вы хотите новый регламент, пишите его после моего окна.

Михаил записал ответ без возражений.

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

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

— Запрашиваю доступ к журналу старого узла.

Ника сверила операцию.

— Только чтение. Подтверждаю.

Аудитор приложил второй ключ.

— Разрешено.

Артём открыл журнал.

Инженер тем временем ждал у панели нового модуля.

— Закончили?

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

Новый модуль принял питание.

Служебная проверка прошла за двадцать три секунды.