键域0..16，p=17,m=5；均匀枚举272函数和136键对，最大碰撞42/272。固定键集先于函数选择。有限枚举不代替一般证明。

复跑：从仓库根目录执行 python3 examples/advanced-algorithms/check_foundations.py
05基准另执行 python3 examples/advanced-algorithms/benchmark.py
02使用正文手算与一般性推导，无新增实验。