Why this shape

One way to write each construct

The spec gives one example for each feature and a list of forms the compiler rejects, including else if, //, and consume written at the call. Spec section 17.

Ownership is three words

read, lend, and consume are written on the parameter. The call stays f(x). Parameter modes.

No lifetime syntax

A stored read or lend is tied to the place it came from. The rejected-forms list has no lifetime name. Spec section 11.

Failures are loud

Integer +, -, and * trap when the result does not fit, in debug and in --release. Indexing is bounds-checked in both, unless the program uses trust or the build uses --unchecked. Spec section 10, section 12.

Diagnostics carry a checked fix

gg check --json returns a code, a rule, a message, a span, labels, and fixes. verified means the compiler applied that edit to a copy and the diagnostic went away. The spec says to apply a fix only when applicability is safe or likely and verified is true. A real GG0301 document. Spec section 18.

One specification

The language is specified in a single document.

gg api --json

The command lists public symbols with module, name, kind, signature, and description. Names that start with _ are omitted. Spec section 16.

What this does not cover is on the limits list.