hasEquilibrium
plain-language theorem explainer
The definition asserts existence of a balanced state inside a vantage category. Researchers formalizing recognition structures as equivalent views would reference it to establish zero-cost configurations. It is introduced as a direct existential abbreviation over the ledger balance predicate.
Claim. A vantage $V$ possesses an equilibrium when there exists a state $x$ such that the total cost of $x$ equals zero.
background
The RRF Foundation module defines vantage categories to make precise the formal equivalence of three perspectives (Inside, Act, Outside) connected by functors that preserve the strain functional $J$. The predicate isBalanced, imported from ledger requirements, states that a spacetime region satisfies totalCost = 0. This definition simply checks whether any such zero-cost state exists inside the given vantage.
proof idea
One-line definition that directly encodes the existential claim over states satisfying the imported isBalanced predicate.
why it matters
The definition supplies the basic equilibrium notion required by the module's functor construction between vantages. It supports the claim that physics, meaning, and qualia are three views of one J-preserving structure and contributes to the hard-problem dissolution stated in the module documentation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.