Checkpoint: Design with Contracts

Checkpoint — object-oriented design

You can now: depend on contracts instead of details, model finite variants with sealed hierarchies, and replace fragile inheritance with composition plus delegation. Prove it by designing a discount policy that swaps at runtime.