Back to GitHub projects

Кузница словаря действий

Компилирует решения системы в пакеты действий с оценкой доказательств и генерирует адаптеры, позволяющие TypeSafe JEV выбирать среди законных действий в детерминированных ограничениях.

该仓库是一个开发工具,用于将系统决策编译为Action Bundle并生成适配器,在确定性护栏内调用TypeSafe JEV进行选择。仓库包含JEV调用脚本、端到端测试、真实系统验证(JEV 53/54 vs 33/54),并且明确集成TypeSafe JEV,因此真实使用/集成/测试了该模型。

· 1 starsOpen on GitHub