@feltdb/core 0.13.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.
Files changed (300) hide show
  1. package/dist/agent-runtime.d.ts +64 -2
  2. package/dist/agent-runtime.d.ts.map +1 -1
  3. package/dist/agent-runtime.js +121 -11
  4. package/dist/agent-state.d.ts +68 -0
  5. package/dist/agent-state.d.ts.map +1 -1
  6. package/dist/agent-state.js +210 -12
  7. package/dist/agent.d.ts +10 -1
  8. package/dist/agent.d.ts.map +1 -1
  9. package/dist/agent.js +10 -1
  10. package/dist/build-identity.json +12 -4
  11. package/dist/cli/commands.js +214 -10
  12. package/dist/cli/publish-engine.js +116 -16
  13. package/dist/collection.d.ts +3 -1
  14. package/dist/collection.d.ts.map +1 -1
  15. package/dist/collection.js +33 -8
  16. package/dist/create/build-identity.json +12 -4
  17. package/dist/create/cli.js +1 -1
  18. package/dist/create/create.js +4 -6
  19. package/dist/create/managed-account.js +93 -35
  20. package/dist/create/package-versions.js +1 -1
  21. package/dist/create/server-source/Cargo.lock +8 -511
  22. package/dist/create/server-source/Cargo.toml +2 -13
  23. package/dist/create/server-source/crates/feltdb-client/Cargo.toml +1 -1
  24. package/dist/create/server-source/crates/feltdb-server/Cargo.toml +1 -1
  25. package/dist/create/server-source/crates/feltdb-server/README.md +6 -1
  26. package/dist/create/server-source/crates/feltdb-server/src/app_state.rs +9 -1
  27. package/dist/create/server-source/crates/feltdb-server/src/auth.rs +85 -25
  28. package/dist/create/server-source/crates/feltdb-server/src/backup.rs +4 -0
  29. package/dist/create/server-source/crates/feltdb-server/src/console_accounts.rs +1009 -0
  30. package/dist/create/server-source/crates/feltdb-server/src/control_authorization.rs +441 -0
  31. package/dist/create/server-source/crates/feltdb-server/src/identity.rs +68 -6
  32. package/dist/create/server-source/crates/feltdb-server/src/key_management.rs +355 -23
  33. package/dist/create/server-source/crates/feltdb-server/src/lib.rs +3 -0
  34. package/dist/create/server-source/crates/feltdb-server/src/main.rs +1134 -96
  35. package/dist/create/server-source/crates/feltdb-server/src/redaction.rs +208 -0
  36. package/dist/create/server-source/crates/feltdb-server/src/tenancy.rs +198 -19
  37. package/dist/create/server-source/crates/feltdb-server/tests/transaction_precondition_contract.rs +403 -0
  38. package/dist/create/server-source/crates/feltdb-wasm/Cargo.toml +1 -1
  39. package/dist/db.d.ts +75 -10
  40. package/dist/db.d.ts.map +1 -1
  41. package/dist/db.js +168 -29
  42. package/dist/deployment.d.ts +19 -0
  43. package/dist/deployment.d.ts.map +1 -1
  44. package/dist/deployment.js +38 -2
  45. package/dist/embedded-query.d.ts.map +1 -1
  46. package/dist/embedded-query.js +5 -4
  47. package/dist/embedded-transaction.d.ts +8 -4
  48. package/dist/embedded-transaction.d.ts.map +1 -1
  49. package/dist/embedded-transaction.js +55 -19
  50. package/dist/error-codes.d.ts +36 -2
  51. package/dist/error-codes.d.ts.map +1 -1
  52. package/dist/error-codes.js +50 -3
  53. package/dist/feltdb.d.ts +7 -0
  54. package/dist/feltdb.d.ts.map +1 -1
  55. package/dist/file-db.d.ts +27 -0
  56. package/dist/file-db.d.ts.map +1 -1
  57. package/dist/file-db.js +145 -7
  58. package/dist/http-client.d.ts +11 -3
  59. package/dist/http-client.d.ts.map +1 -1
  60. package/dist/http-client.js +27 -14
  61. package/dist/http-db.d.ts +43 -1
  62. package/dist/http-db.d.ts.map +1 -1
  63. package/dist/http-db.js +287 -59
  64. package/dist/index.js +1 -1
  65. package/dist/local-state-lock.d.ts +34 -0
  66. package/dist/local-state-lock.d.ts.map +1 -0
  67. package/dist/local-state-lock.js +225 -0
  68. package/dist/managed-recovery.d.ts +6 -0
  69. package/dist/managed-recovery.d.ts.map +1 -1
  70. package/dist/managed-recovery.js +9 -0
  71. package/dist/reactive-graph.d.ts +0 -3
  72. package/dist/reactive-graph.d.ts.map +1 -1
  73. package/dist/reactive-graph.js +11 -1
  74. package/dist/runtime-registry.d.ts +7 -2
  75. package/dist/runtime-registry.d.ts.map +1 -1
  76. package/dist/runtime-registry.js +2 -2
  77. package/dist/studio/components/index.js +1 -1
  78. package/dist/studio/{components-BSGmHfif.js → components-CJmzntBi.js} +2 -1
  79. package/dist/studio/index.js +1 -1
  80. package/dist/studio-app/assets/{feltdb_wasm-3hDngl1h.js → feltdb_wasm-DtybUY0q.js} +1 -1
  81. package/dist/studio-app/assets/feltdb_wasm_bg-DsgIUwaB.wasm +0 -0
  82. package/dist/studio-app/assets/index-C4OffsZl.js +37 -0
  83. package/dist/studio-app/index.html +1 -1
  84. package/dist/transaction.d.ts +27 -11
  85. package/dist/transaction.d.ts.map +1 -1
  86. package/dist/transaction.js +20 -14
  87. package/dist/wasm/feltdb_wasm_bg.wasm +0 -0
  88. package/dist/wasm/package.json +1 -1
  89. package/dist/workload.d.ts +86 -6
  90. package/dist/workload.d.ts.map +1 -1
  91. package/dist/workload.js +51 -3
  92. package/dist/workspace/workspace-connection.d.ts.map +1 -1
  93. package/dist/workspace/workspace-connection.js +14 -3
  94. package/package.json +1 -1
  95. package/dist/create/server-source/crates/feltdb/Cargo.lock +0 -175
  96. package/dist/create/server-source/crates/feltdb/Cargo.toml +0 -102
  97. package/dist/create/server-source/crates/feltdb/LICENSE +0 -21
  98. package/dist/create/server-source/crates/feltdb/README.md +0 -75
  99. package/dist/create/server-source/crates/feltdb/benches/baselines/gate-13-redux.json +0 -370
  100. package/dist/create/server-source/crates/feltdb/benches/gate13_baseline.rs +0 -589
  101. package/dist/create/server-source/crates/feltdb/benches/gate13_phase_7_1_release_economics.rs +0 -247
  102. package/dist/create/server-source/crates/feltdb/benches/gate_13_redux.rs +0 -440
  103. package/dist/create/server-source/crates/feltdb/benches/gate_13_regression_runner.rs +0 -275
  104. package/dist/create/server-source/crates/feltdb/benches/gate_14a_concurrent_writer_scaling.rs +0 -381
  105. package/dist/create/server-source/crates/feltdb/benches/gate_14a_production_admission_revalidation.rs +0 -467
  106. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc2_admission_contract.rs +0 -489
  107. package/dist/create/server-source/crates/feltdb/benches/gate_14a_rc_root_cause.rs +0 -281
  108. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync1_queued_prototype.rs +0 -606
  109. package/dist/create/server-source/crates/feltdb/benches/gate_14a_sync_economics.rs +0 -531
  110. package/dist/create/server-source/crates/feltdb/benches/gate_14b_causal_backlog_scaling.rs +0 -462
  111. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_contract_test.rs +0 -505
  112. package/dist/create/server-source/crates/feltdb/benches/gate_14c_replication_scaling.rs +0 -484
  113. package/dist/create/server-source/crates/feltdb/benches/gate_14d_combined_dimension_scaling.rs +0 -758
  114. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_2_optimization_benchmark.rs +0 -421
  115. package/dist/create/server-source/crates/feltdb/benches/phase_7_1_3_crossover_analysis.rs +0 -329
  116. package/dist/create/server-source/crates/feltdb/src/acceptance_tests.rs +0 -1705
  117. package/dist/create/server-source/crates/feltdb/src/acquisition.rs +0 -286
  118. package/dist/create/server-source/crates/feltdb/src/admission.rs +0 -185
  119. package/dist/create/server-source/crates/feltdb/src/admission_contract_tests.rs +0 -507
  120. package/dist/create/server-source/crates/feltdb/src/adversarial_transport.rs +0 -539
  121. package/dist/create/server-source/crates/feltdb/src/agent_state.rs +0 -320
  122. package/dist/create/server-source/crates/feltdb/src/agent_transition_contract.rs +0 -1545
  123. package/dist/create/server-source/crates/feltdb/src/analytics.rs +0 -521
  124. package/dist/create/server-source/crates/feltdb/src/application.rs +0 -2674
  125. package/dist/create/server-source/crates/feltdb/src/application_runtime.rs +0 -1070
  126. package/dist/create/server-source/crates/feltdb/src/authority.rs +0 -479
  127. package/dist/create/server-source/crates/feltdb/src/authority_failover.rs +0 -847
  128. package/dist/create/server-source/crates/feltdb/src/authorization.rs +0 -1030
  129. package/dist/create/server-source/crates/feltdb/src/authorization_security_tests.rs +0 -1122
  130. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority-client.rs +0 -32
  131. package/dist/create/server-source/crates/feltdb/src/bin/feltdb-authority.rs +0 -19
  132. package/dist/create/server-source/crates/feltdb/src/bin/feltdb_node.rs +0 -1474
  133. package/dist/create/server-source/crates/feltdb/src/capabilities/mod.rs +0 -8
  134. package/dist/create/server-source/crates/feltdb/src/capabilities/search.rs +0 -418
  135. package/dist/create/server-source/crates/feltdb/src/capabilities/vector.rs +0 -482
  136. package/dist/create/server-source/crates/feltdb/src/capability.rs +0 -903
  137. package/dist/create/server-source/crates/feltdb/src/cardinality_diagnostics.rs +0 -263
  138. package/dist/create/server-source/crates/feltdb/src/cardinality_endpoint.rs +0 -77
  139. package/dist/create/server-source/crates/feltdb/src/causal_backlog_bound.rs +0 -496
  140. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier.rs +0 -2574
  141. package/dist/create/server-source/crates/feltdb/src/causal_dependency_barrier_phase_7_1.rs +0 -212
  142. package/dist/create/server-source/crates/feltdb/src/concurrency_fuzzing.rs +0 -422
  143. package/dist/create/server-source/crates/feltdb/src/consistency_contract.rs +0 -445
  144. package/dist/create/server-source/crates/feltdb/src/content_distribution.rs +0 -465
  145. package/dist/create/server-source/crates/feltdb/src/convergence.rs +0 -634
  146. package/dist/create/server-source/crates/feltdb/src/crash_atomic_boundary.rs +0 -427
  147. package/dist/create/server-source/crates/feltdb/src/crash_injection.rs +0 -376
  148. package/dist/create/server-source/crates/feltdb/src/crash_recovery_tests.rs +0 -365
  149. package/dist/create/server-source/crates/feltdb/src/cron.rs +0 -294
  150. package/dist/create/server-source/crates/feltdb/src/dedup_bound_investigation.rs +0 -483
  151. package/dist/create/server-source/crates/feltdb/src/distributed_indexing.rs +0 -477
  152. package/dist/create/server-source/crates/feltdb/src/distributed_tests.rs +0 -1003
  153. package/dist/create/server-source/crates/feltdb/src/distributed_transactions.rs +0 -1334
  154. package/dist/create/server-source/crates/feltdb/src/durability_guarantees.rs +0 -368
  155. package/dist/create/server-source/crates/feltdb/src/durable_dedup_set.rs +0 -231
  156. package/dist/create/server-source/crates/feltdb/src/durable_operation_identity.rs +0 -482
  157. package/dist/create/server-source/crates/feltdb/src/durable_operation_log.rs +0 -203
  158. package/dist/create/server-source/crates/feltdb/src/durable_sync.rs +0 -317
  159. package/dist/create/server-source/crates/feltdb/src/equality_index.rs +0 -595
  160. package/dist/create/server-source/crates/feltdb/src/execution.rs +0 -426
  161. package/dist/create/server-source/crates/feltdb/src/in_process_transport.rs +0 -214
  162. package/dist/create/server-source/crates/feltdb/src/indexing.rs +0 -776
  163. package/dist/create/server-source/crates/feltdb/src/lib.rs +0 -7274
  164. package/dist/create/server-source/crates/feltdb/src/managed_cas_tests.rs +0 -234
  165. package/dist/create/server-source/crates/feltdb/src/materialization.rs +0 -184
  166. package/dist/create/server-source/crates/feltdb/src/metrics.rs +0 -266
  167. package/dist/create/server-source/crates/feltdb/src/multi_node_convergence.rs +0 -310
  168. package/dist/create/server-source/crates/feltdb/src/multi_operation_transaction.rs +0 -736
  169. package/dist/create/server-source/crates/feltdb/src/observability.rs +0 -379
  170. package/dist/create/server-source/crates/feltdb/src/operation.rs +0 -290
  171. package/dist/create/server-source/crates/feltdb/src/operation_algebra.rs +0 -439
  172. package/dist/create/server-source/crates/feltdb/src/operation_log.rs +0 -349
  173. package/dist/create/server-source/crates/feltdb/src/p1_application_atomicity.rs +0 -332
  174. package/dist/create/server-source/crates/feltdb/src/p1_atomicity_acceptance.rs +0 -718
  175. package/dist/create/server-source/crates/feltdb/src/partition_reconciliation.rs +0 -487
  176. package/dist/create/server-source/crates/feltdb/src/peer_registry.rs +0 -166
  177. package/dist/create/server-source/crates/feltdb/src/permutation_scheduler.rs +0 -289
  178. package/dist/create/server-source/crates/feltdb/src/persistence_reality.rs +0 -566
  179. package/dist/create/server-source/crates/feltdb/src/phase1b_acceptance.rs +0 -3391
  180. package/dist/create/server-source/crates/feltdb/src/phase1c1_acceptance.rs +0 -203
  181. package/dist/create/server-source/crates/feltdb/src/phase1c2_acceptance.rs +0 -261
  182. package/dist/create/server-source/crates/feltdb/src/phase1c3_acceptance.rs +0 -502
  183. package/dist/create/server-source/crates/feltdb/src/phase1c_atomicity_proof.rs +0 -216
  184. package/dist/create/server-source/crates/feltdb/src/phase5_integration.rs +0 -303
  185. package/dist/create/server-source/crates/feltdb/src/phase5_scenarios.rs +0 -323
  186. package/dist/create/server-source/crates/feltdb/src/phase6_adversarial_scenarios.rs +0 -531
  187. package/dist/create/server-source/crates/feltdb/src/phase6_convergence_validator.rs +0 -406
  188. package/dist/create/server-source/crates/feltdb/src/phase6_persistence.rs +0 -436
  189. package/dist/create/server-source/crates/feltdb/src/phase_1c_real_tcp.rs +0 -387
  190. package/dist/create/server-source/crates/feltdb/src/phase_2a_failures.rs +0 -378
  191. package/dist/create/server-source/crates/feltdb/src/phase_2b_network.rs +0 -359
  192. package/dist/create/server-source/crates/feltdb/src/phase_2c_cascading.rs +0 -372
  193. package/dist/create/server-source/crates/feltdb/src/phase_3_durability.rs +0 -404
  194. package/dist/create/server-source/crates/feltdb/src/phase_4_baseline.rs +0 -376
  195. package/dist/create/server-source/crates/feltdb/src/phase_5_soak.rs +0 -461
  196. package/dist/create/server-source/crates/feltdb/src/policy_evaluation.rs +0 -2125
  197. package/dist/create/server-source/crates/feltdb/src/production_api.rs +0 -418
  198. package/dist/create/server-source/crates/feltdb/src/provenance.rs +0 -207
  199. package/dist/create/server-source/crates/feltdb/src/query_execution_diagnostics.rs +0 -126
  200. package/dist/create/server-source/crates/feltdb/src/query_performance.rs +0 -218
  201. package/dist/create/server-source/crates/feltdb/src/read_basis.rs +0 -257
  202. package/dist/create/server-source/crates/feltdb/src/references.rs +0 -404
  203. package/dist/create/server-source/crates/feltdb/src/replay_fuzzing.rs +0 -401
  204. package/dist/create/server-source/crates/feltdb/src/replica_acknowledgements.rs +0 -501
  205. package/dist/create/server-source/crates/feltdb/src/replica_membership.rs +0 -680
  206. package/dist/create/server-source/crates/feltdb/src/replication_manager.rs +0 -163
  207. package/dist/create/server-source/crates/feltdb/src/replication_protocol.rs +0 -133
  208. package/dist/create/server-source/crates/feltdb/src/routing.rs +0 -409
  209. package/dist/create/server-source/crates/feltdb/src/semantic_decision.rs +0 -2029
  210. package/dist/create/server-source/crates/feltdb/src/semantic_query.rs +0 -599
  211. package/dist/create/server-source/crates/feltdb/src/sharding.rs +0 -549
  212. package/dist/create/server-source/crates/feltdb/src/state_conflict_contract.rs +0 -516
  213. package/dist/create/server-source/crates/feltdb/src/state_contract.rs +0 -5894
  214. package/dist/create/server-source/crates/feltdb/src/state_diff_contract.rs +0 -222
  215. package/dist/create/server-source/crates/feltdb/src/state_facade.rs +0 -320
  216. package/dist/create/server-source/crates/feltdb/src/state_hash.rs +0 -291
  217. package/dist/create/server-source/crates/feltdb/src/state_model.rs +0 -4158
  218. package/dist/create/server-source/crates/feltdb/src/state_transition_store.rs +0 -379
  219. package/dist/create/server-source/crates/feltdb/src/state_trigger.rs +0 -673
  220. package/dist/create/server-source/crates/feltdb/src/storage.rs +0 -273
  221. package/dist/create/server-source/crates/feltdb/src/submission.rs +0 -471
  222. package/dist/create/server-source/crates/feltdb/src/sync.rs +0 -495
  223. package/dist/create/server-source/crates/feltdb/src/sync_contract.rs +0 -822
  224. package/dist/create/server-source/crates/feltdb/src/tcp_transport.rs +0 -433
  225. package/dist/create/server-source/crates/feltdb/src/transaction_api.rs +0 -462
  226. package/dist/create/server-source/crates/feltdb/src/transaction_invariants.rs +0 -965
  227. package/dist/create/server-source/crates/feltdb/src/transaction_preconditions.rs +0 -1120
  228. package/dist/create/server-source/crates/feltdb/src/transactions.rs +0 -643
  229. package/dist/create/server-source/crates/feltdb/src/trigger.rs +0 -390
  230. package/dist/create/server-source/crates/feltdb/src/trigger_contract.rs +0 -749
  231. package/dist/create/server-source/crates/feltdb/src/versioned_object_substrate.rs +0 -708
  232. package/dist/create/server-source/crates/feltdb/src/worker_mesh.rs +0 -1133
  233. package/dist/create/server-source/crates/feltdb/src/workflow.rs +0 -713
  234. package/dist/create/server-source/crates/feltdb/src/workflow_acceptance_tests.rs +0 -510
  235. package/dist/create/server-source/crates/feltdb/src/workflow_integration.rs +0 -354
  236. package/dist/create/server-source/crates/feltdb/src/workflow_runtime.rs +0 -594
  237. package/dist/create/server-source/crates/feltdb/src/workload.rs +0 -2886
  238. package/dist/create/server-source/crates/feltdb/src/workload_diagnostics.rs +0 -456
  239. package/dist/create/server-source/crates/feltdb/tests/agent_state_native.rs +0 -1188
  240. package/dist/create/server-source/crates/feltdb/tests/agent_transition_contract_conformance.rs +0 -2884
  241. package/dist/create/server-source/crates/feltdb/tests/authority_process.rs +0 -297
  242. package/dist/create/server-source/crates/feltdb/tests/authority_transaction_identity.rs +0 -534
  243. package/dist/create/server-source/crates/feltdb/tests/bounded_read_contract.rs +0 -132
  244. package/dist/create/server-source/crates/feltdb/tests/branching_evidence.rs +0 -299
  245. package/dist/create/server-source/crates/feltdb/tests/common/mod.rs +0 -96
  246. package/dist/create/server-source/crates/feltdb/tests/compaction_stall_contract.rs +0 -272
  247. package/dist/create/server-source/crates/feltdb/tests/crash_durability_contract.rs +0 -467
  248. package/dist/create/server-source/crates/feltdb/tests/current_revision_authority_evidence.rs +0 -309
  249. package/dist/create/server-source/crates/feltdb/tests/durable_backup_contract.rs +0 -445
  250. package/dist/create/server-source/crates/feltdb/tests/durable_corruption_contract.rs +0 -518
  251. package/dist/create/server-source/crates/feltdb/tests/durable_format_compatibility.rs +0 -392
  252. package/dist/create/server-source/crates/feltdb/tests/feltdb_state_boundary_tests.rs +0 -850
  253. package/dist/create/server-source/crates/feltdb/tests/fixtures/agent_transition_corpus.json +0 -23340
  254. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_conflict_contract_corpus.json +0 -1916
  255. package/dist/create/server-source/crates/feltdb/tests/fixtures/state_diff_contract_corpus.json +0 -1878
  256. package/dist/create/server-source/crates/feltdb/tests/fixtures/trigger_contract_corpus.json +0 -1862
  257. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_evidence.rs +0 -123
  258. package/dist/create/server-source/crates/feltdb/tests/generalized_version_control_substrate_completion.rs +0 -299
  259. package/dist/create/server-source/crates/feltdb/tests/local_process_ownership.rs +0 -69
  260. package/dist/create/server-source/crates/feltdb/tests/managed_incident_regression.rs +0 -191
  261. package/dist/create/server-source/crates/feltdb/tests/operational_health_contract.rs +0 -278
  262. package/dist/create/server-source/crates/feltdb/tests/pr34_query_collection.rs +0 -234
  263. package/dist/create/server-source/crates/feltdb/tests/pr35_equality_index.rs +0 -947
  264. package/dist/create/server-source/crates/feltdb/tests/pr7_self_authorization_proof.rs +0 -404
  265. package/dist/create/server-source/crates/feltdb/tests/pr8_vocabulary_assessment.rs +0 -916
  266. package/dist/create/server-source/crates/feltdb/tests/pr9_phase2_boundary_tests.rs +0 -1045
  267. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3a_path_a_tests.rs +0 -347
  268. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_authorized_mutations.rs +0 -361
  269. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_role_based_authorization.rs +0 -330
  270. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_simple_auth_delete.rs +0 -93
  271. package/dist/create/server-source/crates/feltdb/tests/pr9_phase3c_team_delete_role_authorization.rs +0 -622
  272. package/dist/create/server-source/crates/feltdb/tests/pr9_teams_role_based_access.rs +0 -517
  273. package/dist/create/server-source/crates/feltdb/tests/production_certification.rs +0 -1153
  274. package/dist/create/server-source/crates/feltdb/tests/production_contract.rs +0 -771
  275. package/dist/create/server-source/crates/feltdb/tests/production_readiness_contract.rs +0 -1383
  276. package/dist/create/server-source/crates/feltdb/tests/reconciliation_application.rs +0 -868
  277. package/dist/create/server-source/crates/feltdb/tests/reconciliation_wire_format_evidence.rs +0 -221
  278. package/dist/create/server-source/crates/feltdb/tests/replicated_history_contract.rs +0 -417
  279. package/dist/create/server-source/crates/feltdb/tests/resource_scoped_revisions.rs +0 -338
  280. package/dist/create/server-source/crates/feltdb/tests/revision_identity_contract.rs +0 -1039
  281. package/dist/create/server-source/crates/feltdb/tests/revision_model_decision.rs +0 -739
  282. package/dist/create/server-source/crates/feltdb/tests/revision_retention_boundary_evidence.rs +0 -452
  283. package/dist/create/server-source/crates/feltdb/tests/saas_authorization_integration.rs +0 -81
  284. package/dist/create/server-source/crates/feltdb/tests/saas_invitation_lifecycle.rs +0 -438
  285. package/dist/create/server-source/crates/feltdb/tests/semantic_decision.rs +0 -1165
  286. package/dist/create/server-source/crates/feltdb/tests/semantic_query.rs +0 -767
  287. package/dist/create/server-source/crates/feltdb/tests/semantic_query_contract.rs +0 -363
  288. package/dist/create/server-source/crates/feltdb/tests/state_conflict_contract_conformance.rs +0 -1799
  289. package/dist/create/server-source/crates/feltdb/tests/state_diff_contract_conformance.rs +0 -1316
  290. package/dist/create/server-source/crates/feltdb/tests/state_model_integration.rs +0 -358
  291. package/dist/create/server-source/crates/feltdb/tests/state_persistence_integration.rs +0 -365
  292. package/dist/create/server-source/crates/feltdb/tests/state_ref_authority.rs +0 -918
  293. package/dist/create/server-source/crates/feltdb/tests/state_store_boundary_evidence.rs +0 -299
  294. package/dist/create/server-source/crates/feltdb/tests/storage_independent_versioned_object_substrate.rs +0 -328
  295. package/dist/create/server-source/crates/feltdb/tests/sync_divergence_evidence.rs +0 -255
  296. package/dist/create/server-source/crates/feltdb/tests/three_way_input_boundary_evidence.rs +0 -249
  297. package/dist/create/server-source/crates/feltdb/tests/trigger_contract_conformance.rs +0 -994
  298. package/dist/create/server-source/crates/feltdb/tests/workload_envelope_contract.rs +0 -484
  299. package/dist/studio-app/assets/feltdb_wasm_bg-CFQT4gCy.wasm +0 -0
  300. package/dist/studio-app/assets/index-Dql1hS5m.js +0 -30
@@ -1,599 +0,0 @@
1
- //! Semantic query composition over a bounded candidate page.
2
- //!
3
- //! This module implements `docs/reference/semantic-query.md`: a semantic
4
- //! decision participates in a FeltDB query only as a bounded transformation of
5
- //! an already-authorized deterministic candidate page. The deterministic query
6
- //! decides which records exist in the page and in what order; this module may
7
- //! annotate, filter, or rank those records with the existing semantic decision
8
- //! primitive and may never enlarge the page, refill it, touch an index, or
9
- //! reach a record outside it.
10
- //!
11
- //! It is deliberately not a query engine. Every judgment is produced by
12
- //! `semantic_decision::decide_record` or reused through
13
- //! `semantic_decision::reuse_record_judgment`, so authorization, judgment
14
- //! identity, durable supersession, evidence, and provenance are exactly what
15
- //! the record-scoped primitive already provides.
16
-
17
- use crate::semantic_decision::{
18
- decide_record, reuse_record_judgment, validate_decision_definition,
19
- DecisionAuthorizationConfig, DecisionAuthorizationGate, DecisionDefinition, DecisionError,
20
- DecisionKind, DecisionOptions, DecisionPrincipal, DecisionProvenance, DecisionRecordRef,
21
- DecisionRequest, DecisionResult, DecisionRuntime, DecisionRuntimeCapabilities,
22
- DecisionRuntimeMetadata, DecisionTransportAuthorization, TransportAuthorizationGate,
23
- };
24
- use crate::FeltDb;
25
- use serde::{Deserialize, Serialize};
26
- use serde_json::Value;
27
- use sha2::{Digest, Sha256};
28
- use std::cell::Cell;
29
-
30
- /// The largest candidate page one semantic query request may transform; the
31
- /// bounded authority query's own limit.
32
- pub const MAX_SEMANTIC_CANDIDATES: usize = 1_000;
33
-
34
- #[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq, Default)]
35
- #[serde(rename_all = "kebab-case")]
36
- pub enum SemanticQueryMode {
37
- /// Reuse a durable judgment where one exists; execute the runtime for every
38
- /// other candidate with a non-empty authorized context.
39
- #[default]
40
- Evaluate,
41
- /// Never reach the runtime. Candidates without a reusable judgment are
42
- /// reported as unevaluated.
43
- ReuseOnly,
44
- }
45
-
46
- /// The typed filter a semantic clause applies to each candidate's result.
47
- ///
48
- /// Which keys are valid depends on the decision kind: `binary` takes `is`,
49
- /// `choice` takes `in`, and `score` takes `in`, `atLeast`, and `atMost`, all
50
- /// compared by the ordinal position of the selected level. `option_mass` is
51
- /// never a filter operand.
52
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq, Default)]
53
- #[serde(deny_unknown_fields)]
54
- pub struct SemanticQueryFilter {
55
- #[serde(default, skip_serializing_if = "Option::is_none")]
56
- pub is: Option<bool>,
57
- #[serde(default, rename = "in", skip_serializing_if = "Option::is_none")]
58
- pub within: Option<Vec<String>>,
59
- #[serde(default, rename = "atLeast", skip_serializing_if = "Option::is_none")]
60
- pub at_least: Option<String>,
61
- #[serde(default, rename = "atMost", skip_serializing_if = "Option::is_none")]
62
- pub at_most: Option<String>,
63
- }
64
-
65
- #[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)]
66
- #[serde(rename_all = "lowercase")]
67
- pub enum SemanticOrderDirection {
68
- Asc,
69
- Desc,
70
- }
71
-
72
- /// Ordering within the candidate page by the ordinal of a `score` level.
73
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
74
- #[serde(deny_unknown_fields)]
75
- pub struct SemanticQueryOrder {
76
- pub direction: SemanticOrderDirection,
77
- }
78
-
79
- /// The semantic clause of a bounded authority query.
80
- ///
81
- /// Unknown keys are refused rather than ignored: a clause a runtime does not
82
- /// understand must fail the request, never execute the deterministic part and
83
- /// return it as though the clause had been honored.
84
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
85
- #[serde(deny_unknown_fields)]
86
- pub struct SemanticQueryClause {
87
- pub decision: DecisionDefinition,
88
- #[serde(default)]
89
- pub mode: SemanticQueryMode,
90
- #[serde(default, skip_serializing_if = "Option::is_none")]
91
- pub filter: Option<SemanticQueryFilter>,
92
- #[serde(default, rename = "orderBy", skip_serializing_if = "Option::is_none")]
93
- pub order_by: Option<SemanticQueryOrder>,
94
- /// Explicit field selection, narrowed further by authorization.
95
- #[serde(default, skip_serializing_if = "Option::is_none")]
96
- pub fields: Option<Vec<String>>,
97
- #[serde(
98
- default,
99
- rename = "schemaVersion",
100
- skip_serializing_if = "Option::is_none"
101
- )]
102
- pub schema_version: Option<String>,
103
- /// Field-level authorization narrowing, in the same shape the
104
- /// semantic-decision transport accepts. The principal is bound by the
105
- /// authority to the authenticated principal before evaluation.
106
- #[serde(default, skip_serializing_if = "Option::is_none")]
107
- pub authorization: Option<DecisionTransportAuthorization>,
108
- }
109
-
110
- /// One record of the deterministic page, as the deterministic stage returned it.
111
- #[derive(Debug, Clone, PartialEq)]
112
- pub struct SemanticCandidate {
113
- pub record_id: String,
114
- pub record: Value,
115
- }
116
-
117
- /// The semantic annotation of one page record.
118
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq)]
119
- pub struct SemanticAnnotation {
120
- pub record_id: String,
121
- pub result: DecisionResult,
122
- pub cached: bool,
123
- pub provenance: DecisionProvenance,
124
- }
125
-
126
- #[derive(Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq)]
127
- #[serde(rename_all = "kebab-case")]
128
- pub enum SemanticUnevaluatedReason {
129
- /// The authorized context was empty, so the primitive refused to evaluate.
130
- Unauthorized,
131
- /// `reuse-only` mode found no reusable judgment.
132
- NoJudgment,
133
- /// The record left authoritative state between the deterministic page
134
- /// and the semantic stage.
135
- Missing,
136
- }
137
-
138
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
139
- pub struct SemanticUnevaluated {
140
- pub record_id: String,
141
- pub reason: SemanticUnevaluatedReason,
142
- }
143
-
144
- /// Stage-level provenance and the measured execution counts of one request.
145
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
146
- pub struct SemanticStageSummary {
147
- pub definition_hash: String,
148
- pub schema_version: String,
149
- pub runtime: DecisionRuntimeMetadata,
150
- pub mode: SemanticQueryMode,
151
- pub candidates: usize,
152
- pub reused: usize,
153
- pub evaluated: usize,
154
- pub unevaluated: usize,
155
- pub filtered: usize,
156
- }
157
-
158
- /// The candidate page after the semantic stage.
159
- ///
160
- /// `records` and `annotations` are aligned: `annotations[i]` describes
161
- /// `records[i]`, and is `None` for a record that could not be evaluated.
162
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq)]
163
- pub struct SemanticPage {
164
- pub records: Vec<Value>,
165
- pub annotations: Vec<Option<SemanticAnnotation>>,
166
- pub unevaluated: Vec<SemanticUnevaluated>,
167
- pub complete: bool,
168
- pub stage: SemanticStageSummary,
169
- }
170
-
171
- #[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
172
- pub struct SemanticQueryError {
173
- pub code: String,
174
- pub message: String,
175
- }
176
-
177
- impl SemanticQueryError {
178
- pub fn new(code: &str, message: impl Into<String>) -> Self {
179
- Self {
180
- code: code.into(),
181
- message: message.into(),
182
- }
183
- }
184
-
185
- fn invalid(message: impl Into<String>) -> Self {
186
- Self::new("INVALID_QUERY", message)
187
- }
188
- }
189
-
190
- impl std::fmt::Display for SemanticQueryError {
191
- fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
192
- write!(f, "{}: {}", self.code, self.message)
193
- }
194
- }
195
-
196
- impl std::error::Error for SemanticQueryError {}
197
-
198
- /// Validate a semantic clause before any deterministic work runs.
199
- ///
200
- /// Returns the validated (whitespace-canonical) decision definition, which is
201
- /// the definition every candidate is evaluated with.
202
- pub fn validate_semantic_clause(
203
- clause: &SemanticQueryClause,
204
- ) -> Result<DecisionDefinition, SemanticQueryError> {
205
- let definition = validate_decision_definition(&clause.decision)
206
- .map_err(|error| SemanticQueryError::invalid(error.message))?;
207
- let kind = definition.kind();
208
- let declared = definition.schema_values();
209
- if let Some(filter) = &clause.filter {
210
- let keys = [
211
- filter.is.is_some(),
212
- filter.within.is_some(),
213
- filter.at_least.is_some(),
214
- filter.at_most.is_some(),
215
- ];
216
- if !keys.iter().any(|set| *set) {
217
- return Err(SemanticQueryError::invalid(
218
- "semantic filter requires at least one operator",
219
- ));
220
- }
221
- match kind {
222
- DecisionKind::Binary => {
223
- if filter.is.is_none() || keys[1] || keys[2] || keys[3] {
224
- return Err(SemanticQueryError::invalid(
225
- "binary semantic filters take exactly `is`",
226
- ));
227
- }
228
- }
229
- DecisionKind::Choice => {
230
- if filter.within.is_none() || keys[0] || keys[2] || keys[3] {
231
- return Err(SemanticQueryError::invalid(
232
- "choice semantic filters take exactly `in`",
233
- ));
234
- }
235
- }
236
- DecisionKind::Score => {
237
- if keys[0] {
238
- return Err(SemanticQueryError::invalid(
239
- "score semantic filters take `in`, `atLeast`, and `atMost`",
240
- ));
241
- }
242
- }
243
- }
244
- for value in filter
245
- .within
246
- .iter()
247
- .flatten()
248
- .chain(filter.at_least.iter())
249
- .chain(filter.at_most.iter())
250
- {
251
- if !declared.contains(value) {
252
- return Err(SemanticQueryError::invalid(format!(
253
- "semantic filter names \"{value}\", which the decision does not declare"
254
- )));
255
- }
256
- }
257
- if let Some(values) = &filter.within {
258
- if values.is_empty() {
259
- return Err(SemanticQueryError::invalid(
260
- "semantic `in` filter requires at least one declared value",
261
- ));
262
- }
263
- }
264
- }
265
- if clause.order_by.is_some() && kind != DecisionKind::Score {
266
- return Err(SemanticQueryError::invalid(
267
- "only score decisions order a semantic page",
268
- ));
269
- }
270
- if let Some(fields) = &clause.fields {
271
- if fields.is_empty() || fields.iter().any(|field| field.trim().is_empty()) {
272
- return Err(SemanticQueryError::invalid(
273
- "semantic field selection must name at least one non-empty field",
274
- ));
275
- }
276
- }
277
- Ok(definition)
278
- }
279
-
280
- /// Stable identity of a decision definition for stage provenance and cursor
281
- /// binding.
282
- pub fn semantic_definition_hash(definition: &DecisionDefinition) -> String {
283
- let mut hasher = Sha256::new();
284
- hasher.update(b"semantic-query-definition-v1");
285
- hasher.update([0x1f]);
286
- hasher.update(serde_json::to_vec(definition).unwrap_or_default());
287
- format!("sha256:{:x}", hasher.finalize())
288
- }
289
-
290
- /// Stable identity of a whole semantic clause, for binding a continuation
291
- /// cursor to the clause it was issued under.
292
- pub fn semantic_clause_hash(clause: &SemanticQueryClause) -> String {
293
- let mut hasher = Sha256::new();
294
- hasher.update(b"semantic-query-clause-v1");
295
- hasher.update([0x1f]);
296
- hasher.update(serde_json::to_vec(clause).unwrap_or_default());
297
- format!("sha256:{:x}", hasher.finalize())
298
- }
299
-
300
- /// Wraps the configured runtime so a failure inside the provider can be told
301
- /// apart from a result the provider returned but FeltDB rejected.
302
- struct ProviderBoundary<'a> {
303
- inner: &'a dyn DecisionRuntime,
304
- failed: Cell<Option<DecisionError>>,
305
- }
306
-
307
- impl DecisionRuntime for ProviderBoundary<'_> {
308
- fn metadata(&self) -> DecisionRuntimeMetadata {
309
- self.inner.metadata()
310
- }
311
-
312
- fn capabilities(&self) -> DecisionRuntimeCapabilities {
313
- self.inner.capabilities()
314
- }
315
-
316
- fn decide(&self, request: &DecisionRequest) -> Result<DecisionResult, DecisionError> {
317
- self.inner
318
- .execute(request)
319
- .inspect_err(|error| self.failed.set(Some(error.clone())))
320
- }
321
- }
322
-
323
- fn ordinal(definition: &DecisionDefinition, value: &str) -> Option<usize> {
324
- definition
325
- .schema_values()
326
- .iter()
327
- .position(|declared| declared == value)
328
- }
329
-
330
- fn selected_value(result: &DecisionResult) -> Option<&str> {
331
- match result {
332
- DecisionResult::Binary { .. } => None,
333
- DecisionResult::Choice { selected, .. } | DecisionResult::Score { selected, .. } => {
334
- Some(selected.as_str())
335
- }
336
- }
337
- }
338
-
339
- fn filter_keeps(
340
- definition: &DecisionDefinition,
341
- filter: &SemanticQueryFilter,
342
- result: &DecisionResult,
343
- ) -> bool {
344
- match result {
345
- DecisionResult::Binary { decision, .. } => filter.is == Some(*decision),
346
- DecisionResult::Choice { selected, .. } => filter
347
- .within
348
- .as_ref()
349
- .is_some_and(|values| values.iter().any(|value| value == selected)),
350
- DecisionResult::Score { selected, .. } => {
351
- let Some(position) = ordinal(definition, selected) else {
352
- return false;
353
- };
354
- let within = filter
355
- .within
356
- .as_ref()
357
- .is_none_or(|values| values.iter().any(|value| value == selected));
358
- let at_least = filter
359
- .at_least
360
- .as_ref()
361
- .and_then(|level| ordinal(definition, level))
362
- .is_none_or(|floor| position >= floor);
363
- let at_most = filter
364
- .at_most
365
- .as_ref()
366
- .and_then(|level| ordinal(definition, level))
367
- .is_none_or(|ceiling| position <= ceiling);
368
- within && at_least && at_most
369
- }
370
- }
371
- }
372
-
373
- fn map_stage_error(error: DecisionError, provider_failed: bool) -> SemanticQueryError {
374
- match error.code.as_str() {
375
- "DECISION_UNSUPPORTED" => SemanticQueryError::new("SEMANTIC_UNSUPPORTED", error.message),
376
- "DECISION_STORAGE_ERROR" => SemanticQueryError::new(&error.code, error.message),
377
- _ if provider_failed => SemanticQueryError::new(
378
- "SEMANTIC_PROVIDER_UNAVAILABLE",
379
- format!("semantic runtime could not evaluate a candidate: {error}"),
380
- ),
381
- _ => SemanticQueryError::new(
382
- "SEMANTIC_INVALID_RESULT",
383
- format!("semantic runtime returned a result FeltDB rejected: {error}"),
384
- ),
385
- }
386
- }
387
-
388
- /// Transform one deterministic candidate page with a semantic clause.
389
- ///
390
- /// `candidates` is the page exactly as the deterministic stage produced it,
391
- /// in its total order. `runtime` is the deployment's configured binding; with
392
- /// none configured the request fails with `SEMANTIC_PROVIDER_UNAVAILABLE` in
393
- /// either mode, because even `reuse-only` needs the binding's identity to
394
- /// name the judgments it may reuse. `principal` is the authenticated principal
395
- /// the authority binds field-level authorization to.
396
- pub fn compose_semantic_page(
397
- db: &FeltDb,
398
- collection: &str,
399
- candidates: Vec<SemanticCandidate>,
400
- clause: &SemanticQueryClause,
401
- runtime: Option<&dyn DecisionRuntime>,
402
- principal: Option<DecisionPrincipal>,
403
- ) -> Result<SemanticPage, SemanticQueryError> {
404
- let definition = validate_semantic_clause(clause)?;
405
- if candidates.len() > MAX_SEMANTIC_CANDIDATES {
406
- return Err(SemanticQueryError::invalid(format!(
407
- "semantic composition is bounded to {MAX_SEMANTIC_CANDIDATES} candidates per page"
408
- )));
409
- }
410
- let runtime = runtime.ok_or_else(|| {
411
- SemanticQueryError::new(
412
- "SEMANTIC_PROVIDER_UNAVAILABLE",
413
- "no semantic runtime binding is configured for this authority",
414
- )
415
- })?;
416
- let capabilities = runtime.capabilities();
417
- let supported = match definition.kind() {
418
- DecisionKind::Binary => capabilities.binary,
419
- DecisionKind::Choice => capabilities.choice,
420
- DecisionKind::Score => capabilities.score,
421
- };
422
- if !supported {
423
- return Err(SemanticQueryError::new(
424
- "SEMANTIC_UNSUPPORTED",
425
- format!(
426
- "the configured semantic runtime does not support {:?} decisions",
427
- definition.kind()
428
- ),
429
- ));
430
- }
431
- let boundary = ProviderBoundary {
432
- inner: runtime,
433
- failed: Cell::new(None),
434
- };
435
- let runtime_metadata = boundary.metadata();
436
- let options = DecisionOptions {
437
- fields: clause.fields.clone(),
438
- application_id: principal
439
- .as_ref()
440
- .map(|principal| principal.application_id.clone()),
441
- decision_collection: None,
442
- schema_version: clause
443
- .schema_version
444
- .clone()
445
- .or_else(|| DecisionOptions::default().schema_version),
446
- };
447
- let gate = clause.authorization.as_ref().map(|authorization| {
448
- (
449
- TransportAuthorizationGate::new(&authorization.allowed_fields),
450
- DecisionAuthorizationConfig {
451
- principal: principal.clone(),
452
- },
453
- )
454
- });
455
- let authorization = gate
456
- .as_ref()
457
- .map(|(gate, config)| (gate as &dyn DecisionAuthorizationGate, config));
458
-
459
- let mut stage = SemanticStageSummary {
460
- definition_hash: semantic_definition_hash(&definition),
461
- schema_version: options.schema_version.clone().unwrap_or_default(),
462
- runtime: runtime_metadata.clone(),
463
- mode: clause.mode,
464
- candidates: candidates.len(),
465
- reused: 0,
466
- evaluated: 0,
467
- unevaluated: 0,
468
- filtered: 0,
469
- };
470
-
471
- // Evaluate every candidate of the page and nothing else. Each entry keeps
472
- // its deterministic position so ordering can break ties with it.
473
- let mut evaluated: Vec<(usize, SemanticCandidate, Option<SemanticAnnotation>)> =
474
- Vec::with_capacity(candidates.len());
475
- let mut unevaluated = Vec::new();
476
- for (position, candidate) in candidates.into_iter().enumerate() {
477
- let target = DecisionRecordRef {
478
- collection: collection.into(),
479
- record_id: candidate.record_id.clone(),
480
- };
481
- let reused = reuse_record_judgment(
482
- db,
483
- &target,
484
- &definition,
485
- &runtime_metadata,
486
- &options,
487
- authorization,
488
- );
489
- let evaluation = match reused {
490
- Ok(Some(evaluation)) => {
491
- stage.reused += 1;
492
- Some(evaluation)
493
- }
494
- Ok(None) => match clause.mode {
495
- SemanticQueryMode::ReuseOnly => {
496
- unevaluated.push(SemanticUnevaluated {
497
- record_id: candidate.record_id.clone(),
498
- reason: SemanticUnevaluatedReason::NoJudgment,
499
- });
500
- None
501
- }
502
- SemanticQueryMode::Evaluate => {
503
- let evaluation =
504
- decide_record(db, &target, &definition, &boundary, &options, authorization)
505
- .map_err(|error| {
506
- let failed = boundary.failed.take().is_some();
507
- map_stage_error(error, failed)
508
- })?;
509
- if evaluation.cached {
510
- // A judgment written between the lookup and the
511
- // execution is still a reuse, not an execution.
512
- stage.reused += 1;
513
- } else {
514
- stage.evaluated += 1;
515
- }
516
- Some(evaluation)
517
- }
518
- },
519
- Err(error) => match error.code.as_str() {
520
- "DECISION_CONTEXT_EMPTY" => {
521
- unevaluated.push(SemanticUnevaluated {
522
- record_id: candidate.record_id.clone(),
523
- reason: SemanticUnevaluatedReason::Unauthorized,
524
- });
525
- None
526
- }
527
- "DECISION_RECORD_NOT_FOUND" => {
528
- unevaluated.push(SemanticUnevaluated {
529
- record_id: candidate.record_id.clone(),
530
- reason: SemanticUnevaluatedReason::Missing,
531
- });
532
- None
533
- }
534
- _ => return Err(map_stage_error(error, false)),
535
- },
536
- };
537
- let annotation = evaluation.map(|evaluation| SemanticAnnotation {
538
- record_id: candidate.record_id.clone(),
539
- result: evaluation.result,
540
- cached: evaluation.cached,
541
- provenance: evaluation.provenance,
542
- });
543
- evaluated.push((position, candidate, annotation));
544
- }
545
- stage.unevaluated = unevaluated.len();
546
-
547
- // Filter within the page. An unevaluated candidate cannot satisfy a
548
- // filter, and its absence is reported, never silently assumed.
549
- if let Some(filter) = &clause.filter {
550
- let before = evaluated.len();
551
- evaluated.retain(|(_, _, annotation)| {
552
- annotation
553
- .as_ref()
554
- .is_some_and(|annotation| filter_keeps(&definition, filter, &annotation.result))
555
- });
556
- stage.filtered = before - evaluated.len();
557
- }
558
-
559
- // Order within the page: semantic ordinal, then the deterministic order
560
- // the page arrived in. Unevaluated candidates sort after every evaluated
561
- // one, in deterministic order.
562
- if let Some(order) = &clause.order_by {
563
- evaluated.sort_by(|left, right| {
564
- let key = |entry: &(usize, SemanticCandidate, Option<SemanticAnnotation>)| {
565
- entry
566
- .2
567
- .as_ref()
568
- .and_then(|annotation| selected_value(&annotation.result))
569
- .and_then(|selected| ordinal(&definition, selected))
570
- };
571
- match (key(left), key(right)) {
572
- (Some(l), Some(r)) => {
573
- let ordered = l.cmp(&r);
574
- let ordered = match order.direction {
575
- SemanticOrderDirection::Asc => ordered,
576
- SemanticOrderDirection::Desc => ordered.reverse(),
577
- };
578
- ordered.then(left.0.cmp(&right.0))
579
- }
580
- (Some(_), None) => std::cmp::Ordering::Less,
581
- (None, Some(_)) => std::cmp::Ordering::Greater,
582
- (None, None) => left.0.cmp(&right.0),
583
- }
584
- });
585
- }
586
-
587
- let complete = unevaluated.is_empty();
588
- let (records, annotations) = evaluated
589
- .into_iter()
590
- .map(|(_, candidate, annotation)| (candidate.record, annotation))
591
- .unzip();
592
- Ok(SemanticPage {
593
- records,
594
- annotations,
595
- unevaluated,
596
- complete,
597
- stage,
598
- })
599
- }