OpenCode · fe120a1a52 · recorded observations

Workflow case 133

status: mismatch
lane: paths
compared steps: 2

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

Fig. 1

Execution trace

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

PlayPlayingPauseResume

Compared 2 of 3 requested actions.

Inspect a stepspawn:fg:on01follow:bg:off02≠Live sessions22Job rows01Requests11Inline replies00Outbox items00Reports00Errors00promises0≠2

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

01 / 2`spawn:fg:on`

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

02 / 2`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"]`