Radix 0.78.0

Install this version#

No prebuilt archives were published for this version. It is listed here because its release notes are part of the record.

Release notes#

Minor release spanning ~905 commits (v0.77.0..v0.78.0, 2026-07-22→2026-07-30). Headline: morphology-driven async and stream surface, plus large compiler hygiene, AIR reverse-AD expansion, new codegen leaves (Swift, Lean), crate extracts (radix-parser, radix-air), and performance ratchets.

Scale#

Reconstruct the full log:

git log v0.77.0..v0.78.0 --oneline --no-merges

Major tracks#

Morphology: async / stream surface#

Callable posture now has preferred morphology words while legacy annotations remain accepted compatibility spellings. Context-dependent await-cede is replaced by distinct semantic identities.

Preferred migrations

@ futura functio f() → T       -> functio f() fiet → T
@ cursor functio f() → T       -> functio f() fiunt → T
@ futura @ cursor ...          -> functio f() fient → T
fixum T x ← cede future        -> figendum T x ← future
varia T x ← cede future        -> variandum T x ← future
redde cede future              -> reddet future
cede future                    -> tacebit future   # await and discard any success T
cede value in a cursor         -> cede value       # yield only

Two-channel promises: promissum<T> is infallible shorthand for promissum<T ⇥ numquam>; promissum<T ⇥ E> preserves success and alternate. Infallible widens to failable; failable does not narrow.

Backend support

Reader llm pack maps one English surface per identity (async, generator, async_generator, await_const, await_var, return_await, await, yield). @ futura / @ cursor remain accepted; forma must not strip them automatically.

Modular words & product parity#

Width-parametric modular words continue through MIR numeric treatment and wrapping sum, Rust codegen driver policy, and product-parity goal closeout. Related stepper/octeti range fixes land under the same hygiene wave.

iuncta (tuple product) keyword#

iuncta is a globally reserved declaration keyword with parser type/construction syntax, semantic checking (construct, access, destructure, Option policy), MIR validation, Rust and LLVM codegen (tuple as LLVM struct), and reader-locale diagnostics.

adfirma separator: else#

adfirma multi-clause separator is `secus` (not comma). WARN006 deprecation path for the old separator is removed.

Diagnostic promotion CLI#

• --deny-warnings and --deny <CODE> promote selected diagnostics to hard errors at the driver surface.

AIR reverse-AD & tensor ops#

Six-layer reverse-AD VJP coverage expands across arithmetic, activations, and shapers: Sub/Div/Neg, MatMul/Sum, Exp/Log, Sqrt, GELU/Tanh, LayerNorm/SumAxis, Softmax, Transpose/Forma, CruxEntropia. Companion pre-resolution and FuncSig injection validate call sites. Driver exposes AirBackwardBundle for CLI companion generation. Op surface gains Gelu/Softmax/LayerNorm tracking and rank-2 matmul WGSL native-support promotion.

ValidatedMir API gate#

ValidatedMir newtype gates the public MIR emit/step entry points (PRP-010). Callers pass a validated program instead of raw program+validation pairs. into_parts() is sealed/removed so the proof boundary stays closed.

Crate extracts & new codegen leaves#

HIR gains Serialize/Deserialize on nodes and FHIR load scaffold (HirArtifactError, AnalyzedUnit::from_loaded). Structured compile benchmark framework (PRP-058).

Compiler hygiene & correctness (F-series + cross-backend)#

Large fix wave across lexer, parser, semantic, forma, MIR, LLVM, WASM, WGSL, Metal, stepper, host ABI, and all codegen backends (Rust/TS/Go/Swift/Faber). Highlights:

• Cross-file DefId resolution in Rust and TS codegen
• Failable registration and fail-closed missing DefId
• Modular-word CLI/target policy
• F-055 panic → deferred diagnostic
• WGSL matmul workgroup origin / OOB axes; WASM no invalid f64.tanh
• Mutating method calls treated as receiver writes

Performance ratchets (PRP series)#

Lexer/parser O(1) keyword maps and trivia index; TypeTable hash-cons; semantic scope/binding indices and failable worklist; MIR dense-ID indexes and shared validate maps; monomorphize dense index; codegen backend index maps; driver session caches; stepper O(1) indexes + Rc share; Arc-shared lowering maps (PRP-054). Benchmark baseline committed for PRP-058.

Reader locale & source locale#

Per-file source locale via frontmatter; full llm reader pack; morphology async keywords localized; iuncta keyword rows across packs.

Breaking / author-visible#

What is NOT included#

• No general expression-form await operator.
• No fit alias for bare synchronous finite.
• No compatibility grammar for await-cede.
• No closure-literal or first-class function-type posture syntax.
• No deferred/cold promise morphology (fieret/fierent — reserved for follow-up).
• Go/Swift fient production carriers remain fail-closed.
• Metal factory campaigns remain paused.

Version alignment#

Verification (pre-release)#

Recorded on the release candidate tree (2026-07-30):

Publish#

1. Bump all workspace crate versions 0.77.0 → 0.78.0 (not hygiene-ratchet).
2. cargo update so Cargo.lock matches manifests.
3. Verify locked release build + nextest.
4. Single commit with version bump + lockfile (+ this notes file if still dirty): release(radix): v0.78.0
5. Annotated tag: git tag -a v0.78.0 -m "Radix v0.78.0"
6. Push: git push origin main && git push origin v0.78.0
7. Monitor: gh run list -R faberlang/radix --limit 5
8. Confirm faberlang/releases publishes radix-v0.78.0 multi-arch archives.

Never tag a commit whose Cargo.lock is stale relative to the bumped manifests — CI uses cargo build --locked.

---

All releases · Install the current release