Skip to content

Core Specifications

Shared foundations used by all PTA formats.

Contents

DirectoryDescription
conventions/RFC 2119 keywords, notation guide, stability markers
model/Universal data model (transaction, posting, account, etc.)
types/Primitive types (decimal, date, string, unicode)
numerics/Precision, rounding, tolerance rules
formal/Alloy models for mathematical proofs
i18n/Internationalization (number/date formats)

Key Documents