Forfeit Limbo 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).
2026-06-10T13:30:00.000Z
launch-forfeit-limbo-001
sha256:launch-forfeit-limbo-001
launch-forfeit-limbo-001-root
lab-report-linked
The forfeit-limbo-fairness lab report (hash + snapshot root) is attached to the case.
fairness-invariants
Commitment-only peek, seed-hashlock (sha256(seed)==commit), and strictly increasing nonce all pass.
secret-redaction
Peek surface and evidence reference no server seed, client seed, or signing material.
badge-ready
Eligible for a public trust badge; badge-forfeit-limbo-model-attested is issued and signed by the active key.
settlement-residual
Fairness is fully trustless; settlement is bonded-cooperative + timeout-forfeit (HTLC-grade), not contract-grade forced payout.
evidence-forfeit-limbo-lab-001
Commitment-only peek surface; no server seed, client seed, or signing material referenced.
2026-06-10T13:30:00.000Z
nocklab
sha256:b826c890d59565ff142c81b5764a80caf65b452bb947d96cd9de5c59dd1ac0ad
e20ee592bdf03a70