Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 351

status
match
lane
paths
compared steps
3
Fig. 1

Execution trace

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

01 / 3spawn: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 / 3start:shell

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

03 / 3answer:error

FieldExpected · modelObserved · service
claimed[][]
errors["Failed to drain Session"]["Failed to drain Session"]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"error","body":"model-error","work":"shell"}][{"from":"C","to":"P","status":"error","body":"model-error","work":"shell"}]
requests22
rows["shell:running"]["shell:running"]