#moon-token-store-redis

#装起来

moon update
moon add mldong/moon-token-store-redis
moon add mldong/moon-token-store  # 引用 @port 就要显式装：MoonBit 的传递依赖对调用方不自动可见
moon add moonbitlang/async

#键位与物理映射

#三条与参考实现对齐的硬口径

1. 惰性过期分两档：会话时效已过但保留宽窗还在时，get 照旧交回载荷，让裁决层能报 SessionExpired 而不是塌成 UnknownToken；墓碑过窗则读作缺失。加窗只加在 TokenConfig::key_expire_at 那一处（core 传给 store 的就是加过窗的值），适配器不再二次加窗。
2. apply 幂等：同一个补丁投两次不重复加成员、不重复推版本号；ForgetTokens 与 RemoveTokens 的差别只在留不留 T: 键；RefreshLogin 移回队尾刷 lt 但不推版本。
3. list_sessions 的序与游标和内存版逐字同尺（登录时刻新在前，同刻按 token 字典序倒排）。 尺子函数在 mapping_wbtest.mbt 的 RM1–RM5 里对着一批数据钉住，真机上 RS7 再拿内存版与 Redis 版比同一批会话给出的页序。

#服务端版本：支持 Redis 5.0 及以上

#用之前要知道的四件事（oboard/redis 的形状，不是本模块的发明）

• get 走的是原始命令 + 变体匹配，不用 typed get：后者把"键不存在"报成 Err("Type mismatch: expected string")，与真正的错误同码，鉴权路径上不可分辨。 同理 get_many 不用 to_array()（它把 nil 元素渲染成字面串 "null"）。
• get_and_del 用 Lua 而不是 GETDEL：后者要 Redis 6.2+，而我们部署的是 5.0.4。
• 到期点用 SET + PEXPIREAT 两步：SET ... PXAT 是 Redis 6.0+ 才认的语法，5.0.4 直接 ERR syntax error。第二步失败就把刚写进去的键删掉——留一个永不过期的会话键，等于把 "过期即回收"换成"泄漏"，而且不会有任何用例变红。
• 需要端口没覆盖的命令时用公开的 ask()（运维取证也用 scan_keys()）；除此之外不要绕端口写键。

#测试怎么跑

• 免服务端（CI 与本地默认）：moon test --target wasm ⇒ RS1–RS8 会打印 SKIP 并计入通过， 所以"这条全绿"不等于"Redis 这条腿跑过"。
• 真机（要有一台只归自己的 Redis 5.0+）：先起服务端，比如 redis-server --port 6379 --save '' --appendonly no，或 docker run --rm -p 6379:6379 redis:8； 再 MT_REDIS_HOST=127.0.0.1 bash scripts/redis-gate.sh。这道门把任何 SKIP 判成失败， 并且固定要求给 MT_REDIS_HOST——不给就是没测。端口、库号、鉴权用 MT_REDIS_PORT／MT_REDIS_DB／MT_REDIS_PWD 换。用例自带清理，收尾会自证该 realm 名下无残留。
• 收口要两台服务端都跑过：一支新版 Redis，一支 5.0.4 那档老服务端（上面"支持 5.0+"就是这么来的）。
• 负向对照已做过：停掉服务端后 RS1–RS8 正好 8 条转红，说明这套断言不是空转。

#还没接的东西（不是遗漏，是范围）

• 不进框架的一键部署包：本模块要的 Redis 服务端不在官网一键包里，要多实例共享得自己起一台。
• 使用骨架（与 RS1 同源；仓内文档闸把它逐字抽出去真编译真跑，示例跟 MT_REDIS_* 这组环境变量走， 在哪台服务端上跑那道真机门，它就真跑在哪台）：

async fn uses_redis_store() -> String raise {
  let host = match @env.get_env_var("MT_REDIS_HOST") {
    Some(v) => v
    None => "127.0.0.1"
  }
  let db = match @env.get_env_var("MT_REDIS_DB") {
    Some(v) => match @port.parse_int64(v) {
      Some(n) => n.to_int()
      None => 0
    }
    None => 0
  }
  let store = @redis_store.RedisStore::open("user", host, db=db)
  defer store.close()
  let key = store.keys.token("demo")
  // 4e12 ms ≈ 2096 年：示例不碰真实时钟，也不受机器时间影响
  let far : Int64 = 4_000_000_000_000L
  store.set(key, "v=1|login=demo", far)
  match store.get(key) {
    None => "没读到"
    Some(text) => text
  }
}

async test "Redis 后端就是同一个端口" {
  if @env.get_env_var("MT_REDIS_TEST") is Some("1") {
    assert_eq(uses_redis_store(), "v=1|login=demo")
  } else {
    println("SKIP README 示例: 未设 MT_REDIS_TEST=1")
  }
}