Interleaving String

Invariant: After processing i, every state through i equals the true value under its definition, and every future transition reads only these finalized states.

candidate confidence: 0.400 · metadata_only

Invariant: dp[mask] is optimal among all legal sequences producing exactly mask, and transitions start from already-correct smaller states.

candidate confidence: 0.368 · metadata_only

Invariant: Every computed state exactly matches its endpoint/prefix definition and includes all legal final match, skip, or edit actions.

candidate confidence: 0.350 · metadata_only

Invariant: When cell (r,c) is processed, every predecessor state already meets its definition; the new state aggregates every legal way to enter the cell exactly as required.

candidate confidence: 0.350 · metadata_only