正确性与计时分开。基准seed=20260919，n=10000，2000查询，预热1轮、测量5轮。只报告固定平台固定输入，未证明普遍性能优势。

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