Skip to content
codex-test

Immutable public audit

dealer-high-card / v1

closed
a788f3d5-f22d-4b41-8b3b-93f9634da25a
Session modedeterministicsession account Watch game
session account1,003 pts

Current isolated session balance

Rounds materialized5

Chronological public rows

Action attempts5

Accepted and rejected

Event sequence16

Gapless from seq 0

Rules hash5a3de371d97f7ff6bfd99f53face8451f91378dc6df925409279dd86c0db3c57
Engine builddealer-high-card-v1-2026.08.30.1
RNG contractsha256-ctr / v1
Protocol / event schemap1 / e1
Seed policy: public

Policy-declassified deterministic seed: qa-a-dealerhigh-v1-20260831. 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

5 public round rows, expected in index order from 0 through 4.

Visible event sequenceComplete and contiguous

Loaded seq 0 through 15.

Ledger entry keysUnique

10 loaded point-entry keys checked.

Point reconciliationReconciled

Ledger total 1,003 pts; Session balance 1,003 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

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

00
Round 1a7e131ba-5716-4a39-80ad-706c09d05721
settledv1
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "stake": 1,
    "outcome": "player",
    "dealerCard": 5,
    "playerCard": 6,
    "wagerResult": "win"
  },
  "status": "settled",
  "progress": {
    "cursor": 2,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "stake": 1,
      "outcome": "player",
      "dealerCard": 5,
      "playerCard": 6,
      "wagerResult": "win"
    },
    "roundsPlayed": 1
  },
  "roundIndex": 0
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "stake": 1,
  "outcome": "player",
  "dealerCard": 5,
  "playerCard": 6,
  "wagerResult": "win"
}

Action attempts

Accepted deal9f362123-4fdf-4aa5-889c-4ef17d5fb7f8
expected v0 · 54 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 1
LegTypeAmountEntry key
0wager-1 ptsaction:9f362123-4fdf-4aa5-889c-4ef17d5fb7f8:0
1settlement+2 ptsaction:9f362123-4fdf-4aa5-889c-4ef17d5fb7f8:1
01
Round 2affaa732-368e-4398-8457-ca3bd8267b42
settledv2
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "stake": 1,
    "outcome": "player",
    "dealerCard": 7,
    "playerCard": 13,
    "wagerResult": "win"
  },
  "status": "settled",
  "progress": {
    "cursor": 4,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "stake": 1,
      "outcome": "player",
      "dealerCard": 7,
      "playerCard": 13,
      "wagerResult": "win"
    },
    "roundsPlayed": 2
  },
  "roundIndex": 1
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "stake": 1,
  "outcome": "player",
  "dealerCard": 7,
  "playerCard": 13,
  "wagerResult": "win"
}

Action attempts

Accepted deal87c9ce74-b979-4762-83cd-b9bb33bdbe64
expected v1 · 49 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 2
LegTypeAmountEntry key
0wager-1 ptsaction:87c9ce74-b979-4762-83cd-b9bb33bdbe64:0
1settlement+2 ptsaction:87c9ce74-b979-4762-83cd-b9bb33bdbe64:1
02
Round 33a7b00c8-b9c7-41db-bdfd-3be536521e42
settledv3
Public stateJSON
{
  "result": {
    "net": -1,
    "gross": 0,
    "stake": 1,
    "outcome": "dealer",
    "dealerCard": 1,
    "playerCard": 3,
    "wagerResult": "loss"
  },
  "status": "settled",
  "progress": {
    "cursor": 6,
    "lastResult": {
      "net": -1,
      "gross": 0,
      "stake": 1,
      "outcome": "dealer",
      "dealerCard": 1,
      "playerCard": 3,
      "wagerResult": "loss"
    },
    "roundsPlayed": 3
  },
  "roundIndex": 2
}
OutcomeJSON
{
  "net": -1,
  "gross": 0,
  "stake": 1,
  "outcome": "dealer",
  "dealerCard": 1,
  "playerCard": 3,
  "wagerResult": "loss"
}

Action attempts

Accepted deal98e3717b-972f-4b2a-87cd-07f2cd2d7e9c
expected v2 · 59 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 3
LegTypeAmountEntry key
0wager-1 ptsaction:98e3717b-972f-4b2a-87cd-07f2cd2d7e9c:0
03
Round 48a2e88f7-e700-41c9-ba82-86cc9e8f3c88
settledv4
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "stake": 1,
    "outcome": "player",
    "dealerCard": 8,
    "playerCard": 12,
    "wagerResult": "win"
  },
  "status": "settled",
  "progress": {
    "cursor": 8,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "stake": 1,
      "outcome": "player",
      "dealerCard": 8,
      "playerCard": 12,
      "wagerResult": "win"
    },
    "roundsPlayed": 4
  },
  "roundIndex": 3
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "stake": 1,
  "outcome": "player",
  "dealerCard": 8,
  "playerCard": 12,
  "wagerResult": "win"
}

Action attempts

Accepted deal08deeb16-3067-40cc-84fe-7f47cc7aa07e
expected v3 · 58 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 4
LegTypeAmountEntry key
0wager-1 ptsaction:08deeb16-3067-40cc-84fe-7f47cc7aa07e:0
1settlement+2 ptsaction:08deeb16-3067-40cc-84fe-7f47cc7aa07e:1
04
Round 5d266445c-4e3f-4b12-8e13-671efbb309da
settledv5
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "stake": 1,
    "outcome": "player",
    "dealerCard": 2,
    "playerCard": 5,
    "wagerResult": "win"
  },
  "status": "settled",
  "progress": {
    "cursor": 10,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "stake": 1,
      "outcome": "player",
      "dealerCard": 2,
      "playerCard": 5,
      "wagerResult": "win"
    },
    "roundsPlayed": 5
  },
  "roundIndex": 4
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "stake": 1,
  "outcome": "player",
  "dealerCard": 2,
  "playerCard": 5,
  "wagerResult": "win"
}

Action attempts

Accepted dealdbceac51-7187-4f4f-bf25-8eac3825096a
expected v4 · 55 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 5
LegTypeAmountEntry key
0wager-1 ptsaction:dbceac51-7187-4f4f-bf25-8eac3825096a:0
1settlement+2 ptsaction:dbceac51-7187-4f4f-bf25-8eac3825096a: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:a788f3d5-f22d-4b41-8b3b-93f9634da25a:0

Canonical ordering

Domain event stream

Every row is shown in authoritative seq order.

  1. 0
    session_openeda7e131ba-5716-4a39-80ad-706c09d05721Sep 1, 2026, 5:26:33 AM UTC
    {
      "outcome": null,
      "ledger_legs": [],
      "action_payload": null,
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 0,
        "latest_result": null,
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 0,
        "rounds_remaining": 5,
        "session_complete": false
      }
    }
  2. 1
    action_accepteda7e131ba-5716-4a39-80ad-706c09d05721Sep 1, 2026, 5:28:13 AM UTC
    {
      "action": {
        "type": "deal",
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 0,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 0,
        "latest_result": null,
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 0,
        "rounds_remaining": 5,
        "session_complete": false
      }
    }
  3. 2
    cards_dealta7e131ba-5716-4a39-80ad-706c09d05721Sep 1, 2026, 5:28:13 AM UTC
    {
      "outcome": null,
      "dealer_card": 5,
      "ledger_legs": [],
      "player_card": 6,
      "round_index": 0,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 5,
          "playerCard": 6,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 4,
        "session_complete": false
      }
    }
  4. 3
    bet_settleda7e131ba-5716-4a39-80ad-706c09d05721Sep 1, 2026, 5:28:13 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": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 5,
          "playerCard": 6,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 4,
        "session_complete": false
      }
    }
  5. 4
    action_acceptedaffaa732-368e-4398-8457-ca3bd8267b42Sep 1, 2026, 5:28:19 AM UTC
    {
      "action": {
        "type": "deal",
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 1,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 5,
          "playerCard": 6,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 4,
        "session_complete": false
      }
    }
  6. 5
    cards_dealtaffaa732-368e-4398-8457-ca3bd8267b42Sep 1, 2026, 5:28:19 AM UTC
    {
      "outcome": null,
      "dealer_card": 7,
      "ledger_legs": [],
      "player_card": 13,
      "round_index": 1,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 7,
          "playerCard": 13,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 3,
        "session_complete": false
      }
    }
  7. 6
    bet_settledaffaa732-368e-4398-8457-ca3bd8267b42Sep 1, 2026, 5:28:19 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": 1,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 7,
          "playerCard": 13,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 3,
        "session_complete": false
      }
    }
  8. 7
    action_accepted3a7b00c8-b9c7-41db-bdfd-3be536521e42Sep 1, 2026, 5:28:20 AM UTC
    {
      "action": {
        "type": "deal",
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 2,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 7,
          "playerCard": 13,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 3,
        "session_complete": false
      }
    }
  9. 8
    cards_dealt3a7b00c8-b9c7-41db-bdfd-3be536521e42Sep 1, 2026, 5:28:20 AM UTC
    {
      "outcome": null,
      "dealer_card": 1,
      "ledger_legs": [],
      "player_card": 3,
      "round_index": 2,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 3,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 1,
          "playerCard": 3,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 3,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  10. 9
    bet_settled3a7b00c8-b9c7-41db-bdfd-3be536521e42Sep 1, 2026, 5:28:20 AM UTC
    {
      "gross": 0,
      "stake": 1,
      "outcome": null,
      "net_delta": -1,
      "ledger_legs": [
        {
          "leg": 0,
          "cause": "wager",
          "amount": -1
        }
      ],
      "round_index": 2,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 3,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 1,
          "playerCard": 3,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 3,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  11. 10
    action_accepted8a2e88f7-e700-41c9-ba82-86cc9e8f3c88Sep 1, 2026, 5:28:20 AM UTC
    {
      "action": {
        "type": "deal",
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 3,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1001,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 3,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 1,
          "playerCard": 3,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 3,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  12. 11
    cards_dealt8a2e88f7-e700-41c9-ba82-86cc9e8f3c88Sep 1, 2026, 5:28:20 AM UTC
    {
      "outcome": null,
      "dealer_card": 8,
      "ledger_legs": [],
      "player_card": 12,
      "round_index": 3,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 4,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 8,
          "playerCard": 12,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 4,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  13. 12
    bet_settled8a2e88f7-e700-41c9-ba82-86cc9e8f3c88Sep 1, 2026, 5:28:20 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": 3,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 4,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 8,
          "playerCard": 12,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 4,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  14. 13
    action_acceptedd266445c-4e3f-4b12-8e13-671efbb309daSep 1, 2026, 5:28:21 AM UTC
    {
      "action": {
        "type": "deal",
        "stake": 1
      },
      "outcome": null,
      "ledger_legs": [],
      "round_index": 4,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 1002,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 4,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 8,
          "playerCard": 12,
          "wagerResult": "win"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 4,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  15. 14
    cards_dealtd266445c-4e3f-4b12-8e13-671efbb309daSep 1, 2026, 5:28:21 AM UTC
    {
      "outcome": null,
      "dealer_card": 2,
      "ledger_legs": [],
      "player_card": 5,
      "round_index": 4,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "settled",
        "balance": 1003,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 4,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 2,
          "playerCard": 5,
          "wagerResult": "win"
        },
        "legal_actions": [],
        "rounds_played": 5,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }
  16. 15
    bet_settledd266445c-4e3f-4b12-8e13-671efbb309daSep 1, 2026, 5:28:21 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": 4,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "settled",
        "balance": 1003,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 4,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 2,
          "playerCard": 5,
          "wagerResult": "win"
        },
        "legal_actions": [],
        "rounds_played": 5,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }

Frozen at session open

Configuration snapshot

Opened Sep 1, 2026, 5:26:33 AM UTC · closed Sep 1, 2026, 5:28:21 AM UTC

Config snapshotJSON
{
  "max_stake": 100,
  "min_stake": 1,
  "max_rounds": 5,
  "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