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

DRIFE v6 (ddd0c70)

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Dec 14:20
· 412 commits to main since this release
v6
ddd0c70
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

DRIFE Release ddd0c70

🏆 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 v5:

  • Fix duplication in README claims section (ddd0c70)
  • Merge pull request #7 from de-johannes/copilot/add-ci-cd-pipeline (8fbf4d3)
  • Address code review feedback (2e64bcd)
  • Add CI/CD pipeline for automated testing (68c0cf7)
  • Initial plan (2ded2fc)
  • Merge pull request #6 from de-johannes/copilot/integrate-proofs-into-drife-again (6d047ab)
  • Move validate_lambda.py to root and delete proofs/ directory (3c69896)
  • Initial plan (d6a362c)

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

Assets 3
Loading