Add initial draft of Pact type system formal specification#1

Open

colinrozzi wants to merge 1 commit intomainfrom

codex/review-code-implementation

Commits on Apr 25, 2026

docs: add draft formal spec for pact type system
colinrozzi
committed