export declare const REGISTER_SCRIPT = "\nredis.call('SET', KEYS[1], ARGV[1], 'EX', tonumber(ARGV[2]))\nredis.call('SADD', KEYS[2], KEYS[1])\nreturn 1\n"; export declare const READ_ALL_SCRIPT = "\nlocal members = redis.call('SMEMBERS', KEYS[1])\nif #members == 0 then return {} end\nlocal result = {}\nlocal batch = 1000\nfor i = 1, #members, batch do\n local slice = {}\n for j = i, math.min(i + batch - 1, #members) do\n table.insert(slice, members[j])\n end\n local values = redis.call('MGET', unpack(slice))\n for _, v in ipairs(values) do\n if v ~= false then\n table.insert(result, v)\n end\n end\nend\nreturn result\n"; export declare const CLEANUP_SCRIPT = "\nlocal members = redis.call('SMEMBERS', KEYS[1])\nif #members == 0 then return 0 end\nlocal removed = 0\nlocal batch = 1000\nfor i = 1, #members, batch do\n local slice = {}\n for j = i, math.min(i + batch - 1, #members) do\n table.insert(slice, members[j])\n end\n local values = redis.call('MGET', unpack(slice))\n for k, v in ipairs(values) do\n if v == false then\n redis.call('SREM', KEYS[1], members[i + k - 1])\n removed = removed + 1\n end\n end\nend\nreturn removed\n"; export declare const UNREGISTER_SCRIPT = "\nredis.call('DEL', KEYS[1])\nredis.call('SREM', KEYS[2], KEYS[1])\nreturn 1\n";