- Verify the restart-dependent shell patches live:
DevServertrace reachability- string-coordinate
Type.loc
- Called live
DevServer(mode="health", timeout_seconds=20). - Read
research/runtime/devserver_trace.jsonlvia livePowerShell. - Recovered Notepad focus using a fresh snapshot plus one taskbar-button click after
App.switch("Notepad")failed honestly from Ubuntu foreground. - Called live
Type(loc="500,400", text="z"). - Verified the Notepad postcondition with a fresh
Snapshot.
DevServerno longer looks like a pre-server host wrapper failure.- The shell trace proves:
dev_invoker_enterat1773126300.907dev_server_sync_enterat1773126300.907dev_server_sync_health_okat1773126432.652dev_invoker_okat1773126432.653
- That is roughly
131.7sfrom shell entry to shell completion, so the remaining stall is inside the shell-side health path. - The coordinate-contract fix is confirmed live:
Type(loc="500,400", text="z")succeeded- Notepad advanced from
15 个字符to16 个字符 - caret moved from
列 16to列 17
DevServer.health: fail, but cause narrowedType.locstring contract: pass
- Added a new local patch to time
health_snapshot()substeps and move shell hash / dirty-state work outside the supervisor lock so the next restart can isolate the delayed segment directly.