M0 through M6: the toolchain, the deterministic half, the fleet, the glossary, and tier 1 translated and reviewed.