Neon Wavelength / Compliment Ripple v116

neon atom · wavelength ripple · v116 repair

[ Ne ] neutral center / [0] 1 TORUS · 3 BANDS

0.[Ne].0 relative frame λ RIPPLE · 580nm hit

resonant photon → wavelength ripple

Formal ledger

center: neon atom
atomic number: 10
torus count: 1
compliment field: yes
compliment bands: 3
curvature: relative / flagged
gravity clock: 3 pulses
carrier: inf^-e1 × 3
safety boundary: .5
visible λ span: 400–700 nm
resonant hit: excite → emit → ripple
off-resonance: no forced transition

compliment band A · pull · 30%

compliment band B · homeo · 30%

compliment band C · push · 30%

gap sides · 5% + 5%

red · 700 nm

orange · 620 nm

yellow · 580 nm

green · 530 nm

cyan · 500 nm

blue · 450 nm

violet · 400 nm

Shape register

       wavelength-coded compliment field
        λR  λO  λY  λG  λC  λB  λV
              .-----------.
           [band 2]     [band 1]
              '-----------'
                  [ Ne ]
             neutral atom at [0]
       resonant photon → excite → emit → ripple
             one torus / ring field

  forward: X-inverse + mirror × 6
  reverse: mirror + X-inverse × 6

  repair path / append-only lineage

  v115 : [rippleWithinBound postResonanceRipple]
         decide --> Decidable lookup FAIL
                            |
  v116 : unfold --> 1 <= 1 --> Nat.le_refl 1
                            |
  next : lean compile --> freeze --> extend wavelength law

Proof anchor

v116_lean_repair_full_proof : v116LeanRepairCapstone

The v114 atom/shell reading remains keyed to neonAtomWithCompliment and neon_atom_invariant. v115 adds the wavelength response; v116 records the explicit proof repair with leanRepairStep116 and v116AsciiRegister.

Lineage

v115→v116· lean-repair-ascii

parent Lean SHA-256 · fb63e43cae8a64fc457cac30fe77823d4b0f2b4cba4b311ced76608d03a0c556

v115 remains the prior wavelength-ripple state. v116 is the named repair branch; no auto-renamed (1) file is part of the lineage.