A Property Counterexample Is Not a Flake You Can Freeze

A flake freeze is an exemption record, not a passing result. An agent patch may carry one only when...