Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 605

status
mismatch
lane
sample
compared steps
8
Finding
dev and PR: acknowledged notice awaits wake
Property
subagent.period-delivery
Diverged at
step 08 · restart
First difference
/pending/0
Minimized
spawn:bg:on → interrupt → 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.

Compared 8 of 13 requested actions.

Inspect a stepLive sessions22222222Job rows10000000Requests11112222Inline replies00000000Outbox items00000000Reports0111111≠1Errors00000000pending0000011≠1
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 8spawn: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 / 8interrupt

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

03 / 8crash

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 / 8restart

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 / 8prompt

FieldExpected · modelObserved · service
claimed["C"]["C"]
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":""}]
requests22
rows[][]

06 / 8answer:text@ack

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[{"from":"C","to":"P","status":"completed","body":"answer-2","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-2","work":""}]
promises[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[][]

07 / 8crash

FieldExpected · modelObserved · service
claimed[][]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[][]
markersCleantruetrue
notifytruetrue
outbox[][]
pending[{"from":"C","to":"P","status":"completed","body":"answer-2","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-2","work":""}]
promises[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[][]

08 / 8restart

First difference: /pending/0

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