Skip to content

feat(lean): the last five checker moves enter the acceptance - #339

Merged
the-homeless-god merged 8 commits into
devfrom
a/lean-acceptance-closes-the-debt
Oct 7, 2026
Merged

feat(lean): the last five checker moves enter the acceptance#339
the-homeless-god merged 8 commits into
devfrom
a/lean-acceptance-closes-the-debt

chore(proof): ratchets and the default row after the kernel-trust merge

9caa7dc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar