Search results

[Solver] Repair nine partial ILP routes currently falling back to brute force

bugSomething isn't workingSomething isn't working

Status: Open.

#1092 In CodingThrust/problem-reductions;

· isPANN opened on Jul 21, 2026

Make pred solve deterministic through registered solver pipelines

enhancementNew feature or requestNew feature or request

Status: Open.

#1090 In CodingThrust/problem-reductions;

· isPANN opened on Jul 20, 2026

Complete pass-through overhead declarations so path composition is correct by construction, not by naming coincidence

Status: Open.

#1089 In CodingThrust/problem-reductions;

· isPANN opened on Jul 14, 2026

Growth domain: X*X and X^2 give different normal forms (non-minimal, safe)

Status: Open.

#1088 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

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

Status: Open.

#1087 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

pred path arrow summary hides steps by collapsing consecutive same-name nodes

Status: Open.

#1086 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

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

Status: Open.

#1085 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

Rewire redundancy analysis to growth dominance; delete bespoke polynomial machinery

Status: Open.

#1081 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

Add instance-free asymptotic path search and Pareto-front CLI output

Status: Open.

#1080 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

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

Status: Open.

#1079 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

Rewire big_o_normal_form to the growth domain and delete canonical.rs

Status: Open.

#1078 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search

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

Status: Open.

#1077 In CodingThrust/problem-reductions;

· isPANN opened on Jul 13, 2026

·  

Symbolic Growth Domain & Pareto Search