From 2d1dca007c329212c0ae5d492210c9ccd7e140f9 Mon Sep 17 00:00:00 2001 From: Sylpheed RE agent Date: Mon, 24 Aug 2026 07:40:32 +0000 Subject: [PATCH] docs: the freeze item now has a captured freeze and a refuted hypothesis Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01PMRJjbxLqZtsb5Vb7KunPE --- docs/re/BACKLOG.md | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/docs/re/BACKLOG.md b/docs/re/BACKLOG.md index 84cd2416..37642abc 100644 --- a/docs/re/BACKLOG.md +++ b/docs/re/BACKLOG.md @@ -362,11 +362,17 @@ is what the autopilot needs in order to CHOOSE a target. One run in: 500. **Healthy-run control measured** — 27 lines over 25 minutes, all one thread polling one Event at guest VA `BE56BB5C` with a ~30 ms timeout, so the freeze signal is a **new (thread, object) pair**, not the presence of output. - 🟡 **Next:** catch a freeze with it. Two 25-minute runs in a row did **not** - freeze (the control is therefore measured twice: 27 and 24 lines, same single - pair), and the earlier freezes came in a cluster — so this is a ~30-minute - lottery per run rather than a dependable step. `freeze_watch.sh` waits for one - unattended and snapshots the probe at the moment it lands. **Three** runs in a + 🔴 **A freeze WAS caught (2026-08-24) and the probe says nothing.** It froze + 9 s into the watcher's window, in flight, and reported the healthy baseline + only — one pair, same object VA, no new (thread, object) pair — while the CPU + signature was unchanged (1 255 ticks/10 s, 401 in the TimerQueue thread). So + the freeze is **not** a thread looping on timeouts against one object. + **Two blind spots survive:** waits cycling over *different* objects (the streak + resets, so they are invisible), or waits that **succeed** rather than time out + (nothing for a timeout counter to count — which fits the self-suspending worker + seen cycling successfully in the kernel log). + **Next:** a v2 counting calls per thread per second regardless of object or + result. Control measured three times before this (27/24/36 lines, same pair). **Three** runs in a row have now failed to freeze (the third ended in GAME OVER), and the probe's healthy control is measured three times — 27, 24 and 36 lines, always the same single pair. `frozen.py` detects the state in one call; `ob_hunt.py` /