# Specification reference

**English** · <a href="../zh/reference/index.html">简体中文</a>

These documents define object formats and composition semantics. When implementing or validating the underlying tools, treat the rules here and the corresponding tests as authoritative.

```{toctree}
:maxdepth: 2

language
rir
qram-memory
open-ir
math-ir
qham-derivation
qfvm-input-models
backend-compatibility
```