Reference documents on correctness, coordination, and proof.
For Aiur, v1 is the point where SDK behavior becomes explicit: contracts, guarantees, and predictable failure.
Dec 12, 2025