Bounded Autonomy Planner: жёсткие рамки для LLM-планировщика через union-схемы и дистилляцию правил

Обнаружено: если правила выбора инструментов записаны просто текстом в промпте, модели нарушают их почти в трети вызовов. Обычная плоская JSON-схема не ловит ни одной такой ошибки. Метод Bounded Autonomy Planner позволяет полностью исключить запуск запрещённых комбинаций действий у ИИ-диспетчера и перенести его логику в чистый код. Фишка: правила совместимости зашиваются прямо в ветвящуюся схему (discriminated union), а после прогона на спорных кейсах решения модели сжимаются в 2–3 простых условия со 100% защитой от нелегальных вызовов.