Penalty types, soft covers, and native objective-minimal solvers - #21

Merged

timholy merged 23 commits into

mainfrom

teh/soft

Jul 4, 2026

Commits on Jul 4, 2026

WIP
timholy
committed
73cbf2c
Complete dense soft covers for AbsLog{1}/AbsLinear

timholy
and
claude
committed
52170d8
Add native AbsLog{2} symcover_min; no external solver required

timholy
and
claude
committed
323f0dc
Add native AbsLog{2} cover_min; no external solver required

timholy
and
claude
committed
d4cebd1
Add matrix-free LSQR inner solve for native AbsLog{2} covers

timholy
and
claude
committed
bd549cb
Add soft_cover: asymmetric AbsLinear{2} soft-cover solver

timholy
and
claude
committed
6a0dbcb
Add covariant multistart to AbsLinear soft covers

timholy
and
claude
committed
3b36e62
Fix disconnected-support gauge in cover_min; default sparse MCM to LSQR

timholy
and
claude
committed
868e52a
Speed up AbsLinear symcover; add optional log cache

timholy
and
claude
committed
4a45d51
Speed up dense symcover by about 2x

timholy
and
claude
committed
3f20509
Skip redundant init in `soft_cover`
timholy
committed
7d23c3b
Add convergence-based early exit to soft-cover coordinate descent

timholy
and
claude
committed
20ad3be
Update docs and hints for the native AbsLog{2} solvers

timholy
and
claude
committed
9558a6c
Return dense scale vectors from soft_symcover on sparse input

timholy
and
claude
committed
8fc3a54
Add asymmetric AbsLinear{1} soft cover; document AbsLog{1} LP choice

timholy
and
claude
committed
2cd944d
Remove unused internal cover helpers

timholy
and
claude
committed
2c647f0
Add feasible-cover start to the AbsLinear{2} soft cover

timholy
and
claude
committed
92e507d
Expose multistart provenance on the asymmetric soft cover

timholy
and
claude
committed
f43837a
Tweak README and docstring
timholy
committed
1b90949
Split covers.jl into role-based source files

timholy
and
claude
committed
579619b
Make feasible-start provenance test RNG-stream robust

timholy
and
claude
committed
dee4378
Use atol for near-zero objective-equality checks

timholy
and
claude
committed
b38e387
CI: test min-supported and latest stable Julia, drop pre
timholy
committed
06c911b

Navigation Menu

Uh oh!

Penalty types, soft covers, and native objective-minimal solvers - #21

Penalty types, soft covers, and native objective-minimal solvers#21
timholy merged 23 commits into
mainfrom
teh/soft

Commits on Jul 4, 2026

WIP

Complete dense soft covers for AbsLog{1}/AbsLinear

Add native AbsLog{2} symcover_min; no external solver required

Add native AbsLog{2} cover_min; no external solver required

Add matrix-free LSQR inner solve for native AbsLog{2} covers

Add soft_cover: asymmetric AbsLinear{2} soft-cover solver

Add covariant multistart to AbsLinear soft covers

Fix disconnected-support gauge in cover_min; default sparse MCM to LSQR

Speed up AbsLinear symcover; add optional log cache

Speed up dense symcover by about 2x

Skip redundant init in `soft_cover`

Add convergence-based early exit to soft-cover coordinate descent

Update docs and hints for the native AbsLog{2} solvers

Return dense scale vectors from soft_symcover on sparse input

Add asymmetric AbsLinear{1} soft cover; document AbsLog{1} LP choice

Remove unused internal cover helpers

Add feasible-cover start to the AbsLinear{2} soft cover

Expose multistart provenance on the asymmetric soft cover

Tweak README and docstring

Split covers.jl into role-based source files

Make feasible-start provenance test RNG-stream robust

Use atol for near-zero objective-equality checks

CI: test min-supported and latest stable Julia, drop pre