Skip to content

Core Specifications

Shared foundations used by all PTA formats.

Contents

Directory Description
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