Skip to content

regen_stage0: verify hand-maintained files against a fresh emit (§5 inert-gate hole #1) - #6311

Merged
briansrls merged 13 commits into
mainfrom
session/loyal-dove-903
Jul 6, 2026
Merged

regen_stage0: verify hand-maintained files against a fresh emit (§5 inert-gate hole #1)#6311
briansrls merged 13 commits into
mainfrom
session/loyal-dove-903

Revert inert selective-import filter (ancestry bypasses type_env_for_…

86ccf8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar