[jajhall]

Description

Eliminates the printf and assert, in HighsPostsolveStack::DuplicateColumn::undo, but still want to avoid a nonbasic variable at zero with positive upper bound, even though primal-dual and basis postsolve are correct in this case - see analysis in issue-3565.

Checklist

• I have read the contributing guidelines
• This PR targets the latest branch
• Tests are passing
• Documentation was updated where relevant
• This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

Related issue

Closes #3565

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.71%. Comparing base (a9c6bed) to head (8ac2710).
⚠️ Report is 20 commits behind head on latest.

Additional details and impacted files

@@           Coverage Diff           @@
##           latest    #3580   +/-   ##
=======================================
  Coverage   75.70%   75.71%           
=======================================
  Files         461      461           
  Lines      114020   114033   +13     
  Branches    17933    17933           
=======================================
+ Hits        86322    86341   +19     
+ Misses      27410    27404    -6     
  Partials      288      288           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.