请编写一个 Lua 脚本，用于实现库存扣减并保证同一用户只能下一单（一人一单）的原子操作，并说明其在 Redis 中的执行方式。

回答思路

1. 能正确使用 Redis Lua 脚本保证多个命令的原子性
2. 覆盖库存充足检查、扣减和用户订单去重的逻辑
3. 说明 KEYS 与 ARGV 的使用及脚本在 Redis 中的执行机制