Proof Calc Rewrite: Partial Proofs

[mediocregopher]

trafficstars

Describe the feature

The proof target should be modified to include a minimum path length. Any nodes in a proof which are less than that path length should not be calculated or returned.

The proptest should be modified such that the control calculation, which uses the legacy proof calculator, simply filters all nodes whose path is shorter than the minimum.

Additional context

No response