Skip to content

Integrate contributor PRs #62-#65: four doctrine rules, covenant-completed, 5-round three-family gate - #67

Merged
F-e-u-e-r merged 14 commits into
mainfrom
integrate-pr62-65
Jul 23, 2026
Merged

Integrate contributor PRs #62-#65: four doctrine rules, covenant-completed, 5-round three-family gate#67
F-e-u-e-r merged 14 commits into
mainfrom
integrate-pr62-65

Fold xcheck r4: grok PROCEED + luna PROCEED; sol F1,F2 fixed (both r3…

9c20d2c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
hook-suites
succeeded Jul 23, 2026 in 8s