Gooo / Experiments01 · Relay Lab
Observe. Decide. Leave evidence.

A little game.
A visible decision.

Reach the gold relay with 24 energy. Observe an adjacent tile before moving. People and agents submit the same small commands; unsupported claims do not become successful moves.

Experimental dogfood harness. Gameplay runs in JavaScript, not Gooo. The candidate Gooo contract forwards typed turn requests; compiler evidence is separate and game semantics are not yet Gooo-verified.

Find the relay

ENERGY24
ACCEPTED0
REJECTED0

Click an adjacent tile to observe or move. ? unknown · # blocked · @ you · R relay. Rejected requests use no energy.

Ready.

Decision ledger

    Bring an AI, or be the AI

    No paid API, account or server is used here. The built-in agent is a deterministic planner, not an LLM. For an external AI, copy this observation and paste its JSON command below. Any external service cost is outside this page.

    Exact fields: run_id, turn, action, direction. Actions: observe / move. Directions: N / E / S / W. Old turns and extra fields are rejected.

    What did the language do?

    The contract below declares the request shape and a record-forward activity. A separate, manually triggered CI can check it and export its graph with a pinned Gooo compiler. That does not validate this game's JavaScript transition rules.

    package relaygame
    namespace relaygame
    
    entity TurnRequest id "gooo://relay-game/request" fields {
        field RunID id "gooo://relay-game/request/run-id" type string required one
        field Turn id "gooo://relay-game/request/turn" type string required one
        field Action id "gooo://relay-game/request/action" type string required one
        field Direction id "gooo://relay-game/request/direction" type string required one
    }
    activity ForwardTurn(TurnRequest) -> TurnRequest computes "record.forward:v1"

    Gooo contract execution: UNKNOWN
    Gooo game semantics: UNIMPLEMENTED
    External user utility: UNASSESSED

    Evidence boundaries and next experiments

    Export includes the fixed fixture, requests, before/after state, accepted/rejected counts and a local replay recipe. It is user-controlled browser output, not a signed receipt or proof of correctness. No success percentage is interpreted as language completeness.

    Next: execute ForwardTurn using the released runtime, compare its emitted fields to the submitted request, then move a bounded game transition into a Gooo-owned contract. Keep observation, gameplay success and permission to apply changes separate.