4 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	4ab04df882	fix(A15): 三值逻辑求值器统一 —— 消除 WHERE 的第二套语义（静默错值根治） ... 背景（PLAN-v0.7.5.md 根因 1/7、缺陷 A15）： 项目里 `matchWhere`（布尔版，自带 matchField）与三值求值器并存。同一条 SQL 的 语义取决于走哪个函数，实测三类静默错值： - `WHERE n = NULL` 命中 NULL 行、`WHERE n != NULL` 返回所有非 NULL 行； - `WHERE s NOT LIKE 'x'` 会把 NULL 行判真（布尔取反）； - `WHERE n NOT BETWEEN 1 AND 2` 恒空集 —— parser 生成的字段级 `{ n: { $or: [ {$lt:1}, {$gt:2} ] } }` 递归进了 where 子句级求值器， 子项 `{ $lt: 1 }` 被当成"查询列 `$lt`" → 每行 UNKNOWN。 根治方式（不是打补丁，而是取消第二套实现）： 1. where-matcher.ts 重写为**唯一一个递归求值器**，同时理解 where 子句级 （键是列名/逻辑连接词）与操作符级（键是 `$gt` …），位置由上下文承载而非 由另一个函数承载；`matchWhere` 退化为"三值结果是否恰为 TRUE"。 行上下文随求值上下文下传，`$col` 在任意嵌套深度都能解析。 2. parser：`IS NULL` / `IS NOT NULL` 生成 `$isNull` / `$isNotNull` **谓词** （此前与 `= NULL` / `!= NULL` 共用 `$eq: null` / `$ne: null`，两者语义无法区分）； `BETWEEN` 生成真正的范围条件（此前把同一对象同时当操作符对象与操作数）； `NOT BETWEEN` 展开为 `$or: [{$lt}, {$gt}]`。 3. executor 新增 enginePreFilter：逐行求值谓词（`$col` / `$exists` / CASE 键） 必须整体移出引擎层 —— 引擎无外层行上下文，会把它们判 UNKNOWN 并把**所有行** 过滤掉，逐行求值再正确也无行可算。粒度按连接词决定：`$and` 成员可单独移除， `$or`/`$not` 成员一移除就改变结果集（漏行/多行），故整条下推放弃。 契约变更（旧测试编码了错误语义，已按 SQL 标准改正并注明理由）： - a) `{ $eq: null }` 不再命中 NULL 行（`= NULL` 恒 UNKNOWN）→ 用 `$isNull`； - b) `IN` 列表含 NULL：`x IN (NULL, 'a')` 只命中 'a'（`null = NULL` 为 UNKNOWN）， 未命中的行仍因 UNKNOWN 不保留。 - c) 引擎层 `$in: [null, ...]` 与 `$eq: null` 的断言同步修正。 验证： - 新增 tests/v080-sql-three-valued.test.ts：26 条 SQL 语义矩阵 × 4 引擎 （memory/disk/hybrid/aria）+ UPDATE/DELETE 写路径，共 104 断言； - 全量 83 套件 / 1458 测试通过（含 Aria 生产负载 10 万行）； - typecheck(src+tests) 与 lint 零错误。	2026-09-14 23:22:26 +08:00
thzxx	0dba1abf2a	test(P0): v0.8.0 验证基座与工程门禁根治 ... 工作流 C-1 / C-3 前半 + 测试代码类型检查。 【故障注入基座】新增 tests/helpers/storage-harness.ts + faulty-backend.ts - TransactionalFileStore：忠实 OPFS 提交语义（close 才可见）+ 字节级故障注入 （failNextWrite/Append/Delete、truncateAppendTo 撕裂写、crashPending 真崩溃） - 删除旧 opfs-mock：读返回内部引用、keepExistingData:false 不截断、close 空实现 导致"提交前可见"等真实缺陷无法被测出（31 个测试文件迁移至新 harness） - 删除 aria-opfs-backend 内的第三份重复 mock（含从未被断言使用的 writeCalls 死代码 与 entry.content.subarray 恒等分支） - FaultyBackend：包装任意 IStorageBackend 注入故障；crash() 明确区别于 close() （后者是优雅停机，会刷完写队列 —— 这正是此前所有"崩溃恢复"测试的真相） - 16 条基座自测证明注入真的生效（含 close 不能当崩溃的对照组） 【覆盖率口径】jest.config.cjs - 移除 '!src/**/index.ts'（该 glob 把 AriaEngine 主实现等 15 个实现文件整体 排除出统计，与 v0.2.6 曾承认过的问题同源），改为只排除纯类型声明文件并附理由 - 新增 coverageThreshold 门禁（此前完全不存在） - 真实基线：语句 90.66% / 分支 82.94% / 函数 94.36% / 行 93.43% - 修正 testMatch 使 tests/helpers 下的测试可被发现 【测试代码类型检查】tsconfig.test.json + npm run typecheck:tests - 修复 103 个测试代码类型错误（此前 babel 剥离类型 + tsconfig 排除 tests，全部隐藏） - 新增 tests/helpers/assertions.ts：nonNull/decode/rows/object/engineMethod/expectCode 以断言收窄替代 as any - 消除 21 个 lint warning（含 v043-hardening 中定义后从未调用的 mockOPFS 死代码） - parser.test.ts 12 处 toBeDefined() 空断言升级为结构断言（并新增 AND/OR 优先级用例， 当前红灯，对应总账第 11 项，将在工作流 A 修复） 【版本契约】新增 tests/version-contract.test.ts - 校验 src VERSION / package.json / dist 三者一致，替代两处硬编码版本字面量 【CI 门禁】.gitea/workflows/ci.yml - lint 去掉 continue-on-error（此前永远不让 CI 变红） - 新增 tests 类型检查、--coverage 覆盖率门禁、dist 与源码同步校验 - 版本 0.7.4 升至 0.8.0	2026-09-14 21:03:06 +08:00
thzxx	50468b9b0e	fix: v0.7.3 数据正确性与边界窗口收尾 — INSERT 语句级原子（三引擎+Aria PK 批内重复）/ 索引列 IS NULL 恒空 / delete RESTRICT 破坏索引 / queryStream 子查询静默空结果 / ALTER DROP 索引残留 / UNIQUE INDEX 存量校验 / SELECT * 别名投影 / WAL BEGIN/ROLLBACK 事务边界 / aria $in 与级联重复扫描性能 / $and 等值下推 / ANALYZE 索引统计 / React-Vue hooks 生命周期 / 迁移主键兜底 + 58 回归	2026-08-14 22:53:46 +08:00