Skip to content

Lens hygiene: import-closure inert-lens backstop + promote 5 inert lenses to floor-discovered witnesses (§0) - #5433

Merged
briansrls merged 5 commits into
mainfrom
session/jolly-ram-141
Jun 21, 2026
Merged

Lens hygiene: import-closure inert-lens backstop + promote 5 inert lenses to floor-discovered witnesses (§0)#5433
briansrls merged 5 commits into
mainfrom
session/jolly-ram-141

fmt: inert-lens backstop

c26d5b8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar