X07: A Compiled Language for Agentic Coding

X07 is a practical systems language that narrows ambiguity so agents can generate, repair, and verify code against explicit contracts.