Repository navigation
Research note: Desargues 10_3 / Pappus 9_3 as T=3 decoder atoms — frame-universal char-2 (CR2) certificates and the one uncertified Pappus frame (conditional on #2162, no κ claim) - #2274
Merged
Mister-Meeseeks merged 2 commits intoOct 15, 2026
Commits
Commits on Oct 15, 2026