{{ message }}
fix(storage): prove exact cache cleanup evidence - #1793
Draft
joshuajbouw wants to merge 6 commits into
Draft
Conversation
Bound the provider cache invalidation phase waits and make every spawned mount or revocation task owned, cancelled, and joined across success, timeout, assertion failure, and unwind. Add typed test-visible projection cleanup evidence that names the first failed stage without changing production success or retained-failure semantics. Closes: #1792 Refs: #1710 Signed-off-by: Joshua J. Bouw <jjb@unicity-labs.com>
Keep test-owned JoinHandles owned through timeout and body unwinds, abort unfinished tasks observably, join terminal settlement, and preserve body panic payloads while collecting finisher failures separately. Record typed cleanup stages on the actual projection revoke and invalidation paths without changing production authority or retained-failure semantics. Closes #1792 Refs #1710 Signed-off-by: Joshua J. Bouw <jjb@unicity-labs.com>
joshuajbouw
changed the title
Bind typed cleanup evidence to unique executions, assert the complete ordered success sequence, and prove exact first-failure termination. Add parallel evidence and Windows executable-suffix falsifiers while recording normal cache removal. Closes #1792 Refs #1710 Signed-off-by: Joshua J. Bouw <jjb@unicity-labs.com>
joshuajbouw
changed the title
Stop providers in canonical component order, terminate evidence at the first failure, bind each stop to its exact mount ID and observed acknowledgement, and consume stale invalidation evidence in an explicit scope. Split existing test support to preserve source line caps. Closes #1792 Refs #1710 Signed-off-by: Joshua J. Bouw <jjb@unicity-labs.com>
Concurrently attempt every retained provider stop, emit canonical evidence once, and fail closed for unowned retained generations. Keep cache completion evidence in its cleanup scope and split oversized stop/cache regression modules. Closes #1792 Refs #1710 Signed-off-by: Joshua J. Bouw <jjb@unicity-labs.com>
3 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Linked Issue
Tracking #1792. Related: #1710, #1790, #1818.
Summary
Preserved Windows cache-invalidation cleanup candidate stacked on #1791.
The source reached dual exact-head acceptance, but the Windows x86 oracle failed before the provider-backed storage, trusted-path, process-zero, and native WinFsp gates were established. Windows publication is parked under #1818, so this PR is not a merge candidate for 2026.9.0.
Changes
Verification
AI / Tool Assistance
Assisted-by: Codex:GLM-5.3 Flash
AI assistance was used for implementation and regressions. Independent review and certification remain maintainer-owned.
Checklist