# SQLite 测试数据

这些数据库由 `../tools/generate_fixtures.py` 使用 Python 标准库 `sqlite3` 创建。
SQLite 引擎只参与生成独立测试数据；MoonSQLiteFile 库、示例与测试解析器均无需链接 SQLite。

| 文件 | 页大小 | 用途 |
| --- | ---: | --- |
| `core.sqlite` | 512 | 六种样本行、负行号、64 位整数上下界、浮点、NULL、空及非空 BLOB、中文与 emoji、680 行的三层行号 B-tree、长文本与 BLOB overflow、索引、WITHOUT ROWID 表、删除后的 freelist |
| `utf16le.sqlite` | 512 | UTF-16LE 中文、emoji、非 BMP 字符及空字符串 |
| `utf16be.sqlite` | 512 | UTF-16BE 中文、emoji、非 BMP 字符及空字符串 |
| `page65536.sqlite` | 65536 | 文件头页大小特殊编码 `1`、两页真实数据库及文本行 |
| `empty.sqlite` | 512 | 已初始化、无用户表的单页数据库 |

五个二进制文件共 **182,784 字节**。`core.sqlite` 的 `branches` 表包含 680 行，
从根到叶有三层；`overflow_data` 包含 4,000 字节 UTF-8 文本和 2,048 字节 BLOB。
`keyed` 的数据保留在 oracle 中，供验证明确的 WITHOUT ROWID 支持或“不支持”错误行为。

`expected.json` 是 SQLite 实际查询产生的类型化 oracle，记录 SHA-256、页数、编码、
freelist 页数、完整 schema、列名和按行号排序的行。INTEGER 值及行号以十进制字符串保存，
避免 JSON/JavaScript 的精度丢失；BLOB 使用十六进制；TEXT 原样保留；REAL 使用 JSON 数字；
NULL 仅标记类型。REAL 列中的整值仍由 SQLite 查询返回浮点值。

根目录 `fixture_bytes_wbtest.mbt` 自动生成五个 `fixture_<name>() -> Bytes` 函数，
以 512 字节一段的字节字面量嵌入，再按偏移复制为最终数据。
测试不需要文件系统，因此同一组数据库可用于 wasm、JavaScript 和 native 目标。
请修改生成器后重新生成，避免直接修改二进制或嵌入字节代码。

在项目根目录运行：

```powershell
$env:PYTHONUTF8='1'
python tools/generate_fixtures.py
python tools/generate_fixtures.py --check
```

`--check` 会在临时目录重新生成所有数据库及 oracle，与提交的文件逐字节比较，并检查
MoonBit 源码内嵌的数据库字节和输出长度；源码空白允许由 `moon fmt` 调整。
生成时检查每个数据库的 `PRAGMA integrity_check`、总文件大小、freelist
以及三层行号树。生成过程没有时间戳或随机输入；初始产物使用 Python 3.13 携带的
SQLite 3.45.3。不同 SQLite 版本可能采用不同页面布局或文件头版本号，重新生成时二进制
产物可能改变。`--check` 使用只读 SQLite 连接查询已提交样本，校验 recorded SHA-256、
完整 oracle、嵌入字节及输出长度；它不要求不同平台重新生成逐字节相同的文件。

## SQLite oracle 对照验证

构建 JavaScript CLI 后运行：

```powershell
moon build --target js
$env:PYTHONUTF8='1'
python tools/verify_oracle.py
```

验证脚本调用 `node tools/inspect.cjs`，检查所有固定数据库的 header、完整 schema、
freelist，以及普通行号表的每一行和每个值。整数主键列在磁盘记录中是 NULL 占位，
验证时使用行号物化；REAL affinity 列的整数在磁盘上可使用整数序列类型，验证时比较
SQLite 查询得到的数值语义。WITHOUT ROWID 表必须明确返回错误。

完整验证还在临时目录生成三个具有固定随机种子的独立数据库，分别采用 512 字节
UTF-8、1024 字节 UTF-16LE 和 4096 字节 UTF-16BE 页面。它们覆盖所有整数序列长度
边界、64 位行号上下界、嵌入 NUL 文本、长文本与 BLOB、长 schema SQL overflow、
索引和删除后的 freelist。临时文件在退出时清理，不写入仓库。
当前验证共比较 **1,063 行**，并检查 LIMIT 0/2、缺文件、坏文件、未知命令、缺少表参数、
负数/非数字/小数 limit 等错误行为。使用 `--fixtures-only` 可跳过临时随机数据库。
Python 与 SQLite 仅是此独立对照验证工具的开发依赖，库和 CLI 无需它们。

## 索引及 WITHOUT ROWID

`btree.sqlite` 使用 512 字节 UTF-8 页面，含三层索引、索引内部记录、复合主键 WITHOUT ROWID、主键与声明列序差异、NOCASE/RTRIM、DESC、NULL 唯一索引及长 key overflow。

```sh
python tools/generate_btree_fixtures.py --check
python tools/verify_btree_oracle.py
```

对照脚本使用 SQLite 的 index_xinfo 和 SQL 投影取得磁盘字段顺序，在 512/UTF-8、1024/UTF-16LE、4096/UTF-16BE 三组数据库中验证共 4407 条记录。除了完整值与顺序，还检查记录属于正确的页/cell、内部页记录未遗漏、limit 前缀及扫描完成状态。只验证既有文件时使用 `--fixtures-only`。