Skip to content

Kernel-precedence repair: one shared type-env producer; kernel overlay independent of import cardinality - #9813

Merged
briansrls merged 8 commits into
mainfrom
repair/kernel-precedence
Aug 31, 2026
Merged

briansrls merged 8 commits into
mainfrom
repair/kernel-precedence

Regenerate stage0 mirror at the kernel-precedence + kernel-Bool fixed…

170ff7a
Select commit
Loading
Failed to load commit list.