#OrderKey

#复现

moon update
moon test --target wasm .
moon test --target wasm-gc .
moon test --target js .
moon run --target js examples/moonlsm

python examples/moonlsm/verify_sqlite.py

#使用示例

moon add WeiR-h/orderkey@0.0.8

fn make_query() -> (Bytes, @orderkey.ByteRange) raise @orderkey.KeyError {
  let spec = @orderkey.KeySpec::new([
    BytesField(Asc), BytesField(Asc), Int64Field(Desc), Int64Field(Asc),
  ])
  let key = spec.encode([Binary(b"t3"), Binary(b"pump"), Signed(0L), Signed(1L)])
  let range = spec.field_range(
    [Binary(b"t3"), Binary(b"pump")],
    Inclusive(Signed(-2L)),
    Exclusive(Signed(4L)),
  )
  (key, range)
}

• encode 和 decode 处理完整的键。字段索引与解码错误偏移均从 0 开始。
• prefix_range 按完整的前导字段匹配。设备 pump 与 pump\x00A 是不同的字段值。
• field_range 先限定前导字段，再给紧接着的一个字段指定范围。输入端点始终按值的自然升序表达，Desc 字段会由库转换为相应的字节顺序。
• tuple_range 接受由多个后续字段组成的端点，端点按配置的索引顺序给出。端点可以只给出部分字段，包含或排除作用于与其共享前缀的整组键。
• layout 生成持久化布局描述符，from_layout 可恢复布局，require_layout 用于重新打开索引时检查已有布局和调用方预期是否一致。
• Span(start, Some(end)) 表示 [start, end)，Span(start, None) 表示上界无穷，Empty 表示空区间。范围语义针对按同一布局写入的完整键。
• resume_after 检查游标是否是范围内的完整键，并排除该键。需要并发写入期间稳定翻页时，存储层须提供一致的读快照。

#离线换序与验收

• 用 IndexContract::new 建立源和目标契约。打开索引时通过 require_same 验证保存的描述符。
• 调用 ReindexPlan::new 预检重排与方向变更，然后对冻结记录调用 rekey，把新键与原载荷写入独立目标。目标代次递增，字段 ID 及其类型对应一致。
• 续读时将原始区间、存储层提供的稳定快照 ID 和实际末键传入 issue_cursor。resume_cursor 检查同一索引、代次、快照和区间。公开接口的游标应由应用层鉴别完整性。
• 重开并核对目标后，由调用方决定何时切换。示例使用 MoonLSM 的 MemStorage 重开 SSTable，并从目标记录生成、重载 MoonFST，只读索引保存目标记录序号。

moon update
python examples/moonlsm/verify_reindex.py --report reindex-report.json

#v1 键格式

#双引擎演示

• 比较全扫后过滤、手写正确字节边界和 OrderKey 生成边界的逐条结果。
• 对同一查询做游标分页，并与单次范围查询核对顺序与记录数量。
• 重新打开后检查持久化布局，再用时间戳和序号共同限定区间，验证边界可以切开同一时间戳的记录。
• 将相同键和原始行的序号构建成 MoonFST 只读索引，序列化并重新载入。按设备取前缀、复合区间和游标续读的结果都与 MoonLSM 对照。
• 统计扫描返回给调用方的行数，以及键和值的字节总数。示例用 MoonLSM 自带的内存存储，SSTable 在打开时载入。返回的数据量和物理磁盘读取量是两个指标。

#公开数据样本