These articles explain why things work the way they do: exact arithmetic, supersolids, manifold guarantees, and export semantics.
CONCEPT
Concepts & Rationale
Background, design trade-offs, and exactness model behind Solidean.