Skip to content

spec: align local DataStore coordination model - #891

Merged
enricopiovesan merged 1 commit into
mainfrom
codex/issue-889-local-multiprocess-lock
Jul 29, 2026
Merged

spec: align local DataStore coordination model#891
enricopiovesan merged 1 commit into
mainfrom
codex/issue-889-local-multiprocess-lock

Conversation

@enricopiovesan

Copy link
Copy Markdown
Collaborator

Summary

  • align the Draft multi-process DataStore contract with the local OS-lock decisions
  • remove lease, heartbeat, fencing, and coordinator semantics

Governing Spec

  • 518-durable-local-datastore
  • 519-embedder-owned-datastore-integration
  • 065-sigstore-bundle-verification
  • 070-runtime-event-sink-boundary

The amended 532-multiprocess-datastore-coordination and ADR-0026 remain
Draft/Proposed pending maintainer approval.

Project Item

Definition of Done

  • Defines local OS-lock scope, contention, crash recovery, and unsupported-filesystem behavior.
  • Defines store_busy and locking_unsupported failures.
  • Defines reader snapshot and cross-process conformance boundaries.
  • Keeps Implement approved multi-process DataStore coordination #879 blocked pending approval.

Validation

  • git diff --check

@enricopiovesan
enricopiovesan enabled auto-merge (squash) July 29, 2026 23:24
@enricopiovesan
enricopiovesan merged commit fc5936a into main Jul 29, 2026
32 checks passed
@enricopiovesan
enricopiovesan deleted the codex/issue-889-local-multiprocess-lock branch July 29, 2026 23: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.

Specify local multi-process DataStore coordination model

1 participant