Improve area weight solver: robustness, memory, and testing#470

Merged

martinholmer merged 10 commits intomasterfrom

pr1-solver-robustness

Mar 25, 2026

Commits on Mar 24, 2026

Improve area weight solver: range-based feasibility, per-constraint penalties, LP pre-check

donboyd5
and
claude
committed
Add post-solve state weight tests, remove stale "Pass 1" label

donboyd5
and
claude
committed
Fix quality report --scope states CLI parsing

donboyd5
and
claude
committed

Commits on Mar 25, 2026

Reduce solver memory: sparse-only matrix construction and LP

donboyd5
and
claude
committed
Reduce memory: trim TMD columns, preload in parent process

donboyd5
and
claude
committed
Add on-demand fingerprint test for weight reproducibility

donboyd5
and
claude
committed
Add state weight reference fingerprint for reproducibility testing

donboyd5
and
claude
committed
Update PR roadmap: PR 2 now routes both states and CDs through spec pipeline

donboyd5
and
claude
committed
Remove PR_MESSAGE.md from repo — content is in the PR description

donboyd5
and
claude
committed
Apply per-constraint slack penalties only for CDs, not states

donboyd5
and
claude
committed