Release announcements, engineering notes, and articles about compiler construction and the Mica language.
For what the compiler guarantees as opposed to what we are writing about, the capability catalog is the reference — each entry carries its own status.