From 3fa95b2afe80062efefdecca35c4aaceedeb52dd Mon Sep 17 00:00:00 2001 From: Pauljd Date: Wed, 4 Nov 2026 14:23:50 +0000 Subject: [PATCH] 0.99.13 installation record Co-Authored-By: Claude Opus 5.5 (1M context) --- docs/VERIFICATION-0.99.13.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/docs/VERIFICATION-0.99.13.md b/docs/VERIFICATION-0.99.13.md index 6f3b3e9..24d7a92 100644 --- a/docs/VERIFICATION-0.99.13.md +++ b/docs/VERIFICATION-0.99.13.md @@ -82,3 +82,31 @@ Paul approved Stage A for implementation on 4 November 2026 at 13:38. Installing ## Rollback Install 0.99.12. The story rule exists only in code, and plan files have the same format, so saved plans load unchanged. Bookings made by 0.99.13 stay as booked. + +## Installation record (4 November 2026, 14:20 GMT) + +Approved by Paul at 14:05, to be installed once the TV was idle. At 14:19 the box was on its home screen with nothing playing. Installed over 0.99.12 with `adb install -r`. The box reports versionCode 143, 0.99.13-story-grouping. + +- **Snapshot and rollback:** + - All 191 schedule-folder files were copied off the box before install, to install-0.99.13-20261104-141955/before with SHA-256 sums. + - A rollback copy is on the box in `no_backup/schedule-rollback-0.99.12`. + - The 0.99.12 APK is in outputs/revision-0.99.12. + - The coordinated cutover snapshots are kept. +- **Committed bookings:** all 31 plans compared before and after two launches. + - Nothing was added, and every plan's cursor is identical. + - 4 live plans (202, 602, 605, 611) and some .prev copies dropped 1 to 6 programmes. Every one ended more than 24 hours earlier, which is the ordinary daily trim. + - Every remaining entry is identical, including its presentation key. + - Paradox's plan file is byte-identical. The week committed at the cutover is untouched, and grouping begins with its next new bookings. +- **Episode cursors:** 12 aired places moved. Each is exactly the latest programme of that show already started in its plan, which is the normal record of what has gone out. No place moved anywhere else, and no field other than places, last show and films shown changed. +- **Shuffle decks:** + - **Other channels:** unchanged; their code path is untouched. + - **Paradox's mixed shows:** they now use the grouped deck, with each story as one card, by design. Their saved places are kept and carry on from there in the new deck. +- **Top-up passes:** all 30 channels topped up on both launches with `added=0` and `clashes=0`. Plan times were 89 to 1,426 ms, which is reading committed plans with nothing to add. Paradox took 271 to 280 ms. +- **Other channels:** their plans and presentation keys are unchanged. Story grouping is configured on Paradox only (StoryGroupingTest.onlyParadoxGroupsStories). +- **Playback:** Orbit resumed playing (one player start, audio running). There were no player, decoder or crash errors in the log. I then returned the box to its home screen. + +## On-air verification (pending) + +- **Paradox's first grouped top-up:** about 5 November 13:45, when its plan drops under six days ahead. It books from about 11 November 13:45. Expect "story: part k of n" reasons on new Doctor Who and other multi-part bookings, every later part straight after the one before, and no lone later parts. +- **Not yet observed on the box:** top-ups and restarts part-way through a story. These are covered by the unit tests and the save-and-reload replay only. +- **Your eyes and ears:** Paradox's grouped stories on air from about 11 November.