Repository navigation

Make the proof-gate and R-bridge claims match the tree; first CI run - #1

Merged

hyperpolymath merged 1 commit into

mainfrom

ci/bootstrap-main

Oct 2, 2026

Merged

Make the proof-gate and R-bridge claims match the tree; first CI run#1
hyperpolymath merged 1 commit into
mainfrom
ci/bootstrap-main

Commits on Oct 2, 2026
- Make the proof-gate and R-bridge claims match the tree
  
  hyperpolymath
  and
  claude
  committed
  b85cf9a