applyWisdom
plain-language theorem explainer
The definition applyWisdom declares the predicate that holds when a lattice state transition under wisdom keeps energy at or above 95 percent of its prior value. Researchers analyzing virtue effects on the recognition lattice cite it when tracking energy conservation across state changes. It is introduced as a direct predicate on the energy field of LatticeState with no further computation.
Claim. The predicate $applyWisdom(s_{before}, s_{after})$ holds precisely when the energy of $s_{after}$ satisfies $E_{after} ≥ 0.95 · E_{before}$, where each lattice state $s$ consists of positive real numbers for average J-cost, spectral gap, and energy.
background
The Virtue Lattice Effect module studies how each of the 14 DREAM virtues modifies the lattice's average J-cost (denoted J̄) and spectral gap. Wisdom is described as preserving energy through efficient resolution paths. LatticeState is the structure that records the triple (jbar, spectral_gap, energy) together with the three positivity conditions.
proof idea
This is a direct definition whose body is the single inequality on the energy components of the two states. No lemmas are applied and no tactics are used; the predicate is identified with the inequality itself.
why it matters
The definition supplies the formal content of the wisdom virtue for the lattice model. It is used by the theorem wisdom_preserves_energy, which concludes applyWisdom from the stated energy inequality. In the Recognition Science setting this supports the claim that virtues transform lattice quantities, here by keeping energy nearly constant, consistent with the module's description of energy preservation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.