Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 610

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

Execution trace

Observed counts after each compared action · each row scales to its own peak.

Compared 6 of 14 requested actions.

Inspect a stepLive sessions222222Job rows001000Requests011111Inline replies000000Outbox items000000Reports00000≠0Errors000000pending00011≠1
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 6spawn:fg:on@launch

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

02 / 6dispatch

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

03 / 6ctrl-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"]

04 / 6answer: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-1","work":""}][{"from":"C","to":"P","status":"completed","body":"answer-1","work":""}]
promises[true][true]
reports[][]
requests11
rows[][]

05 / 6crash

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

06 / 6restart

First difference: /pending/0

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