@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,299 +0,0 @@
|
|
|
1
|
-
//! Evidence for the StateStore boundary audit
|
|
2
|
-
//! (`docs/audits/STATESTORE-BOUNDARY-AUDIT.md`).
|
|
3
|
-
//!
|
|
4
|
-
//! These tests add **no capability and no product surface**. They answer one
|
|
5
|
-
//! adversarial question with runs rather than readings:
|
|
6
|
-
//!
|
|
7
|
-
//! > Can FeltDB expose immutable state history through the existing server
|
|
8
|
-
//! > authority with fewer primitives than a conventional database or branch
|
|
9
|
-
//! > system requires?
|
|
10
|
-
//!
|
|
11
|
-
//! The answer is yes, and the margin is large. `MinimalStore` below is written
|
|
12
|
-
//! in this test file deliberately: demonstrating that a shape is sufficient is
|
|
13
|
-
//! not the same as committing the product to it, and this PR adds no API.
|
|
14
|
-
|
|
15
|
-
use feltdb::state_model::{
|
|
16
|
-
apply_reconciliation_plan, ConflictClass, ConflictClassification, ReconciliationPlan, StateId,
|
|
17
|
-
StateRevision, StateStore,
|
|
18
|
-
};
|
|
19
|
-
use feltdb::FeltDb;
|
|
20
|
-
use std::collections::HashMap;
|
|
21
|
-
use std::sync::Arc;
|
|
22
|
-
use tempfile::TempDir;
|
|
23
|
-
|
|
24
|
-
fn revision(content: &str) -> StateRevision {
|
|
25
|
-
StateRevision {
|
|
26
|
-
id: StateId::compute(content),
|
|
27
|
-
resource: "docs:1".into(),
|
|
28
|
-
content: content.to_string(),
|
|
29
|
-
content_id: StateId::compute(content),
|
|
30
|
-
sequence: 0,
|
|
31
|
-
parent_id: None,
|
|
32
|
-
authority: "test".into(),
|
|
33
|
-
timestamp_ms: 0,
|
|
34
|
-
metadata: Default::default(),
|
|
35
|
-
}
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
// ---------------------------------------------------------------------------
|
|
39
|
-
// A store built from two operations
|
|
40
|
-
// ---------------------------------------------------------------------------
|
|
41
|
-
|
|
42
|
-
/// A read-through revision store built from nothing but `FeltDb::insert` and
|
|
43
|
-
/// `FeltDb::get`.
|
|
44
|
-
///
|
|
45
|
-
/// No in-memory index, no `current` pointer, no branches, and — because every
|
|
46
|
-
/// record is keyed by the hash of its own content — no recovery path.
|
|
47
|
-
struct MinimalStore {
|
|
48
|
-
db: Arc<FeltDb>,
|
|
49
|
-
}
|
|
50
|
-
|
|
51
|
-
impl MinimalStore {
|
|
52
|
-
fn key(id: &StateId) -> String {
|
|
53
|
-
format!("state:revision:{}", id.as_hex())
|
|
54
|
-
}
|
|
55
|
-
|
|
56
|
-
fn put(&self, revision: &StateRevision) -> Result<(), String> {
|
|
57
|
-
if !revision.verify_integrity() {
|
|
58
|
-
return Err("integrity check failed".into());
|
|
59
|
-
}
|
|
60
|
-
self.db
|
|
61
|
-
.insert(&Self::key(&revision.id), revision.clone())
|
|
62
|
-
.map_err(|error| error.to_string())
|
|
63
|
-
}
|
|
64
|
-
|
|
65
|
-
fn get(&self, id: &StateId) -> Option<StateRevision> {
|
|
66
|
-
self.db.get::<StateRevision>(&Self::key(id)).ok().flatten()
|
|
67
|
-
}
|
|
68
|
-
|
|
69
|
-
/// Ancestry is not a third operation. It is `get` and `parent_id`.
|
|
70
|
-
fn ancestors(&self, id: &StateId) -> Vec<StateId> {
|
|
71
|
-
let mut out = vec![];
|
|
72
|
-
let mut cursor = self.get(id).and_then(|revision| revision.parent_id);
|
|
73
|
-
while let Some(parent) = cursor {
|
|
74
|
-
out.push(parent.clone());
|
|
75
|
-
cursor = self.get(&parent).and_then(|revision| revision.parent_id);
|
|
76
|
-
}
|
|
77
|
-
out
|
|
78
|
-
}
|
|
79
|
-
}
|
|
80
|
-
|
|
81
|
-
/// Two operations carry the whole chain, across a real restart, with no
|
|
82
|
-
/// recovery step and no mutable pointer.
|
|
83
|
-
///
|
|
84
|
-
/// This is the audit's central result. The store is opened, written, dropped,
|
|
85
|
-
/// and reopened over the same log by a *different* `FeltDb` instance; nothing
|
|
86
|
-
/// reconstructs an index, and the three revisions reconciliation needs are read
|
|
87
|
-
/// back by identity alone.
|
|
88
|
-
#[test]
|
|
89
|
-
fn two_operations_carry_the_whole_chain_across_a_restart() {
|
|
90
|
-
let directory = TempDir::new().unwrap();
|
|
91
|
-
let path = directory.path().join("minimal.log");
|
|
92
|
-
|
|
93
|
-
let (base_id, left_id, right_id) = {
|
|
94
|
-
let store = MinimalStore {
|
|
95
|
-
db: Arc::new(FeltDb::open(&path).unwrap()),
|
|
96
|
-
};
|
|
97
|
-
let base = StateRevision::initial(
|
|
98
|
-
"docs:1".to_string(),
|
|
99
|
-
r#"{"shared":1,"only_left":1}"#.into(),
|
|
100
|
-
"a".into(),
|
|
101
|
-
);
|
|
102
|
-
let left = StateRevision::child(
|
|
103
|
-
r#"{"shared":10,"only_left":2}"#.into(),
|
|
104
|
-
&base,
|
|
105
|
-
"alice".into(),
|
|
106
|
-
);
|
|
107
|
-
let right =
|
|
108
|
-
StateRevision::child(r#"{"shared":20,"only_left":1}"#.into(), &base, "bob".into());
|
|
109
|
-
|
|
110
|
-
store.put(&base).unwrap();
|
|
111
|
-
store.put(&left).unwrap();
|
|
112
|
-
store.put(&right).unwrap();
|
|
113
|
-
(base.id.clone(), left.id.clone(), right.id.clone())
|
|
114
|
-
};
|
|
115
|
-
|
|
116
|
-
// A different FeltDb instance over the same log. No recovery is run.
|
|
117
|
-
let store = MinimalStore {
|
|
118
|
-
db: Arc::new(FeltDb::open(&path).unwrap()),
|
|
119
|
-
};
|
|
120
|
-
let base = store.get(&base_id).expect("base survives");
|
|
121
|
-
let left = store.get(&left_id).expect("left survives");
|
|
122
|
-
let right = store.get(&right_id).expect("right survives");
|
|
123
|
-
assert!(base.verify_integrity() && left.verify_integrity() && right.verify_integrity());
|
|
124
|
-
|
|
125
|
-
// The full chain runs against what was read back.
|
|
126
|
-
let classification = ConflictClassification::classify(&base, &left, &right);
|
|
127
|
-
assert_eq!(classification.overall, ConflictClass::Conflict);
|
|
128
|
-
|
|
129
|
-
let plan = ReconciliationPlan::new(left.id.clone(), right.id.clone(), base.id.clone(), true);
|
|
130
|
-
let content = apply_reconciliation_plan(&base, &left, &right, &plan).expect("applies");
|
|
131
|
-
assert_eq!(content, r#"{"only_left":2,"shared":10}"#);
|
|
132
|
-
|
|
133
|
-
let result = StateRevision::child(content, &left, "reconciler".into());
|
|
134
|
-
store.put(&result).expect("the result persists");
|
|
135
|
-
assert_eq!(
|
|
136
|
-
store.ancestors(&result.id),
|
|
137
|
-
vec![left_id, base_id],
|
|
138
|
-
"ancestry needs no primitive beyond get and parent_id"
|
|
139
|
-
);
|
|
140
|
-
|
|
141
|
-
// And no shared mutable record was ever written.
|
|
142
|
-
let current = store
|
|
143
|
-
.db
|
|
144
|
-
.get::<(String, HashMap<String, String>)>("state:current")
|
|
145
|
-
.unwrap();
|
|
146
|
-
assert!(
|
|
147
|
-
current.is_none(),
|
|
148
|
-
"a content-addressed history needs no current pointer"
|
|
149
|
-
);
|
|
150
|
-
}
|
|
151
|
-
|
|
152
|
-
// ---------------------------------------------------------------------------
|
|
153
|
-
// What the chain actually requires
|
|
154
|
-
// ---------------------------------------------------------------------------
|
|
155
|
-
|
|
156
|
-
/// Application reads exactly one content, and three identities.
|
|
157
|
-
///
|
|
158
|
-
/// The base and the branch that was *not* selected contribute nothing but their
|
|
159
|
-
/// ids — both may be unparseable and application still succeeds. This bounds
|
|
160
|
-
/// what a store must be able to serve at the moment a plan is applied: one full
|
|
161
|
-
/// state, not three.
|
|
162
|
-
///
|
|
163
|
-
/// Classification is the step that reads all three, so the chain as a whole
|
|
164
|
-
/// still needs all three. The distinction matters for a durable design, because
|
|
165
|
-
/// the two steps could be served differently.
|
|
166
|
-
#[test]
|
|
167
|
-
fn application_reads_one_content_and_three_identities() {
|
|
168
|
-
let base = revision("this is not json at all");
|
|
169
|
-
let left = revision(r#"{"a":1}"#);
|
|
170
|
-
let right = revision("also not json");
|
|
171
|
-
|
|
172
|
-
let plan = ReconciliationPlan::new(left.id.clone(), right.id.clone(), base.id.clone(), true);
|
|
173
|
-
assert_eq!(
|
|
174
|
-
apply_reconciliation_plan(&base, &left, &right, &plan).expect("applies"),
|
|
175
|
-
r#"{"a":1}"#,
|
|
176
|
-
"only the selected parent's content is read"
|
|
177
|
-
);
|
|
178
|
-
}
|
|
179
|
-
|
|
180
|
-
/// The chain from three revisions to a reconciled one names no branch.
|
|
181
|
-
#[test]
|
|
182
|
-
fn the_chain_needs_no_branch() {
|
|
183
|
-
let store = StateStore::new_volatile();
|
|
184
|
-
let base = store
|
|
185
|
-
.create("docs:1", r#"{"v":1}"#.into(), "a".into())
|
|
186
|
-
.unwrap();
|
|
187
|
-
let left = store
|
|
188
|
-
.commit(r#"{"v":2}"#.into(), &base, "alice".into())
|
|
189
|
-
.unwrap();
|
|
190
|
-
let right = store
|
|
191
|
-
.commit(r#"{"v":3}"#.into(), &base, "bob".into())
|
|
192
|
-
.unwrap();
|
|
193
|
-
|
|
194
|
-
let plan = ReconciliationPlan::new(left.id.clone(), right.id.clone(), base.id.clone(), true);
|
|
195
|
-
assert!(apply_reconciliation_plan(&base, &left, &right, &plan).is_ok());
|
|
196
|
-
assert!(
|
|
197
|
-
store.get(&base.id).is_some() && store.get(&left.id).is_some(),
|
|
198
|
-
"the chain named no branch, and every revision stayed addressable"
|
|
199
|
-
);
|
|
200
|
-
}
|
|
201
|
-
|
|
202
|
-
// ---------------------------------------------------------------------------
|
|
203
|
-
// What the existing store costs
|
|
204
|
-
// ---------------------------------------------------------------------------
|
|
205
|
-
|
|
206
|
-
/// No commit writes a shared mutable record. **Regression.**
|
|
207
|
-
///
|
|
208
|
-
/// This test previously asserted the opposite, as a finding: `state:current`
|
|
209
|
-
/// carried the global current pointer *and* the whole branch map in one
|
|
210
|
-
/// replicated record — the record behind both defects the branching audit
|
|
211
|
-
/// reported — and `commit_revision` wrote it unconditionally, so a caller that
|
|
212
|
-
/// never created a branch did not avoid it.
|
|
213
|
-
///
|
|
214
|
-
/// That record no longer exists. The store's entire durable schema is
|
|
215
|
-
/// `state:revision:{hex}`, one record per revision, and nothing else is
|
|
216
|
-
/// written. The two defects were removed with it rather than repaired.
|
|
217
|
-
#[test]
|
|
218
|
-
fn no_commit_writes_a_shared_mutable_record() {
|
|
219
|
-
let directory = TempDir::new().unwrap();
|
|
220
|
-
let db = Arc::new(FeltDb::open(directory.path().join("shared.log")).unwrap());
|
|
221
|
-
let store = StateStore::with_feltdb(db.clone()).unwrap();
|
|
222
|
-
|
|
223
|
-
let base = store
|
|
224
|
-
.create("docs:1", r#"{"v":1}"#.into(), "a".into())
|
|
225
|
-
.unwrap();
|
|
226
|
-
let child = store
|
|
227
|
-
.commit(r#"{"v":2}"#.into(), &base, "a".into())
|
|
228
|
-
.unwrap();
|
|
229
|
-
|
|
230
|
-
assert!(
|
|
231
|
-
db.get::<(String, HashMap<String, String>)>("state:current")
|
|
232
|
-
.unwrap()
|
|
233
|
-
.is_none(),
|
|
234
|
-
"the record that carried the global pointer and the branch map is gone"
|
|
235
|
-
);
|
|
236
|
-
|
|
237
|
-
// What *is* written is one record per revision, and nothing else.
|
|
238
|
-
for revision in [&base, &child] {
|
|
239
|
-
assert_eq!(
|
|
240
|
-
store
|
|
241
|
-
.get(&revision.id)
|
|
242
|
-
.expect("revision is durable")
|
|
243
|
-
.content,
|
|
244
|
-
revision.content
|
|
245
|
-
);
|
|
246
|
-
}
|
|
247
|
-
}
|
|
248
|
-
|
|
249
|
-
/// One damaged record no longer refuses the whole store. **Regression.**
|
|
250
|
-
///
|
|
251
|
-
/// This test previously asserted the opposite, as a finding: `with_feltdb`
|
|
252
|
-
/// eagerly loaded every revision, re-verified every content hash, and validated
|
|
253
|
-
/// every parent reference before returning, so a single orphaned record that no
|
|
254
|
-
/// caller would ever request refused the entire store.
|
|
255
|
-
///
|
|
256
|
-
/// There is no recovery step now. Reads are keyed and independent, so a damaged
|
|
257
|
-
/// or unrelated record is simply a record nobody asked for. This is the
|
|
258
|
-
/// operational difference between an index that must be rebuilt and records
|
|
259
|
-
/// addressed by content.
|
|
260
|
-
#[test]
|
|
261
|
-
fn one_damaged_record_does_not_refuse_the_whole_store() {
|
|
262
|
-
let directory = TempDir::new().unwrap();
|
|
263
|
-
let path = directory.path().join("domain.log");
|
|
264
|
-
|
|
265
|
-
let good_id = {
|
|
266
|
-
let db = Arc::new(FeltDb::open(&path).unwrap());
|
|
267
|
-
let store = StateStore::with_feltdb(db.clone()).unwrap();
|
|
268
|
-
let good = store
|
|
269
|
-
.create("docs:1", r#"{"v":1}"#.into(), "a".into())
|
|
270
|
-
.unwrap();
|
|
271
|
-
|
|
272
|
-
// An unrelated revision whose parent was never stored. Nothing the
|
|
273
|
-
// caller will ever ask for.
|
|
274
|
-
let orphan = StateRevision {
|
|
275
|
-
id: StateId::compute(r#"{"orphan":true}"#),
|
|
276
|
-
resource: "docs:1".into(),
|
|
277
|
-
content: r#"{"orphan":true}"#.into(),
|
|
278
|
-
content_id: StateId::compute(r#"{"orphan":true}"#),
|
|
279
|
-
sequence: 0,
|
|
280
|
-
parent_id: Some(StateId::compute("a parent that was never stored")),
|
|
281
|
-
authority: "x".into(),
|
|
282
|
-
timestamp_ms: 0,
|
|
283
|
-
metadata: Default::default(),
|
|
284
|
-
};
|
|
285
|
-
db.insert(&format!("state:revision:{}", orphan.id.as_hex()), orphan)
|
|
286
|
-
.unwrap();
|
|
287
|
-
good.id
|
|
288
|
-
};
|
|
289
|
-
|
|
290
|
-
let db = Arc::new(FeltDb::open(&path).unwrap());
|
|
291
|
-
let store = StateStore::with_feltdb(db).expect("the store opens despite the orphan");
|
|
292
|
-
|
|
293
|
-
// The intact revision is readable by identity, unaffected by its neighbour.
|
|
294
|
-
let good = store
|
|
295
|
-
.get(&good_id)
|
|
296
|
-
.expect("the intact revision is readable");
|
|
297
|
-
assert!(good.verify_integrity());
|
|
298
|
-
assert_eq!(good.content, r#"{"v":1}"#);
|
|
299
|
-
}
|
|
@@ -1,328 +0,0 @@
|
|
|
1
|
-
use feltdb::{
|
|
2
|
-
ConflictClass, DurableObjectStore, LocalObjectStore, MaterializationProjection, PathComponent,
|
|
3
|
-
Reachability, S3CompatibleBucket, S3CompatibleObjectStore, StateId, StateTopology,
|
|
4
|
-
SubstrateError, VersionedObjectSubstrate,
|
|
5
|
-
};
|
|
6
|
-
use serde_json::json;
|
|
7
|
-
use std::sync::{Arc, Barrier};
|
|
8
|
-
use std::thread;
|
|
9
|
-
use tempfile::TempDir;
|
|
10
|
-
|
|
11
|
-
#[derive(Debug, PartialEq, Eq)]
|
|
12
|
-
struct Snapshot {
|
|
13
|
-
revisions: Vec<(String, Option<String>, String)>,
|
|
14
|
-
refs: Vec<(String, String, String, u64)>,
|
|
15
|
-
relationship: String,
|
|
16
|
-
has_common_ancestor: bool,
|
|
17
|
-
diff_len: usize,
|
|
18
|
-
conflict: ConflictClass,
|
|
19
|
-
materialized: String,
|
|
20
|
-
reachability_revisions: Vec<String>,
|
|
21
|
-
reachability_objects: Vec<String>,
|
|
22
|
-
}
|
|
23
|
-
|
|
24
|
-
fn workload<S: DurableObjectStore>(substrate: &VersionedObjectSubstrate<S>) -> Snapshot {
|
|
25
|
-
let a = substrate
|
|
26
|
-
.create_revision("graph:item", json!({"n":"A"}).to_string(), None, "auth".into())
|
|
27
|
-
.unwrap();
|
|
28
|
-
let b = substrate
|
|
29
|
-
.create_revision(
|
|
30
|
-
"graph:item",
|
|
31
|
-
json!({"n":"B"}).to_string(),
|
|
32
|
-
Some(a.id.clone()),
|
|
33
|
-
"auth".into(),
|
|
34
|
-
)
|
|
35
|
-
.unwrap();
|
|
36
|
-
let c = substrate
|
|
37
|
-
.create_revision(
|
|
38
|
-
"graph:item",
|
|
39
|
-
json!({"n":"C","shared":true}).to_string(),
|
|
40
|
-
Some(b.id.clone()),
|
|
41
|
-
"auth".into(),
|
|
42
|
-
)
|
|
43
|
-
.unwrap();
|
|
44
|
-
let d = substrate
|
|
45
|
-
.create_revision(
|
|
46
|
-
"graph:item",
|
|
47
|
-
json!({"n":"D","shared":true}).to_string(),
|
|
48
|
-
Some(b.id.clone()),
|
|
49
|
-
"auth".into(),
|
|
50
|
-
)
|
|
51
|
-
.unwrap();
|
|
52
|
-
|
|
53
|
-
substrate
|
|
54
|
-
.create_ref("heads", "main", c.id.clone(), "auth".into())
|
|
55
|
-
.unwrap();
|
|
56
|
-
substrate
|
|
57
|
-
.create_ref("heads", "feature", d.id.clone(), "auth".into())
|
|
58
|
-
.unwrap();
|
|
59
|
-
|
|
60
|
-
let revisions = substrate.list_revisions().unwrap();
|
|
61
|
-
let mut topology = StateTopology::new();
|
|
62
|
-
for revision in &revisions {
|
|
63
|
-
topology.add_revision(revision.clone());
|
|
64
|
-
}
|
|
65
|
-
|
|
66
|
-
let conflict = substrate
|
|
67
|
-
.conflict_classification(&b.id, &c.id, &d.id)
|
|
68
|
-
.unwrap()
|
|
69
|
-
.overall;
|
|
70
|
-
let reconciled = substrate.reconcile(&b.id, &c.id, &d.id, "reconciler").unwrap();
|
|
71
|
-
let materialized = substrate
|
|
72
|
-
.materialize(
|
|
73
|
-
&reconciled.id,
|
|
74
|
-
&MaterializationProjection::select(vec![vec![PathComponent::Key("n".into())]]),
|
|
75
|
-
)
|
|
76
|
-
.unwrap()
|
|
77
|
-
.to_string();
|
|
78
|
-
|
|
79
|
-
let reachability = substrate.reachability().unwrap();
|
|
80
|
-
|
|
81
|
-
let mut revisions_snapshot = substrate
|
|
82
|
-
.list_revisions()
|
|
83
|
-
.unwrap()
|
|
84
|
-
.into_iter()
|
|
85
|
-
.map(|r| {
|
|
86
|
-
(
|
|
87
|
-
r.id.as_hex().to_string(),
|
|
88
|
-
r.parent_id.map(|p| p.as_hex().to_string()),
|
|
89
|
-
r.content_id.as_hex().to_string(),
|
|
90
|
-
)
|
|
91
|
-
})
|
|
92
|
-
.collect::<Vec<_>>();
|
|
93
|
-
revisions_snapshot.sort();
|
|
94
|
-
|
|
95
|
-
let refs_snapshot = substrate
|
|
96
|
-
.list_refs(None)
|
|
97
|
-
.unwrap()
|
|
98
|
-
.into_iter()
|
|
99
|
-
.map(|r| {
|
|
100
|
-
(
|
|
101
|
-
r.namespace,
|
|
102
|
-
r.name,
|
|
103
|
-
r.target.as_hex().to_string(),
|
|
104
|
-
r.version,
|
|
105
|
-
)
|
|
106
|
-
})
|
|
107
|
-
.collect::<Vec<_>>();
|
|
108
|
-
|
|
109
|
-
let relationship = format!("{:?}", topology.relationship(&c.id, &d.id));
|
|
110
|
-
let has_common_ancestor = topology.common_ancestor(&c.id, &d.id).is_some();
|
|
111
|
-
let diff_len = feltdb::SemanticDiff::compute(
|
|
112
|
-
&serde_json::from_str::<serde_json::Value>(&c.content).unwrap(),
|
|
113
|
-
&serde_json::from_str::<serde_json::Value>(&d.content).unwrap(),
|
|
114
|
-
)
|
|
115
|
-
.changes
|
|
116
|
-
.len();
|
|
117
|
-
|
|
118
|
-
Snapshot {
|
|
119
|
-
revisions: revisions_snapshot,
|
|
120
|
-
refs: refs_snapshot,
|
|
121
|
-
relationship,
|
|
122
|
-
has_common_ancestor,
|
|
123
|
-
diff_len,
|
|
124
|
-
conflict,
|
|
125
|
-
materialized,
|
|
126
|
-
reachability_revisions: reachability
|
|
127
|
-
.revisions
|
|
128
|
-
.iter()
|
|
129
|
-
.map(|id| id.as_hex().to_string())
|
|
130
|
-
.collect(),
|
|
131
|
-
reachability_objects: reachability
|
|
132
|
-
.objects
|
|
133
|
-
.iter()
|
|
134
|
-
.map(|id| id.as_hex().to_string())
|
|
135
|
-
.collect(),
|
|
136
|
-
}
|
|
137
|
-
}
|
|
138
|
-
|
|
139
|
-
#[test]
|
|
140
|
-
fn local_and_s3_compatible_backends_produce_identical_version_semantics() {
|
|
141
|
-
let local_dir = TempDir::new().unwrap();
|
|
142
|
-
let local = VersionedObjectSubstrate::new(LocalObjectStore::new(local_dir.path()).unwrap());
|
|
143
|
-
|
|
144
|
-
let bucket = S3CompatibleBucket::default();
|
|
145
|
-
let s3 = VersionedObjectSubstrate::new(S3CompatibleObjectStore::new(bucket));
|
|
146
|
-
|
|
147
|
-
let local_snapshot = workload(&local);
|
|
148
|
-
let s3_snapshot = workload(&s3);
|
|
149
|
-
assert_eq!(local_snapshot, s3_snapshot);
|
|
150
|
-
}
|
|
151
|
-
|
|
152
|
-
#[test]
|
|
153
|
-
fn durable_survives_cache_loss_but_cache_never_becomes_authority() {
|
|
154
|
-
let local_dir = TempDir::new().unwrap();
|
|
155
|
-
let backend = LocalObjectStore::new(local_dir.path()).unwrap();
|
|
156
|
-
|
|
157
|
-
let service = VersionedObjectSubstrate::new(backend.clone());
|
|
158
|
-
let a = service
|
|
159
|
-
.create_revision("docs:1", json!({"v":1}).to_string(), None, "auth".into())
|
|
160
|
-
.unwrap();
|
|
161
|
-
let b = service
|
|
162
|
-
.create_revision(
|
|
163
|
-
"docs:1",
|
|
164
|
-
json!({"v":2}).to_string(),
|
|
165
|
-
Some(a.id.clone()),
|
|
166
|
-
"auth".into(),
|
|
167
|
-
)
|
|
168
|
-
.unwrap();
|
|
169
|
-
service
|
|
170
|
-
.create_ref("heads", "main", b.id.clone(), "auth".into())
|
|
171
|
-
.unwrap();
|
|
172
|
-
|
|
173
|
-
let restart = VersionedObjectSubstrate::new(backend.clone());
|
|
174
|
-
let restored = restart.get_revision(&b.id).unwrap();
|
|
175
|
-
assert_eq!(restored.id, b.id);
|
|
176
|
-
|
|
177
|
-
// Populate cache then remove durable object; reads must fail closed.
|
|
178
|
-
let _ = restart.get_object(&b.content_id).unwrap();
|
|
179
|
-
backend.delete(&format!("object:{}", b.content_id.as_hex())).unwrap();
|
|
180
|
-
let failed = restart.get_revision(&b.id);
|
|
181
|
-
assert!(matches!(failed, Err(SubstrateError::NotFound(_))));
|
|
182
|
-
}
|
|
183
|
-
|
|
184
|
-
#[test]
|
|
185
|
-
fn shared_history_gc_parity_across_backends_and_restart() {
|
|
186
|
-
fn scenario<S: DurableObjectStore>(backend: S) -> (Reachability, Reachability) {
|
|
187
|
-
let substrate = VersionedObjectSubstrate::new(backend.clone());
|
|
188
|
-
let a = substrate
|
|
189
|
-
.create_revision("graph:item", json!({"n":"A"}).to_string(), None, "auth".into())
|
|
190
|
-
.unwrap();
|
|
191
|
-
let b = substrate
|
|
192
|
-
.create_revision(
|
|
193
|
-
"graph:item",
|
|
194
|
-
json!({"n":"B"}).to_string(),
|
|
195
|
-
Some(a.id.clone()),
|
|
196
|
-
"auth".into(),
|
|
197
|
-
)
|
|
198
|
-
.unwrap();
|
|
199
|
-
let c = substrate
|
|
200
|
-
.create_revision(
|
|
201
|
-
"graph:item",
|
|
202
|
-
json!({"n":"C"}).to_string(),
|
|
203
|
-
Some(b.id.clone()),
|
|
204
|
-
"auth".into(),
|
|
205
|
-
)
|
|
206
|
-
.unwrap();
|
|
207
|
-
let d = substrate
|
|
208
|
-
.create_revision(
|
|
209
|
-
"graph:item",
|
|
210
|
-
json!({"n":"D"}).to_string(),
|
|
211
|
-
Some(b.id.clone()),
|
|
212
|
-
"auth".into(),
|
|
213
|
-
)
|
|
214
|
-
.unwrap();
|
|
215
|
-
substrate
|
|
216
|
-
.create_ref("heads", "main", c.id.clone(), "auth".into())
|
|
217
|
-
.unwrap();
|
|
218
|
-
substrate
|
|
219
|
-
.create_ref("heads", "feature", d.id.clone(), "auth".into())
|
|
220
|
-
.unwrap();
|
|
221
|
-
|
|
222
|
-
substrate.delete_ref("heads", "feature", Some(1)).unwrap();
|
|
223
|
-
let after_gc = substrate.collect_unreachable().unwrap();
|
|
224
|
-
assert!(after_gc.revisions.iter().any(|id| id == &b.id));
|
|
225
|
-
assert!(after_gc.revisions.iter().any(|id| id == &c.id));
|
|
226
|
-
assert!(!after_gc.revisions.iter().any(|id| id == &d.id));
|
|
227
|
-
|
|
228
|
-
let restarted = VersionedObjectSubstrate::new(backend);
|
|
229
|
-
let after_restart = restarted.reachability().unwrap();
|
|
230
|
-
(after_gc, after_restart)
|
|
231
|
-
}
|
|
232
|
-
|
|
233
|
-
let local_dir = TempDir::new().unwrap();
|
|
234
|
-
let (local_gc, local_restart) = scenario(LocalObjectStore::new(local_dir.path()).unwrap());
|
|
235
|
-
assert_eq!(local_gc, local_restart);
|
|
236
|
-
|
|
237
|
-
let bucket = S3CompatibleBucket::default();
|
|
238
|
-
let (s3_gc, s3_restart) = scenario(S3CompatibleObjectStore::new(bucket));
|
|
239
|
-
assert_eq!(s3_gc, s3_restart);
|
|
240
|
-
assert_eq!(local_gc, s3_gc);
|
|
241
|
-
}
|
|
242
|
-
|
|
243
|
-
#[test]
|
|
244
|
-
fn concurrent_ref_cas_allows_only_one_winner_across_backends() {
|
|
245
|
-
fn run<S: DurableObjectStore>(backend: S) {
|
|
246
|
-
let substrate = Arc::new(VersionedObjectSubstrate::new(backend));
|
|
247
|
-
let a = substrate
|
|
248
|
-
.create_revision("docs:1", json!({"v":1}).to_string(), None, "auth".into())
|
|
249
|
-
.unwrap();
|
|
250
|
-
let b = substrate
|
|
251
|
-
.create_revision(
|
|
252
|
-
"docs:1",
|
|
253
|
-
json!({"v":2}).to_string(),
|
|
254
|
-
Some(a.id.clone()),
|
|
255
|
-
"auth".into(),
|
|
256
|
-
)
|
|
257
|
-
.unwrap();
|
|
258
|
-
let c = substrate
|
|
259
|
-
.create_revision(
|
|
260
|
-
"docs:1",
|
|
261
|
-
json!({"v":3}).to_string(),
|
|
262
|
-
Some(b.id.clone()),
|
|
263
|
-
"auth".into(),
|
|
264
|
-
)
|
|
265
|
-
.unwrap();
|
|
266
|
-
substrate
|
|
267
|
-
.create_ref("heads", "main", b.id.clone(), "auth".into())
|
|
268
|
-
.unwrap();
|
|
269
|
-
|
|
270
|
-
let barrier = Arc::new(Barrier::new(2));
|
|
271
|
-
let left = {
|
|
272
|
-
let substrate = Arc::clone(&substrate);
|
|
273
|
-
let barrier = Arc::clone(&barrier);
|
|
274
|
-
let c = c.id.clone();
|
|
275
|
-
thread::spawn(move || {
|
|
276
|
-
barrier.wait();
|
|
277
|
-
substrate.cas_move_ref("heads", "main", 1, c, "left".into())
|
|
278
|
-
})
|
|
279
|
-
};
|
|
280
|
-
let right = {
|
|
281
|
-
let substrate = Arc::clone(&substrate);
|
|
282
|
-
let barrier = Arc::clone(&barrier);
|
|
283
|
-
let a = a.id.clone();
|
|
284
|
-
thread::spawn(move || {
|
|
285
|
-
barrier.wait();
|
|
286
|
-
substrate.cas_move_ref("heads", "main", 1, a, "right".into())
|
|
287
|
-
})
|
|
288
|
-
};
|
|
289
|
-
|
|
290
|
-
let one = left.join().unwrap();
|
|
291
|
-
let two = right.join().unwrap();
|
|
292
|
-
let wins = usize::from(one.is_ok()) + usize::from(two.is_ok());
|
|
293
|
-
assert_eq!(wins, 1);
|
|
294
|
-
}
|
|
295
|
-
|
|
296
|
-
let local_dir = TempDir::new().unwrap();
|
|
297
|
-
run(LocalObjectStore::new(local_dir.path()).unwrap());
|
|
298
|
-
run(S3CompatibleObjectStore::new(S3CompatibleBucket::default()));
|
|
299
|
-
}
|
|
300
|
-
|
|
301
|
-
#[test]
|
|
302
|
-
fn duplicate_object_writes_and_restart_are_stable() {
|
|
303
|
-
fn run<S: DurableObjectStore>(backend: S) {
|
|
304
|
-
let substrate = VersionedObjectSubstrate::new(backend.clone());
|
|
305
|
-
let one = substrate.store_object(r#"{"same":true}"#).unwrap();
|
|
306
|
-
let two = substrate.store_object(r#"{"same":true}"#).unwrap();
|
|
307
|
-
assert_eq!(one, two);
|
|
308
|
-
|
|
309
|
-
let restarted = VersionedObjectSubstrate::new(backend);
|
|
310
|
-
let value = restarted.get_object(&one).unwrap();
|
|
311
|
-
assert_eq!(value, r#"{"same":true}"#);
|
|
312
|
-
}
|
|
313
|
-
|
|
314
|
-
let local_dir = TempDir::new().unwrap();
|
|
315
|
-
run(LocalObjectStore::new(local_dir.path()).unwrap());
|
|
316
|
-
run(S3CompatibleObjectStore::new(S3CompatibleBucket::default()));
|
|
317
|
-
}
|
|
318
|
-
|
|
319
|
-
#[test]
|
|
320
|
-
fn ref_is_not_published_when_target_is_not_durable() {
|
|
321
|
-
let local_dir = TempDir::new().unwrap();
|
|
322
|
-
let backend = LocalObjectStore::new(local_dir.path()).unwrap();
|
|
323
|
-
let substrate = VersionedObjectSubstrate::new(backend.clone());
|
|
324
|
-
|
|
325
|
-
let fake = StateId::from_hex("a".repeat(64));
|
|
326
|
-
let create = substrate.create_ref("heads", "broken", fake, "auth".into());
|
|
327
|
-
assert!(matches!(create, Err(SubstrateError::NotFound(_))));
|
|
328
|
-
}
|