Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 580

status
match
lane
sample
compared steps
14
Fig. 1

Execution trace

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

01 / 14spawn:fg:on@launch

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

02 / 14dispatch

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

03 / 14ctrl-b

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

04 / 14follow:fg:keep

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

05 / 14answer:text

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true,true][true,true]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests22
rows[][]

06 / 14prompt

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true,true][true,true]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests33
rows[][]

07 / 14follow:fg:off

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true][true,true]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests33
rows[][]

08 / 14answer:text

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true][true,true]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests44
rows[][]

09 / 14follow:bg:keep

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests55
rows["C:running"]["C:running"]

10 / 14answer:error

FieldExpected · modelObserved · service
claimed[][]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests55
rows[][]

11 / 14follow:fg:off

FieldExpected · modelObserved · service
claimed["C"]["C"]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests66
rows[][]

12 / 14start:G

FieldExpected · modelObserved · service
claimed["C","G"]["C","G"]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","G","P"]["C","G","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests77
rows["G:running"]["G:running"]

13 / 14crash

FieldExpected · modelObserved · service
claimed["C","G"]["C","G"]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","G","P"]["C","G","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests77
rows["G:running"]["G:running"]

14 / 14restart

FieldExpected · modelObserved · service
claimed["G"]["G"]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","G","P"]["C","G","P"]
identitiestruetrue
inline[{"status":"completed","body":"answer-2","work":""}][{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
promises[true,true,false][true,true,false]
reports[{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
requests77
rows["G:running"]["G:running"]