feat(#860): widen the LP-per-node engine to mixed-integer and MAXIMIZE models - #874

Merged

jkitchin merged 13 commits into

mainfrom

claude/discopt-issue-860-1g34ns

Jul 26, 2026

Commits on Jul 26, 2026

feat(engine): #860 widen the LP-per-node engine to mixed-integer and MAXIMIZE
claude
committed
test(#860): keep the unresolved-child injection signature-agnostic; cover maximize soundness and infinite root boxes
claude
committed
fix(#860): pick the tighter dual bound by sense when merging the fallback result
claude
committed
chore(#860): satisfy mypy on the optional objective in the sense guard
claude
committed
fix(#860): carry each node's product map with its own solution on the cold path
claude
committed
chore(#860): batch the panel workers so the differential fits in a run, not a day
claude
committed
chore(#860): read objective senses from the models, not from the bound relation
claude
committed
docs(#860): record the Panel A verdict (engine soundness, cert-clean)
claude
committed
chore(#860): Panel B progress snapshot (42/70)
claude
committed
docs(#860): record the Panel B verdict — cert-clean but NOT net-positive, flag stays OFF
claude
committed
merge main into #860 branch; resolve both conflicts (rationale in comments)
jkitchin
committed
fix(#860): gate the mixed/MAXIMIZE widening behind DISCOPT_LP_SPATIAL_MIXED
jkitchin
committed
test(#860): drop a reload that poisoned SolverTuning identity; update the stale gate assertion
jkitchin
committed