equilibria
plain-language theorem explainer
The equilibria definition collects the states of a vantage that satisfy the balance condition under the strain functional. Recognition physicists constructing functors between Inside, Act, and Outside vantages would cite it to locate fixed points preserved by the equivalence maps. It is realized as a direct set comprehension over the isBalanced predicate.
Claim. The set of states $x$ in the vantage state space such that the total cost of $x$ vanishes, i.e., $x$ lies in the kernel of the strain functional.
background
The VantageCategory module supplies the categorical structure that renders the three vantages (Inside, Act, Outside) formally equivalent. Functors between them preserve the strain functional J, so that physics, meaning, and qualia become three views of one structure and the explanatory gap is reclassified as a category error.
proof idea
One-line definition that forms the set of states satisfying the isBalanced predicate imported from the strain and glossary modules.
why it matters
This definition supplies the equilibrium set consumed by the composition and symmetry operations in the same module and by the Octave and Strain modules downstream. It therefore supports the functorial preservation of J required by the vantage equivalence claim and sits inside the forcing chain that yields the eight-tick octave and three spatial dimensions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.