case-vesl-demo-launch-001
VESL Demo App
Launch evidence verified for a VESL-style NockApp lifecycle demo.
92
builder-auditor
3
2026-06-05T18:20:00.000Z
Launch readiness registry
8 public or shared Launch Evidence cases for nocksperimental, with report hashes, snapshot roots, verifier links, and readiness checks ready to inspect.
case-vesl-demo-launch-001
Launch evidence verified for a VESL-style NockApp lifecycle demo.
92
builder-auditor
3
2026-06-05T18:20:00.000Z
case-payment-flow-prelaunch-001
Pre-launch payment-flow evidence is present but not badge-ready.
78
builder-auditor
2
2026-06-05T18:45:00.000Z
case-forfeit-flip-launch-001
Provably-fair coin flip: outcome derives from H(serverSeed‖clientSeed‖nonce); either party can recompute it from public reveals.
97
builder-auditor
1
2026-06-08T02:20:00.000Z
case-forfeit-dice-launch-001
Provably-fair dice: roll = rejection-sampled H(serverSeed‖clientSeed‖nonce) mod 10000; recomputable from public reveals and verifiably uniform.
96
builder-auditor
1
2026-06-08T02:22:00.000Z
case-forfeit-roulette-launch-001
Provably-fair European roulette: pocket = H(server‖client‖nonce‖draw) mod 37; either party recomputes it. Zero is the disclosed green/house edge.
97
builder-auditor
1
2026-06-10T13:30:00.000Z
case-forfeit-slots-launch-001
Provably-fair three-reel slots: each reel = H(server‖client‖nonce‖i) mod 8; pair-or-better wins (176/512). Reels recompute from public reveals.
97
builder-auditor
1
2026-06-10T13:30:00.000Z
case-forfeit-highcard-launch-001
Provably-fair high card: two distinct cards from H(...); higher rank wins, suit breaks ties. Both cards recompute from public reveals.
97
builder-auditor
1
2026-06-10T13:30:00.000Z
case-forfeit-limbo-launch-001
Provably-fair limbo: multiplier = max(1.00, 0.99·2^24/(u+1)); player wins at the 2.00x target. The curve and draw are public and recomputable.
97
builder-auditor
1
2026-06-10T13:30:00.000Z