Rounding out specification of prune behavior inside lean model - #152

Merged

luketpeterson merged 2 commits into

update_prune_model

Oct 4, 2026

Commits on Oct 2, 2026

Rounding out specification of prune behavior inside lean model
luketpeterson
committed
961c7ad

Commits on Oct 4, 2026

Removing references to reproduction cases, because they are out-of-scope for this PR. This PR was intended to update the lean model with a model of the correct behavior of the prune flag and the p…
luketpeterson
committed
875564f