Skip to content

Finish #10101: DESIGN.md's class index is a second projection of the same roster — re-derive both, land it - #10121

Closed
gunbai-bot[bot] wants to merge 4 commits into
mainfrom
session/keen-ant-717
Closed

Finish #10101: DESIGN.md's class index is a second projection of the same roster — re-derive both, land it#10121
gunbai-bot[bot] wants to merge 4 commits into
mainfrom
session/keen-ant-717

Verify recurring failure projections reach a write-through fixed point

2ed7162
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar