increase headroom#424

rouzwelt wants to merge 4 commits intomasterrainlanguage/rain.solver:masterfrom

2025-12-09-update-headroomrainlanguage/rain.solver:2025-12-09-update-headroomCopy head branch name to clipboard