Skip to content
codex-c

Immutable public audit

dealer-high-card / v1

closed
23c3861e-813a-4e33-a1d8-618b11c5cc1a
Session modedeterministicsession account Watch game
session account1,000 pts

Current isolated session balance

Rounds materialized3

Chronological public rows

Action attempts3

Accepted and rejected

Event sequence10

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: cqa-mti7zvst-dealer-high-card-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 1,000 pts; Session balance 1,000 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 1a517baa7-e9f4-45c1-8208-08a208bcab8f
settledv1
Public stateJSON
{
  "result": {
    "net": -1,
    "gross": 0,
    "stake": 1,
    "outcome": "dealer",
    "dealerCard": 5,
    "playerCard": 4,
    "wagerResult": "loss"
  },
  "status": "settled",
  "progress": {
    "cursor": 2,
    "lastResult": {
      "net": -1,
      "gross": 0,
      "stake": 1,
      "outcome": "dealer",
      "dealerCard": 5,
      "playerCard": 4,
      "wagerResult": "loss"
    },
    "roundsPlayed": 1
  },
  "roundIndex": 0
}
OutcomeJSON
{
  "net": -1,
  "gross": 0,
  "stake": 1,
  "outcome": "dealer",
  "dealerCard": 5,
  "playerCard": 4,
  "wagerResult": "loss"
}

Action attempts

Accepted deala4f41267-6fcb-43d2-be42-0f8a15592621
expected v0 · 85 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 1
LegTypeAmountEntry key
0wager-1 ptsaction:a4f41267-6fcb-43d2-be42-0f8a15592621:0
01
Round 2bcc87c52-1a2f-4075-9759-e87ceb35582e
settledv2
Public stateJSON
{
  "result": {
    "net": 0,
    "gross": 1,
    "stake": 1,
    "outcome": "tie",
    "dealerCard": 11,
    "playerCard": 11,
    "wagerResult": "push"
  },
  "status": "settled",
  "progress": {
    "cursor": 4,
    "lastResult": {
      "net": 0,
      "gross": 1,
      "stake": 1,
      "outcome": "tie",
      "dealerCard": 11,
      "playerCard": 11,
      "wagerResult": "push"
    },
    "roundsPlayed": 2
  },
  "roundIndex": 1
}
OutcomeJSON
{
  "net": 0,
  "gross": 1,
  "stake": 1,
  "outcome": "tie",
  "dealerCard": 11,
  "playerCard": 11,
  "wagerResult": "push"
}

Action attempts

Accepted dealadcb270c-988d-4ce9-8609-6202ef108bfa
expected v1 · 72 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 2
LegTypeAmountEntry key
0wager-1 ptsaction:adcb270c-988d-4ce9-8609-6202ef108bfa:0
1settlement+1 ptsaction:adcb270c-988d-4ce9-8609-6202ef108bfa:1
02
Round 3f5bae205-a317-4b8b-bccf-1ddc20c79e7d
settledv3
Public stateJSON
{
  "result": {
    "net": 1,
    "gross": 2,
    "stake": 1,
    "outcome": "player",
    "dealerCard": 2,
    "playerCard": 5,
    "wagerResult": "win"
  },
  "status": "settled",
  "progress": {
    "cursor": 6,
    "lastResult": {
      "net": 1,
      "gross": 2,
      "stake": 1,
      "outcome": "player",
      "dealerCard": 2,
      "playerCard": 5,
      "wagerResult": "win"
    },
    "roundsPlayed": 3
  },
  "roundIndex": 2
}
OutcomeJSON
{
  "net": 1,
  "gross": 2,
  "stake": 1,
  "outcome": "player",
  "dealerCard": 2,
  "playerCard": 5,
  "wagerResult": "win"
}

Action attempts

Accepted deal74d055cd-9c49-4691-950c-029d58355623
expected v2 · 113 ms
{
  "type": "deal",
  "stake": 1
}

Ledger movements

Synthetic-point ledger movements for round 3
LegTypeAmountEntry key
0wager-1 ptsaction:74d055cd-9c49-4691-950c-029d58355623:0
1settlement+2 ptsaction:74d055cd-9c49-4691-950c-029d58355623: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:23c3861e-813a-4e33-a1d8-618b11c5cc1a:0

Canonical ordering

Domain event stream

Every row is shown in authoritative seq order.

  1. 0
    session_openeda517baa7-e9f4-45c1-8208-08a208bcab8fSep 1, 2026, 5:22:09 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": 3,
        "session_complete": false
      }
    }
  2. 1
    action_accepteda517baa7-e9f4-45c1-8208-08a208bcab8fSep 1, 2026, 5:23:11 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": 3,
        "session_complete": false
      }
    }
  3. 2
    cards_dealta517baa7-e9f4-45c1-8208-08a208bcab8fSep 1, 2026, 5:23:11 AM UTC
    {
      "outcome": null,
      "dealer_card": 5,
      "ledger_legs": [],
      "player_card": 4,
      "round_index": 0,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 5,
          "playerCard": 4,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  4. 3
    bet_settleda517baa7-e9f4-45c1-8208-08a208bcab8fSep 1, 2026, 5:23:11 AM UTC
    {
      "gross": 0,
      "stake": 1,
      "outcome": null,
      "net_delta": -1,
      "ledger_legs": [
        {
          "leg": 0,
          "cause": "wager",
          "amount": -1
        }
      ],
      "round_index": 0,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 5,
          "playerCard": 4,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  5. 4
    action_acceptedbcc87c52-1a2f-4075-9759-e87ceb35582eSep 1, 2026, 5:24:17 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": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 1,
        "latest_result": {
          "net": -1,
          "gross": 0,
          "stake": 1,
          "outcome": "dealer",
          "dealerCard": 5,
          "playerCard": 4,
          "wagerResult": "loss"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 1,
        "rounds_remaining": 2,
        "session_complete": false
      }
    }
  6. 5
    cards_dealtbcc87c52-1a2f-4075-9759-e87ceb35582eSep 1, 2026, 5:24:17 AM UTC
    {
      "outcome": null,
      "dealer_card": 11,
      "ledger_legs": [],
      "player_card": 11,
      "round_index": 1,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 0,
          "gross": 1,
          "stake": 1,
          "outcome": "tie",
          "dealerCard": 11,
          "playerCard": 11,
          "wagerResult": "push"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  7. 6
    bet_settledbcc87c52-1a2f-4075-9759-e87ceb35582eSep 1, 2026, 5:24:17 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": 1,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "awaiting_deal",
        "balance": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 0,
          "gross": 1,
          "stake": 1,
          "outcome": "tie",
          "dealerCard": 11,
          "playerCard": 11,
          "wagerResult": "push"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  8. 7
    action_acceptedf5bae205-a317-4b8b-bccf-1ddc20c79e7dSep 1, 2026, 5:24:54 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": 999,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 0,
          "gross": 1,
          "stake": 1,
          "outcome": "tie",
          "dealerCard": 11,
          "playerCard": 11,
          "wagerResult": "push"
        },
        "legal_actions": [
          "deal"
        ],
        "rounds_played": 2,
        "rounds_remaining": 1,
        "session_complete": false
      }
    }
  9. 8
    cards_dealtf5bae205-a317-4b8b-bccf-1ddc20c79e7dSep 1, 2026, 5:24:54 AM UTC
    {
      "outcome": null,
      "dealer_card": 2,
      "ledger_legs": [],
      "player_card": 5,
      "round_index": 2,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "settled",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 2,
          "playerCard": 5,
          "wagerResult": "win"
        },
        "legal_actions": [],
        "rounds_played": 3,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }
  10. 9
    bet_settledf5bae205-a317-4b8b-bccf-1ddc20c79e7dSep 1, 2026, 5:24:54 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": 2,
      "action_payload": {
        "type": "deal",
        "stake": 1
      },
      "public_observation": {
        "game": "dealer-high-card",
        "status": "settled",
        "balance": 1000,
        "version": 1,
        "max_stake": 100,
        "min_stake": 1,
        "round_index": 2,
        "latest_result": {
          "net": 1,
          "gross": 2,
          "stake": 1,
          "outcome": "player",
          "dealerCard": 2,
          "playerCard": 5,
          "wagerResult": "win"
        },
        "legal_actions": [],
        "rounds_played": 3,
        "rounds_remaining": 0,
        "session_complete": true
      }
    }

Frozen at session open

Configuration snapshot

Opened Sep 1, 2026, 5:22:09 AM UTC · closed Sep 1, 2026, 5:24:54 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