fix(sql): evaluate sequence-backed DEFAULT expressions on typed engines

`DEFAULT nextval('name')` passed DDL and then silently produced NULL on
every insert: the pure default evaluator does not recognize sequence
accessors, so the expression evaluated to "no value" and the column was
omitted — including primary keys (#294). The sequence machinery itself
exists on the control plane (SequenceRegistry with catalog persistence and
range allocation); this wires the SQL DEFAULT path to it.

- SequenceRegistry is threaded from SharedState through QueryContext into
  ConvertContext (for_state / for_state_with_lease and both planning
  sites); sub-planner contexts keep None.
- evaluate_sequence_default recognizes DEFAULT nextval('name'), advances
  the CP-side registry, and raises a loud PlanError for unknown sequences —
  a DDL-accepted DEFAULT never silently vanishes into NULL again.
- The INSERT/UPSERT expanded_rows loop prefers the sequence-aware evaluator
  over the pure stateless one.

Verified: document_strict DEFAULT nextval fills distinct ids (1,2,3) across
inserts; unknown sequence raises naming the sequence; uuid defaults
unchanged. Out of scope here (tracked): SELECT nextval/currval evaluation,
kv/columnar-family defaults, schemaless document column defaults (dropped
at catalog adapter — pre-existing), currval/setval session semantics.

Author: EnRaiha

nodedb/src/control/planner/context/query/context.rs

@@ -40,6 +40,11 @@ pub struct QueryContext {
     /// `QueryContext::new()` test fixtures that never lower to
     /// surrogate-bearing variants.
     pub(super) surrogate_assigner: Option<Arc<crate::control::surrogate::SurrogateAssigner>>,
+    /// Sequence registry — `Some` when the planner has access to
+    /// `SharedState` (production path). SQL sequence accessors
+    /// (`nextval`/`currval`/`setval`) and sequence-backed DEFAULT
+    /// expressions evaluate through this; `None` for sub-planners.
+    pub(super) sequence_registry: Option<Arc<crate::control::sequence::SequenceRegistry>>,
     /// Cluster mode flag — `true` when the node has a live cluster
     /// topology. Passed into `ConvertContext` so array converters can
     /// emit `ClusterArray` variants instead of local `Array` variants.
@@ -109,6 +114,7 @@ impl QueryContext {
             array_catalog: None,
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: std::sync::atomic::AtomicU32::new(0),
@@ -140,6 +146,7 @@ impl QueryContext {
             Some(Arc::clone(&state.retention_policy_registry)),
         );
         ctx.surrogate_assigner = Some(Arc::clone(&state.surrogate_assigner));
+        ctx.sequence_registry = Some(Arc::clone(&state.sequence_registry));
         ctx.cluster_enabled = state.cluster_topology.is_some();
         ctx.bitemporal_retention_registry = Some(Arc::clone(&state.bitemporal_retention_registry));
         // max_vector_dim starts at 0 (unlimited); connection handlers call
@@ -174,6 +181,7 @@ impl QueryContext {
             array_catalog: Some(state.array_catalog.clone()),
             wal: Some(Arc::clone(&state.wal)),
             surrogate_assigner: Some(Arc::clone(&state.surrogate_assigner)),
+            sequence_registry: Some(Arc::clone(&state.sequence_registry)),
             cluster_enabled: state.cluster_topology.is_some(),
             bitemporal_retention_registry: Some(Arc::clone(&state.bitemporal_retention_registry)),
             // max_vector_dim is tenant-specific; callers supply it via
@@ -215,6 +223,7 @@ impl QueryContext {
             array_catalog: None,
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: std::sync::atomic::AtomicU32::new(0),

nodedb/src/control/planner/context/query/planning.rs

@@ -147,6 +147,7 @@ impl QueryContext {
                 .map(|i| Arc::clone(&i.credentials)),
             wal: self.wal.clone(),
             surrogate_assigner: self.surrogate_assigner.clone(),
+            sequence_registry: self.sequence_registry.clone(),
             cluster_enabled: self.cluster_enabled,
             bitemporal_retention_registry: self.bitemporal_retention_registry.clone(),
             max_vector_dim: self
@@ -412,6 +413,7 @@ impl QueryContext {
                 .map(|i| Arc::clone(&i.credentials)),
             wal: self.wal.clone(),
             surrogate_assigner: self.surrogate_assigner.clone(),
+            sequence_registry: self.sequence_registry.clone(),
             cluster_enabled: self.cluster_enabled,
             bitemporal_retention_registry: self.bitemporal_retention_registry.clone(),
             max_vector_dim: self

nodedb/src/control/planner/sql_plan_convert/array_fn_convert/aggregate.rs

@@ -144,6 +144,7 @@ mod tests {
             credentials: None,
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/array_fn_convert/slice.rs

@@ -246,6 +246,7 @@ mod tests {
             credentials: None,
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/convert.rs

@@ -62,6 +62,9 @@ pub struct ConvertContext {
     pub credentials: Option<Arc<CredentialStore>>,
     /// LSN allocator for array Put/Delete dispatches.
     pub wal: Option<Arc<WalManager>>,
+    /// Sequence registry for SQL sequence accessors and sequence-backed
+    /// DEFAULT expressions. `None` for sub-planner contexts.
+    pub sequence_registry: Option<Arc<crate::control::sequence::SequenceRegistry>>,
     /// CP-side surrogate assigner — bound to the same `Arc` held on
     /// `SharedState`. Threaded into INSERT/UPSERT/KV-INSERT converters
     /// to bind `(collection, pk_bytes)` → `Surrogate` before the op
@@ -281,6 +284,7 @@ mod tests {
             credentials: None,
             wal: None,
             surrogate_assigner: Some(assigner),
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/dml/insert.rs

@@ -233,13 +233,22 @@ pub(in super::super) fn convert_insert(
         }
         let mut expanded = row.clone();
         for (col_name, default_expr) in column_defaults {
-            if !expanded.iter().any(|(k, _)| k == col_name)
-                && let Some(val) = super::super::value::evaluate_default_expr(default_expr)
-                    .map_err(|e| crate::Error::PlanError {
-                        detail: format!("default for column '{col_name}': {e}"),
-                    })?
-            {
-                expanded.push((col_name.clone(), nodedb_value_to_sql(val)));
+            if !expanded.iter().any(|(k, _)| k == col_name) {
+                // Sequence-backed defaults advance CP-side registry state;
+                // the pure evaluator would fold them to nothing (NULL).
+                let maybe_val: Option<nodedb_types::Value> =
+                    match super::super::value::evaluate_sequence_default(ctx, default_expr) {
+                        Some(Ok(value)) => Some(value),
+                        Some(Err(e)) => return Err(e),
+                        None => super::super::value::evaluate_default_expr(default_expr).map_err(
+                            |e| crate::Error::PlanError {
+                                detail: format!("default for column '{col_name}': {e}"),
+                            },
+                        )?,
+                    };
+                if let Some(val) = maybe_val {
+                    expanded.push((col_name.clone(), nodedb_value_to_sql(val)));
+                }
             }
         }
         expanded_rows.push(expanded);
@@ -433,6 +442,7 @@ mod tests {
             credentials: Some(Arc::new(store)),
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/dml/kv_and_vector.rs

@@ -204,6 +204,7 @@ mod tests {
             credentials: None,
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim,

nodedb/src/control/planner/sql_plan_convert/dml/update_delete/delete.rs

@@ -250,6 +250,7 @@ mod tests {
             credentials: Some(Arc::new(store)),
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/dml/update_delete/update.rs

@@ -359,6 +359,7 @@ mod tests {
             credentials: Some(Arc::new(store)),
             wal: None,
             surrogate_assigner: None,
+            sequence_registry: None,
             cluster_enabled: false,
             bitemporal_retention_registry: None,
             max_vector_dim: 0,

nodedb/src/control/planner/sql_plan_convert/set_ops.rs

@@ -392,6 +392,7 @@ mod tests {
                 credentials: None,
                 wal: None,
                 surrogate_assigner: None,
+                sequence_registry: None,
                 cluster_enabled: false,
                 bitemporal_retention_registry: None,
                 max_vector_dim: 0,
@@ -450,6 +451,7 @@ mod tests {
                 credentials: None,
                 wal: None,
                 surrogate_assigner: None,
+                sequence_registry: None,
                 cluster_enabled: false,
                 bitemporal_retention_registry: None,
                 max_vector_dim: 0,