Skip to content

fix(azure): accept durable reservation generation during cleanup - #356

Merged
ruby-dlee merged 1 commit into
mainfrom
codex/azure-reservation-generation-cleanup
Aug 26, 2026
Merged

fix(azure): accept durable reservation generation during cleanup#356
ruby-dlee merged 1 commit into
mainfrom
codex/azure-reservation-generation-cleanup

Conversation

@ruby-dlee

Copy link
Copy Markdown
Owner

Summary

  • preserve strict exactness for normal provider operations
  • permit cleanup to accept only a present, canonical, strictly older cloud generation on the durable global reservation
  • require every reservation ownership tag and keep all other resources exact

Live failure addressed

Azure cleanup claims for slots 1-3 were correctly fenced because replacement compute had advanced to generation 3 while the durable slot reservation retained generation 1. All task, account, worktree, and immutable identities matched.

Verification

  • python3 -m py_compile bin/fm-azure-worker-provider.py
  • shellcheck --norc -x tests/fm-worker-lifecycle.test.sh
  • git diff --check
  • bash tests/fm-worker-lifecycle.test.sh
  • cold adversarial review: CLEAR

No updater is involved. Deployment will pin the exact reviewed source revision.

@ruby-dlee
ruby-dlee merged commit fc7b335 into main Aug 26, 2026
13 checks passed
@ruby-dlee
ruby-dlee deleted the codex/azure-reservation-generation-cleanup branch August 26, 2026 20:16
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