chore(submodules): advance eclexia pointer — LP axiom proof sketches

Picks up 6ae29e1: ShadowPrices.v LP axiom justifications improved,
dual_simplex_converges_to_optimal replaces vacuous axiom, trivial
version proved constructively.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath