Statecheck
OpenCode · fe120a1a52 · recorded observations

Workflow case 599

status
mismatch
lane
sample
compared steps
11
Finding
PR: stale notification promise
Property
subagent.period-delivery
Diverged at
step 11 · follow:bg:off
First difference
/promises/1
Minimized
spawn:fg:on@launch → cancel → follow:fg:on → follow:fg:keep → answer:text → follow:bg:on → answer:empty@commit → crash → restart → follow:fg:on → follow:bg:off (minimal)
Fig. 1

Execution trace

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

Compared 11 of 14 requested actions.

Inspect a stepLive sessions22222222222Job rows00000111001Requests00112333344Inline replies01113333333Outbox items00000011000Reports00000000111Errors00000000000promises0000011111≠3
Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 11spawn:fg:on@launch

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

02 / 11cancel

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 / 11follow:fg:on

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 / 11follow:fg:keep

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

05 / 11answer:text

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

06 / 11follow:bg:on

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

07 / 11answer:empty@commit

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

08 / 11crash

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

09 / 11restart

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

10 / 11follow:fg:on

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

11 / 11follow:bg:off

First difference: /promises/1

FieldExpected · modelObserved · service
≠ promises[true,false,false][true,true,false]
claimed["C"]["C"]
errors[][]
exists["C","P"]["C","P"]
identitiestruetrue
inline[{"status":"cancelled","body":"Subagent cancelled","work":""},{"status":"completed","body":"answer-2","work":""},{"status":"completed","body":"answer-2","work":""}][{"body":"Subagent cancelled","work":"","status":"cancelled"},{"status":"completed","body":"answer-2","work":""},{"status":"completed","body":"answer-2","work":""}]
markersCleantruetrue
notifyfalsefalse
outbox[][]
pending[][]
reports[{"from":"C","to":"P","status":"completed","body":"Subagent completed without a text response.","work":""}][{"from":"C","to":"P","status":"completed","body":"Subagent completed without a text response.","work":""}]
requests44
rows["C:running"]["C:running"]