Skip to content

spec: define DataStore synchronization protocol - #893

Merged
enricopiovesan merged 1 commit into
mainfrom
codex/issue-890-sync-protocol
Jul 30, 2026
Merged

spec: define DataStore synchronization protocol#893
enricopiovesan merged 1 commit into
mainfrom
codex/issue-890-sync-protocol

Conversation

@enricopiovesan

@enricopiovesan enricopiovesan commented Jul 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • define the provider-neutral DataStore synchronization protocol
  • establish deterministic local-peer conformance as the first transport boundary

Governing Spec

  • 065-sigstore-bundle-verification and 070-runtime-event-sink-boundary
    (approved registry coverage for documentation changes)
  • The new synchronization protocol is intentionally a Draft pending maintainer
    approval; it is not represented as an approved governing spec.

Project Item

Definition of Done

  • Defines envelopes, membership, conflict, replay, tombstone, and failure rules.
  • Defines deterministic conformance requirements.
  • Defers network and hosted transports.

Validation

  • git diff --check
  • local preflight

@enricopiovesan
enricopiovesan enabled auto-merge (squash) July 30, 2026 00:41
@enricopiovesan
enricopiovesan force-pushed the codex/issue-890-sync-protocol branch from 0134d4f to 1313d8b Compare July 30, 2026 06:16
@enricopiovesan
enricopiovesan force-pushed the codex/issue-890-sync-protocol branch from 1313d8b to eafade1 Compare July 30, 2026 06:17
@enricopiovesan
enricopiovesan merged commit 4de88cf into main Jul 30, 2026
31 of 32 checks passed
@enricopiovesan
enricopiovesan deleted the codex/issue-890-sync-protocol branch July 30, 2026 06:24
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 provider-neutral DataStore synchronization protocol

1 participant