Skip to content

proof(L2): complete L2-modality migration of L1 preservation (Stage A); soundness fix to follow - #294

Merged
hyperpolymath merged 13 commits into
mainfrom
proof/l1-soundness-modality-thread
Jun 15, 2026
Merged

proof(L2): complete L2-modality migration of L1 preservation (Stage A); soundness fix to follow#294
hyperpolymath merged 13 commits into
mainfrom
proof/l1-soundness-modality-thread

merge: resolve conflicts and fix headers

49cac03
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar