@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.
- package/dist/cli/commands.js +5 -2
- package/dist/cli/index.js +1 -1
- package/dist/create/cli.js +16 -1
- package/dist/create/create.js +30 -16
- package/dist/create/docker-compose-generator.js +48 -9
- package/dist/create/package-versions.js +1 -1
- package/dist/create/server-source/Cargo.lock +2238 -0
- package/dist/create/server-source/Cargo.toml +7 -0
- package/dist/create/server-source/crates/feltdb/Cargo.lock +175 -0
- package/dist/create/server-source/crates/feltdb/Cargo.toml +79 -0
- package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +370 -0
- package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +589 -0
- package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +259 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +446 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +272 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +378 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +414 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +486 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +273 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +587 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +513 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +395 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +469 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +409 -0
- package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +627 -0
- package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +383 -0
- package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +298 -0
- package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +1698 -0
- package/dist/create/server-source/crates/feltdb/src/acquisition.rs +286 -0
- package/dist/create/server-source/crates/feltdb/src/admission.rs +192 -0
- package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +477 -0
- package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +566 -0
- package/dist/create/server-source/crates/feltdb/src/analytics.rs +475 -0
- package/dist/create/server-source/crates/feltdb/src/application.rs +2244 -0
- package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +1070 -0
- package/dist/create/server-source/crates/feltdb/src/authorization.rs +1030 -0
- package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +266 -0
- package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +8 -0
- package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +418 -0
- package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +482 -0
- package/dist/create/server-source/crates/feltdb/src/capability.rs +903 -0
- package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +261 -0
- package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +78 -0
- package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +2214 -0
- package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +194 -0
- package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +427 -0
- package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +453 -0
- package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +465 -0
- package/dist/create/server-source/crates/feltdb/src/convergence.rs +618 -0
- package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +418 -0
- package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +380 -0
- package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +362 -0
- package/dist/create/server-source/crates/feltdb/src/cron.rs +294 -0
- package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +474 -0
- package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +1003 -0
- package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +536 -0
- package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +364 -0
- package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +235 -0
- package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +207 -0
- package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +316 -0
- package/dist/create/server-source/crates/feltdb/src/execution.rs +426 -0
- package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +219 -0
- package/dist/create/server-source/crates/feltdb/src/indexing.rs +779 -0
- package/dist/create/server-source/crates/feltdb/src/lib.rs +2838 -0
- package/dist/create/server-source/crates/feltdb/src/materialization.rs +184 -0
- package/dist/create/server-source/crates/feltdb/src/metrics.rs +267 -0
- package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +311 -0
- package/dist/create/server-source/crates/feltdb/src/observability.rs +366 -0
- package/dist/create/server-source/crates/feltdb/src/operation.rs +251 -0
- package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +438 -0
- package/dist/create/server-source/crates/feltdb/src/operation_log.rs +344 -0
- package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +477 -0
- package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +166 -0
- package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +261 -0
- package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +560 -0
- package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +3226 -0
- package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +201 -0
- package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +263 -0
- package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +484 -0
- package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +216 -0
- package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +281 -0
- package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +323 -0
- package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +573 -0
- package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +404 -0
- package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +418 -0
- package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +381 -0
- package/dist/create/server-source/crates/feltdb/src/phase_1c_three_node.rs +523 -0
- package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +334 -0
- package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +306 -0
- package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +355 -0
- package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +395 -0
- package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +346 -0
- package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +430 -0
- package/dist/create/server-source/crates/feltdb/src/production_api.rs +400 -0
- package/dist/create/server-source/crates/feltdb/src/provenance.rs +207 -0
- package/dist/create/server-source/crates/feltdb/src/query_performance.rs +217 -0
- package/dist/create/server-source/crates/feltdb/src/references.rs +404 -0
- package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +401 -0
- package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +160 -0
- package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +132 -0
- package/dist/create/server-source/crates/feltdb/src/routing.rs +409 -0
- package/dist/create/server-source/crates/feltdb/src/sharding.rs +523 -0
- package/dist/create/server-source/crates/feltdb/src/state_contract.rs +3118 -0
- package/dist/create/server-source/crates/feltdb/src/state_hash.rs +291 -0
- package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +376 -0
- package/dist/create/server-source/crates/feltdb/src/storage.rs +267 -0
- package/dist/create/server-source/crates/feltdb/src/submission.rs +477 -0
- package/dist/create/server-source/crates/feltdb/src/sync.rs +483 -0
- package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +822 -0
- package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +366 -0
- package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +473 -0
- package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +949 -0
- package/dist/create/server-source/crates/feltdb/src/transactions.rs +646 -0
- package/dist/create/server-source/crates/feltdb/src/trigger.rs +390 -0
- package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +928 -0
- package/dist/create/server-source/crates/feltdb/src/workflow.rs +713 -0
- package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +510 -0
- package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +354 -0
- package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +594 -0
- package/dist/create/server-source/crates/feltdb/src/workload.rs +1310 -0
- package/dist/create/server-source/crates/feltdb-server/Cargo.toml +23 -0
- package/dist/create/server-source/crates/feltdb-server/README.md +79 -0
- package/dist/create/server-source/crates/feltdb-server/src/app_state.rs +73 -0
- package/dist/create/server-source/crates/feltdb-server/src/application_contract.rs +425 -0
- package/dist/create/server-source/crates/feltdb-server/src/artifacts.rs +449 -0
- package/dist/create/server-source/crates/feltdb-server/src/audit.rs +59 -0
- package/dist/create/server-source/crates/feltdb-server/src/auth.rs +308 -0
- package/dist/create/server-source/crates/feltdb-server/src/authorization.rs +228 -0
- package/dist/create/server-source/crates/feltdb-server/src/backup.rs +416 -0
- package/dist/create/server-source/crates/feltdb-server/src/causal.rs +218 -0
- package/dist/create/server-source/crates/feltdb-server/src/certification.rs +223 -0
- package/dist/create/server-source/crates/feltdb-server/src/clock.rs +132 -0
- package/dist/create/server-source/crates/feltdb-server/src/cluster.rs +165 -0
- package/dist/create/server-source/crates/feltdb-server/src/connections.rs +1044 -0
- package/dist/create/server-source/crates/feltdb-server/src/content.rs +111 -0
- package/dist/create/server-source/crates/feltdb-server/src/identity.rs +250 -0
- package/dist/create/server-source/crates/feltdb-server/src/key_management.rs +78 -0
- package/dist/create/server-source/crates/feltdb-server/src/key_provider.rs +247 -0
- package/dist/create/server-source/crates/feltdb-server/src/leases.rs +123 -0
- package/dist/create/server-source/crates/feltdb-server/src/lib.rs +25 -0
- package/dist/create/server-source/crates/feltdb-server/src/main.rs +8715 -0
- package/dist/create/server-source/crates/feltdb-server/src/metrics.rs +97 -0
- package/dist/create/server-source/crates/feltdb-server/src/portable_bundle.rs +350 -0
- package/dist/create/server-source/crates/feltdb-server/src/principals.rs +510 -0
- package/dist/create/server-source/crates/feltdb-server/src/providers.rs +269 -0
- package/dist/create/server-source/crates/feltdb-server/src/releases.rs +2563 -0
- package/dist/create/server-source/crates/feltdb-server/src/sessions.rs +156 -0
- package/dist/create/server-source/crates/feltdb-server/src/tenancy.rs +1097 -0
- package/dist/create/server-source/crates/feltdb-server/src/versions.rs +264 -0
- package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +31 -0
- package/dist/create/server-source/crates/feltdb-wasm/src/lib.rs +1086 -0
- package/dist/create/server-source/crates/feltdb-wasm/test.db +0 -0
- package/dist/flowspec.d.ts +2 -0
- package/dist/flowspec.d.ts.map +1 -1
- package/dist/flowspec.js +28 -4
- package/dist/state-contract.d.ts +7 -1
- package/dist/state-contract.d.ts.map +1 -1
- package/dist/studio/components/ApplicationDesigner.d.ts.map +1 -1
- package/dist/studio/components/index.js +1 -1
- package/dist/studio/{components-q43NSTTH.js → components-bHTARBin.js} +160 -89
- package/dist/studio/index.js +31 -28
- package/dist/studio-app/assets/{index-DZpBoVMp.js → index-BqKquLuU.js} +8 -8
- package/dist/studio-app/index.html +1 -1
- 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
|
+
}
|