v2.4.13

What's Changed

• SHTOLO prune: binary supertype reduction + called procedures (#439) by @ronaldtse in #443
• fix: check_select_named_type inverted rule (#438) by @ronaldtse in #444
• Restore the --manifest / --stepmod schema resolver (#440) by @ronaldtse in #445
• Differential rigor: body-level gate + honest unverified class (#441) by @ronaldtse in #446

Full Changelog: v2.4.12...v2.4.13