✓4.Every roll re-derived from public inputs

Each roll is keccak256(serverSeed, clientSeed, channelId, t) mod 10000, walked through the on-chain game tree it was played against. Recomputed below — not read from anywhere.

These are the final epoch's 10 rounds only — the running column starts from this epoch's first round. The 1 earlier epoch is each replayed under their own seal in the session timeline above.

✓5.Every round respected the committed caps

The channel committed hard walls before play: no stake above the budget of $10.22, and no single round whose worst-case win exceeds the committed per-round cap of $283.58 against its own game's maximum multiplier. Every round in the stream was re-checked against both — the same integer comparison the contract itself enforces. All rounds fit.

Games (on-chain catalog) chain

Each game is a value tree stored on-chain and validated by the contract when it was sealed — the edge under optimal play is enforced inside a fixed band, so no game referenced here can be unfair in either direction. The payouts above were walked from these exact trees, reconstructed from the chain's packed words.

fold t20 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t22 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t24 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t26 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t28 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t30 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t32 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

fold t34 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000