wisdom_preserves_energy
plain-language theorem explainer
A lattice state transition that maintains at least 95 percent of the prior energy level qualifies as an application of wisdom. Modelers of virtue effects on recognition lattices cite this result when enforcing energy conservation under wise actions. The proof consists of a direct one-line wrapper that matches the hypothesis to the definition of applyWisdom.
Claim. Let $s_0$ and $s_1$ be lattice states. If the energy of $s_1$ satisfies $E(s_1) ge 0.95 cdot E(s_0)$, then the transition applies wisdom.
background
The Virtue Lattice Effect module examines how each of the 14 DREAM virtues alters the average J-cost (J-bar) and spectral gap of the recognition lattice. Wisdom is defined to preserve energy through efficient resolution paths. LatticeState is the structure recording jbar, spectral_gap, and energy for a lattice configuration, with each component required to be positive. The predicate applyWisdom holds precisely when the energy after the transition is at least 95 percent of the energy before.
proof idea
The proof is a one-line wrapper that applies the definition of applyWisdom directly to the given energy inequality hypothesis.
why it matters
This declaration completes the modeling of wisdom's effect within the virtue lattice, complementing the definitions for love and courage. It supports the broader claim that virtues transform the lattice parameters in specific ways, as outlined in the module documentation. No downstream uses are recorded yet, leaving open how this integrates with the core Recognition Science forcing chain or phi-ladder mass formulas.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.