Гаванный инструмент · детерминированный реестр

Обсерватория Tidal Ledger

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

Игровая головка 0 / 6
Транспорт Приостановлено
Движение Полный

Сначала прочитайте меня

Как пользоваться обсерваторией

Начальный инвентарь: A 8 · B 4 · C 0. Всего 12 единиц. Реестр — единственный источник истины; лодка — это презентация.

  1. Очистите префикс

    Перемещайте k от 0 до длины журнала с помощью ползунка, прямого поиска или кнопок Назад и Вперед. Воспроизведение продвигается на одно событие в секунду; Пауза останавливает его без применения чего-либо дополнительно. Каждое количество, карточка и строка журнала воспроизводятся с исходного инвентаря.

  2. Ветвление, затем добавление

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

  3. Импорт или сброс

    Вставьте до 100 событий в формате JSON. Принятый импорт заменяет журнал, приостанавливает воспроизведение и устанавливает k=0; некорректный импорт ничего не изменяет. Загрузка примера восстанавливает устройство; Сброс возвращает пустой журнал и исходный инвентарь.

Правила журнала. Резерв удерживает единицы на их источнике и не перемещает их; доступно = физические − активные удержания. Коммит перемещает зарезервированное количество и снимает удержание; отмена снимает его без перемещения запасов. События сортируются по возрастанию seq, затем по ASCII id, а идентичные дублирующие id объединяются. Неизвестные ссылки, недостаток запасов, терминальные ссылки и ссылки, уже используемые, отклоняются индивидуально без блокировки последующих событий.

Текущее состояние

Порт

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

Обзор порта с тремя складами Склад A: 8 физических, 0 удерживается, 8 доступно. Склад B: 4 физических, 0 удерживается, 4 доступно. Склад C: 0 физических, 0 удерживается, 0 доступно. Активных удержаний нет. Общий физический инвентарь 12 из 12 единиц.
  • Свободный физический ящик
  • Удерживаемый ящик (зарезервирован, всё ещё на причале)
  • Активный маршрут удержания
  • Зафиксировать передачу (только презентация)

Детерминированное воспроизведение

Журнал событий

0 из 6 оценено · 0 применено · 0 отклонено · 6 в ожидании

0

Пауза на k=0. 6 событий в ожидании.

    Строки перечислены в отсортированном порядке: по возрастанию seq, затем ASCII id. ид называет запись события; ссылка называет резервирование. Ожидающие строки не были оценены и не могут повлиять на состояние выше.