Одно ядро — от операционной системы и выше
Своя операционная система, свой язык бизнес-логики, свой протокол — написаны с нуля на Rust, без сторонних библиотек в рабочем коде.
Восемь идей, на которых стоит платформа
О каждой — отдельная статья в блоге.
SakinaOS — собственная операционная система
Написана с нуля на Rust, ни строки на C. Одно приложение на машину — без процессов, системных вызовов и планировщика общего назначения между ним и железом. Работает на ARM64 и x86-64, на выделенных серверах и в публичных облаках.
В блоге: SakinaOS: зачем мы написали свою операционную системуCambium — один язык бизнес-логики
Типизированный и детерминированный: данные и права, формулы, запросы, таблицы решений, машины состояний и правила. Программы всегда завершаются, деньги — точная 128-битная арифметика, где переполнение — ошибка, а не тихое округление.
В блоге: Cambium: один язык бизнес-логикиATL — наш типизированный протокол
Одна схема даёт компактный двоичный формат, симметричный «запрос-ответ» и готовые клиенты для Rust, TypeScript, Dart, Go и Python. Каждый изменяющий запрос применяется ровно один раз.
В блоге: ATL: один типизированный протокол для всей платформыМногоосевые права доступа
Действие, запись и поле — плюс уровень доверия сессии. Ответ — «разрешить», «запретить» или «разрешено после более сильного фактора».
В блоге: Права малоДетерминизм
Ни системных часов, ни случайности, ни плавающей точки в бизнес-логике. Состояние — чистая функция журнала «только вперёд»: восстановление из журнала даёт ровно то состояние, что дало исполнение.
В блоге: Одни входы — один результатСеть как домен доверия
Свой корневой ключ, взвешенные подписи «k из n» для критичных решений, отзыв ключей и журнал прозрачности «только вперёд» с доказательствами включения.
В блоге: Две сети: ваши партнёры и ваши узлыРазмещение данных с доказательством
Политики по стране (ISO 3166-1) и региону, классу данных и классу хранения ключей. Размещение принимается только с доказательством, проверенным по политике; отказ называет причину.
В блоге: Выберите, где живут ваши данные, — и докажите этоСимвольный движок рассуждений
Работает на обычных процессорах в точной арифметике, без нейросетей и языковых моделей. Планирует шаги к цели, объясняет каждое решение фактами и репетирует изменение правила на истории до применения.
В блоге: Движок рассуждений, который показывает ход мыслиНа чём стоит каждая бизнес-функция
Одни и те же компоненты обслуживают и партнёрскую сеть, и склад, и бухгалтерию.
Двойная запись для любого ресурса
Деньги, баллы, товар. После каждой операции сумма по каждому активу равна нулю; резервы, двухфазное проведение, идемпотентность и сторно.
Точная арифметика
Никакой плавающей точки в бизнес-логике. Минимальные единицы, десятичная фиксированная точка и точные дроби; распределение всегда даёт в сумме итог.
Битемпоральная история
Каждая запись хранит, когда факт был верен и когда он записан. Состояние на любой момент — запросом «на момент»; исправления — новые записи.
Аудит с защитой от подделки
Каждое действие и каждый отказ записываются — кто, что, когда, почему, результат — в цепочку хешей. Правка, удаление или обрезка записи обнаруживаются.
Собственная криптография
TLS 1.3 с гибридным обменом X25519 + ML-KEM-768 по умолчанию, AES-256-GCM, гибридные подписи Ed25519 + ML-DSA-65 — своя реализация, без чужих библиотек.
Стандартные протоколы внутри
HTTP/1.1, HTTP/2, WebSocket, TLS 1.3, QUIC и HTTP/3, а также сетевые протоколы PostgreSQL, Redis и Kafka.
Запечатанное самообновляемое устройство
Узел — это один сервер с SakinaOS. Его роль — платформа для бизнеса, вычисления, хранилище или точка доступа по протоколу — задаётся конфигурацией.
Наше облако или свои узлыПодписан и воспроизводим
Каждый образ несёт подписанный манифест, который проверяется при загрузке. Две сборки из одних исходников дают побайтно одинаковый образ.
A/B-обновления с автоматическим откатом
Новая версия стартует «на пробу»; без подтверждения, при зависании или сбое узел возвращается к прежней версии.
Управление без SSH
Только по ATL внутри TLS 1.3 со взаимной проверкой ключей. Командной оболочки нет. Отдельные роли сертификатов: «только наблюдение», «только отпирание».
Шифрованные диски, ключ в памяти
Ключ диска приходит по каналу управления при старте и никогда не пишется на диск. Здоровье дисков отслеживается, подозрительные участки уходят в карантин автоматически.
Свои драйверы
Написаны по официальным спецификациям: NVMe, SATA, Intel 10 GbE и стандартные виртуальные устройства. ARM64 и x86-64.
Около 5 МБ
Узел вместе с операционной системой занимает около 5 МБ. Каждый предел — параметр, каждый отказ — с именем.
Проверено, а не обещано
Мы публикуем только то, что замерили, — с датой и условиями.
5 жёстких обрывов питания — ничего не потеряно
Питание обрывали 5 раз во время записи на выделенном сервере AMD EPYC с NVMe (октябрь 2026): все 248 подтверждённых записей на месте, ни одной потерянной или повреждённой.
6 часов, 17 обновлений, 35 перезагрузок
6 часов под нагрузкой в виртуальной машине x86-64 с 4 vCPU (октябрь 2026): 17 циклов обновления — 8 подтверждений, 9 автоматических откатов, — 35 перезагрузок и около 407 000 HTTP-операций. Все подтверждённые данные на месте, память не росла.
Около 5 МБ на узел
Узел вместе со своей операционной системой занимает около 5 МБ. Всё остальное на сервере остаётся вашей работе.
9 откатов в 6-часовом прогоне — намеренные: эти обновления оставляли без подтверждения, чтобы доказать, что откат срабатывает сам.
Посмотрите на примере своего бизнеса
Запросите демо: покажем платформу на ваших процессах и договоримся, где будут жить ваши данные, — в нашем облаке или на ваших узлах.