Кратко

  • Сто квитанций проходят проверку, а одна операция осталась за дверью журнала. Индивидуальный проект WEXP Coverage Михаила Сергеева от 23 октября 2026 года заставляет назвать того, кто контролирует эту дверь.
  • Пример с PostgreSQL закрывает конкретную партию зафиксированных записей. Покупатель аудиторского результата должен узнать, кто утвердил допущение, будто ни одна запись не прошла в обход.

Идеальная печать на неполной книге

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

Документ датирован 23 октября 2026 года. Реестр IETF относит его к действующим индивидуальным Internet-Draft без потока RFC. Перед нами техническое предложение, а не утверждённый стандарт и не сообщение о происшествии в работающей организации. Его политический смысл всё же конкретен: производителю журнала придётся назвать допущение, благодаря которому он называет свой набор полным.

Сначала проследим путь одной операции. Она действительно состоялась — в обозначениях проекта это действие из A. Для неё могли изготовить окончательную квитанцию; все такие квитанции образуют C. Часть квитанций к сроку доступна конкретному получателю — это R. Проверяющему передают не сам мир, а выгрузки квитанций Cv и Rv и выписку из исходной книги S. Выписку можно сохранить идеально, но она не покажет операцию, которую изначально провели мимо книги.

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

Предложение разделяет даже само слово «полнота». creation-complete требует квитанцию для каждого действия. creation-sound требует действие для каждой окончательной квитанции. creation-exact требует взаимно однозначного соответствия. Доставка, охват источника, соответствие предоставленных представлений и отсутствие действий получают отдельные имена. Всего десять видов утверждений. Для читателя отчёта это полезнее одного большого зелёного индикатора.

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

Предположение утверждает человек

Каждая предпосылка получает состояние: проверена, принята как допущение, неизвестна или опровергнута. У принятого допущения должны быть указаны полномочия, причина и область действия. Фраза «захват полон» не может служить доказательством самой себя. Нужны конкретные пути записи, этапы жизненного цикла, возможные обходы и меры, на которых держится утверждение.

Здесь виден управляющий субъект. Привилегированный администратор может менять источник? Квитанцию можно выдать до записи в журнал или за его пределами? Восстановление базы заменит историю? Из двух веток истории можно показать только одну? Проект напоминает: две совпадающие печати, две организации или два разных ключа сами по себе не закрывают эти пути. Независимость контроля определяется правами людей и процессов, а не количеством красивых подписей.

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

Зачем журналу три закрытия

В профиле pg-ledger/0.2.0 действие определяется как зафиксированное добавление записи в именованный журнал при пакетной работе с PostgreSQL 18 и одним основным сервером. Это не доказательство перевода денег, поставки товара или внешнего исполнения команды. Для подобного вывода понадобилась бы отдельно описанная и проверенная связь. Ограничение предмета делает проверку выполнимой.

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

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

Сопутствующий проект WEXP Core оценивает содержательные утверждения о точно заданных действиях. Coverage задаёт вопрос о множестве действий. В логическом примере текста есть 99 действительных индивидуальных оценок и одно установленное действие без квитанции среди ста действий закрытой эпохи. Девяносто девять оценок остаются действительными в своих пределах, но полнота создания квитанций опровергнута. Одного подсчёта до 99 недостаточно: требуются положительное свидетельство о сотом действии и достаточно исчерпывающий поиск его квитанции. Это пример правила вывода, не статистика из эксплуатации.

Источники