Game normal_form.py on Ometeotl, an abstract decision meta-model

IndependentPayoffFunction

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/game/normal_form.py

Local role: Concrete PayoffFunction where each player’s utility depends only on their own strategy’s terminal perception — no cross-actor projection.

Big-picture role: Embodies the non-interference assumption: each actor’s outcomes are determined solely by their own choices, regardless of what opponents do. This holds when actors compete over shared resources or space without one actor directly distorting another’s perception — they coexist and compete, but do not manipulate each other’s informational world.

NormalFormGame

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/game/normal_form.py

Local role: Full payoff matrix for a multi-actor game: all strategy profile combinations and their per-player utility outcomes.

Big-picture role: Competition is not just a property of individual intentions — it emerges from the structure of choices available to all participants simultaneously. NormalFormGame captures that structure: the complete map of what every combination of decisions produces for every player. It makes rivalry and cooperation visible as patterns in outcomes, not as declared relationships between actors.

PayoffFunction

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/game/normal_form.py

Local role: Abstract base class defining how joint payoffs are derived from a strategy profile.

Big-picture role: The relationship between strategies and outcomes is not fixed — it depends on how actors interact, whether their decisions influence each other’s conditions, and what theory of interference is assumed. PayoffFunction is the expression of that theory: it answers the question “given that everyone plays these strategies, what does each player end up with?”

PayoffVector

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/game/normal_form.py

Local role: One row of the payoff matrix: a joint strategy profile together with the utility frame each player receives under that profile.

Big-picture role: Every joint decision produces distinct consequences for each player. A PayoffVector makes those consequences explicit for one particular combination of choices — it is the answer to the hypothetical “what does each player get if everyone plays exactly this way?”

Inheritance:

standard dataclass

Fields: