@feltdb/core 0.15.0 → 0.16.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (248) hide show
  1. package/dist/agent-state.d.ts +20 -0
  2. package/dist/agent-state.d.ts.map +1 -1
  3. package/dist/agent-state.js +36 -0
  4. package/dist/build-identity.json +12 -4
  5. package/dist/cli/commands.js +187 -4
  6. package/dist/cli/publish-engine.js +116 -16
  7. package/dist/collection.d.ts.map +1 -1
  8. package/dist/collection.js +20 -2
  9. package/dist/create/build-identity.json +12 -4
  10. package/dist/create/managed-account.js +93 -35
  11. package/dist/create/package-versions.js +1 -1
  12. package/dist/create/server-source/Cargo.lock +6 -509
  13. package/dist/create/server-source/Cargo.toml +2 -13
  14. package/dist/create/server-source/crates/feltdb-client/Cargo.toml +1 -1
  15. package/dist/create/server-source/crates/feltdb-server/Cargo.toml +1 -1
  16. package/dist/create/server-source/crates/feltdb-server/src/main.rs +356 -24
  17. package/dist/create/server-source/crates/feltdb-server/tests/rust_client.rs +10 -1
  18. package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +1 -1
  19. package/dist/db.d.ts +11 -1
  20. package/dist/db.d.ts.map +1 -1
  21. package/dist/db.js +15 -2
  22. package/dist/error-codes.d.ts +5 -0
  23. package/dist/error-codes.d.ts.map +1 -1
  24. package/dist/error-codes.js +9 -1
  25. package/dist/http-db.d.ts +16 -0
  26. package/dist/http-db.d.ts.map +1 -1
  27. package/dist/http-db.js +36 -6
  28. package/dist/managed-recovery.d.ts +6 -0
  29. package/dist/managed-recovery.d.ts.map +1 -1
  30. package/dist/managed-recovery.js +9 -0
  31. package/dist/studio-app/assets/{feltdb_wasm-BjM1ylL3.js → feltdb_wasm-BUIxCuTR.js} +1 -1
  32. package/dist/studio-app/assets/feltdb_wasm_bg-C3D6y6DK.wasm +0 -0
  33. package/dist/studio-app/assets/index-BhXYAhgS.js +37 -0
  34. package/dist/studio-app/index.html +1 -1
  35. package/dist/wasm/feltdb_wasm_bg.wasm +0 -0
  36. package/dist/wasm/package.json +1 -1
  37. package/dist/workload.d.ts +55 -3
  38. package/dist/workload.d.ts.map +1 -1
  39. package/dist/workload.js +23 -0
  40. package/dist/workspace/workspace-connection.d.ts.map +1 -1
  41. package/dist/workspace/workspace-connection.js +14 -3
  42. package/package.json +1 -1
  43. package/dist/create/server-source/crates/feltdb/Cargo.lock +0 -175
  44. package/dist/create/server-source/crates/feltdb/Cargo.toml +0 -102
  45. package/dist/create/server-source/crates/feltdb/LICENSE +0 -21
  46. package/dist/create/server-source/crates/feltdb/README.md +0 -75
  47. package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +0 -370
  48. package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +0 -589
  49. package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +0 -247
  50. package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +0 -440
  51. package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +0 -275
  52. package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +0 -381
  53. package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +0 -467
  54. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +0 -489
  55. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +0 -281
  56. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +0 -606
  57. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +0 -531
  58. package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +0 -462
  59. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +0 -505
  60. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +0 -484
  61. package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +0 -758
  62. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +0 -421
  63. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +0 -329
  64. package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +0 -1705
  65. package/dist/create/server-source/crates/feltdb/src/acquisition.rs +0 -286
  66. package/dist/create/server-source/crates/feltdb/src/admission.rs +0 -185
  67. package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +0 -507
  68. package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +0 -539
  69. package/dist/create/server-source/crates/feltdb/src/agent_state.rs +0 -320
  70. package/dist/create/server-source/crates/feltdb/src/agent_transition_contract.rs +0 -1545
  71. package/dist/create/server-source/crates/feltdb/src/analytics.rs +0 -521
  72. package/dist/create/server-source/crates/feltdb/src/application.rs +0 -2674
  73. package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +0 -1070
  74. package/dist/create/server-source/crates/feltdb/src/authority.rs +0 -479
  75. package/dist/create/server-source/crates/feltdb/src/authority_failover.rs +0 -847
  76. package/dist/create/server-source/crates/feltdb/src/authorization.rs +0 -1030
  77. package/dist/create/server-source/crates/feltdb/src/authorization_security_tests.rs +0 -1122
  78. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority-client.rs +0 -32
  79. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority.rs +0 -19
  80. package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +0 -1474
  81. package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +0 -8
  82. package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +0 -418
  83. package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +0 -482
  84. package/dist/create/server-source/crates/feltdb/src/capability.rs +0 -903
  85. package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +0 -263
  86. package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +0 -77
  87. package/dist/create/server-source/crates/feltdb/src/causal_backlog_bound.rs +0 -496
  88. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +0 -2574
  89. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +0 -212
  90. package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +0 -422
  91. package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +0 -445
  92. package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +0 -465
  93. package/dist/create/server-source/crates/feltdb/src/convergence.rs +0 -634
  94. package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +0 -427
  95. package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +0 -376
  96. package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +0 -365
  97. package/dist/create/server-source/crates/feltdb/src/cron.rs +0 -294
  98. package/dist/create/server-source/crates/feltdb/src/dedup_bound_investigation.rs +0 -483
  99. package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +0 -477
  100. package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +0 -1003
  101. package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +0 -1334
  102. package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +0 -368
  103. package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +0 -231
  104. package/dist/create/server-source/crates/feltdb/src/durable_operation_identity.rs +0 -482
  105. package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +0 -203
  106. package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +0 -317
  107. package/dist/create/server-source/crates/feltdb/src/equality_index.rs +0 -595
  108. package/dist/create/server-source/crates/feltdb/src/execution.rs +0 -426
  109. package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +0 -214
  110. package/dist/create/server-source/crates/feltdb/src/indexing.rs +0 -776
  111. package/dist/create/server-source/crates/feltdb/src/lib.rs +0 -7365
  112. package/dist/create/server-source/crates/feltdb/src/managed_cas_tests.rs +0 -234
  113. package/dist/create/server-source/crates/feltdb/src/materialization.rs +0 -184
  114. package/dist/create/server-source/crates/feltdb/src/metrics.rs +0 -266
  115. package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +0 -310
  116. package/dist/create/server-source/crates/feltdb/src/multi_operation_transaction.rs +0 -736
  117. package/dist/create/server-source/crates/feltdb/src/observability.rs +0 -379
  118. package/dist/create/server-source/crates/feltdb/src/operation.rs +0 -290
  119. package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +0 -439
  120. package/dist/create/server-source/crates/feltdb/src/operation_log.rs +0 -349
  121. package/dist/create/server-source/crates/feltdb/src/p1_application_atomicity.rs +0 -332
  122. package/dist/create/server-source/crates/feltdb/src/p1_atomicity_acceptance.rs +0 -718
  123. package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +0 -487
  124. package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +0 -166
  125. package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +0 -289
  126. package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +0 -566
  127. package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +0 -3391
  128. package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +0 -203
  129. package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +0 -261
  130. package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +0 -502
  131. package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +0 -216
  132. package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +0 -303
  133. package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +0 -323
  134. package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +0 -531
  135. package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +0 -406
  136. package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +0 -436
  137. package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +0 -387
  138. package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +0 -378
  139. package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +0 -359
  140. package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +0 -372
  141. package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +0 -404
  142. package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +0 -376
  143. package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +0 -461
  144. package/dist/create/server-source/crates/feltdb/src/policy_evaluation.rs +0 -2125
  145. package/dist/create/server-source/crates/feltdb/src/production_api.rs +0 -418
  146. package/dist/create/server-source/crates/feltdb/src/provenance.rs +0 -207
  147. package/dist/create/server-source/crates/feltdb/src/query_execution_diagnostics.rs +0 -126
  148. package/dist/create/server-source/crates/feltdb/src/query_performance.rs +0 -218
  149. package/dist/create/server-source/crates/feltdb/src/read_basis.rs +0 -257
  150. package/dist/create/server-source/crates/feltdb/src/references.rs +0 -404
  151. package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +0 -401
  152. package/dist/create/server-source/crates/feltdb/src/replica_acknowledgements.rs +0 -501
  153. package/dist/create/server-source/crates/feltdb/src/replica_membership.rs +0 -680
  154. package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +0 -163
  155. package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +0 -133
  156. package/dist/create/server-source/crates/feltdb/src/routing.rs +0 -409
  157. package/dist/create/server-source/crates/feltdb/src/semantic_decision.rs +0 -2029
  158. package/dist/create/server-source/crates/feltdb/src/semantic_query.rs +0 -599
  159. package/dist/create/server-source/crates/feltdb/src/sharding.rs +0 -549
  160. package/dist/create/server-source/crates/feltdb/src/state_conflict_contract.rs +0 -516
  161. package/dist/create/server-source/crates/feltdb/src/state_contract.rs +0 -6003
  162. package/dist/create/server-source/crates/feltdb/src/state_diff_contract.rs +0 -222
  163. package/dist/create/server-source/crates/feltdb/src/state_facade.rs +0 -320
  164. package/dist/create/server-source/crates/feltdb/src/state_hash.rs +0 -291
  165. package/dist/create/server-source/crates/feltdb/src/state_model.rs +0 -4158
  166. package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +0 -379
  167. package/dist/create/server-source/crates/feltdb/src/state_trigger.rs +0 -673
  168. package/dist/create/server-source/crates/feltdb/src/storage.rs +0 -273
  169. package/dist/create/server-source/crates/feltdb/src/submission.rs +0 -471
  170. package/dist/create/server-source/crates/feltdb/src/sync.rs +0 -495
  171. package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +0 -822
  172. package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +0 -433
  173. package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +0 -462
  174. package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +0 -965
  175. package/dist/create/server-source/crates/feltdb/src/transaction_preconditions.rs +0 -1120
  176. package/dist/create/server-source/crates/feltdb/src/transactions.rs +0 -643
  177. package/dist/create/server-source/crates/feltdb/src/trigger.rs +0 -390
  178. package/dist/create/server-source/crates/feltdb/src/trigger_contract.rs +0 -749
  179. package/dist/create/server-source/crates/feltdb/src/versioned_object_substrate.rs +0 -708
  180. package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +0 -1269
  181. package/dist/create/server-source/crates/feltdb/src/workflow.rs +0 -713
  182. package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +0 -510
  183. package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +0 -354
  184. package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +0 -594
  185. package/dist/create/server-source/crates/feltdb/src/workload.rs +0 -4222
  186. package/dist/create/server-source/crates/feltdb/src/workload_diagnostics.rs +0 -456
  187. package/dist/create/server-source/crates/feltdb/tests/agent_state_native.rs +0 -1188
  188. package/dist/create/server-source/crates/feltdb/tests/agent_transition_contract_conformance.rs +0 -2884
  189. package/dist/create/server-source/crates/feltdb/tests/authority_process.rs +0 -297
  190. package/dist/create/server-source/crates/feltdb/tests/authority_transaction_identity.rs +0 -534
  191. package/dist/create/server-source/crates/feltdb/tests/bounded_read_contract.rs +0 -132
  192. package/dist/create/server-source/crates/feltdb/tests/branching_evidence.rs +0 -299
  193. package/dist/create/server-source/crates/feltdb/tests/common/mod.rs +0 -96
  194. package/dist/create/server-source/crates/feltdb/tests/compaction_stall_contract.rs +0 -272
  195. package/dist/create/server-source/crates/feltdb/tests/crash_durability_contract.rs +0 -467
  196. package/dist/create/server-source/crates/feltdb/tests/current_revision_authority_evidence.rs +0 -309
  197. package/dist/create/server-source/crates/feltdb/tests/durable_backup_contract.rs +0 -445
  198. package/dist/create/server-source/crates/feltdb/tests/durable_corruption_contract.rs +0 -518
  199. package/dist/create/server-source/crates/feltdb/tests/durable_format_compatibility.rs +0 -392
  200. package/dist/create/server-source/crates/feltdb/tests/feltdb_state_boundary_tests.rs +0 -850
  201. package/dist/create/server-source/crates/feltdb/tests/fixtures/agent_transition_corpus.json +0 -23340
  202. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_conflict_contract_corpus.json +0 -1916
  203. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_diff_contract_corpus.json +0 -1878
  204. package/dist/create/server-source/crates/feltdb/tests/fixtures/trigger_contract_corpus.json +0 -1862
  205. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_evidence.rs +0 -123
  206. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_substrate_completion.rs +0 -299
  207. package/dist/create/server-source/crates/feltdb/tests/local_process_ownership.rs +0 -69
  208. package/dist/create/server-source/crates/feltdb/tests/managed_incident_regression.rs +0 -191
  209. package/dist/create/server-source/crates/feltdb/tests/operational_health_contract.rs +0 -278
  210. package/dist/create/server-source/crates/feltdb/tests/pr34_query_collection.rs +0 -234
  211. package/dist/create/server-source/crates/feltdb/tests/pr35_equality_index.rs +0 -947
  212. package/dist/create/server-source/crates/feltdb/tests/pr7_self_authorization_proof.rs +0 -404
  213. package/dist/create/server-source/crates/feltdb/tests/pr8_vocabulary_assessment.rs +0 -916
  214. package/dist/create/server-source/crates/feltdb/tests/pr9_phase2_boundary_tests.rs +0 -1045
  215. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3a_path_a_tests.rs +0 -347
  216. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_authorized_mutations.rs +0 -361
  217. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_role_based_authorization.rs +0 -330
  218. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_simple_auth_delete.rs +0 -93
  219. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_team_delete_role_authorization.rs +0 -622
  220. package/dist/create/server-source/crates/feltdb/tests/pr9_teams_role_based_access.rs +0 -517
  221. package/dist/create/server-source/crates/feltdb/tests/production_certification.rs +0 -1153
  222. package/dist/create/server-source/crates/feltdb/tests/production_contract.rs +0 -771
  223. package/dist/create/server-source/crates/feltdb/tests/production_readiness_contract.rs +0 -1383
  224. package/dist/create/server-source/crates/feltdb/tests/reconciliation_application.rs +0 -868
  225. package/dist/create/server-source/crates/feltdb/tests/reconciliation_wire_format_evidence.rs +0 -221
  226. package/dist/create/server-source/crates/feltdb/tests/replicated_history_contract.rs +0 -417
  227. package/dist/create/server-source/crates/feltdb/tests/resource_scoped_revisions.rs +0 -338
  228. package/dist/create/server-source/crates/feltdb/tests/revision_identity_contract.rs +0 -1039
  229. package/dist/create/server-source/crates/feltdb/tests/revision_model_decision.rs +0 -739
  230. package/dist/create/server-source/crates/feltdb/tests/revision_retention_boundary_evidence.rs +0 -452
  231. package/dist/create/server-source/crates/feltdb/tests/saas_authorization_integration.rs +0 -81
  232. package/dist/create/server-source/crates/feltdb/tests/saas_invitation_lifecycle.rs +0 -438
  233. package/dist/create/server-source/crates/feltdb/tests/semantic_decision.rs +0 -1165
  234. package/dist/create/server-source/crates/feltdb/tests/semantic_query.rs +0 -767
  235. package/dist/create/server-source/crates/feltdb/tests/semantic_query_contract.rs +0 -363
  236. package/dist/create/server-source/crates/feltdb/tests/state_conflict_contract_conformance.rs +0 -1799
  237. package/dist/create/server-source/crates/feltdb/tests/state_diff_contract_conformance.rs +0 -1316
  238. package/dist/create/server-source/crates/feltdb/tests/state_model_integration.rs +0 -358
  239. package/dist/create/server-source/crates/feltdb/tests/state_persistence_integration.rs +0 -365
  240. package/dist/create/server-source/crates/feltdb/tests/state_ref_authority.rs +0 -918
  241. package/dist/create/server-source/crates/feltdb/tests/state_store_boundary_evidence.rs +0 -299
  242. package/dist/create/server-source/crates/feltdb/tests/storage_independent_versioned_object_substrate.rs +0 -328
  243. package/dist/create/server-source/crates/feltdb/tests/sync_divergence_evidence.rs +0 -255
  244. package/dist/create/server-source/crates/feltdb/tests/three_way_input_boundary_evidence.rs +0 -249
  245. package/dist/create/server-source/crates/feltdb/tests/trigger_contract_conformance.rs +0 -994
  246. package/dist/create/server-source/crates/feltdb/tests/workload_envelope_contract.rs +0 -484
  247. package/dist/studio-app/assets/feltdb_wasm_bg-TseJn2Ax.wasm +0 -0
  248. 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
- }