CoolFace
Apppublic

beanapologist/eigenverse-prni-coherence

sourceHugging Facemitupdated 5mo agoView on Hugging Face
0likes
App README

๐Ÿงฌ Eigenverse โ€” Non-Embedded Observer & PRNI Coherence Gate

Interactive demo of PR #13 from the Eigenverse repository.

What This Tests

Every public key is a point on an elliptic curve โ€” a pair of coordinates (x, y). We map those to the complex plane and run them through the PRNI coherence gate, formalized in Lean 4:

lean
def coherentPRNI (z : โ„‚) : Prop := 0 < z.re โˆง z.im < 0

Does your key live in the coherent sector?

Features

  • โ€”๐Ÿ”‘ Key Coherence โ€” Paste any ETH address, public key, or hex โ†’ see its position on the complex plane
  • โ€”๐ŸŽฏ Complex Number Test โ€” Manual Re/Im input with visualization
  • โ€”๐Ÿ”„ ฮผโธ Orbit โ€” All 8 powers of the critical eigenvalue tested against the gate
  • โ€”๐Ÿ“œ Lean Source โ€” The actual formalization from PR #13

The Math

  • โ€”ฮผ = e^(iยท3ฯ€/4) โ€” the critical eigenvalue (135ยฐ rotation)
  • โ€”C(r) = 2r/(1+rยฒ) โ€” the coherence function
  • โ€”C(1) = 1 โ€” unique maximum at equilibrium
  • โ€”ฮผโธ = 1 โ€” 8-cycle closure

552 theorems. Zero sorry. Machine-checked.

Links