Generated reports

Generated report detail

Intent Settlement

Fixture intent-settlement-v0 generated pass at 2026-06-05T15:21:58.301Z.

JSON
Status
pass
Steps
5/5
Invariants
6/6
Snapshots
6

Environment

Mode

mock-fakenet

gRPC Endpoint

127.0.0.1:5555

Fakenet Command

nockchain --fakenet --bind-public-grpc-addr 127.0.0.1:5555 --no-default-peers

Mock intent lifecycle from declaration through solver response and settlement.

Uses pack-level invariants to model a future solver QA workflow.

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

Intent Settlement Core

intents-core-v0

0.1.0

Domainintents

Path../packs/intents.invariants.json

Run Steps

Boot mock intent fakenet

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

User declares an execution intent

poke

pass

open

Solver responds with executable quote

poke

pass

solver-a

Solver settles the intent

poke

pass

settled

Read settled intent result

peek

pass

filled

Invariant Results

Intent reaches settled terminal state

critical

pass

Observed settled; expected intent.status == settled.

Settled intent records the chosen solver

high

pass

Observed solver-a; expected intent.solver == solver-a.

Intent pokes are performed by authorized actors

high

pass

Observed 3/3 poke actors authorized; expected actors in [user, solver-a].

Intent failure alert remains clear

critical

pass

Observed false; expected alerts.failed == false.

Intent ledger conserves supply

critical

pass

Observed total=6000, supply=6000; expected ledger.balances sum equals ledger.totalSupply.

Intent settlement result is filled

high

pass

Observed filled; expected intent.settlement.result == filled.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
ledger.balances.user10001075
ledger.balances.liquidity-pool50004925
intent.statusdeclaredsettled
intent.solvernullsolver-a
intent.quotenull{"outputAmount":475,"fee":5}
intent.settlementnull{"result":"filled","outputAmount":475}
intent.events[][{"type":"declared","actor":"user"},{"type":"quoted","actor":"solver-a"},{"type":"settled","actor":"solver-a"}]

Snapshot Timeline

Initial state

initial

890773812347dc11

After boot-fakenet

boot-fakenet

890773812347dc11

After declare-intent

declare-intent

9c90bfd0db39b254

After solver-quotes

solver-quotes

fa601ac078417ad6

After settle-intent

settle-intent

b84c2c688d08c3c2

After peek-intent-settlement

peek-intent-settlement

b84c2c688d08c3c2

Artifacts

Report ID

lab_intent-settlement-v0_20260605152158301

Report Hash

sha256:8b5e1cdeabe9a892b88cde6a3d52ced64f10e351ae058411d590bd96669babad

Snapshot Root

b84c2c688d08c3c2

JSON Path

/bundle/server-functions/default/.nocklab/intent-settlement.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/intent-settlement.report.md

Markdown Bytes

2128

Changed Paths

ledger.balances.user, ledger.balances.liquidity-pool, intent.status, intent.solver, intent.quote, intent.settlement, intent.events

Markdown Preview

# Intent Settlement Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Intent Settlement Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

intents-core-v0

Report Hash

sha256:8b5e1cdeabe9a892b88cde6a3d52ced64f10e351ae058411d590bd96669babad

Snapshot Root

b84c2c688d08c3c2