Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 615

status
match
lane
control
compared steps
5
Fig. 1

Execution trace

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

01 / 5spawn:fg:on

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

02 / 5start:shell

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

03 / 5answer:text

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

04 / 5exit:shell

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

05 / 5answer:text

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