Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 573

status
match
lane
sample
compared steps
13
Fig. 1

Execution trace

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

01 / 13spawn:fg:on@launch

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

02 / 13dispatch

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

03 / 13interrupt

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
notifytruetrue
outbox[][]
pending[][]
promises[][]
reports[][]
requests11
rows[][]

04 / 13follow:bg:on

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
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[][]
requests22
rows["C:running"]["C:running"]

05 / 13follow:bg:off

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[true,false][true,false]
reports[][]
requests22
rows["C:running"]["C:running"]

06 / 13crash

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[true,false][true,false]
reports[][]
requests22
rows["C:running"]["C:running"]

07 / 13restart

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[true,false][true,false]
reports[][]
requests33
rows["C:running"]["C:running"]

08 / 13follow:fg: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[true,false,false][true,false,false]
reports[][]
requests33
rows["C:running"]["C:running"]

09 / 13answer:text

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[true,false,false][true,false,false]
reports[][]
requests44
rows[][]

10 / 13follow:fg:on

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
notifytruetrue
outbox[][]
pending[][]
promises[true,false,false][true,false,false]
reports[][]
requests55
rows[][]

11 / 13start:G

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

12 / 13cancel

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

13 / 13delete:C

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["P"]["P"]
identitiestruetrue
inline[{"status":"cancelled","body":"Subagent cancelled","work":""},{"status":"cancelled","body":"Subagent cancelled","work":"G"}][{"body":"Subagent cancelled","work":"","status":"cancelled"},{"body":"Subagent cancelled","work":"G","status":"cancelled"}]
markersCleantruetrue
notifynullnull
outbox[][]
pending[][]
promises[true,false,false][true,false,false]
reports[][]
requests66
rows[][]