Engine Contracts

Formal interface contracts for the UCCA engine. These are versioned, locked, and frozen specifications that define how engine components communicate.

Contracts use semantic versioning. LOCKED means the spec is stable. FROZEN means no further changes accepted.