V / ASI‑5 · Автономный ИИ‑агент под доказательством — доверенный ИИ для регулируемых сред (Advanced Symbolic Intelligence)
Вероятностный вывод (LLM)
Транслятор: запрос → предикаты SMT-LIB (вход решателя Z3)
Символьная верификация (Z3 SMT)ADR‑0039
Трасса контура
Честно:
Основа:
Зрелость · pass-rate по датамготово
Finance Guardian · fail-closedготово
—
Бенчмарки · V против baselineготово
Multi-Box · консенсус за сменуготово
Допущено: —
Блокировано: —
SMT-верификатор · локально, мс p99 ≈ 8.98
Консенсус Multi-Box · сеть, LLM ≈ 1.5–4 с
Выбрать эксплойт
Поток реакции защиты
Выберите атаку слева — защита отработает по реальным механизмам V.
Карта атак → реальная защита (ADR)
| Вектор | Детекция в ASI‑5 | ADR / механизм | Исход |
|---|
Честно:
Конфигуратор · один слой под любую сферу
Сферы — расширяемы
Матрица полномочий · Human-in-the-LoopADR‑0013
Зелёная · R0–R2
auto
Жёлтая · R3
approve
Красная · R4–R5
approve · 2FA
| Класс | Юридический | Финансовый | Обратимость |
|---|
Проверить действие агента · гейт R0–R5готово
Граф знаний · каузальность ↔ семантикаготовится
Драйв · открытые вопросыADR‑0054
Честно:
АРИЗ-консоль · инженерия по ТРИЗметод
Оркестрация роя · маршрутизация по стоимостиготовится
Честно:
Соответствие закрытому контуру РФ · 2026статус из живых флагов
| Требование суверенного контура | Механизм V/ASI‑5 | ADR | Статус |
|---|
Правовая опора
Экономика результата
Решения архитектуры (ADR) · недавние
Само-модель архитектуры
Журнал решений · append-only · SHA-256 (сцеплен)
| Время | Действие | Класс | Вердикт | Модель | Хеш (сцеплен) |
|---|