Skip to content

Emitter type-param casing fix (seed-cement-grounding lane, .dag-authority not seed-cement). PROBLEM: src/v1/05_emit_rust.dag renders type-PARAMETER names verbatim from the .dag lowercase idiom (type List<element>, MachineWidth<bits>, Map<key,value>) into lowercase Rust type params, so a faithful reg - #5844

Merged
briansrls merged 10 commits into
mainfrom
session/deep-owl-248
Jun 26, 2026
Merged

Emitter type-param casing fix (seed-cement-grounding lane, .dag-authority not seed-cement). PROBLEM: src/v1/05_emit_rust.dag renders type-PARAMETER names verbatim from the .dag lowercase idiom (type List<element>, MachineWidth<bits>, Map<key,value>) into lowercase Rust type params, so a faithful reg#5844
briansrls merged 10 commits into
mainfrom
session/deep-owl-248

Merge remote-tracking branch 'origin/main' into session/deep-owl-248

c66de80
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar