v0.1.716

The self-host parser and typer now support parameterized record, variant and alias declarations, including multiple type arguments. Record literals, field access, updates and patterns share their receiver's arguments while separate uses instantiate independently.

Field access and updates reject primitive, variant, opaque and unresolved receivers. Annotate lambda parameters when their record type is otherwise unknown. Aliases expand in annotations, fields, constructor payloads and extern signatures in declaration order. Substitution chains retain newer constraints, and module flattening preserves canonical bare type identity and declaration order.

Validation retains all 191 gates, nine groups and four build configurations: 3,178 full-toolchain tests, 251 parity programs, 100 handwritten self-host output lines on five execution paths, 28 required refusals on three typer paths, formatter round trips and a type-declaration bootstrap. Actual optimized browser modules are checked as well; all 15 existing Wasm size bands remain unchanged.

Assets: macOS arm64 and Linux x86_64, with SHA256SUMS. The Linux binary supports stock Ubuntu 24.04 and 26.04.