{
  "редакция": "4.8.0-wip",
  "среда": "Node.js v22.16.0; Web Crypto API; искусственные данные",
  "итог": "ПРОЙДЕНО",
  "проверки": [
    {
      "проверка": "Все искусственные примеры соответствуют исполняемой схеме",
      "риск": "Все искусственные примеры соответствуют исполняемой схеме",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Непроверенный аудит имеет нулевую полноту и не считается пройденным",
      "риск": "Непроверенный аудит имеет нулевую полноту и не считается пройденным",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Искусственные наблюдения не засчитываются как реальные повторы",
      "риск": "Искусственные наблюдения не засчитываются как реальные повторы",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Три окна, два условия и пять уникальных повторов дают структурную полноту без причинности",
      "риск": "Три окна, два условия и пять уникальных повторов дают структурную полноту без причинности",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Порядок импорта не меняет байты производной",
      "риск": "Порядок импорта не меняет байты производной",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Повторный импорт того же файла не добавляет источники или наблюдения",
      "риск": "Повторный импорт того же файла не добавляет источники или наблюдения",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Пробелы исходного JSON меняют отпечаток файла, но не исходной записи",
      "риск": "Пробелы исходного JSON меняют отпечаток файла, но не исходной записи",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Подмена исходных данных без пересчёта отпечатка отклоняется",
      "риск": "Подмена исходных данных без пересчёта отпечатка отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неизвестная редакция схемы обнаруживается до включения в сравнение",
      "риск": "Неизвестная редакция схемы обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Несуществующая дата обнаруживается до включения в сравнение",
      "риск": "Несуществующая дата обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Отсутствующий код права обнаруживается до включения в сравнение",
      "риск": "Отсутствующий код права обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Повторный код права обнаруживается до включения в сравнение",
      "риск": "Повторный код права обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неизвестный код права обнаруживается до включения в сравнение",
      "риск": "Неизвестный код права обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неизвестный класс доказательства обнаруживается до включения в сравнение",
      "риск": "Неизвестный класс доказательства обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Отсутствующие условия обнаруживается до включения в сравнение",
      "риск": "Отсутствующие условия обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Время наблюдения вне окна обнаруживается до включения в сравнение",
      "риск": "Время наблюдения вне окна обнаруживается до включения в сравнение",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Повторные ключи JSON отклоняются с номером строки",
      "риск": "Повторные ключи JSON отклоняются с номером строки",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Служебные ключи прототипа запрещены",
      "риск": "Служебные ключи прототипа запрещены",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Повреждённая кодировка UTF-8 отклоняется",
      "риск": "Повреждённая кодировка UTF-8 отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "BOM входит в отпечаток исходных байтов, запись успешно разбирается",
      "риск": "BOM входит в отпечаток исходных байтов, запись успешно разбирается",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Один идентификатор с разными данными не разрешается последней записью",
      "риск": "Один идентификатор с разными данными не разрешается последней записью",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Версия системы, протокол и условия не смешиваются молча",
      "риск": "Версия системы, протокол и условия не смешиваются молча",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Четыре повтора на условие не достигают порога",
      "риск": "Четыре повтора на условие не достигают порога",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Одно окно не является полной серией; два пустых окна не считаются данными",
      "риск": "Одно окно не является полной серией; два пустых окна не считаются данными",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Две изменяемые переменные блокируют полноту",
      "риск": "Две изменяемые переменные блокируют полноту",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Копия наблюдения с новым идентификатором не прибавляет повтор",
      "риск": "Копия наблюдения с новым идентификатором не прибавляет повтор",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Восстановление панели пересчитывает каждый исходник",
      "риск": "Восстановление панели пересчитывает каждый исходник",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Ложный вычисляемый итог отклоняется даже с новым отпечатком производной",
      "риск": "Ложный вычисляемый итог отклоняется даже с новым отпечатком производной",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Исходник 4.2.0 читается как историческая запись, но не становится серией",
      "риск": "Исходник 4.2.0 читается как историческая запись, но не становится серией",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Опасный адрес источника не создаёт активную ссылку",
      "риск": "Опасный адрес источника не создаёт активную ссылку",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Исправление не завершается без проверки каждого получателя",
      "риск": "Исправление не завершается без проверки каждого получателя",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Пустое доказательство не закрывает подтверждённую отметку",
      "риск": "Пустое доказательство не закрывает подтверждённую отметку",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неприменимость восстановления требует основания",
      "риск": "Неприменимость восстановления требует основания",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Полнота получателей не подразумевается автоматически",
      "риск": "Полнота получателей не подразумевается автоматически",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Журнал молчания учитывает связанный полученный ответ, а не произвольный документ",
      "риск": "Журнал молчания учитывает связанный полученный ответ, а не произвольный документ",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Папка проверяет исходные байты вложений и отбрасывает повреждённое",
      "риск": "Папка проверяет исходные байты вложений и отбрасывает повреждённое",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неполная история состояния документа отклоняется",
      "риск": "Неполная история состояния документа отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Несуществующая ссылка на документ отклоняется",
      "риск": "Несуществующая ссылка на документ отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Каждая запись требования имеет семь сущностей и двусторонние связи",
      "риск": "Каждая запись требования имеет семь сущностей и двусторонние связи",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Разные состояния одного права в одном окне сохраняются как разногласие",
      "риск": "Разные состояния одного права в одном окне сохраняются как разногласие",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Воспроизводимый экспорт панели проходит собственную схему",
      "риск": "Воспроизводимый экспорт панели проходит собственную схему",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Ровно 100 исходников принимаются; 101 отклоняется внутри ядра",
      "риск": "Ровно 100 исходников принимаются; 101 отклоняется внутри ядра",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": {
        "принято": 100,
        "отклонено": 101
      },
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Размер отдельного исходника: ровно 5 МиБ принимается, дополнительный байт отклоняется",
      "риск": "Размер отдельного исходника: ровно 5 МиБ принимается, дополнительный байт отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Сумма исходных байтов: 25 МиБ принимается, 25 МиБ плюс байт отклоняется",
      "риск": "Сумма исходных байтов: 25 МиБ принимается, 25 МиБ плюс байт отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Вложенность 40 допустима; 41 отклоняется без потери номера строки",
      "риск": "Вложенность 40 допустима; 41 отклоняется без потери номера строки",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Unicode: ключи с экранированием сравниваются; нормальные формы не сливаются",
      "риск": "Unicode: ключи с экранированием сравниваются; нормальные формы не сливаются",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Небезопасные числа и бесконечность блокируются профилем входа",
      "риск": "Небезопасные числа и бесконечность блокируются профилем входа",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Метаданные не заменяют проверку исходных байтов: поддельные и изменённые объекты блокируются",
      "риск": "Метаданные не заменяют проверку исходных байтов: поддельные и изменённые объекты блокируются",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Асинхронный приём фиксирует копию байтов до вычисления отпечатка",
      "риск": "Асинхронный приём фиксирует копию байтов до вычисления отпечатка",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "32 перестановки и параллельный повторный приём не меняют производную",
      "риск": "32 перестановки и параллельный повторный приём не меняют производную",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": {
        "зерно": 450,
        "перестановок": 32,
        "параллельных_приёмов": 16
      },
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Изменение ответа или условия того же вызова создаёт конфликт, а не дополнительный повтор",
      "риск": "Изменение ответа или условия того же вызова создаёт конфликт, а не дополнительный повтор",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Эквивалентная запись времени одного вызова не даёт новый повтор",
      "риск": "Эквивалентная запись времени одного вызова не даёт новый повтор",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Замена наблюдателя видна по условиям и ограничивает сопоставимость окон",
      "риск": "Замена наблюдателя видна по условиям и ограничивает сопоставимость окон",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Изменение заявления о независимости не скрывается под прежним именем наблюдателя",
      "риск": "Изменение заявления о независимости не скрывается под прежним именем наблюдателя",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Решение конфликта сохраняет спорный исходник, исключает его из подсчёта и восстанавливается",
      "риск": "Решение конфликта сохраняет спорный исходник, исключает его из подсчёта и восстанавливается",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Жизненный цикл: черновик не является отправленным обращением",
      "риск": "Жизненный цикл: черновик не является отправленным обращением",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Жизненный цикл: отправка и отсутствие ответа учитываются отдельно от применимости срока",
      "риск": "Жизненный цикл: отправка и отсутствие ответа учитываются отдельно от применимости срока",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Жизненный цикл: частичный ответ прекращает молчание, но оставляет два открытых вопроса",
      "риск": "Жизненный цикл: частичный ответ прекращает молчание, но оставляет два открытых вопроса",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Жизненный цикл: пересмотр связан с прежним ответом и не закрывает прежние вопросы",
      "риск": "Жизненный цикл: пересмотр связан с прежним ответом и не закрывает прежние вопросы",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Жизненный цикл: источник, каждый получатель, производные, решение и восстановление проверяются поэтапно",
      "риск": "Жизненный цикл: источник, каждый получатель, производные, решение и восстановление проверяются поэтапно",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Связь ответа с несуществующим вопросом и дубли кода вопроса отклоняются",
      "риск": "Связь ответа с несуществующим вопросом и дубли кода вопроса отклоняются",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неподкреплённая проверка юридического основания срока отклоняется",
      "риск": "Неподкреплённая проверка юридического основания срока отклоняется",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Опасные и маскирующиеся приложения отклоняются до сохранения",
      "риск": "Опасные и маскирующиеся приложения отклоняются до сохранения",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Подмена байтов вложения не проходит даже с новым внешним отпечатком папки",
      "риск": "Подмена байтов вложения не проходит даже с новым внешним отпечатком папки",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Подписанный реестр восстанавливается через настоящий Web Crypto API Node.js и повторный расчёт графа",
      "риск": "Подписанный реестр восстанавливается через настоящий Web Crypto API Node.js и повторный расчёт графа",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": {
        "среда": "Node.js v22.16.0",
        "граница": "Не браузерный допуск; одноразовый ключ сеанса, не ключ владельца."
      },
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Чужой ключ, повреждённая подпись и ложный граф отклоняются при восстановлении реестра",
      "риск": "Чужой ключ, повреждённая подпись и ложный граф отклоняются при восстановлении реестра",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Требования с опасным идентификатором, повтором кода и будущей датой не попадают в реестр",
      "риск": "Требования с опасным идентификатором, повтором кода и будущей датой не попадают в реестр",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    },
    {
      "проверка": "Неподдерживаемые правила схем блокируются во всех ветвях; ложные схемы работают",
      "риск": "Неподдерживаемые правила схем блокируются во всех ветвях; ложные схемы работают",
      "вход": "Искусственные данные воспроизводимого сценария; не наблюдения внешней системы.",
      "итог": "ПРОЙДЕНО",
      "фактически": "Все явные утверждения сценария выполнены.",
      "предел": "Только проверенный программный путь и указанный вход.",
      "команда": "node инструменты/проверить-доказательный-контур.cjs доказательства/редакция-4.7.0/ядро.json"
    }
  ],
  "граница": "Это проверка программы и структурных инвариантов. Она не доказывает наблюдения реальных систем, сетевую выдачу или свидетельства владельца."
}
