#moon-token-store-redis

#键位与物理映射

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

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）：bash scripts/redis-gate.sh——它把任何 SKIP 判成失败， 并固定要求 MT_REDIS_HOST。两台服务端都要跑过：本机沙箱 Redis 8.0.5 与开发库 Redis 5.0.4。 用例自带清理，收尾会自证该 realm 名下无残留。
• 负向对照已做过：停掉服务端后 RS1–RS8 正好 8 条转红，说明这套断言不是空转。

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

• 不进一键包：mldong-moon-jeeflow 的 compose 目前没有 redis 服务，L2 跑批仍带 --no-redis，跨栈门禁那三格显式 SKIP 的结构性依据不变。真要多实例共享会话， 那是一次独立的改动（compose + L2 口径 + 三格 SKIP 依据要一起改）。
• 不发布：.github/workflows/publish.yml 仍只发四模块，本模块不在发版链里； 要用它上线得先把它接进发布拓扑序（store → 本模块）与 docs-check.sh 的模块清单。
• 使用骨架（与 RS1 同源，scripts/docs-check.sh 会把它逐字抽出去真编译真跑；示例跟着 MT_REDIS_* 这组环境变量走，所以 scripts/redis-gate.sh 在哪台服务端上跑，它就真跑在哪台）：

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")
  }
}