isBalanced
plain-language theorem explainer
The predicate marks equilibrium states in the vantage category by the vanishing of the strain functional J. Researchers formalizing the equivalence of Inside, Act, and Outside perspectives cite it when proving ledger closure or functor preservation of equilibria. It is introduced as a direct abbreviation of the zero-strain condition on V.State.
Claim. A vantage state $x$ is balanced precisely when the strain functional satisfies $J(x)=0$.
background
The VantageCategory module establishes that the three vantages (Inside, Act, Outside) are formally equivalent via functors that preserve the strain functional J. This supplies the categorical structure for the claim that physics, meaning, and qualia are three views of one structure. The strain functional J originates in upstream results on J-cost and ledger factorization, where it quantifies recognition cost on the phi-ladder.
proof idea
This is a direct definition that equates the balanced predicate to the zero-strain equation V.strain.J x = 0.
why it matters
The definition supplies the equilibrium predicate used by the DarkEnergy ledger-balance requirement and by the JMinimizationLaw in the glossary. It feeds the Octave theorem that morphisms preserve equilibria when the target strain is non-negative. Within the Recognition framework it anchors the T5 J-uniqueness step and the RCL composition law by identifying the fixed points of the strain functional.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.