iris-aiandClaude Opus 5
bb5b79f2f6
The oracle and the shrinker had separate generators and separate copies of every scenario, so a failure one found could not be handed to the other: a seed cannot be made smaller. Iris `98d4e98` splits growing a tree into describing one and building it, and puts the cases in one place both rigs run. Any failing seed now reduces with one command, which is written down here. What it found first: marking one widget for redraw moves a span inside a scroll 24px against a cold tree of the same state -- a whole child's height, not a rounding. Five widgets, bisected to `95fb4f9`, where `Masked` began reporting its box rather than its inner's size. Written out and ignored in `tests/cases/unsettled.rs` until it is fixed. Two claims in the verification list were withdrawn against a re-run rather than an argument. The shrinker's "all five cases at 300 seeds of depth 5" does not carry to a rig that runs fifteen cases over different trees and fails at 400. The 1000-seed depth-6 line does not hold at `5ed9e87` either, which fails it on seed 40 after a resize -- so that run was never the clean baseline it was quoted as. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>