✓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 2 earlier epochs are 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 $67.88, and no single round whose worst-case win exceeds the committed per-round cap of $288.56 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 t17 · roll = keccak256(serverSeed ‖ clientSeed ‖ channelId ‖ t) mod 10000

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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