diff --git a/docs/VERIFICATION-0.99.8.md b/docs/VERIFICATION-0.99.8.md
index f1cb6bb..87838d3 100644
--- a/docs/VERIFICATION-0.99.8.md
+++ b/docs/VERIFICATION-0.99.8.md
@@ -42,3 +42,15 @@ Ratings were checked against the catalogue. A PG or PG-13 rating isn't taken to
 ## Rollback
 
 Install 0.99.7. No saved data changes.
+
+## Installation record (4 November 2026, 10:34 GMT)
+
+Paul approved this release at 10:33. The TV was on its launcher, with no Orbit playback since 09:01. I took a snapshot of all 96 schedule files, then installed over 0.99.7. The box reports 0.99.8-after-dark-daytime. Orbit relaunched; once the checks were done I returned the TV to its home screen with a launcher intent. There was no crash in the log. The rollback APK is in outputs/revision-0.99.7.
+
+- **Plans:** every plan kept every remaining entry. No episode cursor was reset.
+- **Top-ups:** six channels whose plans had dropped under six days ahead topped up on their own: Gold (51), Riot (71), Evidence (29), Heroes (67), Rewind (86) and ToonZ (113). All had clashes=0.
+- **After Dark** loaded with clashes=0 and didn't need a top-up. Option B's daytime eligibility applies to its next bookings.
+- **Planning speed, measured on the box:**
+  - The cached airings work: `othersMs` was 6.7 s for the first channel, then 0.3 to 0.8 s.
+  - The planning itself is still slow on the box: 4 to 18 seconds per top-up, on equal turns (Riot) as well as weighted channels. It was already like this before; it's not new in 0.99.8.
+  - The likely cause is `dayPartFor` working out every listed title's key again on each programme picked. I'll address it in the next release without changing any rule.