Specifications

The open standards behind ponens — the trace, policy, and review-case models, the CLI sync model, and the IML/ImandraX formal model. JSON Schemas live alongside them in spec/schema.