HDS OS
клітка для ШІthe AI-containment cage
“The model proposes; deterministic code disposes.”
Перетворює будь-яку мовну модель — локальну чи віддалену — на обмеженого й перевіреного виконавця. Замість того щоб довіряти моделі дотримуватися правил, HDS OS структурно позбавляє її можливості їх порушити. Turns any language model — local or remote — into a bounded, verified executor. Instead of trusting the model to follow rules, HDS OS structurally removes its ability to break them.
Агенти тримаються на слові моделі Agents rely on the model's word
Більшість агентних систем просять модель «дотримуватися правил». Модель помиляється, забуває або ігнорує інструкції — і система нічим цьому не протидіє. Most agent systems ask the model to "follow the rules". Models make mistakes, forget, or ignore instructions — and nothing structural stops them.
Порушити правило фізично неможливо Breaking a rule is structurally impossible
Модель лише пропонує зміни. Детермінований код перевіряє їх і вирішує, що потрапить на диск і що буде виконано. Обмеження стоять на рівні файлової системи й виконання. The model only proposes changes. Deterministic code verifies them and decides what reaches the disk and what runs. Containment lives at the filesystem and execution level.
Як це працюєHow it works
Модель пропонуєModel proposes
Будь-яка LLM, локальна чи серверна, генерує код.Any LLM, local or server-based, generates code.
Тулчейн перевіряєToolchain verifies
Справжні валідатори мови. Незареєстроване розширення — відмова.Real per-language validators. Unregistered extension — denied.
Шлюз вирішуєGate disposes
Запис і виконання — лише через запечатані шляхи в пісочниці.Writes and execution only through sealed, sandboxed paths.
МожливостіFeatures
Capability gates
Повноваження видаються за перевіреною відповідністю, а не за розміром моделі.Capabilities are granted by verified compliance, not model size.
Дві запечатані поверхніTwo sealed surfaces
Ізольовані й аудитовані шлях запису (write-path) і шлях виконання (exec-path).Isolated, audited write-path and exec-path.
ПісочницяSandbox
Код виконується в ізольованому середовищі.Code runs in an isolated execution environment.
Локально й на серверіLocal and server
Оркестрація як локальних, так і серверних моделей.Orchestrates both local and server-based models.
Default-deny
Усе, що не дозволено явно, заборонено.Anything not explicitly allowed is denied.
Некомерційна ліцензіяNon-commercial licence
Вільно для навчання й досліджень. Комерційне використання — за письмовим дозволом.Free for education and research. Commercial use requires written permission.