Skip to content

proofs: ledger repairs, PWG census, T-1 recheck legs (PWG-2ii), T-2/T-3 split - #171

Merged
hyperpolymath merged 17 commits into
mainfrom
claude/vibrant-cori-lirqrr
Nov 9, 2026
Merged

proofs: ledger repairs, PWG census, T-1 recheck legs (PWG-2ii), T-2/T-3 split#171
hyperpolymath merged 17 commits into
mainfrom
claude/vibrant-cori-lirqrr

docs(readiness): four theory theorems at PWG-3 and T-1 at PWG-2ii

231d1d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar