Skip to content

P3b PR1: lean width + signedness collapse (admission boundary) - #7511

Merged
briansrls merged 31 commits into
mainfrom
session/lively-ferret-290
Aug 1, 2026
Merged

P3b PR1: lean width + signedness collapse (admission boundary)#7511
briansrls merged 31 commits into
mainfrom
session/lively-ferret-290

Stop width refusal at admission; seal LeanAdmittedBitWidth.

323d18e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar