Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 601

status
mismatch
lane
sample
compared steps
14
Finding
dev and PR: acknowledged notice awaits wake
Property
subagent.period-delivery
Diverged at
step 14 · restart
First difference
/pending/0
Minimized
spawn:fg:on → ctrl-b → answer:error → follow:bg:on → start:shell → cancel → crash → restart → crash → restart → prompt → answer:text@ack → crash → restart (minimal)
Fig. 1

Execution trace

Observed counts after each compared action · each row scales to its own peak.
Inspect a stepLive sessions22222222222222Job rows01012110000000Requests11123333334444Inline replies00000000000000Outbox items00000000000000Reports0011122222222≠2Errors00111111111111pending0000000000011≠1
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 14spawn: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 / 14ctrl-b

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

03 / 14answer: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":""}][{"from":"C","to":"P","status":"error","body":"model-error","work":""}]
requests11
rows[][]

04 / 14follow:bg:on

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

05 / 14start:shell

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

06 / 14cancel

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

07 / 14crash

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

08 / 14restart

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

09 / 14crash

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

10 / 14restart

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

11 / 14prompt

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

12 / 14answer:text@ack

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

13 / 14crash

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

14 / 14restart

First difference: /pending/0

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