10 Commits

Include renames

Author	SHA1	Message	Date
thzxx	2a109ef933	feat(B-1): 统一行校验 choke point —— 消除三份分叉的校验实现（A12/A17） ... 背景（PLAN-v0.7.5.md 根因 1）： 修复前有**三份**行校验实现，覆盖面各不相同： 位置 类型 required PK非空 maxLength min/max 未知列 engine/memory.ts（disk/hybrid 共用） ✓ ✓ ✓ ✗ ✗ 静默丢弃 engine/aria/index.ts → checkFieldType ✓ ✓ ✓ ✓ ✓ 静默丢弃 table/schema.ts ✓ ✓ ✓ ✓ ✓ 静默丢弃 后果一（A12）：同一份 schema、同一条 INSERT 是否报约束错误取决于引擎选择 —— `CREATE TABLE t (name STRING(3))` + 插入 'abcdef' 在 Aria 抛错，在 memory/disk/hybrid 静默写入超长值。 后果二（A17）：四个引擎对未知列一律静默丢弃。`INSERT INTO t (id, nope) VALUES ('1',2)` 报成功，随后 `SELECT nope` 报 COLUMN_NOT_FOUND —— 同一列名在写路径与 读路径得到**相反结论**。TABLE API 直通路径尤其明显（executor 按 schema 列序 构造行，nope 那个位置根本没有值，所以连"校验 stmt.columns"都拦不住）。 根治方式： 1. 新增 src/table/validation.ts —— 唯一校验定义 `compileValidator(schema)`， 约束覆盖面取三者并集，并把**规范化**（default 填充、undefined 跳过、 __proto__ 防污染）与校验放在同一处。 三种载荷形态刻意分成三个显式入口，不合成带 options 的函数： - validateRow(row, knownColumns?) INSERT 语义（default 生效、缺列合法） - validatePartial(row) UPDATE 语义（只校验出现的列） - assertNoUnknownColumns 独立可复用的列名存在性检查 混成一个函数会让"required 是否生效"取决于调用方参数，重新引入跨路径差异。 2. MemoryEngine / AriaEngine 的私有 validateRow 改为委托；schema.ts 的公开 validateRow 同样委托（API 不变，实现只剩一份）。 3. 四个引擎新增 validatePayload(table, rows, mode)（IStorageEngine 契约）， Executor 在**任何副作用之前**调用：多行批量整体判定，错误消息一次列出全部 未知列与已知列清单。 4. executeInsert 显式校验 stmt.columns 全部存在（A17）。 5. UPDATE 的外键级联写入（applyUpdateCascade）从"直接赋值"改为过 validatePartial —— 此前 CASCADE 把新主键写进引用列时绕过 maxLength/min/max， 与 A12 属同一类"校验只在部分写入路径生效"。 连带修正（测试夹具本身不忠实，B-1 使其暴露）： - tests/engine/aria-cache.test.ts 的 makeRows 无条件返回 {id,name,age}， 部分用例的表只有 {id,name} —— 多余列被静默丢弃所以"通过"。新增 rowsFor() 按 schema 裁剪，让夹具忠实反映表结构（而不是放宽校验）。 - tests/v073-fixes.test.ts "schema 外列不持久化" 改为断言写路径即拒绝， 并保留"合法行落盘后不含额外列"的检查。 验证： - 新增 tests/v080-unified-validation.test.ts：8 项 × 4 引擎 + 9 项校验器 单元契约，共 41 断言； - 全量 84 套件 / 1499 测试通过；typecheck(src+tests) 与 lint 零错误。	2026-09-14 23:38:58 +08:00
thzxx	d4a3f4acd2	fix: v0.7.4 写语句子查询 / 约束硬化 / 真惰性流式 — UPDATE-DELETE WHERE 子查询静默 0 行（四引擎，关联引用显式 NOT_SUPPORTED + EXPLAIN 同步）/ 主键 NULL-undefined 强制拒绝 / DROP INDEX 保留建表 UNIQUE（仅索引来源可解除）/ GROUP BY-DISTINCT-UNION 键类型安全编码 / UPDATE 未知列报错 / queryStream 多语句拒绝 / KVStore 后台错误跨 reopen 清理 + Hybrid begin 补偿 / RB-Tree 删除双黑修复 + LSM 死代码清理 / findStream 迭代器化真惰性（limit 早停 O(1) 内存）/ REINDEX 单次扫描 + 48 回归	2026-08-15 15:08:33 +08:00
thzxx	05e6823bf1	fix: v0.7.2 语句级原子性 + 事务 DDL 拒绝 + 约束/绑定硬化 — 6 项修复 + 43 回归 + CI 重型套件串行 ... - UPDATE 语句级部分提交（P1，四引擎）：两阶段全量预检后执行，批内唯一互查， 任何一行失败整句不执行（aria 场景 WAL 与内存不再错位） - 事务内 ALTER/CREATE INDEX/DROP INDEX 残留（P1）：Memory/KVStore 显式拒绝 （对齐 Aria），createTable/dropTable 保持可回滚 - SET NULL 级联绕过 required 约束（P1）：预检阶段整体拒绝 FOREIGN_KEY_VIOLATION - bindParameters 注释误判（P2）：行注释/块注释中的 ? 与引号不再参与绑定 - 未闭合字符串静默接受 → lexer 抛 PARSE_ERROR；未知 where 操作符抛 QUERY_ERROR - UPDATE undefined 覆盖列值 → 语义化为不更新（null 仍置空） - Hybrid 写穿透非原子（P1）：磁盘失败自动重载内存对齐磁盘再抛原错误 - CI：Run tests 拆常规并行 + 重型串行（runInBand），重型测试超时余量提升， 性能护栏 kv 120→240s / opfs 150→300s（仍拦截悬崖回归） - 测试 1155 → 1198（74 套件），覆盖率 89.82% 保持	2026-08-13 15:31:16 +08:00
thzxx	24b3ca1079	release: v0.6.0 — 完全移除 IndexedDB，自研 KVStore 事务存储引擎（多key原子写/快照日志恢复/CRC自愈）+ KVStoreEngine + 旧库迁移工具 + 10万级压力验证 + 崩溃注入e2e	2026-08-10 13:56:04 +08:00
thzxx	22b0b1fad4	release: v0.4.2 — 生产就绪与崩溃自愈 + 问题清单修复 + 版本迭代	2026-08-09 19:15:37 +08:00
thzxx	a1e4f5071c	release: v0.4.1 — Aria 级联/ALTER/clearAll + 流式查询/派生表 + 正确性加固 ... 新增： - AriaEngine 外键级联（CASCADE/SET NULL/RESTRICT）+ clearAll() 重置 API - 引擎级 alterTable：Aria DROP COLUMN 重写存储行 + schema 持久化 - 流式查询 queryStream / findStream（LSM 惰性扫描不物化） - FROM 派生表 / 多列 ON 哈希连接 / COUNT(DISTINCT) / NULLS FIRST/LAST - 普通列别名 + ORDER BY 别名 + 无表查询 + 字符串常量列 - 演示页引擎切换器（Memory/Aria）+ 预设自动重置 修复： - Aria WAL DROP_TABLE 崩溃恢复（删表复活）+ 恢复后 WAL 截断 - Memory update/delete 索引维护（unique 约束绕过） - 关联 EXISTS 绑定失效 / HAVING 标量子查询 / INSERT SELECT 位置错位 - 裸布尔列条件（WHERE done / CASE WHEN done） - Aria $in 重复行 / JOIN 主表 WHERE 下推 / DROP INDEX 报错 - ORDER BY/GROUP BY/SELECT 表前缀列 + SQL '' 标准转义 质量：894 测试 · 47 套件 · 81.5% 覆盖率	2026-08-08 13:36:34 +08:00
thzxx	d544501e1c	release: v0.3.2 — 质量加固 + SQL扩展 + 表达式 + 并发同步 ... v0.2.6 质量加固: - 修复 AriaEngine 二级索引 SSTable 互相覆盖(命名空间隔离) - 修复 LSM 多版本读取顺序错误 + MergeIterator 取最新来源 - 重写 LZ4 压缩器(往返一致性 + 缓冲区溢出) - sstableCache LRU 上限 + 预加载兜底(BufferPool 配置生效) - 修复 React/Vue 集成 import type 运行时 bug + exports 子路径 - 新增 38 个测试(LZ4往返/Crypto/集成), 删除伪测试 v0.3.0 SQL 功能扩展: - 多语句 parseAll + 事务语句 BEGIN/COMMIT/ROLLBACK - INSERT INTO ... SELECT + UNION/UNION ALL + EXISTS 关联子查询 - CREATE/DROP INDEX 五引擎实现 + 别名 WHERE 修复 - benchmark 页面 + 36 个新测试 v0.3.1 表达式与性能: - CASE WHEN 表达式(SELECT 列/WHERE/聚合) - JOIN + 关联子查询逐行绑定 - WAL 批量组提交(写放大 O(N)→O(1)) - 修复 pending frozen 可见性 + flush 缓存竞争 v0.3.2 并发: - CASE WHEN 用于 WHERE/聚合 + JOIN 哈希连接 - 多标签页同步(multiTabSync + BroadcastChannel) - IndexedDB schema 持久化(reopen 后表结构恢复) - 修复 where-matcher 顶层 $not - 修复 CJS 产物 .js 被 ESM 解析(exports 空) — .cjs 后缀 + exports 修正 - 836 测试 / 44 套件 / 81.0% 覆盖率	2026-08-08 10:41:30 +08:00
thzxx	e6efa39d48	release: v0.2.1 生产加固 — WAL CRC/约束激活/Hybrid提交顺序/RESTRICT外键/浏览器兼容表/debug模式/onError回调	2026-07-27 20:47:30 +08:00
thzxx	0f128da34a	feat: v0.1.13 — 事务回滚 + 子查询 + 外键级联 + 连接池	2026-07-26 16:31:15 +08:00
thzxx	e2a590c5b1	feat: metona-sqlark v0.1.12 — 前端TypeScript关系型数据库 ... - 4种存储引擎：Memory / IndexedDB / OPFS / Hybrid - 完整SQL支持：SELECT/INSERT/UPDATE/DELETE/JOIN/GROUP BY/HAVING/DISTINCT - Query Builder链式API + TypeScript泛型支持 - 聚合函数：COUNT/SUM/AVG/MIN/MAX - 事务、插件系统(14 hooks)、发布订阅、数据迁移、导入导出 - React/Vue框架集成 - 264个测试用例，93.46%覆盖率 - 零运行时依赖	2026-07-26 15:00:01 +08:00