The Mercury programming language team has released its comprehensive formal specification, offering unprecedented clarity for developers building high-assurance systems. This meticulously documented grammar and semantics solidify Mercury's position as a robust functional-logic language for mission-critical applications.