Symbolic growth domain + Pareto search: M1–M3 (#1075, #1078, #1076)#1083

Draft

isPANN wants to merge 17 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