pyturso 0.4.0rc14__tar.gz → 0.4.0rc16__tar.gz

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/Cargo.lock

@@ -886,7 +886,7 @@ checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
 
 [[package]]
 name = "core_tester"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anyhow",
  "assert_cmd",
@@ -2641,7 +2641,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_completion"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2649,7 +2649,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_crypto"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "blake3",
  "data-encoding",
@@ -2662,7 +2662,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_csv"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "csv",
  "mimalloc",
@@ -2672,7 +2672,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_fuzzy"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2680,7 +2680,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_ipaddr"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "ipnetwork",
  "mimalloc",
@@ -2689,7 +2689,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_percentile"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2697,7 +2697,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_regexp"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "mimalloc",
  "regex",
@@ -2706,7 +2706,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_sim"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anyhow",
  "bitflags 2.9.4",
@@ -2743,7 +2743,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_sqlite_test_ext"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "cc",
 ]
@@ -3569,7 +3569,7 @@ dependencies = [
 
 [[package]]
 name = "py-turso"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anyhow",
  "pyo3",
@@ -4329,7 +4329,7 @@ checksum = "d372029cb5195f9ab4e4b9aef550787dce78b124fcaee8d82519925defcd6f0d"
 
 [[package]]
 name = "sql_generation"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anarchist-readable-name-generator-lib 0.2.0",
  "anyhow",
@@ -4957,7 +4957,7 @@ checksum = "e421abadd41a4225275504ea4d6566923418b7f05506fbc9c0fe86ba7396114b"
 
 [[package]]
 name = "turso"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "mimalloc",
  "rand 0.9.2",
@@ -4972,7 +4972,7 @@ dependencies = [
 
 [[package]]
 name = "turso-java"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "jni",
  "thiserror 2.0.16",
@@ -4981,7 +4981,7 @@ dependencies = [
 
 [[package]]
 name = "turso_cli"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anyhow",
  "cfg-if",
@@ -5017,7 +5017,7 @@ dependencies = [
 
 [[package]]
 name = "turso_core"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "aegis",
  "aes",
@@ -5082,7 +5082,7 @@ dependencies = [
 
 [[package]]
 name = "turso_dart"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "flutter_rust_bridge",
  "turso_core",
@@ -5090,7 +5090,7 @@ dependencies = [
 
 [[package]]
 name = "turso_ext"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "chrono",
  "getrandom 0.3.2",
@@ -5099,7 +5099,7 @@ dependencies = [
 
 [[package]]
 name = "turso_ext_tests"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "env_logger 0.11.7",
  "lazy_static",
@@ -5110,7 +5110,7 @@ dependencies = [
 
 [[package]]
 name = "turso_macros"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -5119,7 +5119,7 @@ dependencies = [
 
 [[package]]
 name = "turso_node"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "chrono",
  "napi",
@@ -5132,7 +5132,7 @@ dependencies = [
 
 [[package]]
 name = "turso_parser"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "bitflags 2.9.4",
  "criterion",
@@ -5148,7 +5148,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sdk_kit"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "bindgen",
  "env_logger 0.11.7",
@@ -5161,7 +5161,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sdk_kit_macros"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -5170,7 +5170,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sqlite3"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "env_logger 0.11.7",
  "libc",
@@ -5183,7 +5183,7 @@ dependencies = [
 
 [[package]]
 name = "turso_stress"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anarchist-readable-name-generator-lib 0.1.2",
  "antithesis_sdk",
@@ -5200,7 +5200,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_engine"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "base64 0.22.1",
  "bytes",
@@ -5228,7 +5228,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_js"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "genawaiter",
  "napi",
@@ -5243,7 +5243,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_sdk_kit"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "bindgen",
  "env_logger 0.11.7",
@@ -5260,7 +5260,7 @@ dependencies = [
 
 [[package]]
 name = "turso_whopper"
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 dependencies = [
  "anyhow",
  "clap",

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/Cargo.toml

@@ -6,32 +6,32 @@ members = ["bindings/python"]
 exclude = ["perf/latency/limbo"]
 
 [workspace.package]
-version = "0.4.0-pre.14"
+version = "0.4.0-pre.16"
 authors = ["the Limbo authors"]
 edition = "2021"
 license = "MIT"
 repository = "https://github.com/tursodatabase/turso"
 
 [workspace.dependencies]
-turso = { path = "bindings/rust", version = "0.4.0-pre.14" }
-turso_node = { path = "bindings/javascript", version = "0.4.0-pre.14" }
-turso_sdk_kit = { path = "sdk-kit", version = "0.4.0-pre.14" }
-turso_sdk_kit_macros = { path = "sdk-kit-macros", version = "0.4.0-pre.14" }
-turso_sync_sdk_kit = { path = "sync/sdk-kit", version = "0.4.0-pre.14" }
-limbo_completion = { path = "extensions/completion", version = "0.4.0-pre.14" }
-turso_core = { path = "core", version = "0.4.0-pre.14" }
-turso_sync_engine = { path = "sync/engine", version = "0.4.0-pre.14" }
-limbo_crypto = { path = "extensions/crypto", version = "0.4.0-pre.14" }
-limbo_csv = { path = "extensions/csv", version = "0.4.0-pre.14" }
-turso_ext = { path = "extensions/core", version = "0.4.0-pre.14" }
-turso_ext_tests = { path = "extensions/tests", version = "0.4.0-pre.14" }
-limbo_ipaddr = { path = "extensions/ipaddr", version = "0.4.0-pre.14" }
-turso_macros = { path = "macros", version = "0.4.0-pre.14" }
-limbo_percentile = { path = "extensions/percentile", version = "0.4.0-pre.14" }
-limbo_regexp = { path = "extensions/regexp", version = "0.4.0-pre.14" }
-limbo_uuid = { path = "extensions/uuid", version = "0.4.0-pre.14" }
-turso_parser = { path = "parser", version = "0.4.0-pre.14" }
-limbo_fuzzy = { path = "extensions/fuzzy", version = "0.4.0-pre.14" }
+turso = { path = "bindings/rust", version = "0.4.0-pre.16" }
+turso_node = { path = "bindings/javascript", version = "0.4.0-pre.16" }
+turso_sdk_kit = { path = "sdk-kit", version = "0.4.0-pre.16" }
+turso_sdk_kit_macros = { path = "sdk-kit-macros", version = "0.4.0-pre.16" }
+turso_sync_sdk_kit = { path = "sync/sdk-kit", version = "0.4.0-pre.16" }
+limbo_completion = { path = "extensions/completion", version = "0.4.0-pre.16" }
+turso_core = { path = "core", version = "0.4.0-pre.16" }
+turso_sync_engine = { path = "sync/engine", version = "0.4.0-pre.16" }
+limbo_crypto = { path = "extensions/crypto", version = "0.4.0-pre.16" }
+limbo_csv = { path = "extensions/csv", version = "0.4.0-pre.16" }
+turso_ext = { path = "extensions/core", version = "0.4.0-pre.16" }
+turso_ext_tests = { path = "extensions/tests", version = "0.4.0-pre.16" }
+limbo_ipaddr = { path = "extensions/ipaddr", version = "0.4.0-pre.16" }
+turso_macros = { path = "macros", version = "0.4.0-pre.16" }
+limbo_percentile = { path = "extensions/percentile", version = "0.4.0-pre.16" }
+limbo_regexp = { path = "extensions/regexp", version = "0.4.0-pre.16" }
+limbo_uuid = { path = "extensions/uuid", version = "0.4.0-pre.16" }
+turso_parser = { path = "parser", version = "0.4.0-pre.16" }
+limbo_fuzzy = { path = "extensions/fuzzy", version = "0.4.0-pre.16" }
 sql_generation = { path = "sql_generation" }
 strum = { version = "0.26", features = ["derive"] }
 strum_macros = "0.26"

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyturso
-Version: 0.4.0rc14
+Version: 0.4.0rc16
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3
@@ -163,7 +163,10 @@ import turso.sync
 conn = turso.sync.connect(
     "local.db",
     remote_url="https://<db>.<region>.turso.io",
-    partial_boostrap_strategy=turso.sync.PartialSyncPrefixBootstrap(128 * 1024),  # fetch first 128 KiB upfront
+    # fetch first 128 KiB upfront
+    partial_sync_opts=turso.sync.PartialSyncOpts(
+      bootstrap_strategy=turso.sync.PartialSyncPrefixBootstrap(length=128 * 1024),
+    ),
 )
 ```
 

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/bindings/python/README.md

@@ -128,7 +128,10 @@ import turso.sync
 conn = turso.sync.connect(
     "local.db",
     remote_url="https://<db>.<region>.turso.io",
-    partial_boostrap_strategy=turso.sync.PartialSyncPrefixBootstrap(128 * 1024),  # fetch first 128 KiB upfront
+    # fetch first 128 KiB upfront
+    partial_sync_opts=turso.sync.PartialSyncOpts(
+      bootstrap_strategy=turso.sync.PartialSyncPrefixBootstrap(length=128 * 1024),
+    ),
 )
 ```
 

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/bindings/python/src/turso_sync.rs

@@ -264,13 +264,13 @@ impl PyTursoAsyncOperation {
     /// If returns Ok(None) - operation is not finished yet and must be resumed after one iteration of sync engine IO
     /// If returns Ok(Some(...)) - operation is finished and result must be processed accordingly
     pub fn resume(&self, py: Python) -> PyResult<Option<PyTursoAsyncOperationResult>> {
-        let mut result = self.operation.resume().map_err(turso_error_to_py_err)?;
-        if result.status == TursoStatusCode::Io {
+        let result = self.operation.resume().map_err(turso_error_to_py_err)?;
+        if result == TursoStatusCode::Io {
             Ok(None)
-        } else if result.status == TursoStatusCode::Done {
-            let result = result.result.take();
+        } else if result == TursoStatusCode::Done {
+            let result = self.operation.take_result();
             match result {
-                Some(TursoAsyncOperationResult::Changes { changes }) => {
+                Ok(TursoAsyncOperationResult::Changes { changes }) => {
                     Ok(Some(PyTursoAsyncOperationResult {
                         kind: PyTursoAsyncOperationResultKind::Changes,
                         changes: Some(pyo3::Py::new(
@@ -283,7 +283,7 @@ impl PyTursoAsyncOperation {
                         stats: None,
                     }))
                 }
-                Some(TursoAsyncOperationResult::Connection { connection }) => {
+                Ok(TursoAsyncOperationResult::Connection { connection }) => {
                     Ok(Some(PyTursoAsyncOperationResult {
                         kind: PyTursoAsyncOperationResultKind::Connection,
                         changes: None,
@@ -291,7 +291,7 @@ impl PyTursoAsyncOperation {
                         stats: None,
                     }))
                 }
-                Some(TursoAsyncOperationResult::Stats { stats }) => {
+                Ok(TursoAsyncOperationResult::Stats { stats }) => {
                     Ok(Some(PyTursoAsyncOperationResult {
                         kind: PyTursoAsyncOperationResultKind::Stats,
                         changes: None,
@@ -311,7 +311,7 @@ impl PyTursoAsyncOperation {
                         )?),
                     }))
                 }
-                None => Ok(Some(PyTursoAsyncOperationResult {
+                Err(..) => Ok(Some(PyTursoAsyncOperationResult {
                     kind: PyTursoAsyncOperationResultKind::No,
                     changes: None,
                     connection: None,

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/bindings/python/tests/test_database_sync.py

@@ -170,7 +170,7 @@ def test_partial_sync():
         ),
     )
     assert conn_partial.execute("SELECT LENGTH(x) FROM t LIMIT 1").fetchall() == [(1024,)]
-    assert conn_partial.stats().network_received_bytes < 256 * 1024 * 1024
+    assert conn_partial.stats().network_received_bytes < 256 * (1024 + 10)
 
     start = time.time()
     assert conn_partial.execute("SELECT SUM(LENGTH(x)) FROM t").fetchall() == [(2000 * 1024,)]

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/bindings/python/tests/test_database_sync_aio.py

@@ -174,7 +174,7 @@ async def test_partial_sync():
         ),
     )
     assert await (await conn_partial.execute("SELECT LENGTH(x) FROM t LIMIT 1")).fetchall() == [(1024,)]
-    assert (await conn_partial.stats()).network_received_bytes < 256 * 1024 * 1024
+    assert (await conn_partial.stats()).network_received_bytes < 256 * (1024 + 10)
 
     start = time.time()
     assert await (await conn_partial.execute("SELECT SUM(LENGTH(x)) FROM t")).fetchall() == [(2000 * 1024,)]

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/functions/datetime.rs

@@ -669,10 +669,16 @@ fn parse_modifier_time(s: &str) -> Result<NaiveTime> {
 fn parse_modifier(modifier: &str) -> Result<Modifier> {
     // Small helpers to check string suffix/prefix in a case-insensitive way with no allocation
     fn ends_with_ignore_ascii_case(s: &str, suffix: &str) -> bool {
-        s.len() >= suffix.len() && s[s.len() - suffix.len()..].eq_ignore_ascii_case(suffix)
+        // suffix is always ASCII, so suffix.len() is the char count
+        // But s might have multi-byte UTF-8 chars, so we need to check char boundary
+        let start = s.len().saturating_sub(suffix.len());
+        s.is_char_boundary(start) && s[start..].eq_ignore_ascii_case(suffix)
     }
     fn starts_with_ignore_ascii_case(s: &str, prefix: &str) -> bool {
-        s.len() >= prefix.len() && s[..prefix.len()].eq_ignore_ascii_case(prefix)
+        // prefix is always ASCII, so prefix.len() is the char count
+        s.is_char_boundary(prefix.len())
+            && s.len() >= prefix.len()
+            && s[..prefix.len()].eq_ignore_ascii_case(prefix)
     }
 
     let modifier = modifier.trim();
@@ -1998,4 +2004,27 @@ mod tests {
             "Case insensitivity check failed"
         );
     }
+
+    #[test]
+    fn test_parse_modifier_unicode_no_panic() {
+        // Regression test: parse_modifier should not panic on multi-byte UTF-8 strings
+        // that are shorter than expected modifier suffixes when measured in bytes
+        let unicode_inputs = [
+            "!*\u{ea37}", // <-- this produced a crash in SQLancer :]
+            "\u{1F600}",  // Emoji (4 bytes)
+            "日本語",     // Japanese text
+            "中",         // Single Chinese character
+            "\u{0080}",   // 2-byte UTF-8
+            "",           // Empty string
+        ];
+
+        for input in unicode_inputs {
+            // Should not panic - just return an error for invalid modifiers
+            let result = parse_modifier(input);
+            assert!(
+                result.is_err(),
+                "Expected error for invalid modifier: {input}"
+            );
+        }
+    }
 }

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/incremental/expr_compiler.rs

@@ -404,7 +404,7 @@ impl CompiledExpression {
         });
 
         // Build the program from the compiled expression bytecode
-        let program = Arc::new(builder.build(connection, false, ""));
+        let program = Arc::new(builder.build(connection, false, "")?);
 
         Ok(CompiledExpression {
             executor: ExpressionExecutor::Compiled(program),

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/mvcc/cursor.rs

@@ -951,6 +951,7 @@ impl<Clock: LogicalClock + 'static> CursorTrait for MvccLazyCursor<Clock> {
                     }
                 }
                 CursorPosition::End => {
+                    self.state.replace(None);
                     return Ok(IOResult::Done(false));
                 }
             };
@@ -1047,6 +1048,7 @@ impl<Clock: LogicalClock + 'static> CursorTrait for MvccLazyCursor<Clock> {
                     }
                 }
                 CursorPosition::BeforeFirst => {
+                    self.state.replace(None);
                     return Ok(IOResult::Done(false));
                 }
             };

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/mvcc/database/checkpoint_state_machine.rs

@@ -205,7 +205,7 @@ impl<Clock: LogicalClock> CheckpointStateMachine<Clock> {
                 begin_ts = Some(b);
                 if self
                     .checkpointed_txid_max_old
-                    .is_some_and(|txid_max_old| b <= txid_max_old.into())
+                    .is_none_or(|txid_max_old| b <= txid_max_old.into())
                 {
                     exists_in_db_file = true;
                 }
@@ -229,11 +229,9 @@ impl<Clock: LogicalClock> CheckpointStateMachine<Clock> {
             // We need the `self.checkpointed_txid_max_old.is_none()` check as we may have not checkpointed yet,
             // and without this check, recovered rows could skipped accidently
             let is_uncheckpointed_insert = end_ts.is_none()
-                && (self.checkpointed_txid_max_old.is_none()
-                    || begin_ts.is_some_and(|b| {
-                        self.checkpointed_txid_max_old
-                            .is_some_and(|txid_max_old| b > txid_max_old.into())
-                    }));
+                && self
+                    .checkpointed_txid_max_old
+                    .is_none_or(|txid_max_old| begin_ts.is_some_and(|b| b > txid_max_old.into()));
             // - It is a delete, AND some version of the row exists in the database file.
             let is_delete_and_exists_in_db_file = end_ts.is_some() && exists_in_db_file;
             let should_checkpoint = is_uncheckpointed_insert || is_delete_and_exists_in_db_file;
@@ -1110,10 +1108,10 @@ impl<Clock: LogicalClock> CheckpointStateMachine<Clock> {
                 self.connection.db.with_schema_mut(|schema| {
                     for table in schema.tables.values_mut() {
                         let table = Arc::get_mut(table).expect("this should be the only reference");
-                        let Some(mut btree_table) = table.btree() else {
+                        let Some(btree_table) = table.btree_mut() else {
                             continue;
                         };
-                        let btree_table = Arc::make_mut(&mut btree_table);
+                        let btree_table = Arc::make_mut(btree_table);
                         if btree_table.root_page < 0 {
                             btree_table.root_page = btree_table.root_page.abs();
                         }
@@ -1134,7 +1132,7 @@ impl<Clock: LogicalClock> CheckpointStateMachine<Clock> {
                             self.mvstore.global_header.write().replace(*header);
                             IOResult::Done(())
                         })
-                    });
+                    })?;
                     Ok(())
                 })?;
 

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/schema.rs

@@ -1448,6 +1448,14 @@ impl Table {
         }
     }
 
+    pub fn btree_mut(&mut self) -> Option<&mut Arc<BTreeTable>> {
+        match self {
+            Self::BTree(table) => Some(table),
+            Self::Virtual(_) => None,
+            Self::FromClauseSubquery(_) => None,
+        }
+    }
+
     pub fn virtual_table(&self) -> Option<Arc<VirtualTable>> {
         match self {
             Self::Virtual(table) => Some(table.clone()),

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/translate/expr.rs

@@ -806,7 +806,7 @@ pub fn translate_expr(
             }
         }
         ast::Expr::Between { .. } => {
-            unreachable!("expression should have been rewritten in optmizer")
+            crate::bail_parse_error!("expression should have been rewritten in optmizer")
         }
         ast::Expr::Binary(e1, op, e2) => {
             binary_expr_shared(

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/translate/insert.rs

@@ -972,6 +972,7 @@ fn emit_notnulls(
     resolver: &Resolver,
 ) -> Result<Option<BranchOffset>> {
     let on_replace = matches!(ctx.on_conflict, ResolveType::Replace);
+    let on_ignore = matches!(ctx.on_conflict, ResolveType::Ignore);
     let mut pending_resume_label = None;
     for column_mapping in insertion
         .col_mappings
@@ -1024,32 +1025,41 @@ fn emit_notnulls(
             }
             // OR REPLACE but no DEFAULT, fall through to ABORT behavior
         }
-        program.emit_insn(Insn::HaltIfNull {
-            target_reg: column_mapping.register,
-            err_code: SQLITE_CONSTRAINT_NOTNULL,
-            description: {
-                let mut description = String::with_capacity(
-                    ctx.table.name.as_str().len()
-                        + column_mapping
+
+        // For INSERT OR IGNORE, skip to the next row if NULL
+        if on_ignore {
+            program.emit_insn(Insn::IsNull {
+                reg: column_mapping.register,
+                target_pc: ctx.row_done_label,
+            });
+        } else {
+            program.emit_insn(Insn::HaltIfNull {
+                target_reg: column_mapping.register,
+                err_code: SQLITE_CONSTRAINT_NOTNULL,
+                description: {
+                    let mut description = String::with_capacity(
+                        ctx.table.name.as_str().len()
+                            + column_mapping
+                                .column
+                                .name
+                                .as_ref()
+                                .expect("Column name must be present")
+                                .len()
+                            + 2,
+                    );
+                    description.push_str(ctx.table.name.as_str());
+                    description.push('.');
+                    description.push_str(
+                        column_mapping
                             .column
                             .name
                             .as_ref()
-                            .expect("Column name must be present")
-                            .len()
-                        + 2,
-                );
-                description.push_str(ctx.table.name.as_str());
-                description.push('.');
-                description.push_str(
-                    column_mapping
-                        .column
-                        .name
-                        .as_ref()
-                        .expect("Column name must be present"),
-                );
-                description
-            },
-        });
+                            .expect("Column name must be present"),
+                    );
+                    description
+                },
+            });
+        }
     }
     Ok(pending_resume_label)
 }

{pyturso-0.4.0rc14 → pyturso-0.4.0rc16}/core/translate/mod.rs

@@ -108,7 +108,7 @@ pub fn translate(
 
     program.epilogue(schema);
 
-    Ok(program.build(connection, change_cnt_on, input))
+    program.build(connection, change_cnt_on, input)
 }
 
 // TODO: for now leaving the return value as a Program. But ideally to support nested parsing of arbitraty