Skip to content

Retain stock coordinator detach after the final snapshot - #39

Merged
EHotwagner merged 3 commits into
mainfrom
routine/bar-detach-capture-source-20261005
Oct 5, 2026
Merged

EHotwagner merged 3 commits into
mainfrom
routine/bar-detach-capture-source-20261005

Conversation

@EHotwagner

Copy link
Copy Markdown

When the stock coordinator disconnects after its final state update, the host now records a bounded detach event in its private journal. The pre-Arm qualifier can reject that recorded invalidation without waiting for another snapshot. The record contains a closed refusal code, and the existing coordinator generation fence prevents old-stream cleanup from detaching a replacement session.

Validation: 117 portable seed controls passed, including terminal invalidation refusals. A fresh Release build passed with zero warnings/errors and all eight actual controlled gRPC cases passed. Seven compiler-input and PE/PDB source joins were accepted through a separate read-only SDK directory-alias proof supplement. The original qualification attempt remains failed; no successful compiled phase was replayed or original verdict rewritten. Routine eligibility and operation-boundary fixtures passed (59 claim-generation cases).

Compiled implementation: 2e332259c5db590be63bb628e6c4de4b3c8e2291. The final commit changes only the owning-plan documentation; compiled source bodies remain identical. Actual native seed, browser Arm, requested-unit acceptance, publication and installed adoption remain pending; useful play is 0/6.

@EHotwagner
EHotwagner merged commit 2d277ce into main Oct 5, 2026
1 check passed
@EHotwagner
EHotwagner deleted the routine/bar-detach-capture-source-20261005 branch October 9, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant