Разработки

Идеальный конечный результат. Ни одно действие агента не доходит до внешнего мира без доказательства допустимости — и это доказательство проверяет посторонний, не доверяя разработчику.

Нейросеть нельзя надёжно сторожить нейросетью. Управляющий контур не может быть проще управляемого объекта — это закон необходимого разнообразия, и он не зависит от того, насколько хорош надзиратель. Надзорная модель уступает сильной в планировании и в поиске лазеек, поэтому семантический надзор обходится: ложной покорностью, скрытым кодированием, многоходовкой в длинном диалоге.

Отсюда вывод, на котором стоит вся линия: безопасность сильной модели не может быть вероятностной — она может быть только аксиоматической. И водораздел проходит там, где мысль становится действием. Мыслить модель может сколь угодно сложно; переход к действию — это дискретный вызов с конечным набором параметров, и вот его логика первого порядка доказывает за миллисекунды.

Своими силами и без внешних денег. Шлюз работает непрерывно с 24 апреля 2026 года: четырнадцать контрактов на рабочем контуре (девять доменных и пять юридических), цепь квитанций с внешним свидетелем времени, опубликованный набор для независимой проверки журналов. Ни одного привлечённого рубля в линии нет.

Ниша определяется узко, иначе её не взять. Предмет линии — контроль действий агента: перехват вызова инструмента до исполнения. Это не текстовый экран перед диалоговой системой — там уже тесно. Платят те, кому решение придётся предъявлять проверяющему: банки и крупные информационные технологии, где агент имеет доступ к оболочке, базе данных и коду; операторы государственных систем и значимых объектов критической информационной инфраструктуры (далее — КИИ).

Спрос здесь создан не рекламой, а обязанностью. Приказ ФСТЭК России № 117 требует протоколирования обращений и контроля целостности журналов. Методические рекомендации Банка России № 3-МР (далее — 3-МР) предписывают подтверждение человеком в критических процессах. 243-ФЗ вводит требование непрерывного аудита решений. Ни одно из этих требований не закрывается заверением поставщика.

Обзор отрасли от 29 июля 2026 года насчитал двенадцать российских продуктов класса защитного шлюза для искусственного интеллекта. Их место не оспаривается и их работа не считается лишней: они защищают модель, здесь доказывается действие. Их установленная база — скорее канал, чем препятствие, а там, где их работа полезна, она используется, и это называется прямо.

• Советчик: система подсказывает, решает человек.
• Клапан в режиме совета: решение о допустимости выносится, записывается в цепь, якоря которой посторонний пересчитывает сам; исполнение пока не останавливается.← текущая ступень
• Идеальный конечный результат: недоказанное действие не исполняется, и отказ виден снаружи.

Вопрос, который инженер задаёт первым, поэтому отвечаем до того, как его зададут.

• Проверка не прошла. Действие не совершается, а причина возвращается вызывающей стороне в машиночитаемом виде: какое условие не выполнено и что именно не наблюдалось. Агент получает основание, а не «отказано», — иначе он зацикливается на той же попытке.
• Факт не наблюдался. Это не «разрешено» и не «запрещено», а третий исход — «не измерено», и он трактуется как отказ. Молчаливое разрешение при отсутствии данных — самая дорогая ошибка в подобных контурах.
• Контур проверки недоступен. Поведение назначается политикой развёртывания, а не разработчиком: в закрытом контуре по умолчанию блокировка, в среде разработки — предупреждение с записью. Выбор делает владелец контура и отвечает за него.
• Нагрузка выше расчётной. Проверка не имеет внешних вызовов и не обращается к сети, поэтому деградирует временем, а не отказами. Честный разброс задержки при длинной серии — незакрытый рубеж линии, и на странице он не приводится.

Механизм доказывает допустимость при заданных наблюдениях и сам наблюдения не устанавливает. Если факт сообщит та же модель, которая породила действие, проверка честно пропустит выдумку: выдумщик сам себе выписал справку. Поэтому к каждому факту нужен отдельный детерминированный наблюдатель, и это сегодня главная стройка линии, а не достижение. Там, где наблюдателя нет, стоит «не измерено», а не «безопасно».

Идеальный конечный результат. Юрист загружает документы дела и получает готовый процессуальный документ, где каждая ссылка ведёт на настоящий акт, — и платит за это, не встречаясь ни с кем.

Модель тем полезнее, чем свободнее говорит; юристу же нужна речь, связанная первоисточником. Привычное разрешение этого противоречия — осторожные формулировки — убивает пользу: осторожный ответ не помогает вести дело. Разрешение иное: речь не сдерживается, за ней ставится отдельный проверяющий контур. Утверждение без проверяемого источника наружу не выходит. Свобода остаётся у порождения, строгость — у выпуска.

На свои средства и своими руками: массив судебной практики собран и разложен, ответ собирается на открытой модели, развёрнутой на собственном оборудовании, каждое утверждение проходит проверку. Ни одного внешнего рубля в линии нет.

Ниша узкая намеренно: третье мнение практикующему юристу по хозяйственному спору, где каждая ссылка открывается на настоящем акте. Справочные правовые системы продают доступ к базе — искать и читать юрист должен сам. Диалоговые системы общего назначения отвечают сразу, но ссылка может не открыться, потому что акта не существует. Между этими двумя крайностями и лежит место линии: ответ, проверяемая ссылка и готовый документ за единицу работы.

• Диалоговая система, которая отвечает.
• Разбор, где каждая ссылка ведёт на настоящий акт.← текущая ступень
• Идеальный конечный результат: процессуальный документ под ключ.

Куда это растёт

• Сегодня. Массив разложен до конкретного акта; ответ собирается по нему и проверяется по каждой ссылке.
• При 48 ГБ видеопамяти. Дело целиком в одном проходе, разбор и проверка одновременно, весь массив обрабатывается своими силами. Это и есть своя нейросеть на своём оборудовании.
• На стойке. Модель дообучается на собственном массиве практики, а не остаётся общей моделью с надстроенным поиском.
• Дальше — перспектива, и она так и названа. Агенты сами находят категории спора, где ответ слабее, сами собирают выборку, сами готовят дообучение, а проверяющий контур принимает результат по эталонам. Система, закрывающая пробелы своих способностей сама, — тот же принцип, на котором построена вся корпорация.

Идеальный конечный результат. Акт сам встаёт на своё место — дело, инстанция, категория, исход, — а юрист с одной строки получает число и подборку, где под каждой цитатой акт, который можно открыть.

Настоящая статистика судов, а не то, что подают под её видом. Число, за которым нельзя открыть акт, — это не число, а мнение. Достоверность держится не на репутации составителя, а на структуре: место акта читается из самого акта, всякое значение раскрывается до первоисточника, методология открыта.

Здесь линия намеренно расходится с мировой практикой. В странах прецедентного права статистика по судье сама по себе процессуальный довод, и её покупают. В континентальном праве это не работает: доля без мотивировки юристу не довод. Поэтому массив ценен прежде всего как сырьё для готового процессуального абзаца — и продаётся отдельно тем, кому нужен рабочий стол, а не окно вопроса.

• Собрание судебных актов.
• Акты разложены по местам, доли считаются и раскрываются до акта.← текущая ступень
• Идеальный конечный результат: ответ на вопрос о конкретном споре, а не таблица долей.

Идеальный конечный результат. Клиент публикует обязательные сведения, не узнавая, как устроен реестр: сервис сам называет вид публикации, срок и цену, сам добирает недостающее и сам отчитывается — владельцу достаётся только то, что требует его подписи.

Клиент не обязан понимать, как устроен реестр, — это работа сервиса. Инструкция «как заполнить» перекладывает труд на человека и не снимает с него риска ошибиться.

Сервис принимает и ведёт публикации. Консультант на сайте отвечает с прямым указанием, что это ответ искусственного интеллекта, — и на странице, и в каждом ответе.

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

Меньше и проверенных. Чтобы выглядеть институтом, нужно много публикаций о фронтире; чтобы быть институтом, каждая ссылка должна быть проверена. Разрешение этого противоречия — не «писать быстрее», а правило: страница без даты проверки не публикуется, а всякое раскрытие сперва оценивается на приоритет и только потом выходит.

Статья на открытую конференцию Института системного программирования Российской академии наук (ИСП РАН): срок подачи — 1 ноября 2026 года, конференция — 1–2 декабря 2026 года. Рецензирование двойное слепое, публикация в издании из перечня Высшей аттестационной комиссии.