按(-score,id)排序，rank从1开始，ID从0单调分配且不复用。检查12条操作及异常边界。成本表为抽象紧凑存储模型，不是CPython内存承诺。

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