Contracts#

Data structure contracts enforced at module boundaries. Every pipeline stage validates its inputs and outputs against these contracts.