Nocksperimental
Generated reports

Generated report detail

Forfeit Limbo (fairness)

Fixture forfeit-limbo-fairness-v0 generated pass at 2026-06-10T22:58:55.216Z.

JSON
Status
pass
Steps
1/1
Invariants
4/4
Snapshots
2

Environment

Mode

mock-fakenet

gRPC Endpoint

n/a

Fakenet Command

model

Positive proof of the forfeit-limbo fairness invariants over a resolved round.

Peek surface is commitment-only (no seed); revealed seeds hash to their commitments; nonce strictly increases.

Crash multiplier max(1.00, 0.99·2^24/(u+1)) from a recomputable uniform draw; player wins iff it reaches the fixed 2.00x target (49.5%).

Honest limit: this proves the MODEL and that the invariants are well-formed, not the compiled Hoon. Real-VM poke/peek awaits generic-cause nockapp-run.

Next Actions

  1. Replace mock poke and peek execution with local fakenet adapter calls.
  2. Replace command-backed fakenet metadata probes with stable gRPC-native probes once node surfaces are available.
  3. Persist generated reports under a project workspace.
  4. Add app-specific invariant packs as the NockApp interface stabilizes.

Invariant Packs

No invariant packs referenced.

Run Steps

Peek the commitment-only surface

peek

pass

4

Invariant Results

Peek surface never exposes an unrevealed seed

critical

pass

Observed peek surface clean: 6 field(s), no unrevealed secret; expected no unrevealed seed/secret in the peek surface at peekSurface.

Revealed seeds hash to their commitments (provable fairness)

critical

pass

Observed all 2 revealed seed(s) hash to their commitment; expected sha256(seed) == commit for every revealed pair under reveals.

Nonce strictly increases (replay safety)

high

pass

Observed [0,1,2,3,4]; expected nonceSequence is a strictly-increasing numeric sequence (replay/nonce safety).

Multiplier never drops below 1.00x (x100 >= 100)

high

pass

Observed 104; expected 100 <= peekSurface.multiplierX100 <= 1675200.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

No state diffs captured.

Snapshot Timeline

Initial state

initial

e20ee592bdf03a70

After peek-commit-surface

peek-commit-surface

e20ee592bdf03a70

Artifacts

Report ID

lab_forfeit-limbo-fairness-v0_20260610225855216

Report Hash

sha256:4a9ed6401d1a323ab3ef6756ed20ec82d2fe47d3cfb6ac2d24c34ca705ea443b

Snapshot Root

e20ee592bdf03a70

JSON Path

/bundle/server-functions/default/.nocklab/forfeit-limbo-fairness.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/forfeit-limbo-fairness.report.md

Markdown Bytes

1236

Changed Paths

none

Markdown Preview

# ✅ Forfeit Limbo (fairness) Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Forfeit Limbo (fairness) Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:4a9ed6401d1a323ab3ef6756ed20ec82d2fe47d3cfb6ac2d24c34ca705ea443b

Snapshot Root

e20ee592bdf03a70