Symbolic growth, exact Pareto path search, and deterministic solver backends - #1083

Draft

isPANN wants to merge 45 commits into

mainfrom

1075-growth-domain

Commits on Jul 13, 2026

Add symbolic growth domain (src/growth.rs) (#1075)

isPANN
and
claude
committed
d9b25fb
Rewire big_o_normal_form to the growth domain; delete canonical.rs (#1078)

isPANN
and
claude
committed
b198ddc
Replace scalar Dijkstra with measured Pareto label-setting search (#1076)

isPANN
and
claude
committed
b4f0753
Add instance-free asymptotic Pareto path search (GrowthLabel) + CLI/MCP front (#1080)

isPANN
and
claude
committed
99fd008
Fix asymptotic Pareto front completeness: opt out of scalar B&B (#1080)

isPANN
and
claude
committed
8944ae8
Dedup asymptotic front to one path per distinct growth vector (#1080)

isPANN
and
claude
committed
ad2c050
Fix ILP i32->bool cast overhead: use size-field name num_vars, not getter alias (#1080)

isPANN
and
claude
committed
015b1c6
Silence expected reduction-probe panics in compute_source_size (#1076)

isPANN
and
claude
committed
106ca13
Add randomized property tests for growth domain (#1077)

isPANN
and
claude
committed
9849e4b
Simplify growth/Pareto rendering and dominance (#1083)

isPANN
and
claude
committed
8fd4fa8
Rewire redundancy analysis to growth dominance (#1081)

isPANN
and
claude
committed
a01caef
Give pred path --all real Big-O output (#1079)

isPANN
and
claude
committed
d21822e
Make pred path --all ordering deterministic via name+variant tiebreak (#1079)

isPANN
and
claude
committed
b1a3d6e
Simplify path_all sort: sort_by_cached_key (#1079)

isPANN
and
claude
committed
66680dc

Commits on Jul 14, 2026

Fix review blockers: growth classification, search soundness, CLI round-trip

isPANN
and
claude
committed
5f4e9f2
Simplify path enumeration to a single bounded-heap pass

isPANN
and
claude
committed
ba74bff
Delete branch-and-bound from the path-search kernel entirely

isPANN
and
claude
committed
daa61df

Commits on Jul 16, 2026

Preserve symbolic exponential bases
isPANN
committed
c777081
Fix unsound measured path pruning
isPANN
committed
33026dc

Commits on Jul 20, 2026

Make path search exact or explicitly approximate
isPANN
committed
546f579
Add deterministic solver backend registry
isPANN
committed
8ac9f1b

Commits on Jul 21, 2026

Simplify solver dispatch and expand coverage
isPANN
committed
ef4a189
Distinguish ILP solve failures
isPANN
committed
ce27fc7

Commits on Jul 23, 2026

Merge PR #1091 into PR #1083
isPANN
committed
3ff2300

Commits on Jul 30, 2026

Clean up regression test naming and fixtures
isPANN
committed
7cf57c6
Clean up regression test naming and fixtures
isPANN
committed
4788ca0

Commits on Aug 2, 2026

Make path-cost regressions source-relative
isPANN
committed
a906729
Fix reduction verification type resolution gate
isPANN
committed
e5f5e78

Commits on Aug 5, 2026

fix reduction path execution contracts
isPANN
committed
45a7fc6

Commits on Aug 6, 2026

fix infeasible reduction bundle solving
isPANN
committed
83dacc0
reject malformed extracted solutions
isPANN
committed
471a035
Establish a repository-wide standard for solution extraction (#1119)
isPANN
authored
9e6960e

Commits on Aug 7, 2026

Establish numeric types and arithmetic standard (#1120)
isPANN
authored
07d4b3c
Make pred inspect respect exact problem variants (#1121)
isPANN
authored
61521b4
Fix KthLargestMTuple threshold decision (#1122)
isPANN
authored
95a7ddb

Commits on Aug 8, 2026

Refactor path search around Pareto fronts (#1123)
isPANN
authored
4a9f9a0
Fix Pareto merge CI regressions (#1124)
isPANN
authored
7bc3e92
fix: complete QUBO SpinGlass growth fields
isPANN
committed
80bebc9

Commits on Aug 9, 2026

Introduce a shared exact symbolic expression core (#1127)
isPANN
authored
f7a8fbe
fix: propagate example overhead composition errors
isPANN
committed
e962557

Commits on Aug 10, 2026