pyturso 0.4.0rc16__tar.gz → 0.4.0rc17__tar.gz

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

@@ -104,15 +104,6 @@ dependencies = [
  "backtrace",
 ]
 
-[[package]]
-name = "anarchist-readable-name-generator-lib"
-version = "0.1.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "18a1e15a87b13ae79e04e07b3714fc41d5f6993dff11662fdbe0b207c6ad0fe0"
-dependencies = [
- "rand 0.8.5",
-]
-
 [[package]]
 name = "anarchist-readable-name-generator-lib"
 version = "0.2.0"
@@ -886,7 +877,7 @@ checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
 
 [[package]]
 name = "core_tester"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "anyhow",
  "assert_cmd",
@@ -2641,7 +2632,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_completion"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2649,7 +2640,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_crypto"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "blake3",
  "data-encoding",
@@ -2662,7 +2653,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_csv"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "csv",
  "mimalloc",
@@ -2672,7 +2663,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_fuzzy"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2680,7 +2671,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_ipaddr"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "ipnetwork",
  "mimalloc",
@@ -2689,7 +2680,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_percentile"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "mimalloc",
  "turso_ext",
@@ -2697,7 +2688,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_regexp"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "mimalloc",
  "regex",
@@ -2706,7 +2697,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_sim"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "anyhow",
  "bitflags 2.9.4",
@@ -2743,7 +2734,7 @@ dependencies = [
 
 [[package]]
 name = "limbo_sqlite_test_ext"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "cc",
 ]
@@ -3569,7 +3560,7 @@ dependencies = [
 
 [[package]]
 name = "py-turso"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "anyhow",
  "pyo3",
@@ -4329,9 +4320,9 @@ checksum = "d372029cb5195f9ab4e4b9aef550787dce78b124fcaee8d82519925defcd6f0d"
 
 [[package]]
 name = "sql_generation"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
- "anarchist-readable-name-generator-lib 0.2.0",
+ "anarchist-readable-name-generator-lib",
  "anyhow",
  "garde",
  "hex",
@@ -4957,7 +4948,7 @@ checksum = "e421abadd41a4225275504ea4d6566923418b7f05506fbc9c0fe86ba7396114b"
 
 [[package]]
 name = "turso"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "mimalloc",
  "rand 0.9.2",
@@ -4972,7 +4963,7 @@ dependencies = [
 
 [[package]]
 name = "turso-java"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "jni",
  "thiserror 2.0.16",
@@ -4981,7 +4972,7 @@ dependencies = [
 
 [[package]]
 name = "turso_cli"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "anyhow",
  "cfg-if",
@@ -4993,6 +4984,7 @@ dependencies = [
  "dirs 5.0.1",
  "env_logger 0.11.7",
  "include_dir",
+ "itertools 0.14.0",
  "libc",
  "limbo_completion",
  "miette",
@@ -5017,7 +5009,7 @@ dependencies = [
 
 [[package]]
 name = "turso_core"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "aegis",
  "aes",
@@ -5082,7 +5074,7 @@ dependencies = [
 
 [[package]]
 name = "turso_dart"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "flutter_rust_bridge",
  "turso_core",
@@ -5090,7 +5082,7 @@ dependencies = [
 
 [[package]]
 name = "turso_ext"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "chrono",
  "getrandom 0.3.2",
@@ -5099,7 +5091,7 @@ dependencies = [
 
 [[package]]
 name = "turso_ext_tests"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "env_logger 0.11.7",
  "lazy_static",
@@ -5110,7 +5102,7 @@ dependencies = [
 
 [[package]]
 name = "turso_macros"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -5119,7 +5111,7 @@ dependencies = [
 
 [[package]]
 name = "turso_node"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "chrono",
  "napi",
@@ -5132,7 +5124,7 @@ dependencies = [
 
 [[package]]
 name = "turso_parser"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "bitflags 2.9.4",
  "criterion",
@@ -5148,7 +5140,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sdk_kit"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "bindgen",
  "env_logger 0.11.7",
@@ -5161,7 +5153,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sdk_kit_macros"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -5170,7 +5162,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sqlite3"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "env_logger 0.11.7",
  "libc",
@@ -5183,12 +5175,12 @@ dependencies = [
 
 [[package]]
 name = "turso_stress"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
- "anarchist-readable-name-generator-lib 0.1.2",
  "antithesis_sdk",
  "clap",
  "hex",
+ "rand 0.9.2",
  "rusqlite",
  "tempfile",
  "tokio",
@@ -5200,7 +5192,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_engine"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "base64 0.22.1",
  "bytes",
@@ -5228,7 +5220,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_js"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "genawaiter",
  "napi",
@@ -5243,7 +5235,7 @@ dependencies = [
 
 [[package]]
 name = "turso_sync_sdk_kit"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "bindgen",
  "env_logger 0.11.7",
@@ -5260,7 +5252,7 @@ dependencies = [
 
 [[package]]
 name = "turso_whopper"
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 dependencies = [
  "anyhow",
  "clap",

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

@@ -6,32 +6,32 @@ members = ["bindings/python"]
 exclude = ["perf/latency/limbo"]
 
 [workspace.package]
-version = "0.4.0-pre.16"
+version = "0.4.0-pre.17"
 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.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" }
+turso = { path = "bindings/rust", version = "0.4.0-pre.17" }
+turso_node = { path = "bindings/javascript", version = "0.4.0-pre.17" }
+turso_sdk_kit = { path = "sdk-kit", version = "0.4.0-pre.17" }
+turso_sdk_kit_macros = { path = "sdk-kit-macros", version = "0.4.0-pre.17" }
+turso_sync_sdk_kit = { path = "sync/sdk-kit", version = "0.4.0-pre.17" }
+limbo_completion = { path = "extensions/completion", version = "0.4.0-pre.17" }
+turso_core = { path = "core", version = "0.4.0-pre.17" }
+turso_sync_engine = { path = "sync/engine", version = "0.4.0-pre.17" }
+limbo_crypto = { path = "extensions/crypto", version = "0.4.0-pre.17" }
+limbo_csv = { path = "extensions/csv", version = "0.4.0-pre.17" }
+turso_ext = { path = "extensions/core", version = "0.4.0-pre.17" }
+turso_ext_tests = { path = "extensions/tests", version = "0.4.0-pre.17" }
+limbo_ipaddr = { path = "extensions/ipaddr", version = "0.4.0-pre.17" }
+turso_macros = { path = "macros", version = "0.4.0-pre.17" }
+limbo_percentile = { path = "extensions/percentile", version = "0.4.0-pre.17" }
+limbo_regexp = { path = "extensions/regexp", version = "0.4.0-pre.17" }
+limbo_uuid = { path = "extensions/uuid", version = "0.4.0-pre.17" }
+turso_parser = { path = "parser", version = "0.4.0-pre.17" }
+limbo_fuzzy = { path = "extensions/fuzzy", version = "0.4.0-pre.17" }
 sql_generation = { path = "sql_generation" }
 strum = { version = "0.26", features = ["derive"] }
 strum_macros = "0.26"

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyturso
-Version: 0.4.0rc16
+Version: 0.4.0rc17
 Classifier: Development Status :: 3 - Alpha
 Classifier: Programming Language :: Python
 Classifier: Programming Language :: Python :: 3

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/bindings/python/py-bindings-sync.mdx

@@ -55,7 +55,7 @@ class PartialSyncQueryBootstrap:
 class PartialSyncOpts:
     bootstrap_strategy: Union[PartialSyncPrefixBootstrap, PartialSyncQueryBootstrap]
     segment_size: Optional[int] = None
-    speculative_load: Optional[bool] = None
+    prefetch: Optional[bool] = None
 
 def connect_sync(
     path: str, # path to the main database file locally

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

@@ -27,7 +27,7 @@ pub struct PyTursoPartialSyncOpts {
     // query bootstrap strategy which will enable partial sync which lazily pull necessary pages on demand and bootstrap db with pages touched by the server with given SQL query
     pub bootstrap_strategy_query: Option<String>,
     pub segment_size: Option<usize>,
-    pub speculative_load: Option<bool>,
+    pub prefetch: Option<bool>,
 }
 
 #[pymethods]
@@ -37,19 +37,19 @@ impl PyTursoPartialSyncOpts {
         bootstrap_strategy_prefix=None,
         bootstrap_strategy_query=None,
         segment_size=None,
-        speculative_load=None,
+        prefetch=None,
     ))]
     fn new(
         bootstrap_strategy_prefix: Option<usize>,
         bootstrap_strategy_query: Option<String>,
         segment_size: Option<usize>,
-        speculative_load: Option<bool>,
+        prefetch: Option<bool>,
     ) -> Self {
         Self {
             bootstrap_strategy_prefix,
             bootstrap_strategy_query,
             segment_size,
-            speculative_load,
+            prefetch,
         }
     }
 }
@@ -124,7 +124,7 @@ pub fn py_turso_sync_new(
                     Some(PartialSyncOpts {
                         bootstrap_strategy: PartialBootstrapStrategy::Prefix { length },
                         segment_size: config.segment_size.unwrap_or(0),
-                        speculative_load: config.speculative_load.unwrap_or(false),
+                        prefetch: config.prefetch.unwrap_or(false),
                     })
                 } else {
                     config
@@ -135,7 +135,7 @@ pub fn py_turso_sync_new(
                                 query: query.clone(),
                             },
                             segment_size: config.segment_size.unwrap_or(0),
-                            speculative_load: config.speculative_load.unwrap_or(false),
+                            prefetch: config.prefetch.unwrap_or(false),
                         })
                 }
             }

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/bindings/python/tests/test_database.py

@@ -1478,3 +1478,20 @@ def test_insert_returning_single_and_multiple_commit_without_consuming(provider)
     finally:
         conn.close()
 
+
+@pytest.mark.parametrize("provider", ["sqlite3", "turso"])
+def test_pragma_integrity_check(provider):
+    conn = connect(provider, ":memory:")
+    cursor = conn.cursor()
+    cursor.execute("PRAGMA integrity_check")
+
+    # Verify fetchone returns the expected result, not None
+    # Bug: missing add_pragma_result_column in translate_integrity_check
+    # caused column_count to be 0, making execute() finalize the statement
+    # and leaving fetchone() to return None
+    row = cursor.fetchone()
+    assert row is not None, "PRAGMA integrity_check should return a row"
+    assert row == ("ok",)
+
+    conn.close()
+

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

@@ -208,7 +208,7 @@ def test_partial_sync_segment_size():
     print(time.time() - start)
     assert conn_partial.stats().network_received_bytes > 2000 * 1024
 
-def test_partial_sync_speculative_load():
+def test_partial_sync_prefetch():
     # turso.setup_logging(level=logging.DEBUG)
 
     name = random_str()
@@ -229,7 +229,7 @@ def test_partial_sync_speculative_load():
         partial_sync_opts=turso.sync.PartialSyncOpts(
             bootstrap_strategy=turso.sync.PartialSyncPrefixBootstrap(length=128 * 1024),
             segment_size=4 * 1024,
-            speculative_load=True,
+            prefetch=True,
         ),
     )
     assert conn_partial.execute("SELECT LENGTH(x) FROM t LIMIT 1").fetchall() == [(1024,)]

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

@@ -214,7 +214,7 @@ async def test_partial_sync_segment_size():
     assert (await conn_partial.stats()).network_received_bytes > 2000 * 1024
 
 @pytest.mark.asyncio
-async def test_partial_sync_speculative_load():
+async def test_partial_sync_prefetch():
     # turso.setup_logging(level=logging.DEBUG)
 
     name = random_str()
@@ -236,7 +236,7 @@ async def test_partial_sync_speculative_load():
         partial_sync_opts=turso.aio.sync.PartialSyncOpts(
             bootstrap_strategy=turso.aio.sync.PartialSyncPrefixBootstrap(length=128*1024),
             segment_size=4 * 1024,
-            speculative_load=True,
+            prefetch=True,
         ),
     )
     assert await (await conn_partial.execute("SELECT LENGTH(x) FROM t LIMIT 1")).fetchall() == [(1024,)]

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/bindings/python/turso/lib_sync.py

@@ -43,7 +43,7 @@ class PartialSyncQueryBootstrap:
 class PartialSyncOpts:
     bootstrap_strategy: Union[PartialSyncPrefixBootstrap, PartialSyncQueryBootstrap]
     segment_size: Optional[int] = None
-    speculative_load: Optional[bool] = None
+    prefetch: Optional[bool] = None
 
 class _HttpContext:
     """
@@ -451,7 +451,7 @@ def connect_sync(
             bootstrap_strategy_prefix=prefix_len,
             bootstrap_strategy_query=query_str,
             segment_size=partial_sync_opts.segment_size,
-            speculative_load=partial_sync_opts.speculative_load
+            prefetch=partial_sync_opts.prefetch
         ) if partial_sync_opts is not None else None,
     )
 

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/core/error.rs

@@ -77,6 +77,8 @@ pub enum LimboError {
     InvalidBlobSize(usize),
     #[error("Planning error: {0}")]
     PlanningError(String),
+    #[error("Checkpoint failed: {0}")]
+    CheckpointFailed(String),
 }
 
 // We only propagate the error kind so we can avoid string allocation in hot path and copying/cloning enums is cheaper

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/core/lib.rs

@@ -192,6 +192,18 @@ enum TransactionState {
     None,
 }
 
+impl TransactionState {
+    /// Whether the transaction is a write transaction that changes the schema
+    pub fn is_ddl_write_tx(&self) -> bool {
+        matches!(
+            self,
+            TransactionState::Write {
+                schema_did_change: true
+            }
+        )
+    }
+}
+
 #[derive(Debug, AtomicEnum, Clone, Copy, PartialEq, Eq)]
 pub enum SyncMode {
     Off = 0,
@@ -1877,6 +1889,11 @@ impl Connection {
 
             if !force_commit {
                 // remove all non-commited changes in case if WAL session left some suffix without commit frame
+                if let Some(mv_store) = self.mv_store().as_ref() {
+                    if let Some(tx_id) = self.get_mv_tx_id() {
+                        mv_store.rollback_tx(tx_id, pager.clone(), self);
+                    }
+                }
                 pager.rollback(false, self, true);
             }
             if let Some(err) = commit_err {

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

@@ -378,7 +378,7 @@ impl<Clock: LogicalClock + 'static> MvccLazyCursor<Clock> {
     /// transactions are not conflicting.
     /// Therefore, we will always choose the highest rowid in the table, regardless of the visibility of the row to the
     /// transaction.
-    pub fn get_next_rowid(&mut self) -> Result<IOResult<i64>> {
+    pub fn get_next_rowid(&mut self) -> Result<IOResult<(i64, i64)>> {
         // lock so we don't get same two rowids
         let lock = self.next_rowid_lock.clone();
         let _lock = lock.write();
@@ -392,7 +392,11 @@ impl<Clock: LogicalClock + 'static> MvccLazyCursor<Clock> {
                     "rowid overflow, random rowids not implemented yet".to_string(),
                 ));
             }
-            Ok(rowid.to_int_or_panic() + 1)
+
+            let prev_max_rowid = rowid.to_int_or_panic();
+            let new_row_id = prev_max_rowid + 1;
+            tracing::trace!("new_row_id={new_row_id}");
+            Ok((new_row_id, prev_max_rowid))
         };
         match self.current_pos.borrow().clone() {
             CursorPosition::Loaded {
@@ -420,14 +424,14 @@ impl<Clock: LogicalClock + 'static> MvccLazyCursor<Clock> {
             }
             CursorPosition::BeforeFirst => {
                 let res = match last_rowid_in_mvcc_index {
-                    None => 1,
+                    None => (1, 0),
                     Some(k) => incremented_rowid(&k)?,
                 };
                 Ok(IOResult::Done(res))
             }
             CursorPosition::End => {
                 let res = match last_rowid_in_mvcc_index {
-                    None => 1,
+                    None => (1, 0),
                     Some(k) => incremented_rowid(&k)?,
                 };
                 Ok(IOResult::Done(res))
@@ -1409,7 +1413,7 @@ impl<Clock: LogicalClock + 'static> CursorTrait for MvccLazyCursor<Clock> {
                 self.tx_id,
                 &mut self.table_iterator,
             );
-            let exists = if let Some(rowid) = rowid {
+            let exists = if let Some(rowid) = &rowid {
                 let RowKey::Int(rowid) = rowid.row_id else {
                     panic!("Rowid is not an integer in mvcc table cursor");
                 };
@@ -1417,6 +1421,7 @@ impl<Clock: LogicalClock + 'static> CursorTrait for MvccLazyCursor<Clock> {
             } else {
                 false
             };
+            tracing::trace!("Row exists: {exists} find={int_key} got={rowid:?}");
             if exists {
                 self.current_pos.replace(CursorPosition::Loaded {
                     row_id: RowID {

{pyturso-0.4.0rc16 → pyturso-0.4.0rc17}/core/mvcc/database/tests.rs

@@ -1935,3 +1935,37 @@ fn test_cursor_with_btree_and_mvcc_delete_after_checkpoint() {
     let rows = get_rows(&conn, "SELECT * FROM t order by x desc");
     assert_eq!(rows.len(), 0);
 }
+
+#[test]
+fn test_skips_updated_rowid() {
+    tracing_subscriber::fmt()
+        .with_ansi(false)
+        .with_max_level(tracing_subscriber::filter::LevelFilter::TRACE)
+        .init();
+    let db = MvccTestDbNoConn::new_with_random_db();
+    let conn = db.connect();
+
+    conn.execute("CREATE TABLE t(a INTEGER PRIMARY KEY AUTOINCREMENT)")
+        .unwrap();
+
+    // we insert with default values
+    conn.execute("INSERT INTO t DEFAULT VALUES").unwrap();
+    let rows = get_rows(&conn, "SELECT * FROM sqlite_sequence");
+    dbg!(&rows);
+    assert_eq!(rows.len(), 1);
+    assert_eq!(rows[0][1].as_int().unwrap(), 1);
+
+    // we update the rowid to +1
+    conn.execute("UPDATE t SET a = a + 1").unwrap();
+    let rows = get_rows(&conn, "SELECT * FROM sqlite_sequence");
+    dbg!(&rows);
+    assert_eq!(rows.len(), 1);
+    assert_eq!(rows[0][1].as_int().unwrap(), 1);
+
+    // we insert with default values again
+    conn.execute("INSERT INTO t DEFAULT VALUES").unwrap();
+    let rows = get_rows(&conn, "SELECT * FROM sqlite_sequence");
+    dbg!(&rows);
+    assert_eq!(rows.len(), 1);
+    assert_eq!(rows[0][1].as_int().unwrap(), 3);
+}