Лаборатория прикладного ИИ и верификации систем · Изолированный MCP

Языковые модели готовят черновик; решение принимают детерминированные шлюзы схем и подпись инженера.

В архитектуре Praksis AI Lab ни одна языковая модель или автономный агент не имеет прямых учётных данных для записи в боевые базы данных. Каждая инженерная задача проходит через пять последовательных узлов изоляции.

Технические спецификации (SPEC-01..04)Запрос на ИИ-верификацию

◆ Изолированный демонстрационный контур (нулевая запись в боевые БД)Интерактивный конвейер воспроизводит детерминированные трассы проверок в изолированной среде без права записи в рабочие таблицы ColonyOS или Sandras.

Выберите сценарий аудита:Включить инъекцию нарушения схемы

Перенос архивных осмотров станции в долине Османие (AKS: 080000845618) в схему colonies ≠ hives с проверкой того, что непроведённые в дождь смывы клеща Varroa сохраняются как NULL, а не превращаются в 0.

◈ Предустановленная трасса аудита · Client-Side Rule Walkthrough (Not a Live Server Execution)

ШТАТНЫЙ РЕЖИМ — Все проверки схем, 5 эпистемических состояний и компилятора пройдены; пакет готов к подписи на Узле 05.

Включите инъекцию сбоя, чтобы увидеть, как Узел 04 (Verification Gate) блокирует принудительное обнуление неизмеренных полей (`NULL → 0`), неотфильтрованные GPS-выбросы и рассинхронизацию 5 локалей.

УЗЕЛ 04 · Задача узла

Verification Gate

Прогоняет артефакты через tsc --noEmit, триггеры неизменяемости SQL, правила 5 эпистемических состояний и проверку полноты 5 языковых локалей.

Принимаемые входы

Кандидатный diff от Узла 03 и тестовый набор данных
Статический анализатор типов и детерминированные валидаторы SQL/JSON

Выходные артефакты

Детерминированный вердикт PASS / BLOCKED
Построчная и пополевая диагностика нарушений

Граница безопасности и полномочий

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

Блокирует конвейер (BLOCKED_BY_VERIFICATION_GATE) при любой ошибке типов, подмене NULL → 0 или пропуске SUSPECT GPS-выброса.

Трасса полезной нагрузки аудита (JSON)Иллюстративный вывод схемы (не живая подпись)

{
  "simulation_mode": "PREDEFINED_SCENARIO_TRACE",
  "pipeline": "colonyos-v1-to-v3.2",
  "spec_ref": "SPEC-01 · COLONYOS-V3.2",
  "station_aks": "080000845618",
  "checks": {
    "colony_hive_separated": true,
    "epistemic_states_preserved": ["NULL", "N/A", "UNKNOWN", "SUSPECT", "VERIFIED"],
    "append_only_triggers": "VERIFIED"
  },
  "gate_decision": "READY_FOR_HUMAN_REVIEW"
}

Примечание: вердикт и JSON-пакет выше являются статическими примерами схемы; демонстрация работает в браузере и не изменяет состояние сервера.