Downstream consistency checks

Public import surface for completed, Lean-checked regressions of arguments that consume the convex-flag and decomposition interfaces.

Keeping this umbrella restricted to checked modules ensures that it can be included in the default build without masking an unfinished adapter behind an import failure.