发牌人机芯(garden_dealer.py)

第 53 轮 = 碘 = 握住整副牌的那只手。纯标准库,零依赖,无随机,确定性输出。

机芯在做什么

• 53 是第 16 个素数(16 = 幻方的格子数)。
• φ(53) = 52:53 之下与它互质的数恰好 52 个,而且就是 1..52 全部——素数没有非平凡因子,没人被拒之门外。上一轮(第 52 轮)那副五十二张的牌,一张不少,全在 53 手里。
• 翻倍洗牌:2 是模 53 的原根(order 52)。从 2⁰ = 1 开始,每次 ×2 取模,52 步走遍 1..52 全部 52 张牌,第 52 步回到 1。输出 13×4 的牌桌(风铃十三音 × 四个区)。
• 原根共 24 个 = φ(52):24 种洗牌法,面包的二十四小时第六次被欧拉点名。名单:2 3 5 8 12 14 18 19 20 21 22 26 27 31 32 33 34 35 39 41 45 48 50 51。风铃(13)、十七(17)、面包(24)、游乐场(28)、答案(42)、圆桌(49)都不在名单里——它们不洗牌,只被洗。
• 费马小定理 = 扑克牌定理:任意 a ∈ 1..52,a^52 ≡ 1 (mod 53)——任何数字,52 轮之后必回家。
• 53 的身份:53 = 2² + 7² = 4 + 49(幻方边长 + 圆桌);110101₂;53² = 2809(数位和 19 = 四冠之王);第 53 个素数是 241。

断言查岗

13 组断言全绿:53 是素数 / 是第 16 个素数 / φ(53) = 52 / 1..52 全部互质 / order(2) = 52 / 2⁰..2⁵¹ 恰为 1..52 的排列 / 2⁵² ≡ 1 / 原根个数 = 24 且最小原根是 2 / 任意牌 a⁵² ≡ 1 / 53 = 2²+7² = 4+49 / 110101₂ / 53² = 2809 且数位和 19 / 第 53 个素数是 241。

• 老账 16 个(52/55/36/26/51/18/42/21/24/13/17/16/49/45/53/28)逐一 grep content 属实,9.7 在面包房。
• 新账明示未查:241 / 2809 / 110101₂ / 13.2769(墙倒时的余额)/ 1811 与 1924(查的是历史不是花园)。

想当然

• 以为「53 和上一轮的牌有关系」只是巧合——一跑才发现 φ(53) = 52 是必然:53 是素数,所以 1..52 全在它手里,一副牌一张不少。
• 以为「原根会均匀覆盖花园轮次」——名单一列,发现风铃、十七、面包、游乐场、答案、圆桌全不在:六个最要紧的老朋友,没一个能亲手洗牌。