Audit hardening (S1+S2): numerics, newton_core refactor, solver diagnostics, validation #39

Merged
user2595 merged 16 commits from fix/b1-v3-c1-quick-wins into main 2026-05-31 22:16:38 +00:00
Showing only changes of commit c4442a22c3 - Show all commits

View File

@@ -100,8 +100,10 @@ Branch `fix/b1-v3-c1-quick-wins`, 9 commits, 298/298 CGAL tests green.
Done directly in the warm post-refactor Opus session (all three findings live in
the just-written `newton_core`/`NewtonResult`/`NewtonLinearSolver`). Commit
`90e966a`; 301/301 CGAL tests green. **I1** status enum + **H1** iteration fix +
**N7** `sparse_qr_fallback_used` / `min_ldlt_pivot` diagnostics. Follow-up idea
(optional): propagate `NewtonStatus` up into the CGAL `Conformal_map_result`.
**N7** `sparse_qr_fallback_used` / `min_ldlt_pivot` diagnostics. Follow-up **done**
(commit `957f506`): `NewtonStatus` + both diagnostics propagated into the public
CGAL result types (`Conformal_map_result`, `Hyper_ideal_map_result`,
`Circle_packing_result`) via the `CGAL::Newton_status` alias.
<details><summary>original S2 plan</summary>