Skip to content

Rule: Strong export loss stays breaking under a binding rule

Canonical rule slug: export-loss-strong-binding-stays-breaking. ← back to all rules

A GLOBAL export is withdrawn alongside WEAK losses, and a binding-scoped weak reclassify rule must not demote it, so the run stays breaking.

Canonical demonstration