A language for describing APIs (types, operations, HTTP semantics) that compiles down to OpenAPI
and other formats, so the contract is written once and client/server types are generated from it
rather than kept in sync by hand. In production as di-platform's API contract source of truth.
