Skip to content

docs(adr): protocol + scope decisions 0009-0013 (closes #16, #30, #69, #146, #155)#172

Merged
ELares merged 2 commits into
mainfrom
feat/m0-protocol-scope-adrs
Jun 13, 2026
Merged

docs(adr): protocol + scope decisions 0009-0013 (closes #16, #30, #69, #146, #155)#172
ELares merged 2 commits into
mainfrom
feat/m0-protocol-scope-adrs

Conversation

@ELares

@ELares ELares commented Jun 13, 2026

Copy link
Copy Markdown
Owner

Five scope decisions: the compatibility contract, transaction surface, clustering posture, scale-out SLO, and advisor posture.

What

Review focus

  • Each Decision matches its issue's chosen option; behavioral-equivalence vs bit-identical is correctly framed (invariant 5).
  • ADR-0012's numbers are framed as targets (not guarantees), gated on [DESIGN]: Jepsen + Elle test plan for clustering/replication #99/cluster benches; the >1000-node rationale (SWIM O(1) + Raft) is sound.
  • Citations exist + support the facts; INDEX lists 0009-0013; no em/en dashes.

Closes #16. Closes #30. Closes #69. Closes #146. Closes #155. Part of M0: Vision and Scope.

ELares added 2 commits June 13, 2026 11:53
ADR-0009 compatibility tiering (#16): published Tier 0-4 map, behavioral
equivalence vs pinned Valkey (not bit-identical); Lua/Functions/Streams are
Tier 4. ADR-0010 transaction surface (#30): MULTI/EXEC/DISCARD/WATCH with
no-rollback on VLL, single-shard lock-free fast path; Lua/Functions a
non-goal, native atomic ops instead. ADR-0011 single-node-first (#69):
slot-ready per-slot shards that double as per-core exec units. ADR-0012
scale-out targets (#146): max nodes ~4096 via SWIM+Raft past the ~1000
gossip ceiling, slots/node range, rebalance and failover budgets. ADR-0013
advisor posture (#155): off by default, shadow when enabled, active tuning
opt-in only.

Closes #16
Closes #30
Closes #69
Closes #146
Closes #155

Signed-off-by: Zeke <ezequiel.lares@outlook.com>
ADR-0009: move Streams to Tier 3 (matches #16 and NON_GOALS entry 12);
Tier 4 is Lua/Functions only. Streams stays a committed non-goal, tiered as
an extended data type not a runtime surface. ADR-0010: attribute VLL to the
Dragonfly lock-manager adaptation via the #29 coordinator, not to ADR-0002.
ADR-0012: note the coarse 4-slots/node migration granularity at the 4096-node
floor for #75.

refs #16, refs #30, refs #146

Signed-off-by: Zeke <ezequiel.lares@outlook.com>
@ELares ELares merged commit 8317766 into main Jun 13, 2026
1 check passed
@ELares ELares deleted the feat/m0-protocol-scope-adrs branch June 13, 2026 18:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment