@feltdb/core 0.15.0 → 0.16.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (247) hide show
  1. package/dist/agent-state.d.ts +20 -0
  2. package/dist/agent-state.d.ts.map +1 -1
  3. package/dist/agent-state.js +36 -0
  4. package/dist/build-identity.json +12 -4
  5. package/dist/cli/commands.js +187 -4
  6. package/dist/cli/publish-engine.js +116 -16
  7. package/dist/collection.d.ts.map +1 -1
  8. package/dist/collection.js +3 -0
  9. package/dist/create/build-identity.json +12 -4
  10. package/dist/create/managed-account.js +93 -35
  11. package/dist/create/package-versions.js +1 -1
  12. package/dist/create/server-source/Cargo.lock +6 -509
  13. package/dist/create/server-source/Cargo.toml +2 -13
  14. package/dist/create/server-source/crates/feltdb-client/Cargo.toml +1 -1
  15. package/dist/create/server-source/crates/feltdb-server/Cargo.toml +1 -1
  16. package/dist/create/server-source/crates/feltdb-server/src/main.rs +255 -12
  17. package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +1 -1
  18. package/dist/db.d.ts +11 -1
  19. package/dist/db.d.ts.map +1 -1
  20. package/dist/db.js +15 -2
  21. package/dist/error-codes.d.ts +5 -0
  22. package/dist/error-codes.d.ts.map +1 -1
  23. package/dist/error-codes.js +9 -1
  24. package/dist/http-db.d.ts +16 -0
  25. package/dist/http-db.d.ts.map +1 -1
  26. package/dist/http-db.js +36 -6
  27. package/dist/managed-recovery.d.ts +6 -0
  28. package/dist/managed-recovery.d.ts.map +1 -1
  29. package/dist/managed-recovery.js +9 -0
  30. package/dist/studio-app/assets/{feltdb_wasm-BjM1ylL3.js → feltdb_wasm-DtybUY0q.js} +1 -1
  31. package/dist/studio-app/assets/feltdb_wasm_bg-DsgIUwaB.wasm +0 -0
  32. package/dist/studio-app/assets/index-C4OffsZl.js +37 -0
  33. package/dist/studio-app/index.html +1 -1
  34. package/dist/wasm/feltdb_wasm_bg.wasm +0 -0
  35. package/dist/wasm/package.json +1 -1
  36. package/dist/workload.d.ts +55 -3
  37. package/dist/workload.d.ts.map +1 -1
  38. package/dist/workload.js +23 -0
  39. package/dist/workspace/workspace-connection.d.ts.map +1 -1
  40. package/dist/workspace/workspace-connection.js +14 -3
  41. package/package.json +1 -1
  42. package/dist/create/server-source/crates/feltdb/Cargo.lock +0 -175
  43. package/dist/create/server-source/crates/feltdb/Cargo.toml +0 -102
  44. package/dist/create/server-source/crates/feltdb/LICENSE +0 -21
  45. package/dist/create/server-source/crates/feltdb/README.md +0 -75
  46. package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +0 -370
  47. package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +0 -589
  48. package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +0 -247
  49. package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +0 -440
  50. package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +0 -275
  51. package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +0 -381
  52. package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +0 -467
  53. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +0 -489
  54. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +0 -281
  55. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +0 -606
  56. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +0 -531
  57. package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +0 -462
  58. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +0 -505
  59. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +0 -484
  60. package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +0 -758
  61. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +0 -421
  62. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +0 -329
  63. package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +0 -1705
  64. package/dist/create/server-source/crates/feltdb/src/acquisition.rs +0 -286
  65. package/dist/create/server-source/crates/feltdb/src/admission.rs +0 -185
  66. package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +0 -507
  67. package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +0 -539
  68. package/dist/create/server-source/crates/feltdb/src/agent_state.rs +0 -320
  69. package/dist/create/server-source/crates/feltdb/src/agent_transition_contract.rs +0 -1545
  70. package/dist/create/server-source/crates/feltdb/src/analytics.rs +0 -521
  71. package/dist/create/server-source/crates/feltdb/src/application.rs +0 -2674
  72. package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +0 -1070
  73. package/dist/create/server-source/crates/feltdb/src/authority.rs +0 -479
  74. package/dist/create/server-source/crates/feltdb/src/authority_failover.rs +0 -847
  75. package/dist/create/server-source/crates/feltdb/src/authorization.rs +0 -1030
  76. package/dist/create/server-source/crates/feltdb/src/authorization_security_tests.rs +0 -1122
  77. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority-client.rs +0 -32
  78. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority.rs +0 -19
  79. package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +0 -1474
  80. package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +0 -8
  81. package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +0 -418
  82. package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +0 -482
  83. package/dist/create/server-source/crates/feltdb/src/capability.rs +0 -903
  84. package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +0 -263
  85. package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +0 -77
  86. package/dist/create/server-source/crates/feltdb/src/causal_backlog_bound.rs +0 -496
  87. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +0 -2574
  88. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +0 -212
  89. package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +0 -422
  90. package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +0 -445
  91. package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +0 -465
  92. package/dist/create/server-source/crates/feltdb/src/convergence.rs +0 -634
  93. package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +0 -427
  94. package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +0 -376
  95. package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +0 -365
  96. package/dist/create/server-source/crates/feltdb/src/cron.rs +0 -294
  97. package/dist/create/server-source/crates/feltdb/src/dedup_bound_investigation.rs +0 -483
  98. package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +0 -477
  99. package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +0 -1003
  100. package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +0 -1334
  101. package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +0 -368
  102. package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +0 -231
  103. package/dist/create/server-source/crates/feltdb/src/durable_operation_identity.rs +0 -482
  104. package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +0 -203
  105. package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +0 -317
  106. package/dist/create/server-source/crates/feltdb/src/equality_index.rs +0 -595
  107. package/dist/create/server-source/crates/feltdb/src/execution.rs +0 -426
  108. package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +0 -214
  109. package/dist/create/server-source/crates/feltdb/src/indexing.rs +0 -776
  110. package/dist/create/server-source/crates/feltdb/src/lib.rs +0 -7365
  111. package/dist/create/server-source/crates/feltdb/src/managed_cas_tests.rs +0 -234
  112. package/dist/create/server-source/crates/feltdb/src/materialization.rs +0 -184
  113. package/dist/create/server-source/crates/feltdb/src/metrics.rs +0 -266
  114. package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +0 -310
  115. package/dist/create/server-source/crates/feltdb/src/multi_operation_transaction.rs +0 -736
  116. package/dist/create/server-source/crates/feltdb/src/observability.rs +0 -379
  117. package/dist/create/server-source/crates/feltdb/src/operation.rs +0 -290
  118. package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +0 -439
  119. package/dist/create/server-source/crates/feltdb/src/operation_log.rs +0 -349
  120. package/dist/create/server-source/crates/feltdb/src/p1_application_atomicity.rs +0 -332
  121. package/dist/create/server-source/crates/feltdb/src/p1_atomicity_acceptance.rs +0 -718
  122. package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +0 -487
  123. package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +0 -166
  124. package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +0 -289
  125. package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +0 -566
  126. package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +0 -3391
  127. package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +0 -203
  128. package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +0 -261
  129. package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +0 -502
  130. package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +0 -216
  131. package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +0 -303
  132. package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +0 -323
  133. package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +0 -531
  134. package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +0 -406
  135. package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +0 -436
  136. package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +0 -387
  137. package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +0 -378
  138. package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +0 -359
  139. package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +0 -372
  140. package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +0 -404
  141. package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +0 -376
  142. package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +0 -461
  143. package/dist/create/server-source/crates/feltdb/src/policy_evaluation.rs +0 -2125
  144. package/dist/create/server-source/crates/feltdb/src/production_api.rs +0 -418
  145. package/dist/create/server-source/crates/feltdb/src/provenance.rs +0 -207
  146. package/dist/create/server-source/crates/feltdb/src/query_execution_diagnostics.rs +0 -126
  147. package/dist/create/server-source/crates/feltdb/src/query_performance.rs +0 -218
  148. package/dist/create/server-source/crates/feltdb/src/read_basis.rs +0 -257
  149. package/dist/create/server-source/crates/feltdb/src/references.rs +0 -404
  150. package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +0 -401
  151. package/dist/create/server-source/crates/feltdb/src/replica_acknowledgements.rs +0 -501
  152. package/dist/create/server-source/crates/feltdb/src/replica_membership.rs +0 -680
  153. package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +0 -163
  154. package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +0 -133
  155. package/dist/create/server-source/crates/feltdb/src/routing.rs +0 -409
  156. package/dist/create/server-source/crates/feltdb/src/semantic_decision.rs +0 -2029
  157. package/dist/create/server-source/crates/feltdb/src/semantic_query.rs +0 -599
  158. package/dist/create/server-source/crates/feltdb/src/sharding.rs +0 -549
  159. package/dist/create/server-source/crates/feltdb/src/state_conflict_contract.rs +0 -516
  160. package/dist/create/server-source/crates/feltdb/src/state_contract.rs +0 -6003
  161. package/dist/create/server-source/crates/feltdb/src/state_diff_contract.rs +0 -222
  162. package/dist/create/server-source/crates/feltdb/src/state_facade.rs +0 -320
  163. package/dist/create/server-source/crates/feltdb/src/state_hash.rs +0 -291
  164. package/dist/create/server-source/crates/feltdb/src/state_model.rs +0 -4158
  165. package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +0 -379
  166. package/dist/create/server-source/crates/feltdb/src/state_trigger.rs +0 -673
  167. package/dist/create/server-source/crates/feltdb/src/storage.rs +0 -273
  168. package/dist/create/server-source/crates/feltdb/src/submission.rs +0 -471
  169. package/dist/create/server-source/crates/feltdb/src/sync.rs +0 -495
  170. package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +0 -822
  171. package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +0 -433
  172. package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +0 -462
  173. package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +0 -965
  174. package/dist/create/server-source/crates/feltdb/src/transaction_preconditions.rs +0 -1120
  175. package/dist/create/server-source/crates/feltdb/src/transactions.rs +0 -643
  176. package/dist/create/server-source/crates/feltdb/src/trigger.rs +0 -390
  177. package/dist/create/server-source/crates/feltdb/src/trigger_contract.rs +0 -749
  178. package/dist/create/server-source/crates/feltdb/src/versioned_object_substrate.rs +0 -708
  179. package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +0 -1269
  180. package/dist/create/server-source/crates/feltdb/src/workflow.rs +0 -713
  181. package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +0 -510
  182. package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +0 -354
  183. package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +0 -594
  184. package/dist/create/server-source/crates/feltdb/src/workload.rs +0 -4222
  185. package/dist/create/server-source/crates/feltdb/src/workload_diagnostics.rs +0 -456
  186. package/dist/create/server-source/crates/feltdb/tests/agent_state_native.rs +0 -1188
  187. package/dist/create/server-source/crates/feltdb/tests/agent_transition_contract_conformance.rs +0 -2884
  188. package/dist/create/server-source/crates/feltdb/tests/authority_process.rs +0 -297
  189. package/dist/create/server-source/crates/feltdb/tests/authority_transaction_identity.rs +0 -534
  190. package/dist/create/server-source/crates/feltdb/tests/bounded_read_contract.rs +0 -132
  191. package/dist/create/server-source/crates/feltdb/tests/branching_evidence.rs +0 -299
  192. package/dist/create/server-source/crates/feltdb/tests/common/mod.rs +0 -96
  193. package/dist/create/server-source/crates/feltdb/tests/compaction_stall_contract.rs +0 -272
  194. package/dist/create/server-source/crates/feltdb/tests/crash_durability_contract.rs +0 -467
  195. package/dist/create/server-source/crates/feltdb/tests/current_revision_authority_evidence.rs +0 -309
  196. package/dist/create/server-source/crates/feltdb/tests/durable_backup_contract.rs +0 -445
  197. package/dist/create/server-source/crates/feltdb/tests/durable_corruption_contract.rs +0 -518
  198. package/dist/create/server-source/crates/feltdb/tests/durable_format_compatibility.rs +0 -392
  199. package/dist/create/server-source/crates/feltdb/tests/feltdb_state_boundary_tests.rs +0 -850
  200. package/dist/create/server-source/crates/feltdb/tests/fixtures/agent_transition_corpus.json +0 -23340
  201. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_conflict_contract_corpus.json +0 -1916
  202. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_diff_contract_corpus.json +0 -1878
  203. package/dist/create/server-source/crates/feltdb/tests/fixtures/trigger_contract_corpus.json +0 -1862
  204. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_evidence.rs +0 -123
  205. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_substrate_completion.rs +0 -299
  206. package/dist/create/server-source/crates/feltdb/tests/local_process_ownership.rs +0 -69
  207. package/dist/create/server-source/crates/feltdb/tests/managed_incident_regression.rs +0 -191
  208. package/dist/create/server-source/crates/feltdb/tests/operational_health_contract.rs +0 -278
  209. package/dist/create/server-source/crates/feltdb/tests/pr34_query_collection.rs +0 -234
  210. package/dist/create/server-source/crates/feltdb/tests/pr35_equality_index.rs +0 -947
  211. package/dist/create/server-source/crates/feltdb/tests/pr7_self_authorization_proof.rs +0 -404
  212. package/dist/create/server-source/crates/feltdb/tests/pr8_vocabulary_assessment.rs +0 -916
  213. package/dist/create/server-source/crates/feltdb/tests/pr9_phase2_boundary_tests.rs +0 -1045
  214. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3a_path_a_tests.rs +0 -347
  215. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_authorized_mutations.rs +0 -361
  216. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_role_based_authorization.rs +0 -330
  217. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_simple_auth_delete.rs +0 -93
  218. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_team_delete_role_authorization.rs +0 -622
  219. package/dist/create/server-source/crates/feltdb/tests/pr9_teams_role_based_access.rs +0 -517
  220. package/dist/create/server-source/crates/feltdb/tests/production_certification.rs +0 -1153
  221. package/dist/create/server-source/crates/feltdb/tests/production_contract.rs +0 -771
  222. package/dist/create/server-source/crates/feltdb/tests/production_readiness_contract.rs +0 -1383
  223. package/dist/create/server-source/crates/feltdb/tests/reconciliation_application.rs +0 -868
  224. package/dist/create/server-source/crates/feltdb/tests/reconciliation_wire_format_evidence.rs +0 -221
  225. package/dist/create/server-source/crates/feltdb/tests/replicated_history_contract.rs +0 -417
  226. package/dist/create/server-source/crates/feltdb/tests/resource_scoped_revisions.rs +0 -338
  227. package/dist/create/server-source/crates/feltdb/tests/revision_identity_contract.rs +0 -1039
  228. package/dist/create/server-source/crates/feltdb/tests/revision_model_decision.rs +0 -739
  229. package/dist/create/server-source/crates/feltdb/tests/revision_retention_boundary_evidence.rs +0 -452
  230. package/dist/create/server-source/crates/feltdb/tests/saas_authorization_integration.rs +0 -81
  231. package/dist/create/server-source/crates/feltdb/tests/saas_invitation_lifecycle.rs +0 -438
  232. package/dist/create/server-source/crates/feltdb/tests/semantic_decision.rs +0 -1165
  233. package/dist/create/server-source/crates/feltdb/tests/semantic_query.rs +0 -767
  234. package/dist/create/server-source/crates/feltdb/tests/semantic_query_contract.rs +0 -363
  235. package/dist/create/server-source/crates/feltdb/tests/state_conflict_contract_conformance.rs +0 -1799
  236. package/dist/create/server-source/crates/feltdb/tests/state_diff_contract_conformance.rs +0 -1316
  237. package/dist/create/server-source/crates/feltdb/tests/state_model_integration.rs +0 -358
  238. package/dist/create/server-source/crates/feltdb/tests/state_persistence_integration.rs +0 -365
  239. package/dist/create/server-source/crates/feltdb/tests/state_ref_authority.rs +0 -918
  240. package/dist/create/server-source/crates/feltdb/tests/state_store_boundary_evidence.rs +0 -299
  241. package/dist/create/server-source/crates/feltdb/tests/storage_independent_versioned_object_substrate.rs +0 -328
  242. package/dist/create/server-source/crates/feltdb/tests/sync_divergence_evidence.rs +0 -255
  243. package/dist/create/server-source/crates/feltdb/tests/three_way_input_boundary_evidence.rs +0 -249
  244. package/dist/create/server-source/crates/feltdb/tests/trigger_contract_conformance.rs +0 -994
  245. package/dist/create/server-source/crates/feltdb/tests/workload_envelope_contract.rs +0 -484
  246. package/dist/studio-app/assets/feltdb_wasm_bg-TseJn2Ax.wasm +0 -0
  247. package/dist/studio-app/assets/index-1wd0uKua.js +0 -30
@@ -1,680 +0,0 @@
1
- //! Durable replica membership.
2
- //!
3
- //! The question this exists to answer, and which nothing in FeltDB could
4
- //! answer before:
5
- //!
6
- //! > which replicas must be caught up before this node may reclaim
7
- //! > replication history?
8
- //!
9
- //! `adrs/replication-retention-and-recovery-lag.md` found that "every required
10
- //! replica" had no referent. `membership` in this codebase meant *authorization*
11
- //! membership -- users and organisations -- and replication peers came from
12
- //! `--send` / `--recv` flags at startup. Three things were conflated:
13
- //!
14
- //! ```text
15
- //! configured peer != cluster member
16
- //! connected peer != required replica
17
- //! removed replica != temporarily offline replica
18
- //! ```
19
- //!
20
- //! This module separates them. It stores membership durably, keyed to explicit
21
- //! state transitions, and it is deliberately the *only* thing that can change
22
- //! which replicas are required.
23
- //!
24
- //! ## The rule that matters
25
- //!
26
- //! **Only an explicit transition to `Removed` takes a replica out of the
27
- //! reclamation set.** Not going offline, not being unreachable, not a stale
28
- //! `last_seen_at`, not being absent from this node's connection flags. There is
29
- //! no code path here that derives `required_for_reclamation` from liveness, and
30
- //! that absence is the feature: otherwise a replica that is merely switched off
31
- //! becomes irrelevant to reclamation, and the history it still needs is deleted
32
- //! while it is not there to object.
33
- //!
34
- //! `Suspected` exists to record that a replica looks unreachable. It changes
35
- //! nothing about whether it is required, and there are tests asserting exactly
36
- //! that.
37
- //!
38
- //! ## Deliberately not here
39
- //!
40
- //! No compaction frontier, no acknowledgement tracking, no checkpoint, no
41
- //! change to the operation log. This establishes the authority the next change
42
- //! consumes; it reclaims nothing and deletes nothing.
43
-
44
- use serde::{Deserialize, Serialize};
45
- use std::collections::BTreeMap;
46
- use std::path::{Path, PathBuf};
47
-
48
- fn now_ms() -> u64 {
49
- std::time::SystemTime::now()
50
- .duration_since(std::time::UNIX_EPOCH)
51
- .map(|elapsed| elapsed.as_millis() as u64)
52
- .unwrap_or(0)
53
- }
54
-
55
- /// Where a replica stands in the cluster.
56
- ///
57
- /// Explicit rather than inferred. A status is changed by an operation someone
58
- /// performed, never by this module observing a connection.
59
- #[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)]
60
- #[serde(rename_all = "SCREAMING_SNAKE_CASE")]
61
- pub enum ReplicaStatus {
62
- /// Admitted to the cluster but not yet approved: it is being seeded and is
63
- /// not yet a replica anyone should be waiting for.
64
- Joining,
65
- /// A full member. Required for reclamation.
66
- Active,
67
- /// Looks unreachable. **Still required for reclamation** -- this status is
68
- /// an observation, not a decision.
69
- Suspected,
70
- /// Explicitly removed. The only status that leaves the reclamation set, and
71
- /// terminal: a removed replica rejoins by joining again, not by being seen.
72
- Removed,
73
- }
74
-
75
- #[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
76
- pub struct Replica {
77
- pub replica_id: String,
78
- pub node_id: String,
79
- pub status: ReplicaStatus,
80
- pub joined_at_ms: u64,
81
- pub last_seen_at_ms: Option<u64>,
82
- /// Whether history must be retained on this replica's behalf.
83
- ///
84
- /// Stored rather than derived from `status` at read time, so that the value
85
- /// which authorises deletion is one somebody wrote down and an audit can
86
- /// read back, rather than the output of a rule that could later be changed
87
- /// underneath the data.
88
- pub required_for_reclamation: bool,
89
- }
90
-
91
- #[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
92
- pub struct ReplicationCluster {
93
- pub cluster_id: String,
94
- pub created_at_ms: u64,
95
- /// Keyed by `replica_id`, ordered so that reads are deterministic.
96
- pub replicas: BTreeMap<String, Replica>,
97
- }
98
-
99
- #[derive(Debug)]
100
- pub enum MembershipError {
101
- NoCluster,
102
- ClusterExists(String),
103
- UnknownReplica(String),
104
- ReplicaExists(String),
105
- NotJoining(String),
106
- Io(String),
107
- }
108
-
109
- impl std::fmt::Display for MembershipError {
110
- fn fmt(&self, out: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
111
- match self {
112
- Self::NoCluster => write!(out, "no cluster has been created"),
113
- Self::ClusterExists(id) => write!(out, "cluster {id} already exists"),
114
- Self::UnknownReplica(id) => write!(out, "unknown replica {id}"),
115
- Self::ReplicaExists(id) => write!(out, "replica {id} already exists"),
116
- Self::NotJoining(id) => write!(out, "replica {id} is not JOINING"),
117
- Self::Io(message) => write!(out, "membership store: {message}"),
118
- }
119
- }
120
- }
121
-
122
- /// Durable membership for one node.
123
- ///
124
- /// Persisted beside the operation log and never reconstructed from connection
125
- /// flags: a restart that rebuilt membership from `--send`/`--recv` would make
126
- /// the reclamation set a function of how the process happened to be launched.
127
- pub struct MembershipStore {
128
- path: PathBuf,
129
- cluster: Option<ReplicationCluster>,
130
- }
131
-
132
- impl MembershipStore {
133
- /// Open a store, loading any cluster already on disk.
134
- pub fn open<P: AsRef<Path>>(path: P) -> Result<Self, MembershipError> {
135
- let path = path.as_ref().to_path_buf();
136
- let cluster = if path.exists() {
137
- let bytes = std::fs::read(&path).map_err(|e| MembershipError::Io(e.to_string()))?;
138
- Some(serde_json::from_slice(&bytes).map_err(|e| MembershipError::Io(e.to_string()))?)
139
- } else {
140
- None
141
- };
142
- Ok(Self { path, cluster })
143
- }
144
-
145
- /// Write the cluster durably: temp file, fsync, rename, fsync the
146
- /// directory. Membership is what will later authorise deleting history, so
147
- /// it is written with the same care as the log it will authorise deleting.
148
- fn persist(&self) -> Result<(), MembershipError> {
149
- let Some(cluster) = &self.cluster else {
150
- return Ok(());
151
- };
152
- if let Some(parent) = self.path.parent() {
153
- std::fs::create_dir_all(parent).map_err(|e| MembershipError::Io(e.to_string()))?;
154
- }
155
- let temp = self.path.with_extension("tmp");
156
- let bytes =
157
- serde_json::to_vec_pretty(cluster).map_err(|e| MembershipError::Io(e.to_string()))?;
158
- {
159
- use std::io::Write;
160
- let mut file =
161
- std::fs::File::create(&temp).map_err(|e| MembershipError::Io(e.to_string()))?;
162
- file.write_all(&bytes)
163
- .map_err(|e| MembershipError::Io(e.to_string()))?;
164
- file.sync_all()
165
- .map_err(|e| MembershipError::Io(e.to_string()))?;
166
- }
167
- std::fs::rename(&temp, &self.path).map_err(|e| MembershipError::Io(e.to_string()))?;
168
- if let Some(parent) = self.path.parent() {
169
- if let Ok(dir) = std::fs::File::open(parent) {
170
- // Best effort: the rename is durable on the filesystems this
171
- // runs on once the directory entry is synced.
172
- let _ = dir.sync_all();
173
- }
174
- }
175
- Ok(())
176
- }
177
-
178
- pub fn cluster(&self) -> Option<&ReplicationCluster> {
179
- self.cluster.as_ref()
180
- }
181
-
182
- pub fn create_cluster(&mut self, cluster_id: &str) -> Result<(), MembershipError> {
183
- if let Some(existing) = &self.cluster {
184
- return Err(MembershipError::ClusterExists(existing.cluster_id.clone()));
185
- }
186
- self.cluster = Some(ReplicationCluster {
187
- cluster_id: cluster_id.to_string(),
188
- created_at_ms: now_ms(),
189
- replicas: BTreeMap::new(),
190
- });
191
- self.persist()
192
- }
193
-
194
- fn cluster_mut(&mut self) -> Result<&mut ReplicationCluster, MembershipError> {
195
- self.cluster.as_mut().ok_or(MembershipError::NoCluster)
196
- }
197
-
198
- /// Admit a replica as `Joining`. It is not yet required for reclamation:
199
- /// it is being seeded and holds nothing anyone is waiting on.
200
- pub fn join_replica(&mut self, replica_id: &str, node_id: &str) -> Result<(), MembershipError> {
201
- let cluster = self.cluster_mut()?;
202
- if cluster.replicas.contains_key(replica_id) {
203
- return Err(MembershipError::ReplicaExists(replica_id.to_string()));
204
- }
205
- cluster.replicas.insert(
206
- replica_id.to_string(),
207
- Replica {
208
- replica_id: replica_id.to_string(),
209
- node_id: node_id.to_string(),
210
- status: ReplicaStatus::Joining,
211
- joined_at_ms: now_ms(),
212
- last_seen_at_ms: None,
213
- required_for_reclamation: false,
214
- },
215
- );
216
- self.persist()
217
- }
218
-
219
- /// Promote a `Joining` replica to `Active`, which is what makes it
220
- /// required. Approval is the moment history starts being retained on its
221
- /// behalf, so it is explicit.
222
- pub fn approve_replica(&mut self, replica_id: &str) -> Result<(), MembershipError> {
223
- let cluster = self.cluster_mut()?;
224
- let replica = cluster
225
- .replicas
226
- .get_mut(replica_id)
227
- .ok_or_else(|| MembershipError::UnknownReplica(replica_id.to_string()))?;
228
- if replica.status != ReplicaStatus::Joining {
229
- return Err(MembershipError::NotJoining(replica_id.to_string()));
230
- }
231
- replica.status = ReplicaStatus::Active;
232
- replica.required_for_reclamation = true;
233
- self.persist()
234
- }
235
-
236
- /// Record that a replica looks unreachable.
237
- ///
238
- /// This does **not** change `required_for_reclamation`, and that is the
239
- /// whole point of the status existing separately from removal.
240
- pub fn suspect_replica(&mut self, replica_id: &str) -> Result<(), MembershipError> {
241
- let cluster = self.cluster_mut()?;
242
- let replica = cluster
243
- .replicas
244
- .get_mut(replica_id)
245
- .ok_or_else(|| MembershipError::UnknownReplica(replica_id.to_string()))?;
246
- if replica.status == ReplicaStatus::Removed {
247
- // A removed replica is not suspected; it is gone.
248
- return Ok(());
249
- }
250
- replica.status = ReplicaStatus::Suspected;
251
- self.persist()
252
- }
253
-
254
- /// Record contact with a replica.
255
- ///
256
- /// Reinstates a `Suspected` replica, because suspicion is an observation
257
- /// and this is a contrary observation. It never resurrects a `Removed`
258
- /// one: removal is a decision, and only an explicit join reverses it.
259
- pub fn mark_seen(&mut self, replica_id: &str) -> Result<(), MembershipError> {
260
- let cluster = self.cluster_mut()?;
261
- let replica = cluster
262
- .replicas
263
- .get_mut(replica_id)
264
- .ok_or_else(|| MembershipError::UnknownReplica(replica_id.to_string()))?;
265
- replica.last_seen_at_ms = Some(now_ms());
266
- if replica.status == ReplicaStatus::Suspected {
267
- replica.status = ReplicaStatus::Active;
268
- }
269
- self.persist()
270
- }
271
-
272
- /// Remove a replica from the cluster. The only operation that takes a
273
- /// replica out of the reclamation set.
274
- pub fn remove_replica(&mut self, replica_id: &str) -> Result<(), MembershipError> {
275
- let cluster = self.cluster_mut()?;
276
- let replica = cluster
277
- .replicas
278
- .get_mut(replica_id)
279
- .ok_or_else(|| MembershipError::UnknownReplica(replica_id.to_string()))?;
280
- replica.status = ReplicaStatus::Removed;
281
- replica.required_for_reclamation = false;
282
- self.persist()
283
- }
284
-
285
- /// Every replica the cluster currently has, removed ones excluded.
286
- pub fn get_members(&self) -> Vec<Replica> {
287
- self.cluster
288
- .as_ref()
289
- .map(|cluster| {
290
- cluster
291
- .replicas
292
- .values()
293
- .filter(|replica| replica.status != ReplicaStatus::Removed)
294
- .cloned()
295
- .collect()
296
- })
297
- .unwrap_or_default()
298
- }
299
-
300
- /// Every replica ever recorded, including removed ones, for audit.
301
- pub fn all_replicas(&self) -> Vec<Replica> {
302
- self.cluster
303
- .as_ref()
304
- .map(|cluster| cluster.replicas.values().cloned().collect())
305
- .unwrap_or_default()
306
- }
307
-
308
- /// The replicas whose acknowledgement is required before history may be
309
- /// reclaimed on their behalf.
310
- ///
311
- /// Read straight from the stored flag. Nothing about connectivity, recency,
312
- /// or this process's configuration enters into it.
313
- pub fn get_required_replicas(&self) -> Vec<Replica> {
314
- self.cluster
315
- .as_ref()
316
- .map(|cluster| {
317
- cluster
318
- .replicas
319
- .values()
320
- .filter(|replica| {
321
- replica.required_for_reclamation && replica.status != ReplicaStatus::Removed
322
- })
323
- .cloned()
324
- .collect()
325
- })
326
- .unwrap_or_default()
327
- }
328
- }
329
-
330
- #[cfg(test)]
331
- mod tests {
332
- use super::*;
333
-
334
- fn store(dir: &tempfile::TempDir) -> MembershipStore {
335
- MembershipStore::open(dir.path().join("membership.json")).expect("open")
336
- }
337
-
338
- fn ids(replicas: &[Replica]) -> Vec<String> {
339
- let mut out: Vec<String> = replicas.iter().map(|r| r.replica_id.clone()).collect();
340
- out.sort();
341
- out
342
- }
343
-
344
- // -- the headline acceptance test -------------------------------------
345
-
346
- #[test]
347
- fn membership_survives_restart_and_only_removal_changes_the_reclamation_set() {
348
- let dir = tempfile::tempdir().unwrap();
349
-
350
- {
351
- let mut cluster = store(&dir);
352
- cluster.create_cluster("c1").expect("create");
353
- for (replica, node) in [("ra", "A"), ("rb", "B"), ("rc", "C")] {
354
- cluster.join_replica(replica, node).expect("join");
355
- cluster.approve_replica(replica).expect("approve");
356
- }
357
- assert_eq!(ids(&cluster.get_required_replicas()), ["ra", "rb", "rc"]);
358
- }
359
-
360
- // Restart: a new store over the same path, with no configuration
361
- // passed to it at all.
362
- let mut restarted = store(&dir);
363
- assert_eq!(
364
- ids(&restarted.get_members()),
365
- ["ra", "rb", "rc"],
366
- "membership is durable, not reconstructed from how the process was launched"
367
- );
368
- assert_eq!(restarted.cluster().expect("cluster").cluster_id, "c1");
369
-
370
- // C goes offline. It is suspected, and it stays required.
371
- restarted.suspect_replica("rc").expect("suspect");
372
- let suspected = restarted
373
- .get_members()
374
- .into_iter()
375
- .find(|r| r.replica_id == "rc")
376
- .expect("rc");
377
- assert_eq!(suspected.status, ReplicaStatus::Suspected);
378
- assert!(suspected.required_for_reclamation);
379
- assert_eq!(
380
- ids(&restarted.get_required_replicas()),
381
- ["ra", "rb", "rc"],
382
- "an offline replica is still owed its history: being unreachable is not consent"
383
- );
384
-
385
- // Only an explicit removal changes it.
386
- restarted.remove_replica("rc").expect("remove");
387
- assert_eq!(
388
- ids(&restarted.get_required_replicas()),
389
- ["ra", "rb"],
390
- "removal is the only thing that takes a replica out of the reclamation set"
391
- );
392
- assert_eq!(
393
- ids(&restarted.get_members()),
394
- ["ra", "rb"],
395
- "and out of the membership"
396
- );
397
-
398
- // And that decision is durable too.
399
- let after_removal = store(&dir);
400
- assert_eq!(ids(&after_removal.get_required_replicas()), ["ra", "rb"]);
401
- assert_eq!(
402
- after_removal.all_replicas().len(),
403
- 3,
404
- "the removed replica is retained for audit, not erased"
405
- );
406
- }
407
-
408
- // -- the critical rule, from several directions ------------------------
409
-
410
- #[test]
411
- fn membership_a_stale_last_seen_never_changes_what_is_required() {
412
- // There is no code path that derives `required_for_reclamation` from
413
- // liveness, and this asserts the absence: a replica untouched since
414
- // the epoch is still required.
415
- let dir = tempfile::tempdir().unwrap();
416
- let mut cluster = store(&dir);
417
- cluster.create_cluster("c1").unwrap();
418
- cluster.join_replica("rc", "C").unwrap();
419
- cluster.approve_replica("rc").unwrap();
420
-
421
- cluster.suspect_replica("rc").unwrap();
422
- let ancient = cluster.all_replicas().into_iter().next().unwrap();
423
- assert_eq!(ancient.last_seen_at_ms, None, "never seen at all");
424
- assert!(
425
- ancient.required_for_reclamation,
426
- "a replica that has never been seen is still required: silence is not removal"
427
- );
428
- assert_eq!(ids(&cluster.get_required_replicas()), ["rc"]);
429
- }
430
-
431
- #[test]
432
- fn membership_suspicion_is_reversible_and_removal_is_not() {
433
- let dir = tempfile::tempdir().unwrap();
434
- let mut cluster = store(&dir);
435
- cluster.create_cluster("c1").unwrap();
436
- cluster.join_replica("rc", "C").unwrap();
437
- cluster.approve_replica("rc").unwrap();
438
-
439
- cluster.suspect_replica("rc").unwrap();
440
- cluster.mark_seen("rc").unwrap();
441
- let seen = cluster.get_members().into_iter().next().unwrap();
442
- assert_eq!(
443
- seen.status,
444
- ReplicaStatus::Active,
445
- "contact reinstates a suspected replica"
446
- );
447
- assert!(seen.last_seen_at_ms.is_some());
448
-
449
- cluster.remove_replica("rc").unwrap();
450
- cluster.mark_seen("rc").unwrap();
451
- let after = cluster.all_replicas().into_iter().next().unwrap();
452
- assert_eq!(
453
- after.status,
454
- ReplicaStatus::Removed,
455
- "contact does NOT resurrect a removed replica: removal is a decision, not an observation"
456
- );
457
- assert!(!after.required_for_reclamation);
458
- assert!(cluster.get_required_replicas().is_empty());
459
- }
460
-
461
- #[test]
462
- fn membership_a_joining_replica_is_a_member_but_not_yet_required() {
463
- // A replica being seeded holds nothing anyone is waiting on, so it does
464
- // not pin history. Approval is the moment retention starts on its
465
- // behalf, which is why approval is explicit.
466
- let dir = tempfile::tempdir().unwrap();
467
- let mut cluster = store(&dir);
468
- cluster.create_cluster("c1").unwrap();
469
- cluster.join_replica("rd", "D").unwrap();
470
-
471
- assert_eq!(ids(&cluster.get_members()), ["rd"]);
472
- assert!(cluster.get_required_replicas().is_empty());
473
-
474
- cluster.approve_replica("rd").unwrap();
475
- assert_eq!(ids(&cluster.get_required_replicas()), ["rd"]);
476
- }
477
-
478
- #[test]
479
- fn membership_a_removed_replica_rejoins_by_joining_not_by_appearing() {
480
- let dir = tempfile::tempdir().unwrap();
481
- let mut cluster = store(&dir);
482
- cluster.create_cluster("c1").unwrap();
483
- cluster.join_replica("rc", "C").unwrap();
484
- cluster.approve_replica("rc").unwrap();
485
- cluster.remove_replica("rc").unwrap();
486
-
487
- // Its identity is still recorded, so a re-join is a deliberate act
488
- // rather than an accident of reconnecting.
489
- assert!(matches!(
490
- cluster.join_replica("rc", "C"),
491
- Err(MembershipError::ReplicaExists(_))
492
- ));
493
- assert!(cluster.get_required_replicas().is_empty());
494
- }
495
-
496
- // -- configured peer is not a cluster member ---------------------------
497
-
498
- #[test]
499
- fn membership_is_empty_until_someone_creates_it() {
500
- // A node with peers configured has no members. This is the separation
501
- // the ADR found missing: connection configuration says nothing about
502
- // who is owed history.
503
- let dir = tempfile::tempdir().unwrap();
504
- let cluster = store(&dir);
505
- assert!(cluster.cluster().is_none());
506
- assert!(cluster.get_members().is_empty());
507
- assert!(cluster.get_required_replicas().is_empty());
508
- }
509
-
510
- #[test]
511
- fn membership_operations_need_a_cluster() {
512
- let dir = tempfile::tempdir().unwrap();
513
- let mut cluster = store(&dir);
514
- assert!(matches!(
515
- cluster.join_replica("ra", "A"),
516
- Err(MembershipError::NoCluster)
517
- ));
518
- cluster.create_cluster("c1").unwrap();
519
- assert!(matches!(
520
- cluster.create_cluster("c2"),
521
- Err(MembershipError::ClusterExists(_))
522
- ));
523
- }
524
-
525
- #[test]
526
- fn membership_approval_requires_joining_first() {
527
- let dir = tempfile::tempdir().unwrap();
528
- let mut cluster = store(&dir);
529
- cluster.create_cluster("c1").unwrap();
530
- assert!(matches!(
531
- cluster.approve_replica("ghost"),
532
- Err(MembershipError::UnknownReplica(_))
533
- ));
534
- cluster.join_replica("ra", "A").unwrap();
535
- cluster.approve_replica("ra").unwrap();
536
- assert!(
537
- matches!(
538
- cluster.approve_replica("ra"),
539
- Err(MembershipError::NotJoining(_))
540
- ),
541
- "approving twice is not a silent no-op"
542
- );
543
- }
544
-
545
- // -- replication membership is not authorization membership ------------
546
-
547
- #[test]
548
- fn membership_is_not_the_authorization_membership_of_the_same_name() {
549
- // The ADR found that `membership` in this codebase meant users and
550
- // organisations, in policy_evaluation.rs, and that replication had no
551
- // membership at all. These are different concepts with the same word,
552
- // and the failure mode is that one silently starts standing in for the
553
- // other.
554
- //
555
- // The behavioural separation: this store's contents are exactly what
556
- // was explicitly joined here. Authorization records live in the
557
- // application's own collections and cannot reach this file -- there is
558
- // no read path from one to the other, and the reclamation set below is
559
- // unchanged by any amount of authorization data.
560
- let dir = tempfile::tempdir().unwrap();
561
- let mut cluster = store(&dir);
562
- cluster.create_cluster("c1").unwrap();
563
- cluster.join_replica("ra", "A").unwrap();
564
- cluster.approve_replica("ra").unwrap();
565
-
566
- // An application's authorization membership: a user in an organisation.
567
- // Written where application state lives, which is a different place
568
- // entirely.
569
- let mut application_state = crate::state_hash::CanonicalState::new();
570
- application_state.set_record(
571
- "memberships".to_string(),
572
- "user-1:org-1".to_string(),
573
- serde_json::json!({ "user_id": "user-1", "organization_id": "org-1", "role": "admin" }),
574
- );
575
- assert_eq!(application_state.records.len(), 1);
576
-
577
- assert_eq!(
578
- ids(&cluster.get_required_replicas()),
579
- ["ra"],
580
- "the reclamation set is what was joined as a replica, and nothing else"
581
- );
582
- let reopened = store(&dir);
583
- assert_eq!(ids(&reopened.get_required_replicas()), ["ra"]);
584
- assert!(
585
- reopened
586
- .all_replicas()
587
- .iter()
588
- .all(|replica| replica.node_id == "A"),
589
- "no authorization principal became a replica"
590
- );
591
- }
592
-
593
- // -- durability and concurrency ----------------------------------------
594
-
595
- #[test]
596
- fn membership_every_transition_is_durable_immediately() {
597
- // Not just at shutdown: each operation persists, because the process
598
- // that is about to be killed is the one whose membership matters.
599
- let dir = tempfile::tempdir().unwrap();
600
- let mut cluster = store(&dir);
601
- cluster.create_cluster("c1").unwrap();
602
- assert_eq!(store(&dir).cluster().expect("cluster").cluster_id, "c1");
603
-
604
- cluster.join_replica("ra", "A").unwrap();
605
- assert_eq!(ids(&store(&dir).get_members()), ["ra"]);
606
-
607
- cluster.approve_replica("ra").unwrap();
608
- assert_eq!(ids(&store(&dir).get_required_replicas()), ["ra"]);
609
-
610
- cluster.suspect_replica("ra").unwrap();
611
- assert_eq!(
612
- ids(&store(&dir).get_required_replicas()),
613
- ["ra"],
614
- "suspicion is durable and still does not change what is required"
615
- );
616
-
617
- cluster.remove_replica("ra").unwrap();
618
- assert!(store(&dir).get_required_replicas().is_empty());
619
- }
620
-
621
- #[test]
622
- fn membership_concurrent_transitions_do_not_lose_updates() {
623
- use std::sync::{Arc, Mutex};
624
- let dir = tempfile::tempdir().unwrap();
625
- let path = dir.path().join("membership.json");
626
- let shared = Arc::new(Mutex::new(MembershipStore::open(&path).unwrap()));
627
- shared.lock().unwrap().create_cluster("c1").unwrap();
628
-
629
- let mut threads = Vec::new();
630
- for index in 0..8 {
631
- let shared = Arc::clone(&shared);
632
- threads.push(std::thread::spawn(move || {
633
- let replica = format!("r{index}");
634
- let mut guard = shared.lock().unwrap();
635
- guard.join_replica(&replica, &format!("N{index}")).unwrap();
636
- guard.approve_replica(&replica).unwrap();
637
- }));
638
- }
639
- for thread in threads {
640
- thread.join().unwrap();
641
- }
642
-
643
- assert_eq!(shared.lock().unwrap().get_required_replicas().len(), 8);
644
-
645
- // And the file on disk agrees: no interleaved write left it torn or
646
- // holding a partial set.
647
- let reloaded = MembershipStore::open(&path).unwrap();
648
- assert_eq!(
649
- reloaded.get_required_replicas().len(),
650
- 8,
651
- "the durable record holds every transition, not the last writer's view"
652
- );
653
- }
654
-
655
- #[test]
656
- fn membership_a_torn_write_cannot_be_observed() {
657
- // The write is temp-file plus rename, so a reader either sees the
658
- // previous cluster or the next one. This asserts the temp file is not
659
- // left behind as a readable half-state at the real path.
660
- let dir = tempfile::tempdir().unwrap();
661
- let path = dir.path().join("membership.json");
662
- let mut cluster = MembershipStore::open(&path).unwrap();
663
- cluster.create_cluster("c1").unwrap();
664
- for index in 0..20 {
665
- cluster
666
- .join_replica(&format!("r{index}"), &format!("N{index}"))
667
- .unwrap();
668
- let observed = MembershipStore::open(&path).unwrap();
669
- assert_eq!(
670
- observed.get_members().len(),
671
- index + 1,
672
- "every observation is of a complete cluster"
673
- );
674
- }
675
- assert!(
676
- !path.with_extension("tmp").exists(),
677
- "no temp file is left at rest"
678
- );
679
- }
680
- }