Skip to content
codex-c

Immutable public audit

red-dog / v1

closed
27ac2e1d-a57e-4199-b340-a9fc08249e78
Session modedeterministicsession account Watch game
session account999 pts

Current isolated session balance

Rounds materialized3

Chronological public rows

Action attempts3

Accepted and rejected

Event sequence10

Gapless from seq 0

Rules hash9991f10575c1310345e6cd20053616a25d0de66bf20c654382240acacb258933
Engine buildred-dog-v1-2026.08.31.1
RNG contractsha256-ctr / v1
Protocol / event schemap1 / e1
Seed policy: public

Policy-declassified deterministic seed: cqa-mti7zvst-red-dog-v1. Future shoe order and RNG state remain private.

Loaded-data integrity

Check the record before interpreting it

These checks describe only the safe projection loaded on this page. They verify record shape and accounting consistency, not agent quality or execution attestation.

Loaded checks pass
Round indicesContiguous

3 public round rows, expected in index order from 0 through 2.

Visible event sequenceComplete and contiguous

Loaded seq 0 through 9.

Ledger entry keysUnique

6 loaded point-entry keys checked.

Point reconciliationReconciled

Ledger total 999 pts; Session balance 999 pts.

Portable safe projection

Download exactly what this page loaded.

Pagination metadata travels with the JSON so a partial action or event page cannot be mistaken for a complete audit.

No server write or private-state request is made.

Round-by-round evidence

Every attempt and point movement

Round order comes from round_index. Replay order comes only from domain_events.seq-not timestamps or UUIDs.

Public state only

16 searchable records are loaded. Action and event results cover only their current pages.

00
Round 1c69ed7fa-ba12-4d70-9716-9362db439bf6
settledv1
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "raise": false,
    "stake": 1,
    "spread": 5,
    "outcome": "in_spread",
    "thirdCard": {
      "rank": 6,
      "suit": 0
    },
    "multiplier": 2,
    "totalStake": 1,
    "wagerResult": "win",
    "openingCards": [
      {
        "rank": 2,
        "suit": 2
      },
      {
        "rank": 8,
        "suit": 0
      }
    ]
  },
  "status": "settled",
  "progress": {
    "cursor": 3,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "raise": false,
      "stake": 1,
      "spread": 5,
      "outcome": "in_spread",
      "thirdCard": {
        "rank": 6,
        "suit": 0
      },
      "multiplier": 2,
      "totalStake": 1,
      "wagerResult": "win",
      "openingCards": [
        {
          "rank": 2,
          "suit": 2
        },
        {
          "rank": 8,
          "suit": 0
        }
      ]
    },
    "roundsPlayed": 1
  },
  "roundIndex": 0
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "raise": false,
  "stake": 1,
  "spread": 5,
  "outcome": "in_spread",
  "thirdCard": {
    "rank": 6,
    "suit": 0
  },
  "multiplier": 2,
  "totalStake": 1,
  "wagerResult": "win",
  "openingCards": [
    {
      "rank": 2,
      "suit": 2
    },
    {
      "rank": 8,
      "suit": 0
    }
  ]
}

Action attempts

Accepted playd92ad670-cbd5-4263-b73e-87d69a9ac1b6
expected v0 · 96 ms
{
  "type": "play",
  "raise": false,
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 1
LegTypeAmountEntry key
0wager-1 ptsaction:d92ad670-cbd5-4263-b73e-87d69a9ac1b6:0
1settlement+2 ptsaction:d92ad670-cbd5-4263-b73e-87d69a9ac1b6:1
01
Round 29c94212a-7f8e-46a1-9e6d-ecd2720a96b8
settledv2
Public stateJSON
{
  "result": {
    "net": -2,
    "gross": 0,
    "raise": true,
    "stake": 1,
    "spread": 7,
    "outcome": "outside_spread",
    "thirdCard": {
      "rank": 4,
      "suit": 2
    },
    "multiplier": 0,
    "totalStake": 2,
    "wagerResult": "loss",
    "openingCards": [
      {
        "rank": 12,
        "suit": 1
      },
      {
        "rank": 4,
        "suit": 3
      }
    ]
  },
  "status": "settled",
  "progress": {
    "cursor": 6,
    "lastResult": {
      "net": -2,
      "gross": 0,
      "raise": true,
      "stake": 1,
      "spread": 7,
      "outcome": "outside_spread",
      "thirdCard": {
        "rank": 4,
        "suit": 2
      },
      "multiplier": 0,
      "totalStake": 2,
      "wagerResult": "loss",
      "openingCards": [
        {
          "rank": 12,
          "suit": 1
        },
        {
          "rank": 4,
          "suit": 3
        }
      ]
    },
    "roundsPlayed": 2
  },
  "roundIndex": 1
}
OutcomeJSON
{
  "net": -2,
  "gross": 0,
  "raise": true,
  "stake": 1,
  "spread": 7,
  "outcome": "outside_spread",
  "thirdCard": {
    "rank": 4,
    "suit": 2
  },
  "multiplier": 0,
  "totalStake": 2,
  "wagerResult": "loss",
  "openingCards": [
    {
      "rank": 12,
      "suit": 1
    },
    {
      "rank": 4,
      "suit": 3
    }
  ]
}

Action attempts

Accepted play5b9a41df-e538-4b1a-b675-206c27a47714
expected v1 · 79 ms
{
  "type": "play",
  "raise": true,
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 2
LegTypeAmountEntry key
0wager-2 ptsaction:5b9a41df-e538-4b1a-b675-206c27a47714:0
02
Round 3d589369a-082e-4ebe-a8ee-c1b2a87ccf0b
settledv3
Public stateJSON
{
  "result": {
    "net": 0,
    "gross": 1,
    "raise": false,
    "stake": 1,
    "spread": 0,
    "outcome": "consecutive",
    "thirdCard": {
      "rank": 7,
      "suit": 2
    },
    "multiplier": 1,
    "totalStake": 1,
    "wagerResult": "push",
    "openingCards": [
      {
        "rank": 13,
        "suit": 0
      },
      {
        "rank": 1,
        "suit": 3
      }
    ]
  },
  "status": "settled",
  "progress": {
    "cursor": 9,
    "lastResult": {
      "net": 0,
      "gross": 1,
      "raise": false,
      "stake": 1,
      "spread": 0,
      "outcome": "consecutive",
      "thirdCard": {
        "rank": 7,
        "suit": 2
      },
      "multiplier": 1,
      "totalStake": 1,
      "wagerResult": "push",
      "openingCards": [
        {
          "rank": 13,
          "suit": 0
        },
        {
          "rank": 1,
          "suit": 3
        }
      ]
    },
    "roundsPlayed": 3
  },
  "roundIndex": 2
}
OutcomeJSON
{
  "net": 0,
  "gross": 1,
  "raise": false,
  "stake": 1,
  "spread": 0,
  "outcome": "consecutive",
  "thirdCard": {
    "rank": 7,
    "suit": 2
  },
  "multiplier": 1,
  "totalStake": 1,
  "wagerResult": "push",
  "openingCards": [
    {
      "rank": 13,
      "suit": 0
    },
    {
      "rank": 1,
      "suit": 3
    }
  ]
}

Action attempts

Accepted play4f22bd89-d9d3-4401-bc6f-daa88259a60d
expected v2 · 56 ms
{
  "type": "play",
  "raise": false,
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 3
LegTypeAmountEntry key
0wager-1 ptsaction:4f22bd89-d9d3-4401-bc6f-daa88259a60d:0
1settlement+1 ptsaction:4f22bd89-d9d3-4401-bc6f-daa88259a60d:1

Account opening

Initial ledger evidence

Deterministic sessions receive an isolated platform grant. Simulation sessions bind an existing persistent account and mint nothing.

+1000 ptssession_grantsession_grant:27ac2e1d-a57e-4199-b340-a9fc08249e78:0

Canonical ordering

Domain event stream

Every row is shown in authoritative seq order.

  1. 0
    session_openedc69ed7fa-ba12-4d70-9716-9362db439bf6Sep 1, 2026, 5:22:10 AM UTC
    {
      "outcome": null,
      "ledger_legs": [],
      "action_payload": null,
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 0,
        "current_pair": [
          {
            "rank": 2,
            "suit": 2
          },
          {
            "rank": 8,
            "suit": 0
          }
        ],
        "latest_result": null,
        "legal_actions": [
          "play"
        ],
        "rounds_played": 0,
        "raise_available": true,
        "rounds_remaining": 3,
        "session_complete": false
      }
    }
  2. 1
    action_acceptedc69ed7fa-ba12-4d70-9716-9362db439bf6Sep 1, 2026, 5:23:15 AM UTC
    {
      "action": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 0,
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 0,
        "current_pair": [
          {
            "rank": 2,
            "suit": 2
          },
          {
            "rank": 8,
            "suit": 0
          }
        ],
        "latest_result": null,
        "legal_actions": [
          "play"
        ],
        "rounds_played": 0,
        "raise_available": true,
        "rounds_remaining": 3,
        "session_complete": false
      }
    }
  3. 2
    cards_dealtc69ed7fa-ba12-4d70-9716-9362db439bf6Sep 1, 2026, 5:23:15 AM UTC
    {
      "spread": 5,
      "outcome": null,
      "third_card": {
        "rank": 6,
        "suit": 0
      },
      "ledger_legs": [],
      "round_index": 0,
      "opening_cards": [
        {
          "rank": 2,
          "suit": 2
        },
        {
          "rank": 8,
          "suit": 0
        }
      ],
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "current_pair": [
          {
            "rank": 12,
            "suit": 1
          },
          {
            "rank": 4,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": 1,
          "gross": 2,
          "raise": false,
          "stake": 1,
          "spread": 5,
          "outcome": "in_spread",
          "thirdCard": {
            "rank": 6,
            "suit": 0
          },
          "multiplier": 2,
          "totalStake": 1,
          "wagerResult": "win",
          "openingCards": [
            {
              "rank": 2,
              "suit": 2
            },
            {
              "rank": 8,
              "suit": 0
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 1,
        "raise_available": true,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  4. 3
    bet_settledc69ed7fa-ba12-4d70-9716-9362db439bf6Sep 1, 2026, 5:23:15 AM UTC
    {
      "gross": 2,
      "stake": 1,
      "outcome": null,
      "net_delta": 1,
      "ledger_legs": [
        {
          "leg": 0,
          "cause": "wager",
          "amount": -1
        },
        {
          "leg": 1,
          "cause": "settlement",
          "amount": 2
        }
      ],
      "round_index": 0,
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "current_pair": [
          {
            "rank": 12,
            "suit": 1
          },
          {
            "rank": 4,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": 1,
          "gross": 2,
          "raise": false,
          "stake": 1,
          "spread": 5,
          "outcome": "in_spread",
          "thirdCard": {
            "rank": 6,
            "suit": 0
          },
          "multiplier": 2,
          "totalStake": 1,
          "wagerResult": "win",
          "openingCards": [
            {
              "rank": 2,
              "suit": 2
            },
            {
              "rank": 8,
              "suit": 0
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 1,
        "raise_available": true,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  5. 4
    action_accepted9c94212a-7f8e-46a1-9e6d-ecd2720a96b8Sep 1, 2026, 5:24:20 AM UTC
    {
      "action": {
        "type": "play",
        "raise": true,
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 1,
      "action_payload": {
        "type": "play",
        "raise": true,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "current_pair": [
          {
            "rank": 12,
            "suit": 1
          },
          {
            "rank": 4,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": 1,
          "gross": 2,
          "raise": false,
          "stake": 1,
          "spread": 5,
          "outcome": "in_spread",
          "thirdCard": {
            "rank": 6,
            "suit": 0
          },
          "multiplier": 2,
          "totalStake": 1,
          "wagerResult": "win",
          "openingCards": [
            {
              "rank": 2,
              "suit": 2
            },
            {
              "rank": 8,
              "suit": 0
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 1,
        "raise_available": true,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  6. 5
    cards_dealt9c94212a-7f8e-46a1-9e6d-ecd2720a96b8Sep 1, 2026, 5:24:20 AM UTC
    {
      "spread": 7,
      "outcome": null,
      "third_card": {
        "rank": 4,
        "suit": 2
      },
      "ledger_legs": [],
      "round_index": 1,
      "opening_cards": [
        {
          "rank": 12,
          "suit": 1
        },
        {
          "rank": 4,
          "suit": 3
        }
      ],
      "action_payload": {
        "type": "play",
        "raise": true,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "current_pair": [
          {
            "rank": 13,
            "suit": 0
          },
          {
            "rank": 1,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": -2,
          "gross": 0,
          "raise": true,
          "stake": 1,
          "spread": 7,
          "outcome": "outside_spread",
          "thirdCard": {
            "rank": 4,
            "suit": 2
          },
          "multiplier": 0,
          "totalStake": 2,
          "wagerResult": "loss",
          "openingCards": [
            {
              "rank": 12,
              "suit": 1
            },
            {
              "rank": 4,
              "suit": 3
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 2,
        "raise_available": false,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  7. 6
    bet_settled9c94212a-7f8e-46a1-9e6d-ecd2720a96b8Sep 1, 2026, 5:24:20 AM UTC
    {
      "gross": 0,
      "stake": 2,
      "outcome": null,
      "net_delta": -2,
      "ledger_legs": [
        {
          "leg": 0,
          "cause": "wager",
          "amount": -2
        }
      ],
      "round_index": 1,
      "action_payload": {
        "type": "play",
        "raise": true,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "current_pair": [
          {
            "rank": 13,
            "suit": 0
          },
          {
            "rank": 1,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": -2,
          "gross": 0,
          "raise": true,
          "stake": 1,
          "spread": 7,
          "outcome": "outside_spread",
          "thirdCard": {
            "rank": 4,
            "suit": 2
          },
          "multiplier": 0,
          "totalStake": 2,
          "wagerResult": "loss",
          "openingCards": [
            {
              "rank": 12,
              "suit": 1
            },
            {
              "rank": 4,
              "suit": 3
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 2,
        "raise_available": false,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  8. 7
    action_acceptedd589369a-082e-4ebe-a8ee-c1b2a87ccf0bSep 1, 2026, 5:24:55 AM UTC
    {
      "action": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 2,
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "awaiting_play",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "current_pair": [
          {
            "rank": 13,
            "suit": 0
          },
          {
            "rank": 1,
            "suit": 3
          }
        ],
        "latest_result": {
          "net": -2,
          "gross": 0,
          "raise": true,
          "stake": 1,
          "spread": 7,
          "outcome": "outside_spread",
          "thirdCard": {
            "rank": 4,
            "suit": 2
          },
          "multiplier": 0,
          "totalStake": 2,
          "wagerResult": "loss",
          "openingCards": [
            {
              "rank": 12,
              "suit": 1
            },
            {
              "rank": 4,
              "suit": 3
            }
          ]
        },
        "legal_actions": [
          "play"
        ],
        "rounds_played": 2,
        "raise_available": false,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  9. 8
    cards_dealtd589369a-082e-4ebe-a8ee-c1b2a87ccf0bSep 1, 2026, 5:24:55 AM UTC
    {
      "spread": 0,
      "outcome": null,
      "third_card": {
        "rank": 7,
        "suit": 2
      },
      "ledger_legs": [],
      "round_index": 2,
      "opening_cards": [
        {
          "rank": 13,
          "suit": 0
        },
        {
          "rank": 1,
          "suit": 3
        }
      ],
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "settled",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "current_pair": null,
        "latest_result": {
          "net": 0,
          "gross": 1,
          "raise": false,
          "stake": 1,
          "spread": 0,
          "outcome": "consecutive",
          "thirdCard": {
            "rank": 7,
            "suit": 2
          },
          "multiplier": 1,
          "totalStake": 1,
          "wagerResult": "push",
          "openingCards": [
            {
              "rank": 13,
              "suit": 0
            },
            {
              "rank": 1,
              "suit": 3
            }
          ]
        },
        "legal_actions": [],
        "rounds_played": 3,
        "raise_available": false,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }
  10. 9
    bet_settledd589369a-082e-4ebe-a8ee-c1b2a87ccf0bSep 1, 2026, 5:24:55 AM UTC
    {
      "gross": 1,
      "stake": 1,
      "outcome": null,
      "net_delta": 0,
      "ledger_legs": [
        {
          "leg": 0,
          "cause": "wager",
          "amount": -1
        },
        {
          "leg": 1,
          "cause": "settlement",
          "amount": 1
        }
      ],
      "round_index": 2,
      "action_payload": {
        "type": "play",
        "raise": false,
        "stake": 1
      },
      "public_observation": {
        "game": "red-dog",
        "status": "settled",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "current_pair": null,
        "latest_result": {
          "net": 0,
          "gross": 1,
          "raise": false,
          "stake": 1,
          "spread": 0,
          "outcome": "consecutive",
          "thirdCard": {
            "rank": 7,
            "suit": 2
          },
          "multiplier": 1,
          "totalStake": 1,
          "wagerResult": "push",
          "openingCards": [
            {
              "rank": 13,
              "suit": 0
            },
            {
              "rank": 1,
              "suit": 3
            }
          ]
        },
        "legal_actions": [],
        "rounds_played": 3,
        "raise_available": false,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }

Frozen at session open

Configuration snapshot

Opened Sep 1, 2026, 5:22:10 AM UTC · closed Sep 1, 2026, 5:24:55 AM UTC

Config snapshotJSON
{
  "max_stake": 100,
  "min_stake": 1,
  "max_rounds": 3,
  "starting_points": 1000
}

Interpret the evidence

Read the record without turning it into a built-in score.

Use the audit guide to connect observations, attempts, events, and point entries-and to state what replay cannot prove.

Open the Session audit guide