AUTHORSHIP

All components of the Synrc Operating System (OS.1), the N2O family, the ERP.1 product line and the supporting high-assurance libraries are authored and owned by Maxim Sokhatsky (5HT). The architecture follows the three-plane capability model documented in os.txt: Security Admin BEAM, System Admin BEAM and Application BEAM(s). Long-term cryptographic material never leaves the Security Plane; the Control Plane is the sole capability broker; Application BEAMs receive only short-lived credentials via SCM_RIGHTS after ABAC decisions.

The stack is built for regulated, sovereign and high-security environments. It optimises for absolute isolation of secrets, formal auditability, a minimal TCB and Erlang/OTP supervision semantics. Base OS layer is Alpine/Chimera compatible (musl + BSD userland). C99 components are integrated as NIFs. Runtime unit is an Erlang BEAM (VM, OCI or pod).

INTERN

Foundational entry point. Public HTML/ROFF manuals, TeX/PDF books and release notes covering N2O, BPE, KVS, MAD and the basic ERP modules. Completely free. Supports the last four major OTP releases (25–28) on Windows, Linux and macOS. Published on Hex.pm.

SPORT

Intermediate tier for skilled teams. Extended books (Volume 2 & 3) covering advanced implementation patterns, system design, integration techniques and production usage of the full stack. Bridges theory and practice for scalable, high-performance applications.

PRO

Highest professional tier. Formal specifications, production manuals and certified documentation for BPE, KVS, ERP and the complete enterprise stack. Intended for organisations that require industrial strength, formal correctness, maximum performance, security compliance and official certification (banking, government, telecommunications).

NIST SP 800-53

The OS.1 three-plane taxonomy fully attests approximately 85 of the examined base controls and partially attests another 20 (process- dependent). Strongest families: AC, IA, SC, CM, AU, SI, SR. Physical/environmental and some contingency/acquisition controls remain the responsibility of the operator.

2026

2026-01-01 Компанія Сохацького
2026-01-01 Zen Crypted Compiler X.680
2026-01-02 Why ASN.1?
2026-01-14 Zen Crypted Chat X.509
2026-02-14 Zen Crypted Console X.894
2026-03-08 Криптографічні Телесистеми
2026-03-09 Системи Електронного Урядування
2026-03-09 BDFL
2026-03-10 Архітектура Шифрування
2026-03-10 Мінімальна індуктивна система
2026-03-11 Тактична система доведення теорем
2026-03-20 Мінімальна кубічна система
2026-03-23 Чиста система з всесвітами
2026-03-23 Zen Crypted Architect
2026-03-23 Zen Crypted Backend Engineer
2026-03-23 Zen Crypted Client Engineer
2026-03-24 On Authorship
2026-03-28 Zen Crypted Buddha Protocol
2026-04-10 JWT Lacks Non-Repudiation
2026-04-10 OpenID Lacks EUDI Integrity
2026-04-10 Управління Судовими Інформаційними Системами
2026-04-14 Ролаут N2O 2026
2026-04-10 Zen Crypted Dharma DSL Z.180
2026-04-20 Звіт результатів
2026-04-28 Філософія Математики
2026-05-12 Андерс 5.5
2026-05-31 Архітектура математики
2026-06-12 Розподілена архітектура ЦОД-3М
2026-06-12 Централізоване управління ABAC-BPMN
2026-06-13 Автоматична побудова КСЗІ/NIST 2026 CMDB
2026-06-13 CMDB
2026-06-26 Krein Spaces for Quadratic Gravity
2026-07-04 Архітектура ЦОД
2026-07-04 SRE Handbook
2026-07-04 Kind of Kubernetes
2026-07-14 RTP: Конференцзв'язок
2026-07-17 RTP: RT
2026-07-27 RTP: SYNC
2026-07-28 RTP: ARCH
2026-07-29 SEC-LINE OS.1
2026-08-10 SYNRC HYPERVISOR Unicore seL4
2026-08-13 SYNRC HYPERVISOR 4-Core seL4

2025

2025-01-03 Компіки Сохацького
2025-02-19 HoTT Fascism
2025-02-20 Henk Barendregt Type Theory
2025-02-21 Frank Pfenning Type Theory
2025-02-22 Per Martin-Löf Type Theory
2025-02-23 Christine Paulin-Mohring Type Theory
2025-02-24 Anders Mörtberg Type Theory
2025-02-24 Dan Kan Type Theory
2025-02-25 Jack Morava Type Theory
2025-02-26 Urs Schreiber Type Theory
2025-02-27 Fabien Morel Type Theory
2025-02-28 Laurent Schwartz Type Theory
2025-02-29 Leslie Lamport Type Theory
2025-03-26 LK
2025-03-26 NewOS
2025-04-01 SC: Sokhatsky Commander
2025-04-02 TV: Terminal Vision
2025-04-03 SH: Verified Shell
2025-04-21 Volume I: Foundations
2025-04-22 Volume II: Systems
2025-04-23 Volume III: Languages
2025-04-24 Volume IV: Mathematics
2025-04-25 Volume V: Verification
2025-06-15 Skynet
2025-07-04 NuttX
2025-07-15 AArch32.txt
2025-07-31 Skynet RT
2025-08-20 Сонце Серця
2025-09-08 Сусіди
2025-09-11 Зневірені обставинами
2025-09-17 Вімаламітра
2025-09-18 Три ключі
2025-09-19 10 параміт
2025-09-25 Лонгчен Осал
2025-12-02 Порушники Самай
2025-12-03 Sumbission Declined

2024

2024-02-18 ISO/HL7 FHIR: Валідація
2024-03-30 Інформатика
2024-04-11 Архітектор в МОЗ
2024-04-24 Gran Turismo PS2
2024-05-13 Нормальні форми БД
2024-05-13 Про блокчейни
2024-05-17 Теорії Янга-Міллса
2024-06-20 Маші ❤
2024-07-20 AUTOMATH-68
2024-07-20 HoTT Mathematics
2024-07-30 Per
2024-08-08 Мамі 80
2024-08-09 В пошуках Я
2024-08-10 Жінки Сохацького
2024-08-28 Показники ефективності розробки ПЗ
2024-09-03 Автореферат
2024-09-06 N2O Bandit
2024-10-29 EST
2024-11-17 EUDI
2024-11-20 CBOR COSE
2024-11-21 MSO MDoc
2024-12-19 Ретрокомпіки!

2023

2023-02-01 FormalTalk: Synrc ERP/1 Compiler
2023-02-12 Марки України
2023-03-06 Salesforce Apex vs Synrc FormalTalk
2023-03-07 Три роки в МВС
2023-03-19 Тужила скрипка
2023-03-26 Вступ в Йогачару
2023-04-02 Формальна Йогачара
2023-04-04 Суперпростір
2023-04-05 Абелеві категорії
2023-04-07 Чотири глибини
2023-04-12 Лонгчен Рабджам Г'ялпо
2023-04-30 Чиста математика
2023-05-15 Хто Я?
2022-05-12 Формальна філософія
2022-05-17 Безумний монах
2023-05-19 Marvel Movies
2023-05-30 BeOS
2023-05-30 NetBSD
2023-05-30 TRON
2023-05-31 BSD
2023-06-05 ASUS W790 PRO
2023-06-05 Космополітизм
2023-06-05 Муар
2023-06-07 Поради людини
2023-06-17 Повернись Живим
2023-06-30 CHAT X.509
2023-06-22 CHAT Месенжер
2023-07-05 CMS X.894 S/MIME
2023-07-16 CMS Compliance
2023-07-20 LDAP Compliance
2023-07-21 CA CMP CMC EST
2023-07-27 CHAT MLS
2023-08-05 CA CURVE
2023-08-07 CHAT ASN.1
2023-08-08 ASN.1 Компілятор
2023-08-09 CHAT Слайди
2023-08-10 CHAT Техзавдання
2023-08-10 CHAT Публікації
2023-08-11 ITU X Series
2023-08-12 MAIL X.420
2023-08-13 SWIFT X.509
2023-08-15 CHAT Техноробочий проєкт
2023-09-01 ASN1.EX X.680
2023-09-07 Криптоніт
2023-09-16 Dave Cutler
2023-09-25 Formal Tensor
2023-09-28 GEMM AVX512
2023-11-02 2200
2023-11-15 А ви?
2023-11-26 ОВВ України
2023-11-30 MoD
2023-12-11 MoES

2022

2022-01-17 Anders: верификатор математики
2022-02-27 Why you should ban Great Russian Culture
2022-03-10 Архітектура Російського Фашизму
2022-03-13 Вирішальна порада
2022-03-15 Бібліотека Групоїд Інфініті
2022-03-15 Github supports Russian Fascism
2022-03-18 Дорога до Вишневого
2022-03-22 Архітектор Олег Сохацький
2022-03-23 Глобальна Культурна Денонсація
2022-04-02 Як робити сайти для воєнного часу
2022-04-06 Оновлена DHARMA Ліцензія 2.0 на мої твори
2022-04-10 Russian War against Groupoid Infinity
2022-05-03 Quadstellar X299
2022-06-06 BE: Binary Editor
2022-06-07 XT: 8086 дизасемблер
2022-06-11 ARM64: Armv9.2 Дизасемблер
2022-06-21 Сад націй
2022-06-23 Я собака Азову
2022-06-24 Океан Сідхів
2022-06-25 Saga Dawa
2022-06-27 Буква свічечка
2022-07-04 Гнів Українців
2022-07-16 Мета Держави
2022-08-01 Ваджрні рядки
2022-08-03 Прокльони
2022-08-06 Just One Question
2022-08-10 Последняя лекция
2022-08-16 Розмова з онукою
2022-09-15 Малороси
2022-09-18 Ідея Нації ꑭ
2022-09-22 Топовий програміст ⊤
2022-09-22 Видавництво «Аксіосис»
2022-09-30 УДК 8
2022-10-01 УДК 0
2022-10-01 УДК 1
2022-10-01 УДК 7
2022-10-14 Покрова
2022-10-25 УДК 6
2022-11-01 Формальна постановка задачі
2022-11-17 Структура веб-фреймворків
2022-11-23 Сохацький Еротей Григорович
2022-11-24 Про математиків
2022-12-06 Quake
2022-12-24 Лі ❤

2021

2021-01-04 F# WebSocket Server
2021-02-13 Ski
2021-02-17 Testimonial
2021-03-15 CRKBD
2021-04-30 Метафілософія
2021-08-09 TWAIN 2
2021-09-01 Топовый программист #5
2021-10-13 Прикладна математика
2021-11-26 Ролаут N2O 2022
2021-11-26 MiniDisc колекція
2021-12-23 Аудіо

2020

2020-01-08 Ролаут N2O 2020
2020-02-03 Кваліфікований Електронний Підпис
2020-03-18 Грандиозная теорема
2020-03-24 Modal Homotopy Type Theory
2020-04-23 Лестница в HoTT
2020-04-26 УДК 51
2020-04-27 Высшая математика
2020-04-27 Логика
2020-04-28 Алгебраическая топология
2020-04-28 Дифференциальная геометрия
2020-05-03 Модельні категорії
2020-05-26 Smalltalk-80
2020-06-10 Tristellar Z370
2020-07-22 Топовый программист #1
2020-07-23 Топовый программист #2
2020-08-20 Топовый программист #3
2020-09-02 RAMPAGE VI
2020-09-02 Колекція комп'ютерів
2020-09-13 Процесори Intel
2020-10-10 FPGA археологія
2020-10-23 Инициальность MLTT
2020-10-30 NITRO TABLE
2020-12-03 Топовый программист #4
2020-12-31 PHP

2019

2019-01-01 Плани на рік
2019-01-04 Кодировка Эндофункторами
2019-01-06 Послание хейтерам
2019-01-09 Lean Forward 2019
2019-01-23 Формальная Философия для всех
2019-02-04 Parity
2019-02-13 Новая версия XIO
2019-02-22 Профессия Архитектора
2019-03-07 Новая версия FORMS
2019-03-16 Geometry in Modal HoTT
2019-04-11 Новая версия BPE
2019-04-13 Новая версия KVS
2019-05-08 Microsoft Terminal
2019-05-13 C++/WinRT AA64
2019-05-18 Lumia 950 Windows 10
2019-05-22 RP3B+ WoA
2019-05-27 Voxoz Hypervisor
2019-06-06 ARM64
2019-06-09 A64 Assembler
2019-06-10 N2O MIX
2019-06-19 BPE MIX
2019-06-21 Новые версии PLM и FIN
2019-06-30 Частмна 1. Вступ
2019-07-01 Частина 2. Загальна структура
2019-07-08 Частина 3. Ланцюжки
2019-07-08 Частина 4. Адмін. ланцюжків
2019-07-09 Частина 5. Адмін. процесів
2019-07-17 Частина 6. Структура PLM
2019-07-19 Частина 7. Публікація в GCP
2019-07-24 Спектральный анализ психофизического расслоения
2019-07-31 N2O FAQ
2019-08-05 Pattern Matching Compilation
2019-08-13 SYNRC PACK
2019-09-03 Енциклопедія Мов Програмування
2019-09-17 Этика
2019-09-26 Планировщик бизнес-процессов
2019-10-03 Бриф
2019-10-09 NITRO UI

2018

2018-06-08 Towards Инфинити Категории
2018-06-08 Построение категорий от Set до Инфинити!
2018-06-08 Расслоенное пространство конструктивно равно Пи!
2018-06-08 Расширения Кана
2018-06-09 Cohesive Type Theory
2018-06-09 Many Faces of Univalence
2018-06-09 Формальная модель MLTT встроенная в теорию типов
2018-06-09 Гомотопические (Ко)-Лимиты
2018-06-10 Дисер Феликса Веллена
2018-06-10 Категорная Семантика Зависимых Типов
2018-06-14 Cartesian Cubical Type Theory
2018-06-14 Импредикативные кодировки индуктивных типов в HoTT
2018-06-29 Хроматична Теорія Гомотопій
2018-09-13 Формальна Філософія 1
2018-09-23 Формальна Філософія 2
2018-09-27 Формалізація Буддизму
2018-09-29 Модальности в связаном Топосе
2018-10-22 Новый ролаут N2O
2018-11-13 Новая версия KVS
2018-11-13 Новая версия MAD
2018-11-13 Новая версия REVIEW
2018-11-30 Ошечки
2018-12-29 Кубики

2017

2017-01-01 O-CPS SPEC
2017-01-10 Safe and Static Methods for Memory Management
2017-01-12 Дефорестизационные Интерпретаторы O2
2017-01-15 Так мы программисты видим современную философию
2017-01-16 Генерация AVX mm256_mul_pd
2017-01-17 Pony vs O-CPS
2017-02-13 Личинка Тополога
2017-02-14 Запретить коммутативные объекты
2017-02-16 Coq.io Effect System
2017-02-16 Coq.io
2017-02-17 DOS Path Normalization
2017-02-18 Топология на 10 LOC. Определение
2017-02-19 O-CPS +AVX2
2017-02-20 Coq Minimal Emacs Setup
2017-02-21 CoFixpoint Extraction
2017-02-22 CoFixpoint Extraction REPL Prototype Zero
2017-02-23 Actario A Framework for Reasoning About Actor Systems
2017-02-24 Новое увлечение Алкотрейдинг
2017-02-24 Рантайм библиотека на Coq
2017-02-26 Домашка по Алкотрейдингу
2017-02-27 Домашка по Топологии
2017-03-01 KVS — DSL для Алкотрейдинга!
2017-03-11 Author meets N2O
2017-03-12 HKT in Rust
2017-03-12 Retrofitting Linear Types
2017-03-12 リアルタイムWebフレームワーク、N2Oを使ってみる
2017-03-13 Идея для дисера, дарю!
2017-03-14 Natural Deduction in MLTT
2017-03-16 HoTT на 1 странице
2017-03-24 Cubical Type Theory in a Topos
2017-03-29 Групоид Инфинити открывает свой репозиторий Coq пакетов
2017-04-13 Кто-то рассказывал, что Standard ML мертв
2017-04-17 Пронумеруем типы и их значения
2017-04-18 Compiling to Categories
2017-04-19 N2O over MQTT + KVS
2017-04-24 Quelea
2017-04-27 N2O MQTT version
2017-06-24 Свисс Эмоушинс
2017-08-04 Swift Model Generator from Erlang Types
2017-10-28 Pure Sigma
2017-10-31 Доказательство коммутативности в кубике
2017-11-07 Cubical Parser in Erlang

2016

2016-01-10 Vector
2016-01-14 Чистейше возможный язык
2016-01-16 Lean External Network Term Format
2016-01-18 Om presentation in Cloudozer HQ
2016-01-20 CPL
2016-01-23 WebSockets
2016-01-24 Деньги, Женщины, Дети и Программирование
2016-01-29 PhoenixFramework vs N2O
2016-01-30 Лонгчен Рабджам. Полный набор инструкций для поведения в Бардо
2016-02-12 Пропускная способность индукции
2016-02-12 Космический Куб
2016-02-15 Natural Encoding of the Inner Space
2016-02-19 Skynet
2016-02-25 Новости кодогенерации Exe
2016-03-01 Можно пробовать N2O.hs на Маке
2016-03-11 OM Lambda Assembler
2016-03-13 IO
2016-03-17 Битва зависимых элиминаторов Bool
2016-03-19 Hello World на Henk
2016-03-19 Пропозишинал равенства написанные на OM
2016-03-20 Мотивация HOL
2016-03-25 Страх и ненависть в Групоиде
2016-03-29 KVS intro
2016-04-03 LING попал в Реанимацию
2016-05-02 Андрей Бауэр тоже за минимальные ядра
2016-05-03 Орнаменты
2016-05-07 Erlang Killer Apps
2016-05-08 Немного Мадхьямики в MLTT сеттинге
2016-08-06 Respect Proper Proof of Setoid Cat
2016-08-09 Школи Лямбди
2016-08-23 FAQ 2 по Groupoid Infinity
2016-08-25 EXE Colored REPL
2016-08-29 Священный показатель LOC
2016-09-04 ADM вебсокет дашборд
2016-09-23 LUA.EFI
2016-09-23 N2O + PHP = ♡
2016-09-23 Состояние EFI в 2016
2016-09-24 KVS STREAMS
2016-09-27 Filesystems for SSD
2016-10-16 OM in Rust
2016-10-25 RUST. Энтерпрайз Эдишин
2016-11-15 Rust
2016-11-15 О-CPS Интерпретатор
2016-11-15 Векторный DSL
2016-11-16 Блокчейн для формальных теорий
2016-11-25 Лямбда Калкулус на Стримах
2016-11-29 Архитектура К-подобного языка и его операционной среды
2016-11-29 Лямбда Кодування
2016-12-02 CPS Interpreter in Rust Language
2016-12-06 Сферические факториалы
2016-12-13 Замена Heap на преалоцированный Vec + Lifetime переменные
2016-12-21 Аккерман на О
2016-12-24 Language Tiers
2016-12-27 Аккерман в L1
2016-12-29 Lambda Term Exponential Explosion
2016-12-30 Нашел на гистах
2016-12-30 Последний гвоздь в гроб Хаскеля и C++ в этом году!

2015

2015-02-02 Bitset nature of Erlang guards
2015-03-02 TCPKALI meets N2O
2015-03-17 Работа по CR идет RAFTER is on
2015-03-19 VNODE ring
2015-03-30 CR latency measurement
2015-04-03 Breaking News LING Erlang Virtual Machine on Mac OS X is coming
2015-04-15 Система оценивания сложности программного обеспечения
2015-05-03 LING MIPS and POSIX ports
2015-05-05 LING Bootstrap
2015-05-13 Extended Wylie Tibetan Script EWTS UTF-8 Converter
2015-05-15 Statically typed LLVM-based modern functional language compiler
2015-09-16 GT.M
2015-09-22 N2O Binary File Transfer Protocol
2015-10-16 Pipeline Basic 100 LOC
2015-11-03 Алгебры процессов
2015-12-22 Om Lambda Assembler
2015-12-25 Bringing Lambda Cube to Erlang

2014

2014-06-10 N2O and SVG
2014-08-22 Эрланг Курсы Киев ОСЕНЬ 2014
2014-09-12 Card Processing DSL
2014-09-12 Паттерн матчинг revised
2014-09-23 UPL Derivatives
2014-09-29 Scala 2PC DTC XA
2014-09-29 Версионирование схем в KVS
2014-10-20 Workflow Engine in Erlang
2014-11-07 Erlang Курсы 2014 Киев
2014-12-17 Leader Election provable in NuPRL
2014-12-20 Готовлю задачки по лямбде

2013

2013-01-10 Erlang Haskell OCaml 23K socket conns на i7640M
2013-01-22 Type-Indexed Value-independed Tagless Type Representation in ML with GADT and Generics
2013-01-22 Полиморфизм параметров в OCaml
2013-01-25 Курс Программирования
2013-02-28 Suck and Blow
2013-03-04 Бампинг Мандельброта в 96 байт для FPU
2013-03-04 Стаффчик из Демосцены
2013-03-21 Erlang Курсы 2013 Киев средина апреля
2013-05-08 N2O как пользоватся REST
2013-05-08 N2O поддержка кастомных темплейтеров
2013-05-11 The problem with legacy Nitrogen codebase
2013-07-03 Continuous Integration сервер на Эрланг за 30 минут
2013-07-12 Модель Легковесных Виртуальных Машин
2013-07-19 Skyline on Xen Milestone
2013-07-20 Erlang 30 minutes series Disclaimer
2013-07-20 Erlang Metaprogramming Real Practice
2013-07-29 Erlang with Types
2013-08-07 Erlang Extraction Language for Coq
2013-08-24 GC
2013-09-06 Поддержка Unicode в Эрланг
2013-09-15 Erlang JavaScript Parse Transform
2013-09-19 Coq Best Macro-Assembler
2013-10-07 Lisp on BEAM. Сравнение подходов реализации
2013-10-08 N2O Pages in JOXA
2013-10-23 N2O Pages in Elixir
2013-11-23 Поиск в FAR, призываются разработчики
2013-12-01 ev.il

2012

2012-05-03 Будда
2012-05-03 Мышление
2012-05-12 Молитва Намкаю Норбу
2012-05-12 Молитва сердечной связи к Милосердному Коренному Учителю
2012-05-28 Erlang
2012-06-12 Мастера сущностной линии Дзогчен
2012-06-13 Цикл Лекций
2012-06-22 Ленивый ML с pi-calculus в 26КБ
2012-07-31 Миндроллинг 2
2012-08-05 Миндроллинг 1
2012-08-29 Страх перед накоплением НК
2012-09-02 Молитва Мастерам Линии Передачи Лонгчен Ньингтик
2012-10-08 Как написать свой маленький Фейсбук

2011

2011-07-12 Как правильно петь Песню Ваджра
2011-07-18 Последние слова Видьядхар TB.353
2011-08-17 Эндокринная система
2011-09-21 Лонгченпа о хромосомах
2011-12-16 Філософські школи Буддизму

2010

2010-01-01 Божественно
2010-02-01 Машутці ❤
2010-04-07 Собрание Тантр Древних
2010-05-07 Перевод Тантр Дзогчен -- это просто
2010-07-06 Туммо
2010-07-12 Махайога и Пять Семейств
2010-07-20 Алфавит Уддияны
2010-07-29 rdo rje snying po kyi kun gzhi nyams
2010-08-05 Дзогчен термінологія
2010-08-10 Герб Сохацьких
2010-09-14 erlydir
2010-10-04 Erlang wbxml library
2010-10-08 Erlang http server and xml library
2010-10-09 Erlang SyncML server
2010-10-18 LDAP
2010-11-02 Захуячим по быстрому стартап
2010-12-11 Рожденный в Шиоджири Ши
2010-12-22 Маха Гана Пати

2009

2009-05-21 Аксиоматики
2009-05-22 Аксиоматика числа
2009-05-22 Аксиоматика логики
2009-05-22 Аксиоматика множеств
2009-05-22 Аксиоматика пространства
2009-09-14 Игры с семантикой