RUN-AS-DAEMON.PRO / DIGITAL HQ

Ранас Мукминов Founder · Systems Architect

Математическая
строгость права.
Суверенная
архитектура систем.

Соединяю формальную логику, право и инфраструктуру.
Создаю системы, которым можно доверять.

Исследовать экосистему Обсудить задачу

01 — LEGALTECH02 — SOVEREIGN AI03 — SYSTEMS

SOVEREIGN MESHARCHITECTURE v.01

FOREST SELECTED17 NODES / K3s

stack bare-metal → K3s → Ciliumnetwork AmneziaWG / eBPF// интерактивная схема · не live-телеметрия

11 проектов

Единая инженерная экосистема

17 узлов

Распределённая инфраструктура

18 мс

Маскирование ПДн¹

Старт-1

Грант Фонда содействия инновациям¹

01 / THE GENESIS

Сначала факты. Потом масштабирование.

16.12.2025 ТОЧКА ОТСЧЁТА

Личный судебный процесс стал отправной точкой Femida Tech. Более 100 часов изучения права показали, насколько сложно увидеть дисбаланс договора до того, как он превращается в проблему.

«Правовой аудит должен
работать как компилятор кода.»

Самостоятельная защита программного продукта в суде. Победа 16 декабря 2025 года — по истории основателя.

02 / SCIENTIFIC FOUNDATION

Право, которое можно вычислить.

O · F · P

Деонтическая логика

Обязательство. Запрет. Разрешение. Правовые условия как система формальных операторов.

Разобрать принцип

O(a) — действие обязательно. F(a) — запрещено. P(a) — разрешено. Такая модель делает противоречия явными.

Z3 ⊢ SAT

Формальная верификация

SMT-солвер Z3 и кооперативные игры для анализа договорной асимметрии.

Разобрать принцип

Z3 проверяет совместимость формализованных ограничений. Значение Шепли используется в концепции распределения вклада и рисков между сторонами.

PII → ∅

Суверенный AI-конвейер

Нейро-символический RAG. Маскирование персональных данных до внешнего контура.

Разобрать принцип

Zero-Trust подход разделяет доверенные и внешние контуры. Заявленное время маскирования — 18 мс; методика измерений в исходном ТЗ не приведена.

INTERACTIVE / 01

Насколько симметричен договор?

Измените условную нагрузку сторон и сравните баланс рисков.

Учебная модель: |A − B| / (A + B). Не расчёт CAI по Шепли и не юридическое заключение.

Сторона A 70Сторона B 30

40%Асимметрия нагрузки

03 / THE VENTURE MATRIX

Одна архитектура. Разные масштабы.

11 ПРОЕКТОВ / 4 НАПРАВЛЕНИЯ

Флагман экосистемы

Femida Tech

Правовой конвейер. Формальная логика вместо правовой неопределённости.

Z3 SMTNeuro-symbolic RAGPython

femida-tech.ru

Инфраструктура

Sovereign AI Gateway

Суверенная архитектура AI-шлюзов и защищённые вычислительные контуры.

Zero TrustAmneziaWGK3s

run-as-daemon.dev

Infra & DevOps

FTOPS

Управление сетями, мониторинг BGP и автоматический rollback.

MikroTikSREBGP

ftops.space

Защита данных

152Guard

Маскирование персональных данных до передачи во внешние AI-контуры.

PII redaction152-ФЗ

152guard.space

Налоговые риски

NalogSafe

Налоговый комплаенс и анализ рисков по статье 54.1 НК РФ.

Tax complianceLegalTech

nalogsafe.ru

Документы

PDF Safe Space

Работа с документами в экосистеме защищённых AI-инструментов.

PDFAI

pdf-ai.space

Транзакционные системы

IRIS Loyalty

Процессинг программ лояльности, бонусов и кэшбэка.

FinTechPartner API

iris-shop.ru

Социальная платформа

Hub Love

Социальные знакомства и платформа для новых связей.

Social discoveryHigh-load

hub-love.com

Устойчивость

LastYard

Манифест устойчивости к кризисам. Fallen ≠ Finished.

ResilienceImpact

lastyard.space

Социальный проект

Uptime Family

Инженерный взгляд на устойчивость семейных отношений.

SRE mindsetFamily

uptime-family.ru

Офлайн-проекты

Курортные проекты

«Источник Здоровья» и «Бархатный Свет». Управление объектами гостеприимства.

HospitalityReal sector

Узнать о проектах

04 / INFRASTRUCTURE AS PROOF

Собственный контур. Полный контроль.

TOPOLOGY / DEMO

BARE-METAL / K3s MESH17 NODES

SELECTED NODE

Forest

Выберите узел на схеме, чтобы исследовать структуру кластера.

Оркестрация: K3s / bare-metal
Сетевая связность: AmneziaWG mesh
Сетевой слой: eBPF / Cilium
Контур: 10.250.0.0/24
Маршрутизация: BGP self-healing

Иллюстративная топология по описанию основателя. Расположение и связи условные; имена Node 08–17 — обозначения для схемы. Мониторинг не подключён.

Security as an engineered system,
not a pile of reports.

05 / INSTITUTIONAL BACKING

Институциональная опора.

ГРАНТОВАЯ ПОДДЕРЖКА

Фонд содействия инновациям

Победитель «Старт-1»

Заявка № С1-633348

ПОДДЕРЖКА ПРОЕКТА

ОЭЗ «Иннополис»

Письмо поддержки

Технологическая экосистема

ПОДДЕРЖКА ПРЕДПРИНИМАТЕЛЬСТВА

ФППРТ

Письмо поддержки

Республика Татарстан

ПЕРСОНАЛЬНЫЕ ДАННЫЕ

Роскомнадзор

Оператор персональных данных

№ 16-25-054447

¹ Достижения, регистрационные сведения и метрики приведены по материалам основателя. Подтверждающие документы и методики измерений доступны по запросу у основателя.

06 / LEGAL / RUN AS DAEMON