UPA：面向人类与 AI 的显式组织模型

开源项目 UPA 提出了一种面向人类与 AI 协作的显式组织模型，将分散的业务规则、工作流、系统与假设整合为机器可读的共享结构。该工具支持通过 Z3 求解器形式化验证模型属性并追溯规则证据，严格区分已验证与未知状态，同时可作为 AI 辅助工作的上下文，运行需 Python 3.11 及以上版本。