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

UPA 是一个把业务规则、工作流、系统、证据、假设与未知项放进同一份机器可读结构的实验性组织模型，人类与 AI 可共同检视。它用 Z3 对模型中的指定属性做形式化校验，并支持规则回溯证据、探索变更影响，内置示例为 MIT 许可的 eShopOnWeb 结账模型。运行需 Python 3.11 或更高版本与 z3-solver，可选 C# 生成步骤需 .NET SDK。