OpenCode · fe120a1a52 · recorded observations

Workflow case 536

status: mismatch
lane: paths
compared steps: 3

Finding: PR: stale notification promise
Property: subagent.period-delivery
Diverged at: step 03 · follow:bg:off
First difference: /promises/0
Minimized: spawn:fg:on@launch → dispatch → follow:bg:off (minimal)

Fig. 1

Execution trace

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

PlayPlayingPauseResume

Inspect a stepspawn:fg:on@launch01dispatch02follow:bg:off03≠Live sessions222Job rows001Requests011Inline replies000Outbox items000Reports000Errors000promises00≠2

Bar · value against its row’s peakBold · changed since the previous step≠ · expected differs from observed

01 / 3`spawn:fg:on@launch`

Field	Expected · model	Observed · service
claimed	`[]`	`[]`
errors	`[]`	`[]`
exists	`["C","P"]`	`["C","P"]`
identities	`true`	`true`
inline	`[]`	`[]`
markersClean	`true`	`true`
notify	`true`	`true`
outbox	`[]`	`[]`
pending	`[]`	`[]`
promises	`[]`	`[]`
reports	`[]`	`[]`
requests	`0`	`0`
rows	`[]`	`[]`

02 / 3`dispatch`

Field	Expected · model	Observed · service
claimed	`["C"]`	`["C"]`
errors	`[]`	`[]`
exists	`["C","P"]`	`["C","P"]`
identities	`true`	`true`
inline	`[]`	`[]`
markersClean	`true`	`true`
notify	`true`	`true`
outbox	`[]`	`[]`
pending	`[]`	`[]`
promises	`[]`	`[]`
reports	`[]`	`[]`
requests	`1`	`1`
rows	`[]`	`[]`

03 / 3`follow:bg:off`

First difference: /promises/0

Field	Expected · model	Observed · service
≠ promises	`[false,false]`	`[true,false]`
claimed	`["C"]`	`["C"]`
errors	`[]`	`[]`
exists	`["C","P"]`	`["C","P"]`
identities	`true`	`true`
inline	`[]`	`[]`
markersClean	`true`	`true`
notify	`false`	`false`
outbox	`[]`	`[]`
pending	`[]`	`[]`
reports	`[]`	`[]`
requests	`1`	`1`
rows	`["C:running"]`	`["C:running"]`

Workflow case 536

Execution trace

01 / 3spawn:fg:on@launch

02 / 3dispatch

03 / 3follow:bg:off

01 / 3`spawn:fg:on@launch`

02 / 3`dispatch`

03 / 3`follow:bg:off`