Главная/Научно-технологический комплекс и НИОКР

Фонд содействия инновациям · Программа «Старт-1» (очередь 2) · Заявка № С1-633348

Научная обоснованность и суверенный технологический стек

Платформа Femida Tech базируется на утверждённом техническом задании НИОКР по направлению Н1. Цифровые технологии: формальные методы верификации деонтической модальной логики (фон Вригт, интервалы Аллена), нейро-символический Graph-RAG на корпусе решений арбитражных судов РФ и суверенный контур анонимизации персональных данных (152-ФЗ / УЗ-1).

Точность (Precision)

≥ 85.0%

Классификация рисков ГК РФ

Полнота (Recall)

≥ 80.0%

Выявление дефектов и диспропорций

Ложные риски (FPR)

≤ 15.0%

Контроль ложных тревог (Zero Hallucination)

Размеченный корпус РФ

12 000+

Договоров и актов арбитража в датасете

ИНТЕРАКТИВНЫЙ ИСПЫТАТЕЛЬНЫЙ СТЕНД

Действующие модули НИОКР в реальном времени

Проверьте математические модели и суверенные алгоритмы непосредственно в браузере: расчёт асимметрии, запуск SMT-доказательства и очистка ПДн.

Исполнение: локальный контур клиента

НИОКР Лаборатория Femida-DTL v1.2|ФАСИЕ № С1-633348 · Стенд верификации

Local Sovereign Runtime: Z3 Solver + RuBERT NER

Математическая модель · Теория кооперативных игр

Калькулятор Индекса асимметрии договора (Contractual Asymmetry Index)

Формула Шепли: верификация скрытых диспропорций взаимной ответственности сторон договора.

Пресеты:

Штраф Поставщика / Исполнителя:0.3% в день

0.01% (рыночный)0.1% (стандарт)1.0% (кабальный)

Штраф Заказчика / Покупателя за просрочку оплаты:0.01% в день

0.01% (минимальный)0.1% (паритетный)0.5% (жесткий)

Срок оплаты Заказчиком:45 кал. дней

5 дней30 дней90 дней (отсрочка)

Право одностороннего отказа:

Гарантийное удержание:

Расчёт метрики CAIКритическая кабальность для Поставщика

+0.98/ диапазон [-1.0 .. +1.0]

-1.0 (Pro-Supplier)0.0 (Паритет)+1.0 (Pro-Customer)

Вероятность среза неустойки по ст. 333 ГК РФ:90%

Взвешенная нагрузка на Поставщика (R_supp):10 pts

Взвешенная нагрузка на Заказчика (R_cust):0.1 pts

Правовая квалификация:При $CAI > 0.45$ условие подпадает под критерии ст. 428 ГК РФ (неравные переговорные возможности) и Постановление Пленума ВАС РФ № 16 «О свободе договора».

Теоретическая новизна

Формализация норм права через аппарат деонтической модальной логики (DML)

Существующие LLM-решения генерируют вероятностный текст и подвержены галлюцинациям в силу отсутствия формального механизма логического вывода. Комплекс «Фемида Тех» транслирует юридические конструкции в деонтические модальности:

O(p) — Obligation

Обязательство стороны

Действие, совершение которого императивно предписано законом или договором (ст. 309, 310 ГК РФ).

F(p) — Prohibition

Запрет действия

Недопустимость одностороннего изменения обязательств или злоупотребления правом (ст. 10 ГК РФ, ст. 54.1 НК РФ).

P(p) — Permission

Диспозитивное право

Правомочие стороны действовать по своему усмотрению в рамках принципа свободы договора (ст. 421 ГК РФ).

Теорема о непротиворечивости договорной системы условий:

∀ p ∈ Clauses: ¬ ( O(p) ∧ F(p) ) ∧ ( O(p) → P(p) ) ∧ ( F(p) ↔ O(¬p) )

Если в тексте документа выявляется условие, налагающее обязанность исполнить действие p при одновременном наличии скрытого санкционного запрета или ограничения права на судебную защиту (ст. 431, 428 ГК РФ), алгоритм детерминированно фиксирует логический конфликт с присвоением критического ранга риска.

Математическая модель взвешенного риск-рейтинга документа

Интегральный показатель риска документа R_doc ∈ [0, 100] рассчитывается как свёртка многоуровневых рисковых факторов:

R_doc = min ( 100, ∑ [ w_k · r_k · C(k, Court_RF) ] + Pen_structural )

• w_k — вес категории риска (0.4 для налоговых рисков ст. 54.1 НК, 0.3 для кабальных условий, 0.2 для подсудности).
• r_k — степень выраженности отклонения от диспозитивной нормы ГК РФ.
• C(k, Court_RF) — коэффициент устойчивости позиции в судебной практике ВС РФ за 2021–2026 гг.
• Pen_structural — штраф за отсутствие обязательных существенных условий (ст. 432 ГК РФ).

Паспорт проекта НИОКР и регистрационные данныеГОСТ 7.32-2017 · ВАК 1.2.1 / 5.1.3 · Роспатент № 2026618492

Номер заявки в ФАСИЕ:

С1-633348 (Н1 «Цифра»)

Разработчик и заявитель:

ООО «Фемида Тех»

Научный руководитель:

к.т.н. Курманов Ш.С.

Генеральный директор:

Мукминов Р.Р.

Инструмент готов к внедрению в контур корпоративных правовых департаментов и IT-парков РФ.

Проверить договор онлайн