@feltdb/core 0.4.12 → 0.4.14

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 (165) hide show
  1. package/dist/cli/commands.js +42 -25
  2. package/dist/cli/index.js +1 -1
  3. package/dist/create/cli.js +39 -4
  4. package/dist/create/create.js +30 -18
  5. package/dist/create/docker-compose-generator.js +68 -11
  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/ConflictExplorer.d.ts.map +1 -1
  160. package/dist/studio/components/index.js +1 -1
  161. package/dist/studio/{components-Q0Nx6gLE.js → components-9kDSWiGL.js} +163 -47
  162. package/dist/studio/index.js +31 -28
  163. package/dist/studio-app/assets/{index-BHOmLZF-.js → index-DVdvmf69.js} +9 -9
  164. package/dist/studio-app/index.html +1 -1
  165. package/package.json +1 -1
@@ -0,0 +1,400 @@
1
+ /// Production Query/Mutation API
2
+ ///
3
+ /// High-level production-ready API for:
4
+ /// - Native state reads
5
+ /// - Atomic mutations
6
+ /// - Transactions with consistency controls
7
+ /// - Relationship access patterns
8
+ /// - Materialized views and projections
9
+ /// - Multi-key operations
10
+
11
+ use serde::{Deserialize, Serialize};
12
+ use std::collections::HashMap;
13
+
14
+ #[derive(Debug, Clone, Serialize, Deserialize)]
15
+ pub struct StateValue {
16
+ pub id: String,
17
+ pub data: serde_json::Value,
18
+ pub version: u64,
19
+ pub created_at: u64,
20
+ pub updated_at: u64,
21
+ }
22
+
23
+ #[derive(Debug, Clone, Serialize, Deserialize)]
24
+ pub enum ConsistencyLevel {
25
+ Strong,
26
+ Eventual,
27
+ Causal,
28
+ }
29
+
30
+ #[derive(Debug, Clone, Serialize, Deserialize)]
31
+ pub struct ReadOptions {
32
+ pub consistency: ConsistencyLevel,
33
+ pub include_history: bool,
34
+ pub timeout_ms: u64,
35
+ }
36
+
37
+ impl Default for ReadOptions {
38
+ fn default() -> Self {
39
+ ReadOptions {
40
+ consistency: ConsistencyLevel::Strong,
41
+ include_history: false,
42
+ timeout_ms: 5000,
43
+ }
44
+ }
45
+ }
46
+
47
+ #[derive(Debug, Clone, Serialize, Deserialize)]
48
+ pub struct WriteOptions {
49
+ pub consistency: ConsistencyLevel,
50
+ pub idempotency_key: Option<String>,
51
+ pub conditional: Option<String>,
52
+ pub timeout_ms: u64,
53
+ }
54
+
55
+ impl Default for WriteOptions {
56
+ fn default() -> Self {
57
+ WriteOptions {
58
+ consistency: ConsistencyLevel::Strong,
59
+ idempotency_key: None,
60
+ conditional: None,
61
+ timeout_ms: 5000,
62
+ }
63
+ }
64
+ }
65
+
66
+ #[derive(Debug, Clone, Serialize, Deserialize)]
67
+ pub struct Mutation {
68
+ pub operation: String,
69
+ pub resource_type: String,
70
+ pub resource_id: String,
71
+ pub data: serde_json::Value,
72
+ }
73
+
74
+ #[derive(Debug, Clone, Serialize, Deserialize)]
75
+ pub struct MutationResult {
76
+ pub success: bool,
77
+ pub resource_id: String,
78
+ pub version: u64,
79
+ pub errors: Vec<String>,
80
+ }
81
+
82
+ #[derive(Debug, Clone, Serialize, Deserialize)]
83
+ pub struct RelationshipQuery {
84
+ pub source_type: String,
85
+ pub source_id: String,
86
+ pub relationship: String,
87
+ pub target_type: Option<String>,
88
+ }
89
+
90
+ #[derive(Debug, Clone, Serialize, Deserialize)]
91
+ pub struct RelationshipResult {
92
+ pub source_id: String,
93
+ pub relationship: String,
94
+ pub targets: Vec<String>,
95
+ }
96
+
97
+ #[derive(Debug, Clone, Serialize, Deserialize)]
98
+ pub struct MaterializedView {
99
+ pub view_name: String,
100
+ pub base_resources: Vec<String>,
101
+ pub projection_fields: Vec<String>,
102
+ pub aggregation: Option<String>,
103
+ pub data: Vec<serde_json::Value>,
104
+ }
105
+
106
+ #[derive(Debug, Clone, Serialize, Deserialize)]
107
+ pub struct TransactionRequest {
108
+ pub mutations: Vec<Mutation>,
109
+ pub consistency: ConsistencyLevel,
110
+ pub timeout_ms: u64,
111
+ }
112
+
113
+ #[derive(Debug, Clone, Serialize, Deserialize)]
114
+ pub struct TransactionResult {
115
+ pub transaction_id: String,
116
+ pub success: bool,
117
+ pub results: Vec<MutationResult>,
118
+ pub errors: Vec<String>,
119
+ }
120
+
121
+ pub struct ProductionAPI {
122
+ state_store: HashMap<String, StateValue>,
123
+ relationships: HashMap<String, Vec<String>>,
124
+ views: HashMap<String, MaterializedView>,
125
+ transaction_id_counter: u64,
126
+ }
127
+
128
+ impl ProductionAPI {
129
+ pub fn new() -> Self {
130
+ ProductionAPI {
131
+ state_store: HashMap::new(),
132
+ relationships: HashMap::new(),
133
+ views: HashMap::new(),
134
+ transaction_id_counter: 0,
135
+ }
136
+ }
137
+
138
+ pub fn read(&self, id: &str, _options: ReadOptions) -> Result<StateValue, String> {
139
+ self.state_store
140
+ .get(id)
141
+ .cloned()
142
+ .ok_or_else(|| format!("Resource not found: {}", id))
143
+ }
144
+
145
+ pub fn read_many(&self, ids: &[&str], _options: ReadOptions) -> Result<Vec<StateValue>, String> {
146
+ let mut results = Vec::new();
147
+ for id in ids {
148
+ if let Some(value) = self.state_store.get(*id) {
149
+ results.push(value.clone());
150
+ }
151
+ }
152
+ Ok(results)
153
+ }
154
+
155
+ pub fn write(&mut self, mutation: Mutation, options: WriteOptions) -> Result<MutationResult, String> {
156
+ if let Some(ref key) = options.idempotency_key {
157
+ if let Some(existing) = self.state_store.get(&mutation.resource_id) {
158
+ return Ok(MutationResult {
159
+ success: true,
160
+ resource_id: mutation.resource_id.clone(),
161
+ version: existing.version,
162
+ errors: vec!["Already applied (idempotent)".to_string()],
163
+ });
164
+ }
165
+ }
166
+
167
+ let now = std::time::SystemTime::now()
168
+ .duration_since(std::time::UNIX_EPOCH)
169
+ .unwrap_or_default()
170
+ .as_secs();
171
+
172
+ let value = StateValue {
173
+ id: mutation.resource_id.clone(),
174
+ data: mutation.data,
175
+ version: 1,
176
+ created_at: now,
177
+ updated_at: now,
178
+ };
179
+
180
+ self.state_store.insert(mutation.resource_id.clone(), value.clone());
181
+
182
+ Ok(MutationResult {
183
+ success: true,
184
+ resource_id: mutation.resource_id,
185
+ version: value.version,
186
+ errors: Vec::new(),
187
+ })
188
+ }
189
+
190
+ pub fn write_many(
191
+ &mut self,
192
+ mutations: Vec<Mutation>,
193
+ options: WriteOptions,
194
+ ) -> Result<Vec<MutationResult>, String> {
195
+ let mut results = Vec::new();
196
+ for mutation in mutations {
197
+ match self.write(mutation, options.clone()) {
198
+ Ok(result) => results.push(result),
199
+ Err(e) => {
200
+ results.push(MutationResult {
201
+ success: false,
202
+ resource_id: "unknown".to_string(),
203
+ version: 0,
204
+ errors: vec![e],
205
+ });
206
+ }
207
+ }
208
+ }
209
+ Ok(results)
210
+ }
211
+
212
+ pub fn transaction(&mut self, request: TransactionRequest) -> Result<TransactionResult, String> {
213
+ self.transaction_id_counter += 1;
214
+ let transaction_id = format!("tx-{}", self.transaction_id_counter);
215
+
216
+ let mut results = Vec::new();
217
+ let mut errors = Vec::new();
218
+
219
+ for mutation in request.mutations {
220
+ let options = WriteOptions {
221
+ consistency: request.consistency.clone(),
222
+ idempotency_key: None,
223
+ conditional: None,
224
+ timeout_ms: request.timeout_ms,
225
+ };
226
+
227
+ match self.write(mutation, options) {
228
+ Ok(result) => results.push(result),
229
+ Err(e) => errors.push(e),
230
+ }
231
+ }
232
+
233
+ Ok(TransactionResult {
234
+ transaction_id,
235
+ success: errors.is_empty(),
236
+ results,
237
+ errors,
238
+ })
239
+ }
240
+
241
+ pub fn add_relationship(&mut self, source: String, rel: String, target: String) {
242
+ let key = format!("{}:{}", source, rel);
243
+ self.relationships
244
+ .entry(key)
245
+ .or_insert_with(Vec::new)
246
+ .push(target);
247
+ }
248
+
249
+ pub fn get_relationships(&self, query: RelationshipQuery) -> Result<RelationshipResult, String> {
250
+ let key = format!("{}:{}", query.source_id, query.relationship);
251
+ let targets = self
252
+ .relationships
253
+ .get(&key)
254
+ .cloned()
255
+ .unwrap_or_default();
256
+
257
+ Ok(RelationshipResult {
258
+ source_id: query.source_id,
259
+ relationship: query.relationship,
260
+ targets,
261
+ })
262
+ }
263
+
264
+ pub fn create_view(
265
+ &mut self,
266
+ view_name: String,
267
+ base_resources: Vec<String>,
268
+ projection_fields: Vec<String>,
269
+ ) -> Result<(), String> {
270
+ self.views.insert(
271
+ view_name.clone(),
272
+ MaterializedView {
273
+ view_name,
274
+ base_resources,
275
+ projection_fields,
276
+ aggregation: None,
277
+ data: Vec::new(),
278
+ },
279
+ );
280
+ Ok(())
281
+ }
282
+
283
+ pub fn refresh_view(&mut self, view_name: &str) -> Result<MaterializedView, String> {
284
+ let view = self
285
+ .views
286
+ .get_mut(view_name)
287
+ .ok_or_else(|| format!("View not found: {}", view_name))?;
288
+
289
+ view.data.clear();
290
+ for resource_id in &view.base_resources {
291
+ if let Some(state) = self.state_store.get(resource_id) {
292
+ view.data.push(state.data.clone());
293
+ }
294
+ }
295
+
296
+ Ok(view.clone())
297
+ }
298
+
299
+ pub fn query_view(&self, view_name: &str) -> Result<MaterializedView, String> {
300
+ self.views
301
+ .get(view_name)
302
+ .cloned()
303
+ .ok_or_else(|| format!("View not found: {}", view_name))
304
+ }
305
+ }
306
+
307
+ impl Default for ProductionAPI {
308
+ fn default() -> Self {
309
+ Self::new()
310
+ }
311
+ }
312
+
313
+ #[cfg(test)]
314
+ mod tests {
315
+ use super::*;
316
+
317
+ #[test]
318
+ fn test_read_write() {
319
+ let mut api = ProductionAPI::new();
320
+ let mutation = Mutation {
321
+ operation: "insert".to_string(),
322
+ resource_type: "user".to_string(),
323
+ resource_id: "user-1".to_string(),
324
+ data: serde_json::json!({"name": "Alice"}),
325
+ };
326
+
327
+ api.write(mutation, WriteOptions::default()).unwrap();
328
+ let result = api.read("user-1", ReadOptions::default()).unwrap();
329
+ assert_eq!(result.id, "user-1");
330
+ }
331
+
332
+ #[test]
333
+ fn test_transaction() {
334
+ let mut api = ProductionAPI::new();
335
+ let request = TransactionRequest {
336
+ mutations: vec![
337
+ Mutation {
338
+ operation: "insert".to_string(),
339
+ resource_type: "user".to_string(),
340
+ resource_id: "user-1".to_string(),
341
+ data: serde_json::json!({"name": "Alice"}),
342
+ },
343
+ Mutation {
344
+ operation: "insert".to_string(),
345
+ resource_type: "user".to_string(),
346
+ resource_id: "user-2".to_string(),
347
+ data: serde_json::json!({"name": "Bob"}),
348
+ },
349
+ ],
350
+ consistency: ConsistencyLevel::Strong,
351
+ timeout_ms: 5000,
352
+ };
353
+
354
+ let result = api.transaction(request).unwrap();
355
+ assert!(result.success);
356
+ assert_eq!(result.results.len(), 2);
357
+ }
358
+
359
+ #[test]
360
+ fn test_relationships() {
361
+ let mut api = ProductionAPI::new();
362
+ api.add_relationship("user-1".to_string(), "follows".to_string(), "user-2".to_string());
363
+ api.add_relationship("user-1".to_string(), "follows".to_string(), "user-3".to_string());
364
+
365
+ let result = api
366
+ .get_relationships(RelationshipQuery {
367
+ source_type: "user".to_string(),
368
+ source_id: "user-1".to_string(),
369
+ relationship: "follows".to_string(),
370
+ target_type: None,
371
+ })
372
+ .unwrap();
373
+
374
+ assert_eq!(result.targets.len(), 2);
375
+ }
376
+
377
+ #[test]
378
+ fn test_materialized_view() {
379
+ let mut api = ProductionAPI::new();
380
+ let mutation1 = Mutation {
381
+ operation: "insert".to_string(),
382
+ resource_type: "user".to_string(),
383
+ resource_id: "user-1".to_string(),
384
+ data: serde_json::json!({"name": "Alice"}),
385
+ };
386
+
387
+ api.write(mutation1, WriteOptions::default()).unwrap();
388
+
389
+ api.create_view(
390
+ "active_users".to_string(),
391
+ vec!["user-1".to_string()],
392
+ vec!["name".to_string()],
393
+ )
394
+ .unwrap();
395
+
396
+ api.refresh_view("active_users").unwrap();
397
+ let view = api.query_view("active_users").unwrap();
398
+ assert_eq!(view.data.len(), 1);
399
+ }
400
+ }
@@ -0,0 +1,207 @@
1
+ use crate::{CapabilityId, PeerId};
2
+ /// Provenance tracking for distinguishing canonical from derived state
3
+ ///
4
+ /// This module ensures that derived state (from capabilities) is clearly
5
+ /// marked and can never be mistaken for canonical application state.
6
+ use serde::{Deserialize, Serialize};
7
+
8
+ /// Source of an operation - tracks where it originated
9
+ #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
10
+ pub enum OperationSource {
11
+ /// User-initiated operation (canonical)
12
+ User,
13
+ /// Operation from sync/remote peer (canonical)
14
+ Sync,
15
+ /// Operation derived from a capability (derived)
16
+ Capability(CapabilityId),
17
+ }
18
+
19
+ impl std::fmt::Display for OperationSource {
20
+ fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
21
+ match self {
22
+ OperationSource::User => write!(f, "user"),
23
+ OperationSource::Sync => write!(f, "sync"),
24
+ OperationSource::Capability(id) => write!(f, "capability:{}", id),
25
+ }
26
+ }
27
+ }
28
+
29
+ impl OperationSource {
30
+ /// Check if this source represents canonical state
31
+ pub fn is_canonical(&self) -> bool {
32
+ matches!(self, OperationSource::User | OperationSource::Sync)
33
+ }
34
+
35
+ /// Check if this source represents derived state
36
+ pub fn is_derived(&self) -> bool {
37
+ !self.is_canonical()
38
+ }
39
+ }
40
+
41
+ /// Metadata tracking how content was acquired from the distributed fabric
42
+ /// This metadata is NOT canonical application state - it's purely informational
43
+ #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
44
+ pub struct AcquisitionMetadata {
45
+ /// Which peer provided this content
46
+ pub source_peer: PeerId,
47
+ /// When the content was acquired (ms since UNIX epoch)
48
+ pub acquired_at_ms: u128,
49
+ /// Whether this content is cached (vs canonical)
50
+ pub is_cached: bool,
51
+ /// Vector clock representing the causal state when content was acquired
52
+ #[serde(default)]
53
+ pub vector_clock: Option<std::collections::HashMap<String, u64>>,
54
+ }
55
+
56
+ impl AcquisitionMetadata {
57
+ /// Create new acquisition metadata
58
+ pub fn new(source_peer: PeerId, is_cached: bool) -> Self {
59
+ Self {
60
+ source_peer,
61
+ acquired_at_ms: crate::now_ms(),
62
+ is_cached,
63
+ vector_clock: None,
64
+ }
65
+ }
66
+
67
+ /// Mark when this acquisition occurred
68
+ pub fn with_timestamp(mut self, acquired_at_ms: u128) -> Self {
69
+ self.acquired_at_ms = acquired_at_ms;
70
+ self
71
+ }
72
+
73
+ /// Set the vector clock for this acquisition
74
+ pub fn with_vector_clock(
75
+ mut self,
76
+ vector_clock: std::collections::HashMap<String, u64>,
77
+ ) -> Self {
78
+ self.vector_clock = Some(vector_clock);
79
+ self
80
+ }
81
+ }
82
+
83
+ /// Provenance information for derived state
84
+ #[derive(Debug, Clone, Serialize, Deserialize)]
85
+ pub struct DerivedStateProvenance {
86
+ /// Which capability produced this derived state
87
+ pub capability_id: CapabilityId,
88
+ /// The canonical operation that triggered this derivation
89
+ pub source_operation_id: u64,
90
+ /// Timestamp when this derivation was created (ms since UNIX epoch)
91
+ pub created_ms: u128,
92
+ }
93
+
94
+ impl DerivedStateProvenance {
95
+ pub fn new(capability_id: CapabilityId, source_operation_id: u64) -> Self {
96
+ Self {
97
+ capability_id,
98
+ source_operation_id,
99
+ created_ms: crate::now_ms(),
100
+ }
101
+ }
102
+ }
103
+
104
+ /// Marker trait for values that represent derived state
105
+ /// This should be implemented by capability-generated state
106
+ pub trait DerivedState {
107
+ /// Get the provenance of this derived state
108
+ fn provenance(&self) -> &DerivedStateProvenance;
109
+
110
+ /// Verify that this value is indeed derived state
111
+ fn verify_derived(&self) -> bool {
112
+ true
113
+ }
114
+ }
115
+
116
+ /// Wrapper for derived state to ensure it's properly marked
117
+ #[derive(Debug, Clone, Serialize, Deserialize)]
118
+ pub struct DerivedValue<T> {
119
+ /// The actual derived value
120
+ pub value: T,
121
+ /// Provenance information
122
+ pub provenance: DerivedStateProvenance,
123
+ }
124
+
125
+ impl<T> DerivedValue<T> {
126
+ pub fn new(value: T, capability_id: CapabilityId, source_operation_id: u64) -> Self {
127
+ Self {
128
+ value,
129
+ provenance: DerivedStateProvenance::new(capability_id, source_operation_id),
130
+ }
131
+ }
132
+
133
+ /// Unwrap and consume the derived value
134
+ pub fn into_inner(self) -> T {
135
+ self.value
136
+ }
137
+
138
+ /// Get a reference to the value
139
+ pub fn inner(&self) -> &T {
140
+ &self.value
141
+ }
142
+
143
+ /// Get a mutable reference to the value
144
+ pub fn inner_mut(&mut self) -> &mut T {
145
+ &mut self.value
146
+ }
147
+ }
148
+
149
+ impl<T> DerivedState for DerivedValue<T> {
150
+ fn provenance(&self) -> &DerivedStateProvenance {
151
+ &self.provenance
152
+ }
153
+ }
154
+
155
+ #[cfg(test)]
156
+ mod tests {
157
+ use super::*;
158
+
159
+ #[test]
160
+ fn test_operation_source_canonical() {
161
+ assert!(OperationSource::User.is_canonical());
162
+ assert!(OperationSource::Sync.is_canonical());
163
+ }
164
+
165
+ #[test]
166
+ fn test_operation_source_derived() {
167
+ let derived = OperationSource::Capability(CapabilityId::new("search".to_string()));
168
+ assert!(derived.is_derived());
169
+ assert!(!derived.is_canonical());
170
+ }
171
+
172
+ #[test]
173
+ fn test_derived_value_wrapper() {
174
+ let cap_id = CapabilityId::new("search".to_string());
175
+ let derived = DerivedValue::new(vec!["result1", "result2"], cap_id.clone(), 100);
176
+
177
+ assert_eq!(derived.provenance().capability_id, cap_id);
178
+ assert_eq!(derived.provenance().source_operation_id, 100);
179
+ assert_eq!(derived.inner().len(), 2);
180
+ }
181
+
182
+ #[test]
183
+ fn test_derived_value_into_inner() {
184
+ let derived = DerivedValue::new(vec![1, 2, 3], CapabilityId::new("search".to_string()), 50);
185
+
186
+ let inner = derived.into_inner();
187
+ assert_eq!(inner, vec![1, 2, 3]);
188
+ }
189
+
190
+ #[test]
191
+ fn test_acquisition_metadata_creation() {
192
+ let peer = PeerId::new("peer-a");
193
+ let metadata = AcquisitionMetadata::new(peer.clone(), true);
194
+
195
+ assert_eq!(metadata.source_peer, peer);
196
+ assert!(metadata.is_cached);
197
+ assert!(metadata.acquired_at_ms > 0);
198
+ }
199
+
200
+ #[test]
201
+ fn test_acquisition_metadata_with_timestamp() {
202
+ let peer = PeerId::new("peer-a");
203
+ let metadata = AcquisitionMetadata::new(peer, true).with_timestamp(12345);
204
+
205
+ assert_eq!(metadata.acquired_at_ms, 12345);
206
+ }
207
+ }