Run Steps
Boot mock fakenet profile
fakenet
Mock endpoint accepted for deterministic run
Alice increments counter
poke
counter=1
Bob increments counter
poke
counter=2
Read counter value
peek
2
Lab dashboardJSON
Hosted report viewer
Hello Counter
Fixture hello-counter-v0 generated a passreport for hoon-counter-v0.
Status
pass
Steps
4/4
Invariants
4/4
Snapshots
5
pass
pass
pass
pass
Invariant Results
Counter is never negative
critical
Observed 2; expected >= 0.
Counter final value matches fixture
medium
Observed 2; expected 2.
Every poke has a declared actor
high
Observed 2/2 poke steps declared actors; expected all poke steps declare actors.
NOCK-denominated balances conserve supply
critical
Observed alice=700, bob=300, total=1000; expected totalSupply=1000.
Adapter Observations
No adapter observations captured.
State Diffs
| Path | Before | After |
|---|---|---|
| counter | 0 | 2 |
| balances.bob | 0 | 300 |
Snapshot Timeline
Initial state
initial7f278f7d37bf2b99
After boot-fakenet
boot-fakenet7f278f7d37bf2b99
After poke-increment-alice
poke-increment-alice3e0e6d4db4892e2d
After poke-increment-bob
poke-increment-bob937aeb078db9aa10
After peek-counter
peek-counter937aeb078db9aa10