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

UPA 是一个把业务规则、工作流、系统、证据、假设与未知项统一为机器可读结构的显式组织模型，供人类与 AI 智能体共同检查。它可用 Z3 对模型属性做形式化验证、追溯规则证据并分析变更影响，但只验证模型在声明假设下的性质，不证明模型等同于现实。项目要求 Python 3.11 及以上与 z3-solver，附带 eShopOnWeb 示例模型，可选生成并构建 C# 代码。