@feltdb/core 0.4.11 → 0.4.13

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 (164) hide show
  1. package/dist/cli/commands.js +5 -2
  2. package/dist/cli/index.js +1 -1
  3. package/dist/create/cli.js +16 -1
  4. package/dist/create/create.js +30 -16
  5. package/dist/create/docker-compose-generator.js +48 -9
  6. package/dist/create/package-versions.js +1 -1
  7. package/dist/create/server-source/Cargo.lock +2238 -0
  8. package/dist/create/server-source/Cargo.toml +7 -0
  9. package/dist/create/server-source/crates/feltdb/Cargo.lock +175 -0
  10. package/dist/create/server-source/crates/feltdb/Cargo.toml +79 -0
  11. package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +370 -0
  12. package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +589 -0
  13. package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +259 -0
  14. package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +446 -0
  15. package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +272 -0
  16. package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +378 -0
  17. package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +414 -0
  18. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +486 -0
  19. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +273 -0
  20. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +587 -0
  21. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +513 -0
  22. package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +395 -0
  23. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +469 -0
  24. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +409 -0
  25. package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +627 -0
  26. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +383 -0
  27. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +298 -0
  28. package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +1698 -0
  29. package/dist/create/server-source/crates/feltdb/src/acquisition.rs +286 -0
  30. package/dist/create/server-source/crates/feltdb/src/admission.rs +192 -0
  31. package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +477 -0
  32. package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +566 -0
  33. package/dist/create/server-source/crates/feltdb/src/analytics.rs +475 -0
  34. package/dist/create/server-source/crates/feltdb/src/application.rs +2244 -0
  35. package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +1070 -0
  36. package/dist/create/server-source/crates/feltdb/src/authorization.rs +1030 -0
  37. package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +266 -0
  38. package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +8 -0
  39. package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +418 -0
  40. package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +482 -0
  41. package/dist/create/server-source/crates/feltdb/src/capability.rs +903 -0
  42. package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +261 -0
  43. package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +78 -0
  44. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +2214 -0
  45. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +194 -0
  46. package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +427 -0
  47. package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +453 -0
  48. package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +465 -0
  49. package/dist/create/server-source/crates/feltdb/src/convergence.rs +618 -0
  50. package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +418 -0
  51. package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +380 -0
  52. package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +362 -0
  53. package/dist/create/server-source/crates/feltdb/src/cron.rs +294 -0
  54. package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +474 -0
  55. package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +1003 -0
  56. package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +536 -0
  57. package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +364 -0
  58. package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +235 -0
  59. package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +207 -0
  60. package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +316 -0
  61. package/dist/create/server-source/crates/feltdb/src/execution.rs +426 -0
  62. package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +219 -0
  63. package/dist/create/server-source/crates/feltdb/src/indexing.rs +779 -0
  64. package/dist/create/server-source/crates/feltdb/src/lib.rs +2838 -0
  65. package/dist/create/server-source/crates/feltdb/src/materialization.rs +184 -0
  66. package/dist/create/server-source/crates/feltdb/src/metrics.rs +267 -0
  67. package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +311 -0
  68. package/dist/create/server-source/crates/feltdb/src/observability.rs +366 -0
  69. package/dist/create/server-source/crates/feltdb/src/operation.rs +251 -0
  70. package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +438 -0
  71. package/dist/create/server-source/crates/feltdb/src/operation_log.rs +344 -0
  72. package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +477 -0
  73. package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +166 -0
  74. package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +261 -0
  75. package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +560 -0
  76. package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +3226 -0
  77. package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +201 -0
  78. package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +263 -0
  79. package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +484 -0
  80. package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +216 -0
  81. package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +281 -0
  82. package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +323 -0
  83. package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +573 -0
  84. package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +404 -0
  85. package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +418 -0
  86. package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +381 -0
  87. package/dist/create/server-source/crates/feltdb/src/phase_1c_three_node.rs +523 -0
  88. package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +334 -0
  89. package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +306 -0
  90. package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +355 -0
  91. package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +395 -0
  92. package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +346 -0
  93. package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +430 -0
  94. package/dist/create/server-source/crates/feltdb/src/production_api.rs +400 -0
  95. package/dist/create/server-source/crates/feltdb/src/provenance.rs +207 -0
  96. package/dist/create/server-source/crates/feltdb/src/query_performance.rs +217 -0
  97. package/dist/create/server-source/crates/feltdb/src/references.rs +404 -0
  98. package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +401 -0
  99. package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +160 -0
  100. package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +132 -0
  101. package/dist/create/server-source/crates/feltdb/src/routing.rs +409 -0
  102. package/dist/create/server-source/crates/feltdb/src/sharding.rs +523 -0
  103. package/dist/create/server-source/crates/feltdb/src/state_contract.rs +3118 -0
  104. package/dist/create/server-source/crates/feltdb/src/state_hash.rs +291 -0
  105. package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +376 -0
  106. package/dist/create/server-source/crates/feltdb/src/storage.rs +267 -0
  107. package/dist/create/server-source/crates/feltdb/src/submission.rs +477 -0
  108. package/dist/create/server-source/crates/feltdb/src/sync.rs +483 -0
  109. package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +822 -0
  110. package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +366 -0
  111. package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +473 -0
  112. package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +949 -0
  113. package/dist/create/server-source/crates/feltdb/src/transactions.rs +646 -0
  114. package/dist/create/server-source/crates/feltdb/src/trigger.rs +390 -0
  115. package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +928 -0
  116. package/dist/create/server-source/crates/feltdb/src/workflow.rs +713 -0
  117. package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +510 -0
  118. package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +354 -0
  119. package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +594 -0
  120. package/dist/create/server-source/crates/feltdb/src/workload.rs +1310 -0
  121. package/dist/create/server-source/crates/feltdb-server/Cargo.toml +23 -0
  122. package/dist/create/server-source/crates/feltdb-server/README.md +79 -0
  123. package/dist/create/server-source/crates/feltdb-server/src/app_state.rs +73 -0
  124. package/dist/create/server-source/crates/feltdb-server/src/application_contract.rs +425 -0
  125. package/dist/create/server-source/crates/feltdb-server/src/artifacts.rs +449 -0
  126. package/dist/create/server-source/crates/feltdb-server/src/audit.rs +59 -0
  127. package/dist/create/server-source/crates/feltdb-server/src/auth.rs +308 -0
  128. package/dist/create/server-source/crates/feltdb-server/src/authorization.rs +228 -0
  129. package/dist/create/server-source/crates/feltdb-server/src/backup.rs +416 -0
  130. package/dist/create/server-source/crates/feltdb-server/src/causal.rs +218 -0
  131. package/dist/create/server-source/crates/feltdb-server/src/certification.rs +223 -0
  132. package/dist/create/server-source/crates/feltdb-server/src/clock.rs +132 -0
  133. package/dist/create/server-source/crates/feltdb-server/src/cluster.rs +165 -0
  134. package/dist/create/server-source/crates/feltdb-server/src/connections.rs +1044 -0
  135. package/dist/create/server-source/crates/feltdb-server/src/content.rs +111 -0
  136. package/dist/create/server-source/crates/feltdb-server/src/identity.rs +250 -0
  137. package/dist/create/server-source/crates/feltdb-server/src/key_management.rs +78 -0
  138. package/dist/create/server-source/crates/feltdb-server/src/key_provider.rs +247 -0
  139. package/dist/create/server-source/crates/feltdb-server/src/leases.rs +123 -0
  140. package/dist/create/server-source/crates/feltdb-server/src/lib.rs +25 -0
  141. package/dist/create/server-source/crates/feltdb-server/src/main.rs +8715 -0
  142. package/dist/create/server-source/crates/feltdb-server/src/metrics.rs +97 -0
  143. package/dist/create/server-source/crates/feltdb-server/src/portable_bundle.rs +350 -0
  144. package/dist/create/server-source/crates/feltdb-server/src/principals.rs +510 -0
  145. package/dist/create/server-source/crates/feltdb-server/src/providers.rs +269 -0
  146. package/dist/create/server-source/crates/feltdb-server/src/releases.rs +2563 -0
  147. package/dist/create/server-source/crates/feltdb-server/src/sessions.rs +156 -0
  148. package/dist/create/server-source/crates/feltdb-server/src/tenancy.rs +1097 -0
  149. package/dist/create/server-source/crates/feltdb-server/src/versions.rs +264 -0
  150. package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +31 -0
  151. package/dist/create/server-source/crates/feltdb-wasm/src/lib.rs +1086 -0
  152. package/dist/create/server-source/crates/feltdb-wasm/test.db +0 -0
  153. package/dist/flowspec.d.ts +2 -0
  154. package/dist/flowspec.d.ts.map +1 -1
  155. package/dist/flowspec.js +28 -4
  156. package/dist/state-contract.d.ts +7 -1
  157. package/dist/state-contract.d.ts.map +1 -1
  158. package/dist/studio/components/ApplicationDesigner.d.ts.map +1 -1
  159. package/dist/studio/components/index.js +1 -1
  160. package/dist/studio/{components-q43NSTTH.js → components-bHTARBin.js} +160 -89
  161. package/dist/studio/index.js +31 -28
  162. package/dist/studio-app/assets/{index-DZpBoVMp.js → index-BqKquLuU.js} +8 -8
  163. package/dist/studio-app/index.html +1 -1
  164. package/package.json +1 -1
@@ -0,0 +1,311 @@
1
+ /// Multi-Node Convergence Testing
2
+ ///
3
+ /// Tests whether independent nodes executing the same operations
4
+ /// (in potentially different orders) converge to identical state_hash.
5
+ ///
6
+ /// This is the core Gate 1 test: does operation-specific merge
7
+ /// semantics guarantee convergence despite arbitrary delivery order?
8
+
9
+ use crate::operation_log::MemoryOperationLog;
10
+ use crate::permutation_scheduler::{OperationSchedule, PermutationScheduler};
11
+ use crate::replay_fuzzing::ReplayFuzzer;
12
+ use crate::state_hash::StateHash;
13
+ use crate::state_transition_store::MemoryStateTransitionStore;
14
+ use crate::transactions::Operation;
15
+ use std::collections::HashMap;
16
+
17
+ /// Result of executing operations on a single simulated node
18
+ #[derive(Clone, Debug)]
19
+ pub struct NodeExecutionResult {
20
+ pub node_id: String,
21
+ pub schedule_strategy: String,
22
+ pub final_state_hash: StateHash,
23
+ pub operations_applied: u64,
24
+ }
25
+
26
+ /// Comparison of convergence across multiple nodes
27
+ #[derive(Clone, Debug)]
28
+ pub struct ConvergenceResult {
29
+ pub all_converged: bool,
30
+ pub canonical_hash: StateHash,
31
+ pub node_results: Vec<NodeExecutionResult>,
32
+ pub divergent_nodes: Vec<(String, StateHash)>,
33
+ }
34
+
35
+ impl ConvergenceResult {
36
+ pub fn summary(&self) -> String {
37
+ if self.all_converged {
38
+ format!(
39
+ "✓ Convergence successful: {} nodes → {}",
40
+ self.node_results.len(),
41
+ self.canonical_hash
42
+ )
43
+ } else {
44
+ let divergent_str = self
45
+ .divergent_nodes
46
+ .iter()
47
+ .map(|(node, hash)| format!("{}:{}", node, hash))
48
+ .collect::<Vec<_>>()
49
+ .join(", ");
50
+ format!(
51
+ "✗ Convergence failed: {} canonical, divergent: [{}]",
52
+ self.canonical_hash, divergent_str
53
+ )
54
+ }
55
+ }
56
+ }
57
+
58
+ /// Multi-node convergence simulator
59
+ pub struct MultiNodeConvergenceSimulator {
60
+ node_count: usize,
61
+ }
62
+
63
+ impl MultiNodeConvergenceSimulator {
64
+ pub fn new(node_count: usize) -> Self {
65
+ Self { node_count }
66
+ }
67
+
68
+ /// Execute operations on a single simulated node
69
+ fn execute_on_node(schedule: &OperationSchedule, node_id: &str) -> NodeExecutionResult {
70
+ let log = MemoryOperationLog::new();
71
+ let store = MemoryStateTransitionStore::new();
72
+
73
+ // Append operations to log in the schedule order
74
+ for op in &schedule.operations {
75
+ let _ = log.append(op.clone());
76
+ }
77
+
78
+ // Execute via replay fuzzer (deterministic replay)
79
+ let fuzzer = ReplayFuzzer::new(log, store);
80
+ let result = fuzzer.replay_normal();
81
+
82
+ NodeExecutionResult {
83
+ node_id: node_id.to_string(),
84
+ schedule_strategy: schedule.id(),
85
+ final_state_hash: result.final_state_hash,
86
+ operations_applied: result.operations_replayed,
87
+ }
88
+ }
89
+
90
+ /// Execute same operations across multiple nodes with different schedules
91
+ pub fn converge_with_schedules(&self, schedules: Vec<OperationSchedule>) -> ConvergenceResult {
92
+ let mut results = Vec::new();
93
+
94
+ for (idx, schedule) in schedules.iter().enumerate() {
95
+ let node_id = format!("node{}", idx);
96
+ let result = Self::execute_on_node(schedule, &node_id);
97
+ results.push(result);
98
+ }
99
+
100
+ // Extract unique hashes
101
+ let hashes: Vec<_> = results.iter().map(|r| r.final_state_hash.clone()).collect();
102
+ let unique_hashes: std::collections::HashSet<_> = hashes.iter().cloned().collect();
103
+
104
+ let (all_converged, canonical_hash, divergent_nodes) = if unique_hashes.len() == 1 {
105
+ let canonical = results[0].final_state_hash.clone();
106
+ (true, canonical, Vec::new())
107
+ } else {
108
+ // Multiple different hashes = divergence
109
+ let canonical = results[0].final_state_hash.clone();
110
+ let divergent: Vec<(String, StateHash)> = results
111
+ .iter()
112
+ .skip(1)
113
+ .filter(|r| r.final_state_hash != canonical)
114
+ .map(|r| (r.node_id.clone(), r.final_state_hash.clone()))
115
+ .collect();
116
+ (false, canonical, divergent)
117
+ };
118
+
119
+ ConvergenceResult {
120
+ all_converged,
121
+ canonical_hash,
122
+ node_results: results,
123
+ divergent_nodes,
124
+ }
125
+ }
126
+
127
+ /// Test convergence with all deterministic schedules
128
+ pub fn test_deterministic_convergence(&self, operations: &[Operation]) -> ConvergenceResult {
129
+ let schedules = PermutationScheduler::deterministic_schedules(operations);
130
+ self.converge_with_schedules(schedules)
131
+ }
132
+
133
+ /// Test convergence with minimal permutations (fast)
134
+ pub fn test_minimal_convergence(&self, operations: &[Operation]) -> ConvergenceResult {
135
+ let schedules = PermutationScheduler::minimal_schedules(operations);
136
+ self.converge_with_schedules(schedules)
137
+ }
138
+
139
+ /// Test convergence with comprehensive permutations
140
+ pub fn test_comprehensive_convergence(&self, operations: &[Operation]) -> ConvergenceResult {
141
+ let schedules = PermutationScheduler::comprehensive_schedules(operations, 50);
142
+ self.converge_with_schedules(schedules)
143
+ }
144
+
145
+ /// Test convergence with thorough permutations
146
+ pub fn test_thorough_convergence(&self, operations: &[Operation]) -> ConvergenceResult {
147
+ let schedules = PermutationScheduler::thorough_schedules(operations);
148
+ self.converge_with_schedules(schedules)
149
+ }
150
+
151
+ /// Aggregate convergence results across multiple test runs
152
+ pub fn aggregate_convergence_runs(
153
+ &self,
154
+ operations: &[Operation],
155
+ run_count: usize,
156
+ ) -> ConvergenceAggregation {
157
+ let mut run_results = Vec::new();
158
+ let mut all_passed = true;
159
+
160
+ for _ in 0..run_count {
161
+ let result = self.test_minimal_convergence(operations);
162
+ if !result.all_converged {
163
+ all_passed = false;
164
+ }
165
+ run_results.push(result);
166
+ }
167
+
168
+ ConvergenceAggregation {
169
+ all_runs_passed: all_passed,
170
+ run_results,
171
+ total_operations_tested: operations.len(),
172
+ }
173
+ }
174
+ }
175
+
176
+ /// Aggregated results from multiple convergence test runs
177
+ #[derive(Clone, Debug)]
178
+ pub struct ConvergenceAggregation {
179
+ pub all_runs_passed: bool,
180
+ pub run_results: Vec<ConvergenceResult>,
181
+ pub total_operations_tested: usize,
182
+ }
183
+
184
+ impl ConvergenceAggregation {
185
+ pub fn summary(&self) -> String {
186
+ let passed = self.run_results.iter().filter(|r| r.all_converged).count();
187
+ let total = self.run_results.len();
188
+
189
+ format!(
190
+ "Convergence Test Summary: {}/{} runs passed, {} operations tested",
191
+ passed, total, self.total_operations_tested
192
+ )
193
+ }
194
+
195
+ pub fn all_passed(&self) -> bool {
196
+ self.all_runs_passed
197
+ }
198
+ }
199
+
200
+ #[cfg(test)]
201
+ mod tests {
202
+ use super::*;
203
+ use crate::convergence::VectorClock;
204
+ use crate::transactions::{OperationId, OperationCommand, StateVersion};
205
+ use std::collections::HashMap;
206
+
207
+ fn create_test_operation(seq: u64, collection: &str, record_id: &str, value: i32) -> Operation {
208
+ let mut vc = VectorClock::new();
209
+ vc.increment("test_node");
210
+ let version = StateVersion::new(vc, "test_hash".to_string());
211
+
212
+ Operation::new(
213
+ OperationId::new("test_node".to_string(), seq),
214
+ version,
215
+ format!("Op{}", seq),
216
+ OperationCommand {
217
+ op_type: "UpdateField".to_string(),
218
+ collection: collection.to_string(),
219
+ record_id: record_id.to_string(),
220
+ fields: {
221
+ let mut m = HashMap::new();
222
+ m.insert("value".to_string(), serde_json::json!(value));
223
+ m
224
+ },
225
+ },
226
+ "test".to_string(),
227
+ )
228
+ }
229
+
230
+ #[test]
231
+ fn test_simulator_creation() {
232
+ let simulator = MultiNodeConvergenceSimulator::new(3);
233
+ assert_eq!(simulator.node_count, 3);
234
+ }
235
+
236
+ #[test]
237
+ fn test_single_operation_convergence() {
238
+ let ops = vec![create_test_operation(1, "records", "rec1", 10)];
239
+
240
+ let simulator = MultiNodeConvergenceSimulator::new(3);
241
+ let result = simulator.test_deterministic_convergence(&ops);
242
+
243
+ assert!(result.all_converged);
244
+ assert_eq!(result.node_results.len(), 3); // original, reversed, sorted
245
+ }
246
+
247
+ #[test]
248
+ fn test_multiple_operations_convergence() {
249
+ let ops = vec![
250
+ create_test_operation(1, "records", "rec1", 10),
251
+ create_test_operation(2, "records", "rec2", 20),
252
+ create_test_operation(3, "records", "rec3", 30),
253
+ ];
254
+
255
+ let simulator = MultiNodeConvergenceSimulator::new(3);
256
+ let result = simulator.test_minimal_convergence(&ops);
257
+
258
+ // All permutations should produce same hash
259
+ assert!(result.all_converged);
260
+ assert!(result.node_results.len() > 1);
261
+ }
262
+
263
+ #[test]
264
+ fn test_convergence_result_summary() {
265
+ let ops = vec![create_test_operation(1, "records", "rec1", 10)];
266
+
267
+ let simulator = MultiNodeConvergenceSimulator::new(3);
268
+ let result = simulator.test_deterministic_convergence(&ops);
269
+
270
+ let summary = result.summary();
271
+ assert!(summary.contains("Convergence"));
272
+ }
273
+
274
+ #[test]
275
+ fn test_aggregation_summary() {
276
+ let ops = vec![
277
+ create_test_operation(1, "records", "rec1", 10),
278
+ create_test_operation(2, "records", "rec2", 20),
279
+ ];
280
+
281
+ let simulator = MultiNodeConvergenceSimulator::new(3);
282
+ let agg = simulator.aggregate_convergence_runs(&ops, 3);
283
+
284
+ let summary = agg.summary();
285
+ assert!(summary.contains("Summary"));
286
+ assert_eq!(agg.total_operations_tested, 2);
287
+ }
288
+
289
+ #[test]
290
+ fn test_deterministic_vs_minimal_vs_comprehensive() {
291
+ let ops = vec![
292
+ create_test_operation(1, "records", "rec1", 10),
293
+ create_test_operation(2, "records", "rec2", 20),
294
+ ];
295
+
296
+ let simulator = MultiNodeConvergenceSimulator::new(3);
297
+
298
+ let det = simulator.test_deterministic_convergence(&ops);
299
+ let min = simulator.test_minimal_convergence(&ops);
300
+ let comp = simulator.test_comprehensive_convergence(&ops);
301
+
302
+ // deterministic should have fewer results than minimal/comprehensive
303
+ assert!(det.node_results.len() <= min.node_results.len());
304
+ assert!(min.node_results.len() <= comp.node_results.len());
305
+
306
+ // All should converge
307
+ assert!(det.all_converged);
308
+ assert!(min.all_converged);
309
+ assert!(comp.all_converged);
310
+ }
311
+ }
@@ -0,0 +1,366 @@
1
+ /// Observability Layer
2
+ ///
3
+ /// Comprehensive monitoring and observability:
4
+ /// - Replication lag tracking
5
+ /// - Convergence status
6
+ /// - Query latency monitoring
7
+ /// - Rejected operations tracking
8
+ /// - Index health metrics
9
+ /// - Recovery state visibility
10
+
11
+ use serde::{Deserialize, Serialize};
12
+ use std::collections::HashMap;
13
+ use std::sync::Arc;
14
+ use std::sync::atomic::{AtomicU64, Ordering};
15
+
16
+ #[derive(Debug, Clone, Serialize, Deserialize)]
17
+ pub struct ReplicationLagMetric {
18
+ pub source_node: String,
19
+ pub target_node: String,
20
+ pub lag_ms: u64,
21
+ pub pending_operations: u64,
22
+ pub last_update: u64,
23
+ }
24
+
25
+ #[derive(Debug, Clone, Serialize, Deserialize)]
26
+ pub struct ConvergenceStatus {
27
+ pub node_id: String,
28
+ pub status: String,
29
+ pub synchronized_peers: Vec<String>,
30
+ pub diverged_peers: Vec<String>,
31
+ pub convergence_percentage: f64,
32
+ pub timestamp: u64,
33
+ }
34
+
35
+ #[derive(Debug, Clone, Serialize, Deserialize)]
36
+ pub struct RejectedOperation {
37
+ pub operation_id: String,
38
+ pub reason: String,
39
+ pub timestamp: u64,
40
+ pub node_id: String,
41
+ }
42
+
43
+ #[derive(Debug, Clone, Serialize, Deserialize)]
44
+ pub struct IndexHealth {
45
+ pub index_name: String,
46
+ pub status: String,
47
+ pub entries_count: u64,
48
+ pub memory_bytes: u64,
49
+ pub last_compaction: u64,
50
+ pub fragmentation: f64,
51
+ }
52
+
53
+ #[derive(Debug, Clone, Serialize, Deserialize)]
54
+ pub struct RecoveryState {
55
+ pub node_id: String,
56
+ pub status: String,
57
+ pub operations_replayed: u64,
58
+ pub operations_remaining: u64,
59
+ pub recovery_start: u64,
60
+ pub estimated_completion: u64,
61
+ pub progress_percentage: f64,
62
+ }
63
+
64
+ #[derive(Debug, Clone, Serialize, Deserialize)]
65
+ pub struct HealthReport {
66
+ pub timestamp: u64,
67
+ pub overall_status: String,
68
+ pub replication_lag: Vec<ReplicationLagMetric>,
69
+ pub convergence: Vec<ConvergenceStatus>,
70
+ pub rejected_operations: Vec<RejectedOperation>,
71
+ pub index_health: Vec<IndexHealth>,
72
+ pub recovery_states: Vec<RecoveryState>,
73
+ pub query_latency_p99: u64,
74
+ pub operation_throughput: u64,
75
+ }
76
+
77
+ pub struct ObservabilityManager {
78
+ node_id: String,
79
+ replication_lags: HashMap<String, ReplicationLagMetric>,
80
+ convergence_status: HashMap<String, ConvergenceStatus>,
81
+ rejected_operations: Vec<RejectedOperation>,
82
+ index_health: HashMap<String, IndexHealth>,
83
+ recovery_states: HashMap<String, RecoveryState>,
84
+
85
+ query_latency_p99: Arc<AtomicU64>,
86
+ operation_throughput: Arc<AtomicU64>,
87
+ total_rejected: Arc<AtomicU64>,
88
+ }
89
+
90
+ impl ObservabilityManager {
91
+ pub fn new(node_id: String) -> Self {
92
+ ObservabilityManager {
93
+ node_id,
94
+ replication_lags: HashMap::new(),
95
+ convergence_status: HashMap::new(),
96
+ rejected_operations: Vec::new(),
97
+ index_health: HashMap::new(),
98
+ recovery_states: HashMap::new(),
99
+ query_latency_p99: Arc::new(AtomicU64::new(0)),
100
+ operation_throughput: Arc::new(AtomicU64::new(0)),
101
+ total_rejected: Arc::new(AtomicU64::new(0)),
102
+ }
103
+ }
104
+
105
+ pub fn record_replication_lag(&mut self, source: String, target: String, lag_ms: u64, pending: u64) {
106
+ let now = std::time::SystemTime::now()
107
+ .duration_since(std::time::UNIX_EPOCH)
108
+ .unwrap_or_default()
109
+ .as_secs();
110
+
111
+ self.replication_lags.insert(
112
+ format!("{}:{}", source.clone(), target.clone()),
113
+ ReplicationLagMetric {
114
+ source_node: source,
115
+ target_node: target,
116
+ lag_ms,
117
+ pending_operations: pending,
118
+ last_update: now,
119
+ },
120
+ );
121
+ }
122
+
123
+ pub fn record_convergence_status(
124
+ &mut self,
125
+ node_id: String,
126
+ synchronized_peers: Vec<String>,
127
+ diverged_peers: Vec<String>,
128
+ ) {
129
+ let total = synchronized_peers.len() + diverged_peers.len();
130
+ let convergence_percentage = if total > 0 {
131
+ (synchronized_peers.len() as f64 / total as f64) * 100.0
132
+ } else {
133
+ 100.0
134
+ };
135
+
136
+ let status = if diverged_peers.is_empty() {
137
+ "converged"
138
+ } else {
139
+ "diverged"
140
+ };
141
+
142
+ self.convergence_status.insert(
143
+ node_id.clone(),
144
+ ConvergenceStatus {
145
+ node_id,
146
+ status: status.to_string(),
147
+ synchronized_peers,
148
+ diverged_peers,
149
+ convergence_percentage,
150
+ timestamp: std::time::SystemTime::now()
151
+ .duration_since(std::time::UNIX_EPOCH)
152
+ .unwrap_or_default()
153
+ .as_secs(),
154
+ },
155
+ );
156
+ }
157
+
158
+ pub fn record_rejected_operation(&mut self, operation_id: String, reason: String) {
159
+ self.rejected_operations.push(RejectedOperation {
160
+ operation_id,
161
+ reason,
162
+ timestamp: std::time::SystemTime::now()
163
+ .duration_since(std::time::UNIX_EPOCH)
164
+ .unwrap_or_default()
165
+ .as_secs(),
166
+ node_id: self.node_id.clone(),
167
+ });
168
+
169
+ self.total_rejected.fetch_add(1, Ordering::Relaxed);
170
+
171
+ if self.rejected_operations.len() > 10000 {
172
+ self.rejected_operations.remove(0);
173
+ }
174
+ }
175
+
176
+ pub fn record_index_health(
177
+ &mut self,
178
+ index_name: String,
179
+ entries: u64,
180
+ memory_bytes: u64,
181
+ fragmentation: f64,
182
+ ) {
183
+ self.index_health.insert(
184
+ index_name.clone(),
185
+ IndexHealth {
186
+ index_name,
187
+ status: "healthy".to_string(),
188
+ entries_count: entries,
189
+ memory_bytes,
190
+ last_compaction: std::time::SystemTime::now()
191
+ .duration_since(std::time::UNIX_EPOCH)
192
+ .unwrap_or_default()
193
+ .as_secs(),
194
+ fragmentation,
195
+ },
196
+ );
197
+ }
198
+
199
+ pub fn record_recovery_state(
200
+ &mut self,
201
+ node_id: String,
202
+ replayed: u64,
203
+ remaining: u64,
204
+ start_time: u64,
205
+ ) {
206
+ let progress_percentage = if replayed + remaining > 0 {
207
+ (replayed as f64 / (replayed + remaining) as f64) * 100.0
208
+ } else {
209
+ 100.0
210
+ };
211
+
212
+ let now = std::time::SystemTime::now()
213
+ .duration_since(std::time::UNIX_EPOCH)
214
+ .unwrap_or_default()
215
+ .as_secs();
216
+
217
+ let elapsed = now - start_time;
218
+ let rate = if elapsed > 0 {
219
+ replayed / elapsed.max(1)
220
+ } else {
221
+ 0
222
+ };
223
+
224
+ let estimated_completion = if rate > 0 {
225
+ now + ((remaining / rate.max(1)) as u64)
226
+ } else {
227
+ now + 3600
228
+ };
229
+
230
+ self.recovery_states.insert(
231
+ node_id.clone(),
232
+ RecoveryState {
233
+ node_id,
234
+ status: if remaining == 0 {
235
+ "complete".to_string()
236
+ } else {
237
+ "in_progress".to_string()
238
+ },
239
+ operations_replayed: replayed,
240
+ operations_remaining: remaining,
241
+ recovery_start: start_time,
242
+ estimated_completion,
243
+ progress_percentage,
244
+ },
245
+ );
246
+ }
247
+
248
+ pub fn record_query_latency(&self, p99_us: u64) {
249
+ self.query_latency_p99.store(p99_us, Ordering::Relaxed);
250
+ }
251
+
252
+ pub fn record_operation_throughput(&self, ops_per_sec: u64) {
253
+ self.operation_throughput.store(ops_per_sec, Ordering::Relaxed);
254
+ }
255
+
256
+ pub fn get_health_report(&self) -> HealthReport {
257
+ let now = std::time::SystemTime::now()
258
+ .duration_since(std::time::UNIX_EPOCH)
259
+ .unwrap_or_default()
260
+ .as_secs();
261
+
262
+ let overall_status = if self.convergence_status
263
+ .values()
264
+ .all(|c| c.diverged_peers.is_empty())
265
+ {
266
+ "healthy"
267
+ } else {
268
+ "degraded"
269
+ };
270
+
271
+ HealthReport {
272
+ timestamp: now,
273
+ overall_status: overall_status.to_string(),
274
+ replication_lag: self.replication_lags.values().cloned().collect(),
275
+ convergence: self.convergence_status.values().cloned().collect(),
276
+ rejected_operations: self.rejected_operations.iter().rev().take(100).cloned().collect(),
277
+ index_health: self.index_health.values().cloned().collect(),
278
+ recovery_states: self.recovery_states.values().cloned().collect(),
279
+ query_latency_p99: self.query_latency_p99.load(Ordering::Relaxed),
280
+ operation_throughput: self.operation_throughput.load(Ordering::Relaxed),
281
+ }
282
+ }
283
+
284
+ pub fn export_prometheus_metrics(&self) -> String {
285
+ let report = self.get_health_report();
286
+ let mut metrics = String::new();
287
+
288
+ metrics.push_str(&format!(
289
+ "feltdb_query_latency_p99_us {}\n",
290
+ report.query_latency_p99
291
+ ));
292
+ metrics.push_str(&format!(
293
+ "feltdb_operation_throughput_ops_per_sec {}\n",
294
+ report.operation_throughput
295
+ ));
296
+ metrics.push_str(&format!(
297
+ "feltdb_rejected_operations_total {}\n",
298
+ self.total_rejected.load(Ordering::Relaxed)
299
+ ));
300
+
301
+ for lag in &report.replication_lag {
302
+ metrics.push_str(&format!(
303
+ "feltdb_replication_lag_ms{{source=\"{}\",target=\"{}\"}} {}\n",
304
+ lag.source_node, lag.target_node, lag.lag_ms
305
+ ));
306
+ }
307
+
308
+ metrics
309
+ }
310
+ }
311
+
312
+ impl Default for ObservabilityManager {
313
+ fn default() -> Self {
314
+ Self::new("node".to_string())
315
+ }
316
+ }
317
+
318
+ #[cfg(test)]
319
+ mod tests {
320
+ use super::*;
321
+
322
+ #[test]
323
+ fn test_replication_lag_tracking() {
324
+ let mut obs = ObservabilityManager::new("node-1".to_string());
325
+ obs.record_replication_lag("node-1".to_string(), "node-2".to_string(), 150, 50);
326
+
327
+ let report = obs.get_health_report();
328
+ assert_eq!(report.replication_lag.len(), 1);
329
+ assert_eq!(report.replication_lag[0].lag_ms, 150);
330
+ }
331
+
332
+ #[test]
333
+ fn test_convergence_tracking() {
334
+ let mut obs = ObservabilityManager::new("node-1".to_string());
335
+ obs.record_convergence_status(
336
+ "node-1".to_string(),
337
+ vec!["node-2".to_string(), "node-3".to_string()],
338
+ vec![],
339
+ );
340
+
341
+ let report = obs.get_health_report();
342
+ assert_eq!(report.overall_status, "healthy");
343
+ assert_eq!(report.convergence[0].convergence_percentage, 100.0);
344
+ }
345
+
346
+ #[test]
347
+ fn test_rejected_operations() {
348
+ let mut obs = ObservabilityManager::new("node-1".to_string());
349
+ obs.record_rejected_operation("op-1".to_string(), "conflict".to_string());
350
+ obs.record_rejected_operation("op-2".to_string(), "timeout".to_string());
351
+
352
+ let report = obs.get_health_report();
353
+ assert_eq!(report.rejected_operations.len(), 2);
354
+ }
355
+
356
+ #[test]
357
+ fn test_prometheus_export() {
358
+ let mut obs = ObservabilityManager::new("node-1".to_string());
359
+ obs.record_query_latency(1200);
360
+ obs.record_operation_throughput(5000);
361
+
362
+ let metrics = obs.export_prometheus_metrics();
363
+ assert!(metrics.contains("feltdb_query_latency_p99_us 1200"));
364
+ assert!(metrics.contains("feltdb_operation_throughput_ops_per_sec 5000"));
365
+ }
366
+ }