Environment

Overview

The environment system defines everything that surrounds the board — the time control, the lobby, the café concept, the network layer, the spectator experience. The board is a 127-cell hexagon; the environment is the room the players sit in.

Scope: E1–E18 (18 axioms) and ET1–ET7 (7 theorems). Locked.

What the system covers

• Clock — Time control, increments, allowed values, the relationship between clock and game state.
• Café — The metaphor for the lobby: every table is a game, every chair is a seat, players sit down and stand up.
• Online stack — Server / client handshake, action envelopes, replay log, the contract between local prediction and server confirmation.
• Spectators — How non-players observe an active game without affecting state.
• Persistence — What survives between sessions, what does not, and how the studio communicates this to the player.

Theorems

ET1–ET7 derive properties such as: a player who disconnects re-enters the same game state, a spectator never sees a position that did not occur, and the clock never decrements during a network round-trip on the moving player’s account.

Status

Locked. No open questions. Implementation is partial on the server side; the formal axiom listing is being prepared.

Coming soon — the full E1–E18 listing with implementation notes.