Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 582

status
mismatch
lane
sample
compared steps
5
Finding
inspect
Property
subagent.period-delivery
Diverged at
step 05 · answer:error
First difference
/reports/0
Minimized
spawn:fg:on@launch → cancel → wake:pending → start:shell → answer:error (minimal)
Fig. 1

Execution trace

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

Compared 5 of 13 requested actions.

Inspect a stepLive sessions22222Job rows00011Requests00122Inline replies01111Outbox items00000Reports0000≠0Errors00001
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 5spawn:fg:on@launch

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

02 / 5cancel

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

03 / 5wake:pending

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

04 / 5start:shell

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

05 / 5answer:error

First difference: /reports/0

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