Patch Turso translate_drop_table sqlite_sequence db mismatch

ROOT CAUSE for testCreateTemporaryTable + testTemporaryTableHasPriority:

In core/translate/schema.rs::translate_drop_table, the
"// if drops table, sequence table should reset." block looks up
`sqlite_sequence` via `resolver.schema()` — which always returns
MAIN's schema (Resolver::schema() at translate/emitter/mod.rs:228
just returns `self.schema`). It then opens the cursor with
`db: database_id` set to TEMP_DB_ID for temp tables, telling the
pager to read MAIN's sqlite_sequence root_page (e.g. page 25) from
the TEMP database where that page doesn't exist.

The result: "I/O error: short read on page 25: expected 4096 bytes,
got 0" when DROPping a TEMP AUTOINCREMENT table after the suite has
created any other AUTOINCREMENT tables in MAIN (which makes
MAIN's sqlite_sequence land on page 25). Reproduces in fresh PDO
when the test class's setUp() creates two AUTOINCREMENT tables
before the test method.

Fix: use `resolver.with_schema(database_id, |s| s.get_table(...))`
so the sqlite_sequence root_page comes from the same database the
cursor will open in. For TEMP tables, that yields temp's
sqlite_sequence (created lazily when the temp table itself is
created with AUTOINCREMENT).

Worth reporting upstream — the same bug would affect any
non-MAIN-DB DROP TABLE path with AUTOINCREMENT.

Author: JanJakes

.github/workflows/phpunit-tests-turso.yml

@@ -595,6 +595,49 @@ jobs:
           print('patched CreateTrigger to preserve original SQL text')
           PY_TRIGGER_SQL
 
+          # ROOT CAUSE FIX (report upstream): DROP TABLE for a TEMP table
+          # with AUTOINCREMENT looks up `sqlite_sequence` via
+          # `resolver.schema()` (which always returns MAIN's schema) but
+          # opens the cursor with `db: database_id` set to TEMP_DB_ID.
+          # The result: it tries to read MAIN's sqlite_sequence root
+          # page (e.g. page 25) from the TEMP database where that page
+          # doesn't exist, raising
+          #   "I/O error: short read on page N: expected 4096 bytes, got 0"
+          # See `core/translate/schema.rs::translate_drop_table` around
+          # the `// if drops table, sequence table should reset.` block.
+          # Repro: setUp creates two AUTOINCREMENT permanent tables
+          # (creating MAIN's sqlite_sequence with root_page = 25), then
+          # the test creates+drops a TEMP AUTOINCREMENT table.
+          #
+          # Fix: use `resolver.with_schema(database_id, ...)` so the
+          # sqlite_sequence root_page comes from the SAME database the
+          # cursor will open in.
+          python3 - <<'PY_FIX_TEMP_DROP_SEQ'
+          p = 'core/translate/schema.rs'
+          s = open(p).read()
+          old = (
+              "    // if drops table, sequence table should reset.\n"
+              "    if let Some(seq_table) = resolver\n"
+              "        .schema()\n"
+              "        .get_table(SQLITE_SEQUENCE_TABLE_NAME)\n"
+              "        .and_then(|t| t.btree())\n"
+              "    {\n"
+          )
+          new = (
+              "    // if drops table, sequence table should reset.\n"
+              "    // Use the schema for the SAME database the cursor will open\n"
+              "    // in — for TEMP tables, the resolver's main schema doesn't\n"
+              "    // own sqlite_sequence; it lives in temp's schema.\n"
+              "    if let Some(seq_table) = resolver\n"
+              "        .with_schema(database_id, |s| s.get_table(SQLITE_SEQUENCE_TABLE_NAME))\n"
+              "        .and_then(|t| t.btree())\n"
+              "    {\n"
+          )
+          assert old in s, 'translate_drop_table sqlite_sequence reset block not found'
+          open(p, 'w').write(s.replace(old, new, 1))
+          print('patched translate_drop_table to use correct database schema for sqlite_sequence')
+          PY_FIX_TEMP_DROP_SEQ
+
           echo '--- Patched stub! macro ---'
           sed -n '/macro_rules! stub/,/^}$/p' sqlite3/src/lib.rs