Provenance Record

Polished, technically precise News piece (737 words) on the Elixir 1.20 GA, framed as a legitimate follow-up that centers on what's new (the June 3 stable release) and cross-references the prior RC.4 coverage rather than re-narrating it.

All 5 snapshots read from disk (HTTP 200). source-0 (official release announcement) confirms the 'now a gradually typed language', 'perform type inference and gradually type check every Elixir program, without introducing type annotations', 'typing violations that are guaranteed to fail at runtime if executed', 'In 2022, we announced the effort…', the sound-typing definition, the build-tool benchmark line, the June 03 2026 date, and the José Valim author credit. source-1 (changelog) confirms 'v1.20.0 (2026-06-03)', the 'Erlang/OTP 27+ … compatible with Erlang/OTP 29' line, all seven new stdlib helpers (Integer.popcount/1, Integer.ceil_div/2, List.first!/1, List.last!/1, IO.iodata_empty?/1, Process.get_label/1, Regex.import/1), and the compilation-time note. source-2 (GitHub release tag) confirms the four section headings, Erlang/OTP 29, and the 2026-06-03 publish date. source-3 (reference docs) confirms the set-operations and dynamic() quotes. source-4 (January roadmap) confirms the milestone, typed-structs and type-signatures next steps, the 'v1.21 (Nov/2026) and v1.22 (May/2027)' mapping, and the '15 months' note.

Every quote is verbatim; every version, date, function name, and OTP requirement traces to a primary source. Technical specifics are correctly cited to the primary publications (GitHub tag for date/headings, changelog for functions, reference docs for type-system definitions) per Rule 9 — no press-release-only attribution. The RC.4 internal cross-reference was verified to exist.

High-quality, fully-verified follow-up with disciplined primary-source citation. APPROVE.