Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 627

status
match
lane
control
compared steps
8
Fig. 1

Execution trace

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

01 / 8spawn:bg:off

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

02 / 8answer:text

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

03 / 8follow:bg:keep

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

04 / 8answer:text

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

05 / 8follow:bg:on

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

06 / 8answer:text

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

07 / 8follow:fg:off

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

08 / 8answer:text

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