Symbolic Growth Domain & Pareto Search

List view

Add growth domain (src/growth.rs): growth terms, antichain, symbolic dominance

Status: Closed (completed).

#1075 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Replace scalar Dijkstra with measured Pareto label-setting search (concrete-instance mode)

Status: Not planned (skipped).

#1076 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Add randomized property tests cross-validating the growth domain against numeric evaluation

Status: Closed (completed).

#1077 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Rewire big_o_normal_form to the growth domain and delete canonical.rs

Status: Closed (completed).

#1078 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Give pred path --all real Big-O output: delete the O(<raw expr>) fallback and JSON text rendering

Status: Closed (completed).

#1079 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Normalize size-field names across reductions so composed asymptotic Big-O is always in source variables

Status: Closed (completed).

#1085 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Deterministic truncated path sets: lib-level canonical ReductionPath order for pred path --all (CLI + MCP)

Status: Closed (completed).

#1087 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Make reduction size overhead exact and verifiable before Pareto comparison

enhancementNew feature or requestNew feature or request

Status: Not planned (skipped).

#1125 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 7, 2026

Redesign symbolic size expressions for exact maps and certified bounds

enhancementNew feature or requestNew feature or request

Status: Closed (completed).

#1126 In CodingThrust/problem-reductions;

· by isPANN was closed on Sep 25, 2026