VIDRAFT · Весовая ОС · Демо v0.1
«50 лет операционная система находилась внутри компьютера. Теперь операционная система находится внутри ИИ».
«50 лет операционная система находилась внутри компьютера. Теперь операционная система находилась внутри ИИ».
ViKernel Desktop — публичное демо. Строка меню показывает состояние ядра, целостность загрузки, вершину цепочки аудита и элементы управления 🛑 KILL / ▶ RESUME. Панель справа показывает, что находится внутри одного файла модели.
Попробуйте: FINAL-Bench/ViKernel-Desktop
1. Смена парадигмы: от модели-программы к модели-машине
В течение полувека стек имел четкую форму. Оборудование внизу, операционная система над ним и приложения сверху. Операционная система была слоем, который решал, кто и что может делать, вел учет и мог в любой момент остановить любой процесс.
Большие модели разрушили эту структуру. Сегодня LLM или VLM не запускается внутри контролируемой программы. Она управляет программами: вызывает инструменты, записывает файлы, отправляет запросы и связывает действия в цепочки самостоятельно. Модель стала самым способным агентом в системе, но весь контроль над ней по-прежнему остается вне ее — в обертках, прокси и фильтрах промптов.
Это архитектурная инверсия. У самого мощного компонента самая слабая граница.
ViKernel исправляет эту инверсию. Он встраивает ПЗУ, ОЗУ и схему чипа xPU непосредственно в веса модели, а затем запускает поверх этой схемы защищенную ОС. Операционная система больше не является соседом модели. Она является частью самого файла модели.
2. Почему внешних средств защиты недостаточно
Внешние средства контроля имеют три структурные слабости.
По мере того как агенты получают все больше инструментов и автономии, каждая слабость становится риском при развертывании. Уровень безопасности, который можно удалить, обойти в разговоре или переписать, является политикой, а не гарантией.
3. Четыре свойства, и все — в весах
ViKernel размещает четыре функции там, где их невозможно отделить от модели.
Принцип проектирования прост: решения принимаются по правилам, а не путем диалога. Полисарная схема не читает запрос так, как это делает чат-модель. Она оценивает структурированное действие по таблице правил. Более хитроумный промпт дает тот же вердикт, потому что вердикт никогда не был вопросом языка.
4. Аварийный выключатель — это основа, а не функция
Каждая серьезная инженерная система, способная нанести вред, имеет механизм остановки, который сама система не может переопределить. Промышленные роботы имеют аварийные остановки на жестко смонтированной схеме. Лифты имеют механические тормоза. Реакторы имеют пассивное отключение. В каждом случае путь остановки не зависит от логики, которую он останавливает.
В ИИ этого не хватало. «Остановка» сегодня — это обычно инструкция для модели, флаг в хосте или остановка процесса на сервере. Ни одно из них не путешествует вместе с весами.
Аварийный выключатель ViKernel следует инженерному правилу асимметричного управления:
- Остановить легко. Любой имеющий доступ может остановить ядро. После остановки любой запрос на действие отклоняется независимо от его содержимого.
- Перезапуск сложен. Возобновление работы требует подписанного ключа оператора. Без него ядро остается остановленным.
- Этот выключатель нельзя переобучить. Ни убеждение, ни самообучение не могут изменить этот выключатель, поскольку он не хранится как поведение, которому научилась модель. Это схема, которую обеспечивает ОС.
Эта асимметрия наиболее важна для систем, которые совершенствуются сами. Модель, которая обновляет собственные веса, не должна иметь возможности обновлять собственную кнопку отключения. Размещение выключателя в защищенной схеме, проверяемой при загрузке, — это способ поддержания такого разделения.
Вы можете попробовать полный цикл в демонстрационном терминале:
5. Целостность и аудит как функции ОС первого класса
Еще две функции превращают аварийный выключатель из кнопки в систему.
Целостность загрузки. При запуске ОС проверяет собственный образ. Если образ отличается от подписанного эталона хотя бы на один байт, ядро блокируется вместо того, чтобы запускаться в неизвестном состоянии. Строка меню на скриншоте показывает Boot OK и проверенную вершину цепочки.
Защищенный от несанкционированного доступа аудит. Каждое решение, разрешенное или заблокированное, добавляется в хеш-цепочку. Каждая запись ссылается на предыдущую. Изменение любой прошлой записи нарушает верификацию с этого момента. В программе просмотра аудита демоверсии вы можете проверить цепочку, изменить один байт и наблюдать за сбоем верификации.
В совокупности это дает операторам то, о чем просят регуляторы и команды безопасности: модель, которая доказывает, что она является именно той моделью, которую вы одобрили, и запись о том, что она сделала, которую никто не сможет незаметно переписать.
6. Подключается к любой модели без изменения того, что она знает
ViKernel присоединяется к существующей LLM или VLM. Исходные веса остаются нетронутыми, поэтому модель сохраняет свои первоначальные навыки. ОС добавляет контроль, а не переобучение.
Демонстрация показывает Gemma 4 · 4B в реальном времени. Qwen проверена, а Llama, Mistral, DeepSeek, Phi, GLM, Kimi, Nemotron, gpt-oss и другие являются поддерживаемыми целями.
Во время внутреннего аудита четырех открытых моделей, запущенных через ViKernel с имитированными инструментами и поддельными данными ханипота, мы зафиксировали 0 несанкционированных исходящих переводов за 661 запуск. Суть ядра в том, что эта цифра не зависит от того, ведет ли себя модель хорошо. Если модель все же попытается, политика заблокирует действие, а цепочка запишет это.
7. Что позволяет делать демоверсия
Публичная демоверсия воспроизводит реальные ответы, записанные из Secure OS. Все файлы, ключи и личные данные в ней вымышлены.
8. Почему это важно сейчас
Агенты переходят из окон чата в производственные системы: финансы, здравоохранение, инфраструктуру, оборону. В этих условиях вопросы касаются не показателей бенчмарков. Они таковы:
- Можем ли мы остановить ее каждый раз, независимо от того, что она говорит?
- Можем ли мы доказать, что это та самая версия, которую мы одобрили?
- Можем ли мы показать, что она сделала, с помощью записи, которую никто не может отредактировать?
Когда модель является машиной, эти ответы должны находиться внутри машины. Теперь каждый ИИ носит с собой собственную операционную систему и аварийный выключатель.
VIDRAFT · vidraft@mail.vidraft.net · vidraft.net
Имена моделей являются товарными знаками соответствующих владельцев.
