Skip to content

formal(phase1): unify P0 authority + P1 signed-object Lean project + CI gate (integrates #233)#238

Merged
hartsock merged 1 commit into
mainfrom
feat/phase1-authority-kernel
Jul 17, 2026
Merged

formal(phase1): unify P0 authority + P1 signed-object Lean project + CI gate (integrates #233)#238
hartsock merged 1 commit into
mainfrom
feat/phase1-authority-kernel

formal(phase1): unify P0 authority algebra + P1 signed-object into on…

1abcb51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar