cooperationDividend
plain-language theorem explainer
The cooperation dividend is the per-agent coordination bonus defined as the reciprocal of the golden ratio. Researchers modeling game-theoretic equilibria in Recognition Science cite this value when scaling coalition payoffs above defection baselines. The definition is a direct constant assignment using the phi fixed point.
Claim. The cooperation dividend is defined as $1/phi$, where $phi$ is the golden ratio fixed point.
background
Recognition Science derives game-theoretic equilibria as J-cost minima on the multi-agent ledger. The module establishes that cooperation arises from sigma-conservation: mutual cooperation preserves positive joint sigma while defect-defect is the unique non-conservative outcome in the prisoner's dilemma normal form. The coordination dividend supplies the canonical bonus factor $1/phi approx 0.618$ that scales total coalition payoff as $(n + 1/phi) pi_def$, strictly larger than the n-fold defection baseline.
proof idea
This is a direct definition that assigns the value 1/phi, where phi is the golden ratio constant imported from the Constants module.
why it matters
This definition supplies the numerical factor for the coordination bonus in element 84. It is referenced by coalitionPayoff to scale n-agent payoffs, by the GameTheoryCert structure, and by the one-statement game theory theorem. The value instantiates the self-similar fixed point phi as the source of the surplus in sigma-conserving outcomes.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.