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

Draft

isPANN wants to merge 24 commits into

mainfrom

1075-growth-domain

Commits on Jul 13, 2026

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

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

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

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

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

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

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

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

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

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

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

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

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

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

isPANN
and
claude
committed

Commits on Jul 14, 2026

Commits on Jul 16, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 23, 2026

Merge PR #1091 into PR #1083
isPANN
committed