Experimentální projekt UPA převádí vybraná firemní pravidla a pracovní postupy do společného strojově čitelného modelu pro lidi i AI agenty. Propojuje pravidla se zdrojovými důkazy, předpoklady a otevřenými otázkami a nad deklarovanými vlastnostmi používá formální ověřování pomocí Z3. Součástí je prohlížeč modelu a ukázka založená na referenčním e-shopu eShopOnWeb. Výstupy mohou sloužit jako kontext pro asistované programování nebo jako podklad podporovaných generátorů kódu. Důležité omezení je přímo součástí návrhu: ověřený model nedokazuje, že tak opravdu funguje produkční systém. Správnost vstupních důkazů, úplnost pravidel i schválení změn zůstávají odpovědností lidí. Projekt také automaticky neodvozuje strukturu firmy z libovolného repozitáře.
