pr #29464 runtime verification main: 5fa0d0be7df7aa810e924b703f7ca036d34c16d4 pr: 5875ce84f9849781ac889fe24a05547abd21ab34 setup: real project and codex gpt-6.1-sol turns created through the web app. source launcher supervises official t3 executables in isolated service home. no fake server, space probe or runtime. fault: killed captured launcher process group when a real backup staging directory appeared. retained that artifact outside the backup root during same-id recovery, then restored it as an earlier update orphan. retained a real completed backup the same way. main accepted server.updateServerWithProgress over authenticated websocket: [ { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "downloading" } ] }, { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "installing" } ] }, { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "complete", "result": { "targetVersion": "0.1.7-nightly.20261102.4080", "method": "boot-service", "updateId": "66fe2a94-068c-4e28-99e7-2646ec388295" } } ] }, { "_tag": "Exit", "requestId": 0, "exit": { "_tag": "Success", "value": null } } ] main backup entries after accepted update: 4096 bytes 7f47fd84-cdf0-439f-a44f-b041203f9d20.staging 4096 bytes 66fe2a94-068c-4e28-99e7-2646ec388295 4096 bytes 66fe2a94-068c-4e28-99e7-2646ec388295/database 978944 bytes pr accepted the same update with those artifacts: [ { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "downloading" } ] }, { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "installing" } ] }, { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "complete", "result": { "targetVersion": "0.1.7-nightly.20261102.4080", "method": "boot-service", "updateId": "c1e345fe-182b-454c-a101-aa23ac841cac" } } ] }, { "_tag": "Exit", "requestId": 0, "exit": { "_tag": "Success", "value": null } } ] pr backup entries: ["66fe2a94-068c-4e28-99e7-2646ec388295"] completed backup sha256 before and after: 8f5fa305eeb973e3365fb91aff687dbf3761f5a7f81491979152cdc40729d328 repeat same-version update refused without outage: [ { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "downloading" } ] }, { "_tag": "Chunk", "requestId": 0, "values": [ { "type": "progress", "stage": "installing" } ] }, { "_tag": "Exit", "requestId": 0, "exit": { "_tag": "Failure", "cause": [ { "_tag": "Fail", "error": { "_tag": "ServerSelfUpdateError", "reason": "Remote updates must select a newer server version.", "cause": { "name": "ServiceLauncherRejectedError", "message": "Remote updates must select a newer server version." } } } ] } } ] checks: blacksmith launcher test file: 16 passed. check:changed against PR parent: format, lint, knip, graphql, typecheck (3 packages), tests (17) passed. post-update: existing service conversation reloaded with its original answer; codex gpt-6.1-sol follow-up returned "post-update codex verified." in the web app. video records this real follow-up, not the cleanup itself. unverified: physically exhausted disk and reclaimed byte thresholds; staging removal permission failure; macos/windows; native mobile/desktop shells; rollback after a failed real migration. existing launcher tests cover rollback, but no real migration failure was injected.