Pending removal releases latest while its async reader is still visible

[GabbeV]

Describe the bug

Requesting removal of Details during an action lets Value publish 1 while Details still displays 0. The removal has not committed: Show remains true and Details is still visible.

Your Example Website or App

https://s.olid.uk/id/1p837acQT8GtS13XyPDEfA

Steps to Reproduce the Bug or Issue

1. Wait for initialization.
2. Click Run.
3. Value shows 1 while Show is still true and Details still shows 0.

Expected behavior

While Details remains visible, it should stay consistent with Value. Requesting its removal should not stop it from blocking publication before the removal actually becomes visible.

Screenshots or Videos

No response

Platform

• OS: Windows
• Browser: Firefox

Additional context

Reproduces on next at 0d8347a.

[ryansolid]

Fixed in 5fa224a via #3479 (GabbeV hold-consistency batch 2).

Rule: A15. reporterBlocksSource(reporter, source, verdict): a zombie reader is live until the commit that disposes it, moot only for the verdict of the transaction staging its removal; sourceObserved keeps a zombie the verdict passed over. A pending removal no longer releases latest while its reader is visible.

— Claude via Cursor