@feltdb/core 0.15.0 → 0.16.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/agent-state.d.ts +20 -0
- package/dist/agent-state.d.ts.map +1 -1
- package/dist/agent-state.js +36 -0
- package/dist/build-identity.json +12 -4
- package/dist/cli/commands.js +187 -4
- package/dist/cli/publish-engine.js +116 -16
- package/dist/collection.d.ts.map +1 -1
- package/dist/collection.js +3 -0
- package/dist/create/build-identity.json +12 -4
- package/dist/create/managed-account.js +93 -35
- package/dist/create/package-versions.js +1 -1
- package/dist/create/server-source/Cargo.lock +6 -509
- package/dist/create/server-source/Cargo.toml +2 -13
- package/dist/create/server-source/crates/feltdb-client/Cargo.toml +1 -1
- package/dist/create/server-source/crates/feltdb-server/Cargo.toml +1 -1
- package/dist/create/server-source/crates/feltdb-server/src/main.rs +255 -12
- package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +1 -1
- package/dist/db.d.ts +11 -1
- package/dist/db.d.ts.map +1 -1
- package/dist/db.js +15 -2
- package/dist/error-codes.d.ts +5 -0
- package/dist/error-codes.d.ts.map +1 -1
- package/dist/error-codes.js +9 -1
- package/dist/http-db.d.ts +16 -0
- package/dist/http-db.d.ts.map +1 -1
- package/dist/http-db.js +36 -6
- package/dist/managed-recovery.d.ts +6 -0
- package/dist/managed-recovery.d.ts.map +1 -1
- package/dist/managed-recovery.js +9 -0
- package/dist/studio-app/assets/{feltdb_wasm-BjM1ylL3.js → feltdb_wasm-DtybUY0q.js} +1 -1
- package/dist/studio-app/assets/feltdb_wasm_bg-DsgIUwaB.wasm +0 -0
- package/dist/studio-app/assets/index-C4OffsZl.js +37 -0
- package/dist/studio-app/index.html +1 -1
- package/dist/wasm/feltdb_wasm_bg.wasm +0 -0
- package/dist/wasm/package.json +1 -1
- package/dist/workload.d.ts +55 -3
- package/dist/workload.d.ts.map +1 -1
- package/dist/workload.js +23 -0
- package/dist/workspace/workspace-connection.d.ts.map +1 -1
- package/dist/workspace/workspace-connection.js +14 -3
- package/package.json +1 -1
- package/dist/create/server-source/crates/feltdb/Cargo.lock +0 -175
- package/dist/create/server-source/crates/feltdb/Cargo.toml +0 -102
- package/dist/create/server-source/crates/feltdb/LICENSE +0 -21
- package/dist/create/server-source/crates/feltdb/README.md +0 -75
- package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +0 -370
- package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +0 -589
- package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +0 -247
- package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +0 -440
- package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +0 -275
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +0 -381
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +0 -467
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +0 -489
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +0 -281
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +0 -606
- package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +0 -531
- package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +0 -462
- package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +0 -505
- package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +0 -484
- package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +0 -758
- package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +0 -421
- package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +0 -329
- package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +0 -1705
- package/dist/create/server-source/crates/feltdb/src/acquisition.rs +0 -286
- package/dist/create/server-source/crates/feltdb/src/admission.rs +0 -185
- package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +0 -507
- package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +0 -539
- package/dist/create/server-source/crates/feltdb/src/agent_state.rs +0 -320
- package/dist/create/server-source/crates/feltdb/src/agent_transition_contract.rs +0 -1545
- package/dist/create/server-source/crates/feltdb/src/analytics.rs +0 -521
- package/dist/create/server-source/crates/feltdb/src/application.rs +0 -2674
- package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +0 -1070
- package/dist/create/server-source/crates/feltdb/src/authority.rs +0 -479
- package/dist/create/server-source/crates/feltdb/src/authority_failover.rs +0 -847
- package/dist/create/server-source/crates/feltdb/src/authorization.rs +0 -1030
- package/dist/create/server-source/crates/feltdb/src/authorization_security_tests.rs +0 -1122
- package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority-client.rs +0 -32
- package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority.rs +0 -19
- package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +0 -1474
- package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +0 -8
- package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +0 -418
- package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +0 -482
- package/dist/create/server-source/crates/feltdb/src/capability.rs +0 -903
- package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +0 -263
- package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +0 -77
- package/dist/create/server-source/crates/feltdb/src/causal_backlog_bound.rs +0 -496
- package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +0 -2574
- package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +0 -212
- package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +0 -422
- package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +0 -445
- package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +0 -465
- package/dist/create/server-source/crates/feltdb/src/convergence.rs +0 -634
- package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +0 -427
- package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +0 -376
- package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +0 -365
- package/dist/create/server-source/crates/feltdb/src/cron.rs +0 -294
- package/dist/create/server-source/crates/feltdb/src/dedup_bound_investigation.rs +0 -483
- package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +0 -477
- package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +0 -1003
- package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +0 -1334
- package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +0 -368
- package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +0 -231
- package/dist/create/server-source/crates/feltdb/src/durable_operation_identity.rs +0 -482
- package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +0 -203
- package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +0 -317
- package/dist/create/server-source/crates/feltdb/src/equality_index.rs +0 -595
- package/dist/create/server-source/crates/feltdb/src/execution.rs +0 -426
- package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +0 -214
- package/dist/create/server-source/crates/feltdb/src/indexing.rs +0 -776
- package/dist/create/server-source/crates/feltdb/src/lib.rs +0 -7365
- package/dist/create/server-source/crates/feltdb/src/managed_cas_tests.rs +0 -234
- package/dist/create/server-source/crates/feltdb/src/materialization.rs +0 -184
- package/dist/create/server-source/crates/feltdb/src/metrics.rs +0 -266
- package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +0 -310
- package/dist/create/server-source/crates/feltdb/src/multi_operation_transaction.rs +0 -736
- package/dist/create/server-source/crates/feltdb/src/observability.rs +0 -379
- package/dist/create/server-source/crates/feltdb/src/operation.rs +0 -290
- package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +0 -439
- package/dist/create/server-source/crates/feltdb/src/operation_log.rs +0 -349
- package/dist/create/server-source/crates/feltdb/src/p1_application_atomicity.rs +0 -332
- package/dist/create/server-source/crates/feltdb/src/p1_atomicity_acceptance.rs +0 -718
- package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +0 -487
- package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +0 -166
- package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +0 -289
- package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +0 -566
- package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +0 -3391
- package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +0 -203
- package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +0 -261
- package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +0 -502
- package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +0 -216
- package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +0 -303
- package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +0 -323
- package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +0 -531
- package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +0 -406
- package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +0 -436
- package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +0 -387
- package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +0 -378
- package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +0 -359
- package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +0 -372
- package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +0 -404
- package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +0 -376
- package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +0 -461
- package/dist/create/server-source/crates/feltdb/src/policy_evaluation.rs +0 -2125
- package/dist/create/server-source/crates/feltdb/src/production_api.rs +0 -418
- package/dist/create/server-source/crates/feltdb/src/provenance.rs +0 -207
- package/dist/create/server-source/crates/feltdb/src/query_execution_diagnostics.rs +0 -126
- package/dist/create/server-source/crates/feltdb/src/query_performance.rs +0 -218
- package/dist/create/server-source/crates/feltdb/src/read_basis.rs +0 -257
- package/dist/create/server-source/crates/feltdb/src/references.rs +0 -404
- package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +0 -401
- package/dist/create/server-source/crates/feltdb/src/replica_acknowledgements.rs +0 -501
- package/dist/create/server-source/crates/feltdb/src/replica_membership.rs +0 -680
- package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +0 -163
- package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +0 -133
- package/dist/create/server-source/crates/feltdb/src/routing.rs +0 -409
- package/dist/create/server-source/crates/feltdb/src/semantic_decision.rs +0 -2029
- package/dist/create/server-source/crates/feltdb/src/semantic_query.rs +0 -599
- package/dist/create/server-source/crates/feltdb/src/sharding.rs +0 -549
- package/dist/create/server-source/crates/feltdb/src/state_conflict_contract.rs +0 -516
- package/dist/create/server-source/crates/feltdb/src/state_contract.rs +0 -6003
- package/dist/create/server-source/crates/feltdb/src/state_diff_contract.rs +0 -222
- package/dist/create/server-source/crates/feltdb/src/state_facade.rs +0 -320
- package/dist/create/server-source/crates/feltdb/src/state_hash.rs +0 -291
- package/dist/create/server-source/crates/feltdb/src/state_model.rs +0 -4158
- package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +0 -379
- package/dist/create/server-source/crates/feltdb/src/state_trigger.rs +0 -673
- package/dist/create/server-source/crates/feltdb/src/storage.rs +0 -273
- package/dist/create/server-source/crates/feltdb/src/submission.rs +0 -471
- package/dist/create/server-source/crates/feltdb/src/sync.rs +0 -495
- package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +0 -822
- package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +0 -433
- package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +0 -462
- package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +0 -965
- package/dist/create/server-source/crates/feltdb/src/transaction_preconditions.rs +0 -1120
- package/dist/create/server-source/crates/feltdb/src/transactions.rs +0 -643
- package/dist/create/server-source/crates/feltdb/src/trigger.rs +0 -390
- package/dist/create/server-source/crates/feltdb/src/trigger_contract.rs +0 -749
- package/dist/create/server-source/crates/feltdb/src/versioned_object_substrate.rs +0 -708
- package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +0 -1269
- package/dist/create/server-source/crates/feltdb/src/workflow.rs +0 -713
- package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +0 -510
- package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +0 -354
- package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +0 -594
- package/dist/create/server-source/crates/feltdb/src/workload.rs +0 -4222
- package/dist/create/server-source/crates/feltdb/src/workload_diagnostics.rs +0 -456
- package/dist/create/server-source/crates/feltdb/tests/agent_state_native.rs +0 -1188
- package/dist/create/server-source/crates/feltdb/tests/agent_transition_contract_conformance.rs +0 -2884
- package/dist/create/server-source/crates/feltdb/tests/authority_process.rs +0 -297
- package/dist/create/server-source/crates/feltdb/tests/authority_transaction_identity.rs +0 -534
- package/dist/create/server-source/crates/feltdb/tests/bounded_read_contract.rs +0 -132
- package/dist/create/server-source/crates/feltdb/tests/branching_evidence.rs +0 -299
- package/dist/create/server-source/crates/feltdb/tests/common/mod.rs +0 -96
- package/dist/create/server-source/crates/feltdb/tests/compaction_stall_contract.rs +0 -272
- package/dist/create/server-source/crates/feltdb/tests/crash_durability_contract.rs +0 -467
- package/dist/create/server-source/crates/feltdb/tests/current_revision_authority_evidence.rs +0 -309
- package/dist/create/server-source/crates/feltdb/tests/durable_backup_contract.rs +0 -445
- package/dist/create/server-source/crates/feltdb/tests/durable_corruption_contract.rs +0 -518
- package/dist/create/server-source/crates/feltdb/tests/durable_format_compatibility.rs +0 -392
- package/dist/create/server-source/crates/feltdb/tests/feltdb_state_boundary_tests.rs +0 -850
- package/dist/create/server-source/crates/feltdb/tests/fixtures/agent_transition_corpus.json +0 -23340
- package/dist/create/server-source/crates/feltdb/tests/fixtures/state_conflict_contract_corpus.json +0 -1916
- package/dist/create/server-source/crates/feltdb/tests/fixtures/state_diff_contract_corpus.json +0 -1878
- package/dist/create/server-source/crates/feltdb/tests/fixtures/trigger_contract_corpus.json +0 -1862
- package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_evidence.rs +0 -123
- package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_substrate_completion.rs +0 -299
- package/dist/create/server-source/crates/feltdb/tests/local_process_ownership.rs +0 -69
- package/dist/create/server-source/crates/feltdb/tests/managed_incident_regression.rs +0 -191
- package/dist/create/server-source/crates/feltdb/tests/operational_health_contract.rs +0 -278
- package/dist/create/server-source/crates/feltdb/tests/pr34_query_collection.rs +0 -234
- package/dist/create/server-source/crates/feltdb/tests/pr35_equality_index.rs +0 -947
- package/dist/create/server-source/crates/feltdb/tests/pr7_self_authorization_proof.rs +0 -404
- package/dist/create/server-source/crates/feltdb/tests/pr8_vocabulary_assessment.rs +0 -916
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase2_boundary_tests.rs +0 -1045
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase3a_path_a_tests.rs +0 -347
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_authorized_mutations.rs +0 -361
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_role_based_authorization.rs +0 -330
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_simple_auth_delete.rs +0 -93
- package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_team_delete_role_authorization.rs +0 -622
- package/dist/create/server-source/crates/feltdb/tests/pr9_teams_role_based_access.rs +0 -517
- package/dist/create/server-source/crates/feltdb/tests/production_certification.rs +0 -1153
- package/dist/create/server-source/crates/feltdb/tests/production_contract.rs +0 -771
- package/dist/create/server-source/crates/feltdb/tests/production_readiness_contract.rs +0 -1383
- package/dist/create/server-source/crates/feltdb/tests/reconciliation_application.rs +0 -868
- package/dist/create/server-source/crates/feltdb/tests/reconciliation_wire_format_evidence.rs +0 -221
- package/dist/create/server-source/crates/feltdb/tests/replicated_history_contract.rs +0 -417
- package/dist/create/server-source/crates/feltdb/tests/resource_scoped_revisions.rs +0 -338
- package/dist/create/server-source/crates/feltdb/tests/revision_identity_contract.rs +0 -1039
- package/dist/create/server-source/crates/feltdb/tests/revision_model_decision.rs +0 -739
- package/dist/create/server-source/crates/feltdb/tests/revision_retention_boundary_evidence.rs +0 -452
- package/dist/create/server-source/crates/feltdb/tests/saas_authorization_integration.rs +0 -81
- package/dist/create/server-source/crates/feltdb/tests/saas_invitation_lifecycle.rs +0 -438
- package/dist/create/server-source/crates/feltdb/tests/semantic_decision.rs +0 -1165
- package/dist/create/server-source/crates/feltdb/tests/semantic_query.rs +0 -767
- package/dist/create/server-source/crates/feltdb/tests/semantic_query_contract.rs +0 -363
- package/dist/create/server-source/crates/feltdb/tests/state_conflict_contract_conformance.rs +0 -1799
- package/dist/create/server-source/crates/feltdb/tests/state_diff_contract_conformance.rs +0 -1316
- package/dist/create/server-source/crates/feltdb/tests/state_model_integration.rs +0 -358
- package/dist/create/server-source/crates/feltdb/tests/state_persistence_integration.rs +0 -365
- package/dist/create/server-source/crates/feltdb/tests/state_ref_authority.rs +0 -918
- package/dist/create/server-source/crates/feltdb/tests/state_store_boundary_evidence.rs +0 -299
- package/dist/create/server-source/crates/feltdb/tests/storage_independent_versioned_object_substrate.rs +0 -328
- package/dist/create/server-source/crates/feltdb/tests/sync_divergence_evidence.rs +0 -255
- package/dist/create/server-source/crates/feltdb/tests/three_way_input_boundary_evidence.rs +0 -249
- package/dist/create/server-source/crates/feltdb/tests/trigger_contract_conformance.rs +0 -994
- package/dist/create/server-source/crates/feltdb/tests/workload_envelope_contract.rs +0 -484
- package/dist/studio-app/assets/feltdb_wasm_bg-TseJn2Ax.wasm +0 -0
- package/dist/studio-app/assets/index-1wd0uKua.js +0 -30
|
@@ -1,479 +0,0 @@
|
|
|
1
|
-
//! One logical durable authority across embedded and local multi-process use.
|
|
2
|
-
//!
|
|
3
|
-
//! The authority server is the sole process which opens the storage log. IPC
|
|
4
|
-
//! clients never mutate storage artifacts and every authoritative read crosses
|
|
5
|
-
//! the socket boundary.
|
|
6
|
-
|
|
7
|
-
use crate::{
|
|
8
|
-
AtomicCommit, AtomicMutation, AtomicPrecondition, FeltDb, PayloadBinding, RecordPrecondition,
|
|
9
|
-
StoredRow,
|
|
10
|
-
};
|
|
11
|
-
use async_trait::async_trait;
|
|
12
|
-
use serde::{Deserialize, Serialize};
|
|
13
|
-
use serde_json::Value;
|
|
14
|
-
use sha2::{Digest, Sha256};
|
|
15
|
-
use std::{
|
|
16
|
-
io,
|
|
17
|
-
path::{Path, PathBuf},
|
|
18
|
-
};
|
|
19
|
-
use tokio::{
|
|
20
|
-
io::{AsyncBufReadExt, AsyncWriteExt, BufReader},
|
|
21
|
-
net::{UnixListener, UnixStream},
|
|
22
|
-
};
|
|
23
|
-
|
|
24
|
-
#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
|
|
25
|
-
#[serde(rename_all = "snake_case")]
|
|
26
|
-
pub enum ReadKind {
|
|
27
|
-
Snapshot,
|
|
28
|
-
Authoritative,
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
#[derive(Debug, Clone, Serialize, Deserialize)]
|
|
32
|
-
pub struct AuthorityRead {
|
|
33
|
-
pub observed_revision: u64,
|
|
34
|
-
pub authoritative_revision: u64,
|
|
35
|
-
pub kind: ReadKind,
|
|
36
|
-
pub content_hash: String,
|
|
37
|
-
pub rows: Vec<StoredRow>,
|
|
38
|
-
}
|
|
39
|
-
|
|
40
|
-
impl AuthorityRead {
|
|
41
|
-
fn current(db: &FeltDb, kind: ReadKind) -> crate::Result<Self> {
|
|
42
|
-
let (revision, mut rows) = db.authority_state();
|
|
43
|
-
rows.sort_by(|left, right| {
|
|
44
|
-
(&left.capability, &left.key).cmp(&(&right.capability, &right.key))
|
|
45
|
-
});
|
|
46
|
-
let mut hasher = Sha256::new();
|
|
47
|
-
hasher.update(revision.to_le_bytes());
|
|
48
|
-
hasher.update(serde_json::to_vec(&rows)?);
|
|
49
|
-
Ok(Self {
|
|
50
|
-
observed_revision: revision,
|
|
51
|
-
authoritative_revision: revision,
|
|
52
|
-
kind,
|
|
53
|
-
content_hash: format!("sha256:{:x}", hasher.finalize()),
|
|
54
|
-
rows,
|
|
55
|
-
})
|
|
56
|
-
}
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
#[derive(Debug, Clone, Serialize, Deserialize)]
|
|
60
|
-
pub struct AuthorityTransaction {
|
|
61
|
-
pub transaction_id: String,
|
|
62
|
-
/// Explicit optimistic fence. `None` asks the authority to begin and
|
|
63
|
-
/// commit an unconditional transaction at its current revision.
|
|
64
|
-
#[serde(default)]
|
|
65
|
-
pub base_revision: Option<u64>,
|
|
66
|
-
#[serde(default)]
|
|
67
|
-
pub preconditions: Vec<AtomicPrecondition>,
|
|
68
|
-
#[serde(default)]
|
|
69
|
-
pub record_preconditions: Vec<RecordPrecondition>,
|
|
70
|
-
pub mutations: Vec<AtomicMutation>,
|
|
71
|
-
#[serde(default)]
|
|
72
|
-
pub audit: Option<Value>,
|
|
73
|
-
}
|
|
74
|
-
|
|
75
|
-
#[derive(Debug, Clone, Serialize, Deserialize)]
|
|
76
|
-
pub struct AuthorityError {
|
|
77
|
-
pub code: String,
|
|
78
|
-
pub message: String,
|
|
79
|
-
#[serde(default)]
|
|
80
|
-
pub authoritative_revision: Option<u64>,
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
impl std::fmt::Display for AuthorityError {
|
|
84
|
-
fn fmt(&self, formatter: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
|
85
|
-
write!(formatter, "{}: {}", self.code, self.message)
|
|
86
|
-
}
|
|
87
|
-
}
|
|
88
|
-
|
|
89
|
-
impl std::error::Error for AuthorityError {}
|
|
90
|
-
|
|
91
|
-
#[async_trait]
|
|
92
|
-
pub trait FeltDbAuthority: Send + Sync {
|
|
93
|
-
async fn read_authoritative(&self) -> Result<AuthorityRead, AuthorityError>;
|
|
94
|
-
async fn current_revision(&self) -> Result<u64, AuthorityError>;
|
|
95
|
-
async fn commit(
|
|
96
|
-
&self,
|
|
97
|
-
transaction: AuthorityTransaction,
|
|
98
|
-
) -> Result<AtomicCommit, AuthorityError>;
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
#[derive(Clone)]
|
|
102
|
-
pub struct EmbeddedAuthority {
|
|
103
|
-
db: FeltDb,
|
|
104
|
-
}
|
|
105
|
-
|
|
106
|
-
impl EmbeddedAuthority {
|
|
107
|
-
pub fn open(path: impl AsRef<Path>) -> crate::Result<Self> {
|
|
108
|
-
Ok(Self {
|
|
109
|
-
db: FeltDb::open(path)?,
|
|
110
|
-
})
|
|
111
|
-
}
|
|
112
|
-
|
|
113
|
-
pub fn from_db(db: FeltDb) -> Self {
|
|
114
|
-
Self { db }
|
|
115
|
-
}
|
|
116
|
-
|
|
117
|
-
/// An explicitly historical value. It never claims freshness beyond its
|
|
118
|
-
/// captured `observed_revision`.
|
|
119
|
-
pub fn snapshot(&self) -> crate::Result<AuthorityRead> {
|
|
120
|
-
AuthorityRead::current(&self.db, ReadKind::Snapshot)
|
|
121
|
-
}
|
|
122
|
-
}
|
|
123
|
-
|
|
124
|
-
/// Names the construction of the payload digest the authority binds ids to.
|
|
125
|
-
///
|
|
126
|
-
/// The prefix is stored with the digest in the durable transaction record, so a
|
|
127
|
-
/// digest written by a different construction is recognizable as one this
|
|
128
|
-
/// build cannot judge, instead of being read as a mismatch.
|
|
129
|
-
const PAYLOAD_DIGEST_PREFIX: &str = "authority-tx1:sha256:";
|
|
130
|
-
|
|
131
|
-
/// Canonical text of a JSON value: object members sorted by name at every
|
|
132
|
-
/// depth, array order preserved. Written out here rather than left to
|
|
133
|
-
/// `serde_json`'s map ordering, which is a build feature that another crate in
|
|
134
|
-
/// the dependency graph can change.
|
|
135
|
-
fn canonical_json(value: &Value, out: &mut String) {
|
|
136
|
-
match value {
|
|
137
|
-
Value::Object(map) => {
|
|
138
|
-
let mut keys: Vec<&String> = map.keys().collect();
|
|
139
|
-
keys.sort();
|
|
140
|
-
out.push('{');
|
|
141
|
-
for (index, key) in keys.into_iter().enumerate() {
|
|
142
|
-
if index > 0 {
|
|
143
|
-
out.push(',');
|
|
144
|
-
}
|
|
145
|
-
out.push_str(&Value::String(key.clone()).to_string());
|
|
146
|
-
out.push(':');
|
|
147
|
-
canonical_json(&map[key], out);
|
|
148
|
-
}
|
|
149
|
-
out.push('}');
|
|
150
|
-
}
|
|
151
|
-
Value::Array(items) => {
|
|
152
|
-
out.push('[');
|
|
153
|
-
for (index, item) in items.iter().enumerate() {
|
|
154
|
-
if index > 0 {
|
|
155
|
-
out.push(',');
|
|
156
|
-
}
|
|
157
|
-
canonical_json(item, out);
|
|
158
|
-
}
|
|
159
|
-
out.push(']');
|
|
160
|
-
}
|
|
161
|
-
other => out.push_str(&other.to_string()),
|
|
162
|
-
}
|
|
163
|
-
}
|
|
164
|
-
|
|
165
|
-
/// The digest an id is bound to: everything the commit acts on or records, and
|
|
166
|
-
/// not the id itself. `audit` is included because it is committed evidence the
|
|
167
|
-
/// caller supplied, not transport metadata; two requests that record different
|
|
168
|
-
/// audit facts under one id are different requests.
|
|
169
|
-
fn payload_digest(transaction: &AuthorityTransaction) -> Result<String, AuthorityError> {
|
|
170
|
-
let semantic = serde_json::json!({
|
|
171
|
-
"base_revision": transaction.base_revision,
|
|
172
|
-
"preconditions": transaction.preconditions,
|
|
173
|
-
"record_preconditions": transaction.record_preconditions,
|
|
174
|
-
"mutations": transaction.mutations,
|
|
175
|
-
"audit": transaction.audit,
|
|
176
|
-
});
|
|
177
|
-
let mut canonical = String::new();
|
|
178
|
-
canonical_json(&semantic, &mut canonical);
|
|
179
|
-
Ok(format!(
|
|
180
|
-
"{PAYLOAD_DIGEST_PREFIX}{:x}",
|
|
181
|
-
Sha256::digest(canonical.as_bytes())
|
|
182
|
-
))
|
|
183
|
-
}
|
|
184
|
-
|
|
185
|
-
fn authority_error(error: crate::FlowError) -> AuthorityError {
|
|
186
|
-
match error {
|
|
187
|
-
crate::FlowError::TransactionIdPayloadMismatch { transaction_id: id } => {
|
|
188
|
-
AuthorityError {
|
|
189
|
-
code: "IDEMPOTENCY_CONFLICT".into(),
|
|
190
|
-
message: format!(
|
|
191
|
-
"transaction {id} was already committed with a different payload"
|
|
192
|
-
),
|
|
193
|
-
authoritative_revision: None,
|
|
194
|
-
}
|
|
195
|
-
}
|
|
196
|
-
crate::FlowError::RevisionConflict {
|
|
197
|
-
expected: _,
|
|
198
|
-
actual,
|
|
199
|
-
} => AuthorityError {
|
|
200
|
-
code: "REVISION_CONFLICT".into(),
|
|
201
|
-
message: error.to_string(),
|
|
202
|
-
authoritative_revision: Some(actual),
|
|
203
|
-
},
|
|
204
|
-
other => AuthorityError {
|
|
205
|
-
code: "AUTHORITY_ERROR".into(),
|
|
206
|
-
message: other.to_string(),
|
|
207
|
-
authoritative_revision: None,
|
|
208
|
-
},
|
|
209
|
-
}
|
|
210
|
-
}
|
|
211
|
-
|
|
212
|
-
#[async_trait]
|
|
213
|
-
impl FeltDbAuthority for EmbeddedAuthority {
|
|
214
|
-
async fn read_authoritative(&self) -> Result<AuthorityRead, AuthorityError> {
|
|
215
|
-
AuthorityRead::current(&self.db, ReadKind::Authoritative).map_err(authority_error)
|
|
216
|
-
}
|
|
217
|
-
|
|
218
|
-
async fn current_revision(&self) -> Result<u64, AuthorityError> {
|
|
219
|
-
self.db.current_revision().map_err(authority_error)
|
|
220
|
-
}
|
|
221
|
-
|
|
222
|
-
async fn commit(
|
|
223
|
-
&self,
|
|
224
|
-
transaction: AuthorityTransaction,
|
|
225
|
-
) -> Result<AtomicCommit, AuthorityError> {
|
|
226
|
-
let digest = payload_digest(&transaction)?;
|
|
227
|
-
// How the id is already known, if it is. A recorded hash never changes
|
|
228
|
-
// and a missing one never appears, so this read cannot be invalidated
|
|
229
|
-
// by a concurrent commit: the comparison that matters -- the id against
|
|
230
|
-
// the digest of this request -- is made by the core, atomically with
|
|
231
|
-
// the commit, under the lock that serializes every writer.
|
|
232
|
-
let id = transaction.transaction_id.as_str();
|
|
233
|
-
let applied = self.db.has_applied_transaction(id).map_err(authority_error)?;
|
|
234
|
-
let recorded = if applied {
|
|
235
|
-
self.db
|
|
236
|
-
.applied_transaction_payload_hash(id)
|
|
237
|
-
.map_err(authority_error)?
|
|
238
|
-
} else {
|
|
239
|
-
None
|
|
240
|
-
};
|
|
241
|
-
let (bound, legacy) = match (applied, recorded) {
|
|
242
|
-
(false, _) => (Some(digest), false),
|
|
243
|
-
// Committed before ids were bound: the id is all there is to compare.
|
|
244
|
-
(true, None) => (None, true),
|
|
245
|
-
(true, Some(hash)) if hash.starts_with(PAYLOAD_DIGEST_PREFIX) => (Some(digest), false),
|
|
246
|
-
// Recorded by a construction this build does not know, or by another
|
|
247
|
-
// writer's: neither a match nor a mismatch can be established.
|
|
248
|
-
(true, Some(_)) => {
|
|
249
|
-
return Err(AuthorityError {
|
|
250
|
-
code: "IDEMPOTENCY_UNVERIFIABLE".into(),
|
|
251
|
-
message: format!(
|
|
252
|
-
"transaction {id} exists, but its recorded payload identity cannot be verified by this build"
|
|
253
|
-
),
|
|
254
|
-
authoritative_revision: None,
|
|
255
|
-
})
|
|
256
|
-
}
|
|
257
|
-
};
|
|
258
|
-
let mut commit = self
|
|
259
|
-
.db
|
|
260
|
-
.apply_atomic_transaction_guarded(
|
|
261
|
-
id,
|
|
262
|
-
bound.as_deref(),
|
|
263
|
-
transaction.base_revision,
|
|
264
|
-
&transaction.preconditions,
|
|
265
|
-
&transaction.record_preconditions,
|
|
266
|
-
&transaction.mutations,
|
|
267
|
-
transaction.audit.clone(),
|
|
268
|
-
)
|
|
269
|
-
.map_err(authority_error)?;
|
|
270
|
-
if legacy && commit.duplicate {
|
|
271
|
-
commit.payload_binding = Some(PayloadBinding::LegacyUnverified);
|
|
272
|
-
}
|
|
273
|
-
Ok(commit)
|
|
274
|
-
}
|
|
275
|
-
}
|
|
276
|
-
|
|
277
|
-
#[derive(Debug, Serialize, Deserialize)]
|
|
278
|
-
#[serde(tag = "operation", rename_all = "snake_case")]
|
|
279
|
-
enum Request {
|
|
280
|
-
Read,
|
|
281
|
-
CurrentRevision,
|
|
282
|
-
Commit { transaction: AuthorityTransaction },
|
|
283
|
-
}
|
|
284
|
-
|
|
285
|
-
#[derive(Debug, Serialize, Deserialize)]
|
|
286
|
-
#[serde(tag = "result", content = "value", rename_all = "snake_case")]
|
|
287
|
-
enum Response {
|
|
288
|
-
Read(AuthorityRead),
|
|
289
|
-
Revision(u64),
|
|
290
|
-
Commit(AtomicCommit),
|
|
291
|
-
Error(AuthorityError),
|
|
292
|
-
}
|
|
293
|
-
|
|
294
|
-
pub struct AuthorityServer {
|
|
295
|
-
socket_path: PathBuf,
|
|
296
|
-
authority: EmbeddedAuthority,
|
|
297
|
-
}
|
|
298
|
-
|
|
299
|
-
impl AuthorityServer {
|
|
300
|
-
pub fn open(
|
|
301
|
-
socket_path: impl Into<PathBuf>,
|
|
302
|
-
storage_path: impl AsRef<Path>,
|
|
303
|
-
) -> crate::Result<Self> {
|
|
304
|
-
Ok(Self {
|
|
305
|
-
socket_path: socket_path.into(),
|
|
306
|
-
authority: EmbeddedAuthority::open(storage_path)?,
|
|
307
|
-
})
|
|
308
|
-
}
|
|
309
|
-
|
|
310
|
-
pub async fn serve(self) -> io::Result<()> {
|
|
311
|
-
if let Some(parent) = self.socket_path.parent() {
|
|
312
|
-
std::fs::create_dir_all(parent)?;
|
|
313
|
-
}
|
|
314
|
-
if self.socket_path.exists() {
|
|
315
|
-
use std::os::unix::fs::FileTypeExt;
|
|
316
|
-
if !std::fs::symlink_metadata(&self.socket_path)?
|
|
317
|
-
.file_type()
|
|
318
|
-
.is_socket()
|
|
319
|
-
{
|
|
320
|
-
return Err(io::Error::new(
|
|
321
|
-
io::ErrorKind::AlreadyExists,
|
|
322
|
-
"authority socket path is not a socket",
|
|
323
|
-
));
|
|
324
|
-
}
|
|
325
|
-
std::fs::remove_file(&self.socket_path)?;
|
|
326
|
-
}
|
|
327
|
-
let listener = UnixListener::bind(&self.socket_path)?;
|
|
328
|
-
loop {
|
|
329
|
-
let (stream, _) = listener.accept().await?;
|
|
330
|
-
let authority = self.authority.clone();
|
|
331
|
-
tokio::spawn(async move {
|
|
332
|
-
let _ = handle_connection(stream, authority).await;
|
|
333
|
-
});
|
|
334
|
-
}
|
|
335
|
-
}
|
|
336
|
-
}
|
|
337
|
-
|
|
338
|
-
async fn handle_connection(stream: UnixStream, authority: EmbeddedAuthority) -> io::Result<()> {
|
|
339
|
-
let (reader, mut writer) = stream.into_split();
|
|
340
|
-
let mut lines = BufReader::new(reader).lines();
|
|
341
|
-
while let Some(line) = lines.next_line().await? {
|
|
342
|
-
let response = match serde_json::from_str::<Request>(&line) {
|
|
343
|
-
Ok(Request::Read) => authority.read_authoritative().await.map(Response::Read),
|
|
344
|
-
Ok(Request::CurrentRevision) => {
|
|
345
|
-
authority.current_revision().await.map(Response::Revision)
|
|
346
|
-
}
|
|
347
|
-
Ok(Request::Commit { transaction }) => {
|
|
348
|
-
authority.commit(transaction).await.map(Response::Commit)
|
|
349
|
-
}
|
|
350
|
-
Err(error) => Err(AuthorityError {
|
|
351
|
-
code: "INVALID_REQUEST".into(),
|
|
352
|
-
message: error.to_string(),
|
|
353
|
-
authoritative_revision: None,
|
|
354
|
-
}),
|
|
355
|
-
}
|
|
356
|
-
.unwrap_or_else(Response::Error);
|
|
357
|
-
writer
|
|
358
|
-
.write_all(&serde_json::to_vec(&response).map_err(io::Error::other)?)
|
|
359
|
-
.await?;
|
|
360
|
-
writer.write_all(b"\n").await?;
|
|
361
|
-
}
|
|
362
|
-
Ok(())
|
|
363
|
-
}
|
|
364
|
-
|
|
365
|
-
#[derive(Clone)]
|
|
366
|
-
pub struct AuthorityClient {
|
|
367
|
-
socket_path: PathBuf,
|
|
368
|
-
}
|
|
369
|
-
|
|
370
|
-
impl AuthorityClient {
|
|
371
|
-
pub fn connect(socket_path: impl Into<PathBuf>) -> Self {
|
|
372
|
-
Self {
|
|
373
|
-
socket_path: socket_path.into(),
|
|
374
|
-
}
|
|
375
|
-
}
|
|
376
|
-
|
|
377
|
-
async fn request(&self, request: Request) -> Result<Response, AuthorityError> {
|
|
378
|
-
// Once a commit has been handed to the authority it may have been
|
|
379
|
-
// applied whether or not an answer comes back, so every failure from
|
|
380
|
-
// that point is an unknown outcome, not a failure.
|
|
381
|
-
let is_commit = matches!(request, Request::Commit { .. });
|
|
382
|
-
let unknown = |detail: String| AuthorityError {
|
|
383
|
-
code: "COMMIT_OUTCOME_UNKNOWN".into(),
|
|
384
|
-
message: format!(
|
|
385
|
-
"the commit may or may not have been applied ({detail}); retry with the same transaction id and payload"
|
|
386
|
-
),
|
|
387
|
-
authoritative_revision: None,
|
|
388
|
-
};
|
|
389
|
-
let mut stream = UnixStream::connect(&self.socket_path)
|
|
390
|
-
.await
|
|
391
|
-
.map_err(|error| AuthorityError {
|
|
392
|
-
code: "AUTHORITY_UNAVAILABLE".into(),
|
|
393
|
-
message: error.to_string(),
|
|
394
|
-
authoritative_revision: None,
|
|
395
|
-
})?;
|
|
396
|
-
stream
|
|
397
|
-
.write_all(
|
|
398
|
-
&serde_json::to_vec(&request).map_err(|error| AuthorityError {
|
|
399
|
-
code: "INVALID_REQUEST".into(),
|
|
400
|
-
message: error.to_string(),
|
|
401
|
-
authoritative_revision: None,
|
|
402
|
-
})?,
|
|
403
|
-
)
|
|
404
|
-
.await
|
|
405
|
-
.map_err(|error| if is_commit { unknown(error.to_string()) } else { io_authority_error(error) })?;
|
|
406
|
-
stream
|
|
407
|
-
.write_all(b"\n")
|
|
408
|
-
.await
|
|
409
|
-
.map_err(|error| if is_commit { unknown(error.to_string()) } else { io_authority_error(error) })?;
|
|
410
|
-
let mut response = String::new();
|
|
411
|
-
BufReader::new(stream)
|
|
412
|
-
.read_line(&mut response)
|
|
413
|
-
.await
|
|
414
|
-
.map_err(|error| if is_commit { unknown(error.to_string()) } else { io_authority_error(error) })?;
|
|
415
|
-
match serde_json::from_str(&response).map_err(|error| {
|
|
416
|
-
if is_commit {
|
|
417
|
-
unknown(format!("unreadable response: {error}"))
|
|
418
|
-
} else {
|
|
419
|
-
AuthorityError {
|
|
420
|
-
code: "INVALID_RESPONSE".into(),
|
|
421
|
-
message: error.to_string(),
|
|
422
|
-
authoritative_revision: None,
|
|
423
|
-
}
|
|
424
|
-
}
|
|
425
|
-
})? {
|
|
426
|
-
Response::Error(error) => Err(error),
|
|
427
|
-
response => Ok(response),
|
|
428
|
-
}
|
|
429
|
-
}
|
|
430
|
-
}
|
|
431
|
-
|
|
432
|
-
fn io_authority_error(error: io::Error) -> AuthorityError {
|
|
433
|
-
AuthorityError {
|
|
434
|
-
code: "AUTHORITY_UNAVAILABLE".into(),
|
|
435
|
-
message: error.to_string(),
|
|
436
|
-
authoritative_revision: None,
|
|
437
|
-
}
|
|
438
|
-
}
|
|
439
|
-
|
|
440
|
-
#[async_trait]
|
|
441
|
-
impl FeltDbAuthority for AuthorityClient {
|
|
442
|
-
async fn read_authoritative(&self) -> Result<AuthorityRead, AuthorityError> {
|
|
443
|
-
match self.request(Request::Read).await? {
|
|
444
|
-
Response::Read(read) => Ok(read),
|
|
445
|
-
_ => Err(AuthorityError {
|
|
446
|
-
code: "INVALID_RESPONSE".into(),
|
|
447
|
-
message: "expected authority read".into(),
|
|
448
|
-
authoritative_revision: None,
|
|
449
|
-
}),
|
|
450
|
-
}
|
|
451
|
-
}
|
|
452
|
-
|
|
453
|
-
async fn current_revision(&self) -> Result<u64, AuthorityError> {
|
|
454
|
-
match self.request(Request::CurrentRevision).await? {
|
|
455
|
-
Response::Revision(revision) => Ok(revision),
|
|
456
|
-
_ => Err(AuthorityError {
|
|
457
|
-
code: "INVALID_RESPONSE".into(),
|
|
458
|
-
message: "expected authority revision".into(),
|
|
459
|
-
authoritative_revision: None,
|
|
460
|
-
}),
|
|
461
|
-
}
|
|
462
|
-
}
|
|
463
|
-
|
|
464
|
-
async fn commit(
|
|
465
|
-
&self,
|
|
466
|
-
transaction: AuthorityTransaction,
|
|
467
|
-
) -> Result<AtomicCommit, AuthorityError> {
|
|
468
|
-
match self.request(Request::Commit { transaction }).await? {
|
|
469
|
-
Response::Commit(commit) => Ok(commit),
|
|
470
|
-
_ => Err(AuthorityError {
|
|
471
|
-
code: "COMMIT_OUTCOME_UNKNOWN".into(),
|
|
472
|
-
message: "the authority answered a commit with something other than a commit; \
|
|
473
|
-
its outcome is unknown, retry with the same transaction id and payload"
|
|
474
|
-
.into(),
|
|
475
|
-
authoritative_revision: None,
|
|
476
|
-
}),
|
|
477
|
-
}
|
|
478
|
-
}
|
|
479
|
-
}
|