Skip to content

§0 construction-justification rule (authoring-time): every lens records why its class can't be construction - #5476

Merged
briansrls merged 3 commits into
mainfrom
session/sunny-cat-109
Jun 21, 2026
Merged

briansrls merged 3 commits into
mainfrom
session/sunny-cat-109

WIP: §0 construction-justification rule (authoring-time, DESIGN §6): …

17f08f4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar