Solver configuration audit: reachability and silent fallback (report) - #485

Merged

lmoresi merged 3 commits into

developmentfrom

docs/solver-config-audit

Jul 30, 2026

Commits on Jul 29, 2026

docs(review): solver configuration audit — reachability and silent fallback
lmoresi
committed

Commits on Jul 30, 2026

docs(review): record F-1 as fixed and route the remaining findings to #483/#484
lmoresi
committed
docs(review): expand the audit to solver properties (Phase 3)
lmoresi
committed