The Proof Bottleneck No One Wants to Talk About — And How Fermah Unlocks the Flow