Subsets

Invariant: On entering dfs(start), path indices are strictly increasing and already fixed below start. The call generates exactly completions whose next index is at least start, preventing duplicate orders.

candidate confidence: 0.740 · metadata_only

Invariant: At recursion entry, the partial assignment satisfies every activated constraint and every auxiliary set/count exactly matches it; a pruned branch has no legal completion.

candidate confidence: 0.610 · metadata_only

Invariant: The running XOR equals the XOR of values with odd processed frequency; per-bit counts can be reduced independently modulo a repetition count.

candidate confidence: 0.610 · metadata_only