A Python library for predictable generative programs with typed outputs, verifiable requirements, retries, and multiple backends.