Skip to content

v1.2.0 — Dynamic Prime Generation Gate

Choose a tag to compare

View all tags
@egumaru egumaru released this 01 Jun 10:55
· 6 commits to main since this release
v1.2.0-dynamic-prime-generation-gate
51744da
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

v1.2.0 — Dynamic Prime Generation Gate OS-style normalization + global convergence for the Prime Phase System

This release introduces the dynamic prime generator as a new OS-style normalization layer. Inputs 0 and 1 are treated as unnormalized and mapped to 2, while normalized inputs preserve the existing fixed-point semantics. All existing definitions and theorems remain unchanged.

Key Features

  • Added new module Dynamic.lean

  • OS-style normalization gate:

    • step 0 = 2

    • step 1 = 2

  • Preservation of existing semantics for n > 1:

    • step n = n ↔ interferenceEnergy n = 0

  • Global convergence theorem:

    • ∀ n, ∃ k, isStableFixedPoint (Nat.iterate step k n)

  • Prime convergence theorem:

    • ∀ n, ∃ k, isPrime (Nat.iterate step k n)

  • Verified full build (5890 jobs)

  • No changes to existing definitions or major theorems

Summary

This release completes the dynamic layer of the Prime Phase System. The system now provides full-domain convergence while preserving the static theory introduced in v1.1.0.

Assets 2
Loading