Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 631

status
match
lane
control
compared steps
7
Fig. 1

Execution trace

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

01 / 7spawn:bg:on

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"]

02 / 7start:G

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

03 / 7crash

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

04 / 7restart

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

05 / 7answer:text

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

06 / 7exit:G

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

07 / 7answer:text

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