Permutations

Invariant: 进入深度 pos 时，path 恰含 pos 个互异索引；used 精确对应 path，且同层相等值只由第一个合法代表扩展。

candidate confidence: 0.740 · metadata_only

Invariant: 进入递归时 partial assignment 满足所有已激活约束，辅助集合/计数与赋值完全同步；被剪分支不可能扩展为合法完整解。

candidate confidence: 0.610 · metadata_only