A Freeze Needs a Witness: Seed-Matrix Triage Before You Quarantine a Flaky Test
A red line in CI after an agent patch is not one event. It is at least three: the patch broke a real invariant, the property check itself is non-deterministic, or the test was already failing on the baseline commit.