Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 602

status
match
lane
sample
compared steps
13
Fig. 1

Execution trace

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

01 / 13spawn: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 / 13cancel:at@commit

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
pending[][]
promises[true][true]
reports[][]
requests11
rows["C:cancelled"]["C:cancelled"]

03 / 13deliver

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests11
rows[][]

04 / 13wake:empty

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests11
rows[][]

05 / 13wake:empty

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests11
rows[][]

06 / 13crash

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests11
rows[][]

07 / 13restart

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[][]
promises[true][true]
reports[{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests11
rows[][]

08 / 13follow:bg:on

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":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests22
rows["C:running"]["C:running"]

09 / 13start:shell

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":"cancelled","body":"Subagent cancelled","work":""}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""}]
requests33
rows["C:running","shell:running"]["C:running","shell:running"]

10 / 13cancel:at@commit

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

11 / 13deliver

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":"cancelled","body":"Subagent cancelled","work":""},{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":"shell"}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""},{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":"shell"}]
requests33
rows["shell:running"]["shell:running"]

12 / 13exit:shell

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":"cancelled","body":"Subagent cancelled","work":""},{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":"shell"}][{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":""},{"from":"C","to":"P","status":"cancelled","body":"Subagent cancelled","work":"shell"}]
requests44
rows[][]

13 / 13delete:P

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists[][]
identitiestruetrue
inline[][]
markersCleantruetrue
notifynullnull
outbox[][]
pending[][]
promises[true,true][true,true]
reports[][]
requests44
rows[][]