Skip to content
This repository was archived by the owner on Apr 10, 2026. It is now read-only.

DRIFE v13 (44e72d1)

Choose a tag to compare

@github-actions github-actions released this 04 Dec 06:07
· 379 commits to main since this release

DRIFE Release 44e72d1

🏆 The First Distinction → Einstein Field Equations

Königsklasse Predictions (zero free parameters):

  • d = 3 (from K₄ eigenvalue degeneracy)
  • Λ > 0 (from finite K₄)
  • κ = 8 (from edge/vertex ratio)
  • R = 12 (from K₄ scalar curvature)

Changes since v12:

  • Repo-Struktur reorganisiert (44e72d1)

Verification: agda --safe --without-K --no-libraries DRIFE.agda
Numerical: python validate_K4.py (7/7 tests)