Compile-Time Validation via Contracts

Use custom contract annotations to enforce domain invariants during the compilation phase.