Launch Evidence

case-forfeit-highcard-launch-001

Forfeit High Card

Provably-fair high card: two distinct cards from H(...); higher rank wins, suit breaks ties. Both cards recompute from public reveals.

builder-auditornockapppublicLaunch Lab Private
Report status
verified
Score
97
Case status
verified
Evidence
1

Readiness Report

Forfeit High Card carries a passing two-sided commit-reveal fairness report with a commitment-only peek surface.

Proves the fairness model and that the invariants are well-formed (model-attested; not the compiled kernel).

Generated

2026-06-10T13:30:00.000Z

Report slug

launch-forfeit-highcard-001

Report hash

sha256:launch-forfeit-highcard-001

Snapshot root

launch-forfeit-highcard-001-root

Required Checks

lab-report-linked

Lab fairness report linked

pass

The forfeit-highcard-fairness lab report (hash + snapshot root) is attached to the case.

fairness-invariants

Provable-fairness invariants

pass

Commitment-only peek, seed-hashlock (sha256(seed)==commit), and strictly increasing nonce all pass.

secret-redaction

Secret redaction

pass

Peek surface and evidence reference no server seed, client seed, or signing material.

Recommended Checks

badge-ready

Badge ready

pass

Eligible for a public trust badge; badge-forfeit-highcard-model-attested is issued and signed by the active key.

settlement-residual

Settlement residual disclosed

warn

Fairness is fully trustless; settlement is bonded-cooperative + timeout-forfeit (HTLC-grade), not contract-grade forced payout.

Evidence Sources

evidence-forfeit-highcard-lab-001

lab

Commitment-only peek surface; no server seed, client seed, or signing material referenced.

verified
Submitted

2026-06-10T13:30:00.000Z

Submitted by

nocklab

Report hash

sha256:1b7ec5a1380ae580e878610c787804d687b423bf9735e7b4814600ef619181ef

Snapshot root

41ecb8800fc7f7df