Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 177

status
match
lane
paths
compared steps
3
Fig. 1

Execution trace

Observed counts after each compared action · each row scales to its own peak.
Inspect a stepLive sessions222Job rows001Requests112Inline replies011Outbox items000Reports000Errors000
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 3spawn:fg:off

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[][]
reports[][]
requests11
rows[][]

02 / 3interrupt

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"cancelled","body":"Subagent cancelled","work":""}][{"body":"Subagent cancelled","work":"","status":"cancelled"}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[][]
reports[][]
requests11
rows[][]

03 / 3follow:bg:keep

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"cancelled","body":"Subagent cancelled","work":""}][{"body":"Subagent cancelled","work":"","status":"cancelled"}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[false][false]
reports[][]
requests22
rows["C:running"]["C:running"]