Test accepted references against stronger behavioral boundaries
When a stronger contract-based diagnostic fails on both candidate patches and an accepted reference, investigate the missing boundary instead of treating the reference as infallible. Validate the intended distinction with a valid-event case, an invalid-event control, the exact re…