Metric superego
Operates Proposition 5' · Fisher–Rao gradient flow with D_KL as Lyapunov function
The user's behavioral distribution on the three-choice simplex evolves under Fisher–Rao gradient flow of . The moss point traces toward the oxblood target. The KL divergence (right panel) decreases monotonically to zero — the strict-Lyapunov certificate of convergence.
What the plate operates. Proposition 5' establishes that under axiom U3 and Lemma 1's convergence , the user's behavioral distribution converges to the platform-induced target . The plate visualizes this on the 3-choice simplex.
The simplex. Each user-action distribution over three choices is a point in the triangle. Corners are pure-strategy distributions; the center is uniform. The platform-induced target is another point somewhere in the triangle — wherever the platform's reward functional has placed the maximum over user actions under .
The dynamics. Fisher–Rao gradient flow of moves in the “straight” direction toward on the simplex (geodesic in the Fisher–Rao metric). At each step the KL distance strictly decreases (LaSalle's invariance principle applied to gradient flow on the compact simplex).
What the Lyapunov readout shows. The right panel plots on log scale. The curve is strictly decreasing — the Lyapunov function certificate. Convergence rate scales with the plasticity parameter ; the half-life of the KL distance is roughly .
What the proposition authorizes the prose to claim. The user's self-evaluative distribution drifts toward the platform's ledger. The judging organ is the platform's metric, internalized as the user's standard. The convergence is mechanism-agnostic — free- energy minimization, operant reinforcement, and Bayesian social learning all produce the same Fisher–Rao gradient flow at the operating-point linearization. The plate renders the structural form; specific user-side mechanisms vary the rate but not the destination.
Cross-references
- Operates: Proposition 5' (metric superego)
- Required: Lemma 1 — the convergence that makes well-defined as the attracting fixed point
- Cohort-rate refinement: Proposition 8 (cohort gradient) — the developmental-rate constant for the convergence
- Empirical calibration hook: §12.1 (Proposition 5' entry)